L'une des origines de l'idée de groupe est l'étude des équations algébriques par Joseph-Louis Lagrange (1771).
La terminologie de « groupe » est mise en évidence pour la première fois par Évariste Galois (1830) : on peut « grouper » les automorphismes du corps de décomposition d'un polynôme séparable.
Le « dernier théorème de Fermat » (ou « grand théorème de Fermat », ou « théorème de Fermat-Wiles ») affirme que si n est un entier supérieur à 2, alors il n'existe pas de triplets d'entiers positifs x, y, z tels que xn + yn = zn.
Il est considéré comme démontré depuis 1995.
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.