A group is a mathematical structure defined by a set and an operation satisfying closure, associativity, identity, and invertibility.Un groupe en mathématiques est un ensemble d'objets (nombres, symétries) muni d'une opération de composition (addition, exécution séquentielle de transformations). La composition de deux objets donne un objet du même ensemble, l'ordre de composition n'influence pas le résultat (associativité), il existe un élément neutre qui ne change pas le résultat, et pour chaque élément il existe un inverse. Par exemple, les entiers relatifs avec l'addition forment un groupe, car la somme de deux entiers est un entier, zéro est neutre, et pour 5 l'inverse est -5. Les rotations d'un triangle forment aussi un groupe. Les groupes sont classés selon leurs propriétés : abéliens (commutatifs) et non abéliens, finis et infinis, simples et résolubles.
Les origines de la notion de groupe se trouvent dans les travaux de Lagrange et Gauss, mais la contribution décisive fut celle d'Évariste Galois (1830), qui appliqua les groupes à la résolubilité des équations algébriques. Arthur Cayley donna la première définition abstraite. Felix Klein relia les groupes à la géométrie dans le programme d'Erlangen. Henri Poincaré utilisa les groupes en topologie, et Emmy Noether démontra un théorème reliant les symétries continues aux lois de conservation en physique.
L'étude d'un groupe s'appuie sur son action sur des ensembles, par exemple les rotations de polygones réguliers ou les permutations de coordonnées. Les outils importants sont les sous-groupes, les homomorphismes, les noyaux et les groupes quotients. En physique, les groupes de Lie (groupes continus) décrivent les symétries de l'espace-temps et les symétries de jauge, et le théorème de Noether affirme la correspondance entre chaque symétrie continue et une quantité conservée.
Les protocoles cryptographiques (par exemple, l'échange de clés) s'appuient sur les propriétés des groupes ; en physique, les groupes de symétrie expliquent pourquoi l'énergie ou la charge se conservent.
Toutes les permutations possibles d'un jeu de 52 cartes forment un groupe contenant 52! (factorielle 52) éléments — un nombre à 68 chiffres, dépassant de loin le nombre d'atomes dans l'Univers observable.
| U | variable | open set (topological space) — topological space |
| r | variable | number of independent Z/2Z factors — rank |
| x | variable | input value |
| f(x) | variable | output value |
| θ* | variable | Fixed point value — fixed point |
| F(θ*) | variable | Function evaluated at fixed point — valeur de fonction |




