1
Montrer que, après avoir fixé un générateur de , la donnée d’un morphisme de groupes de dans revient à la donnée d’un morphisme de groupes de dans .
2
En déduire une structure de produit semi-direct sur .
3
Montrer que toutes les structures de produit semi-direct donnent des groupes isomorphes. On pourra montrer que si alors il existe tel que .
4
Montrer que tous les morphismes de sont de la forme où est un élément de d’ordre .