Définition : étant une loi de composition interne, c'est à dire :
est un groupe
Il s'agit de l'associativité, de l'existence d'un élément neutre, et de l'existence d'un symétrique pour tout élément.
Si, de plus la loi est commutative, le groupe est dit abélien ou commutatif.
Remarquons qu'un groupe est non vide... puisqu'il contient l'élément neutre.
Théorème : est un sous-groupe de
Remarque : En pratique, il est bien plus facile de montrer qu'on a un sous-groupe d'un groupe connu plutôt qu'un groupe.
Définition : est unmorphisme de groupe