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.