sous la forme : Z ? Z/12Z ? G. En d'autres termes, G est un quotient de Z/12Z.
On dira que le groupe présenté par générateur x et relation x12 = 1 est Z/12Z. (b)
Groupes diédraux Dans ce paragraphe, on fixe n ? 2. Il existe une action, non
triviale d`es que n ? 3, de Z/2Z sur Z/nZ : si ? ? Z/2Z et k ? Z/nZ, ? · k = (?1)?k. 
