Définition : Un groupe est un ensemble muni d'une loi de composition interne notée , ( ) , telle que : - la loi soit associative ( ) ( ), - la loi possède un élément neutre , - tout élément possède un symétrique (ou inverse) pour , noté , satisfaisant . - Si de plus, , on a alors est dit commutatif (ou abélien).
Un groupe est un couple (G, • ) dont le premier terme est un ensemble G et le second une opération « • » (on dit aussi loi de composition) sur cet ensemble qui, à deux éléments a et b de G, associe un autre élément a • b.
Ordre d'un groupe, ordre d'un élément.
Un groupe G est d'ordre n s'il contient n éléments.
L'ordre d'un élément x ∈ G est le plus petit entier strictement positif m tel que xm = 1 (en notation multiplicative).
Si un tel entier m n'existe pas, on dit que x est d'ordre infini.