L’objet de cet exercice est de d’établir que les sous-groupes finis
de (\mathbb{C}^*,\times) sont formés des \mathbb{U}_n pour
n\in \mathbb{N}^*. On sait déjà bien sûr qu’ils forment des sous-groupes
finis de (\mathbb{C}^*,\times).
On suppose donc G un sous-groupe fini de (\mathbb{C}^*,\times).
- Soit z\in G. Expliquer pourquoi z est d’ordre fini. De plus, si on
note n celui-ci, montrer que < z > =\mathbb{U}_n.
- On note N le produit des ordres des éléments de G. (Le ppcm marche aussi...) Montrer que G est un sous-groupe de \mathbb{U}_N.
- Utiliser alors l’exercice Sous-groupe d’un groupe cyclique et la question 1 pour conclure.