1. La structure de groupe
Un groupe G est un ensemble muni d'une loi de composition interne :
(a) Elle est associative, c'est-à-dire que, si a, b, c sont des éléments de G, on a :
(b) Elle admet un élément neutre, c'est-à-dire qu'il existe un élément e ∈ G (nécessairement unique, manifestement) tel que, pour tout a ∈ G :
(c) Tout élément a de G admet un symétrique (en notation multiplicative on dira un inverse), c'est-à-dire qu'il existe un élément de G, noté a-1, tel que :
On ne se préoccupera pas ici de savoir si l'on peut affaiblir ces axiomes en jonglant avec des hypothèses « à droite » et « à gauche » dans (b) et dans (c). Le groupe est dit commutatif, ou abélien, si la loi de composition est commutative, c'est-à-dire a * b = b * a pour tout couple d'éléments de G. Cette loi est alors souvent (mais pas toujours) notée additivement, par le signe + ; l'élément neutre est désigné par 0 et le symétrique d'un élément a est noté − a. C'est le cas, par exemple, pour la loi de groupe sous-jacente à une structure d'anneau ou d'espace vectoriel. On appelle ordre d'un groupe fini G le nombre |G| de ses éléments.
Dans ce qui suit, sauf mention explicite d'une autre notation, la notation multiplicative sera adoptée systématiquement, ce qui signifie que l'on notera x, y, ou plus simplement xy, l'image du couple (x,
… pour nos abonnés, l'article se prolonge sur 9 pages…
