ExerciceMaths approfondies, chapitre 4 — Morphismes · Propriétés élémentaires et isomorphismes
Exercice 7
Dans chacun des cas suivants, démontrer que les deux groupes sont isomorphes en exhibant un isomorphisme explicite.
1. et .
2. et , où .
3. , où , et .
4. , où , et .
Les deux dernières lois ont été étudiées au chapitre 3, aux exercices 10 et 3.
Corrigé
1. L'exponentielle vérifie et réalise une bijection de sur , de réciproque .
2. Posons , de dans . C'est un morphisme, car . Son noyau est puisque , donc est injectif ; et tout élément de s'écrit par définition, donc est surjectif.
3. Posons . L'identité établie au chapitre 3 donne, pour tous et de : De plus est une bijection de sur , de réciproque .
4. Posons . Pour tous entiers et : et est bijective de sur , de réciproque . Les questions 3 et 4 confirment ce que le chapitre 3 laissait pressentir : ces lois inhabituelles ne sont que des lois connues, transportées par un changement de nom des éléments.