Définition :
étant une loi de composition interne, c'est à dire : ![]()
est un groupe ![]()
![\begin{displaymath}\left\{ \begin{array}[c]{l} \forall a,b,c\in G,\quad \left(... ...quad a\ast a^{\prime}=a^{\prime}\ast a=e \end{array} \right. \end{displaymath}](img38.png)
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 ![]()
![\begin{displaymath}\Leftrightarrow\left\{ \begin{array}[c]{l} H\text{ est non ... ...all a,b\in H,\quad a\ast b^{\prime}\in H \end{array} \right. \end{displaymath}](img40.png)
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 ![]()