2
D’apr`es le premier th´eor`eme d’isomophisme, l’image de φpest un
sous-groupe de Aisomorphe `a A/K (remarquez que tout sous-groupe
de Aest normal car Aest ab´elien).
(b) Tout groupe d’ordre 1 ou pest un groupe cyclique.
On suppose que l’on ait montr´e que tout sous-groupe d’ordre prayant
un seul sous-groupe d’ordre pest un groupe cyclique. On suppose de
plus que Aest d’ordre pr+1.
D’apr`es la question pr´ec´edente, Im(φp) a mˆeme cardinal que A/K.
En particulier Im(φp) est un groupe d’ordre pr.
L’image Im(φp) est un sous-groupe de A. Or Aa au plus un sous-
groupe d’ordre p, donc Im(φp) a au plus un sous-groupe d’ordre p
(et, d’apr`es la question (1), le groupe Im(φp) a en fait exactement un
sous-groupe d’ordre p).
Par hypoth`ese de r´ecurrence, Im(φp) est donc un groupe cyclique.
D’apr`es la question pr´ec´edente, le groupe quotient A/K est donc
aussi cyclique.
Soient α∈A/K un g´en´erateur de A/K et aun repr´esentant de α.
D’apr`es la question (1), le groupe engendr´e par acontient un sous-
groupe d’ordre p, qui est forc´ement ´egal `a K, puisque Aa au plus
un sous-groupe d’ordre p. En particulier Kest contenu dans le sous-
groupe engendr´e par a.
Les ´el´ement de A/K ´etant les classes de la forme na+K(avec n∈Z),
tout ´el´ement de As’´ecrit na +kpour un certain n∈Zet un certain
k∈K. Le groupe K´etant contenu dans le sous-groupe engendr´e par
a, tout les ´el´ement de Asont de la forme na pour un certain n∈Z.
(3) (a) Comme An’est pas cyclique, il contient au moins deux groupes d’or-
dre pdistincts que l’on note B1et B2. Comme A1est cyclique, A1a
au plus un sous-groupe d’ordre p. Par suite B1et B2ne peuvent ˆetre
tous deux contenus dans A1.
(b) Un groupe d’ordre pest cyclique. Par cons´equent si Aest d’ordre 1
ou p, on a A1=Aet il suffit de prendre H={0A}.
On suppose que que pour tout groupe ab´elien fini Ade cardinal pret
tout sous-groupe cyclique maximal A1de A, il existe un sous-groupe
Hde Atel que A=A1+Het A1∩H={0A}.Soient Aun groupe
d’ordre pr+1 et A1un sous-groupe cyclique maximal de A. Si Aest
cyclique alors A=A1.
On suppose Anon cyclique. D’apr`es la question pr´ec´edente, il existe
un sous-groupe Bde Ad’ordre pqui n’est pas contenu dans A1.
Alors le groupe A/B est d’ordre pret (A1+B)/B est un sous-groupe
cyclique maximal de A/B. Par hypoth`ese de r´ecurrence, il existe un
un sous groupe Kde A/B tel que
A/B = ((A1+B)/B) + Ket ((A1+B)/B)∩K={0A/B }.