Théorèmes d'isomorphisme
Table des matières
1 Premier théorème d'isomorphisme 2
2 Deuxième théorème d'isomorphisme 3
3 Troisième théorème d'isomorphisme 4
1
Nous allons démontrer trois théorèmes dus à Emmy Noether.
1 Premier théorème d'isomorphisme
Soient G et G' deux groupes et f : G → G' un homormorphisme de groupes.
Proposition 1.0.1 Ker f est un sous-groupe normal de G.
Démonstration On a déjà montré que Ker f est un sous-groupe de G.
Soient x appartenant à Ker f.
Comme f est un homomorphisme, on a pour tout g appartenant à G,
f (gxg −1 ) = f (g)f (x)f (g −1 )
= f (g)1f (g −1 )
= f (g)f (g −1 )
= f (g)f (g)−1
= 1.
D'où Ker f est normal dans G. ♦
Le théorème suivant est l'un des plus important et des plus utilisés de la théorie des
groupes.
Théorème 1.0.2 (Premier Théorème d'isomorphisme)
G/Ker f est isomorphe à Im f.
Démonstration D'après la Propriété universelle du groupe quotient, il existe un
homomorphisme f de G/Ker f dans G'.
De plus, Ker f =Ker f/Ker f={1} et Im f =Im f.
On en déduit que f est injective et surjective de G/Ker f vers Im f.
D'où, f est un isomorphisme entre G/Ker f et Im f. ♦
2
2 Deuxième théorème d'isomorphisme
Soient G, H un sous-groupe de G et N un sous-groupe normal de G.
Proposition 2.0.3 1)H∩N est un sous-groupe normal de H.
2)NH est un sous-groupe de G
3)N est un sous-groupe normal de NH.
Démonstration 1)Puisque H et N sont des sous-groupes de G, H∩N est un sous-
groupe de G. Comme H∩N est inclus dans H, c'en est un sous-groupe.
Soient n appartenant à H∩N et h appartenant à H.
Alors, hnh−1 appartient à H car H est un sous-groupe et hnh−1 appartient à N car N
est un sous-groupe normal de G.
D'où H∩N est un sous-groupe normal de H.
2)NH est non vide puisque 1.1 appartient à NH.
Comme N est normal dans G, pour tout g appartenant à G et pour tout n appartenant
à N, gng −1 appartient à N.
D'où, par restriction à H, pour tous h dans H et n dans N, hnh−1 appartient à N.
On a ainsi nhn'h'=n(hn'h−1 )hh'∈NH pour tous n,n' de N et h,h' de H.
Soient n appartenant à N et h à H.
(nh)−1 = h−1 n−1 = h−1 n−1 hh−1 = n0 h où n'=h−1 n−1 h appartient à N. (nh)−1 ∈NH.
D'où NH est un sous-groupe de G.
3)N=N{1} est clairement un sous-groupe de HN puisque N est un sous-groupe de G.
Soient n appartenant à N et hn' à HN (h∈H, n'∈N).
hn'n(hn')−1 =hn'nn0−1 h−1 appartient à N car N est normal dans G.
N est un sous-groupe normal de HN. ♦
Théorème 2.0.4 (Deuxième Théorème d'isomorphisme)
NH/N est isomorphe à H/H∩N.
Démonstration D'après la Proposition précédente, les groupes NH/N et H/H∩N
existent.
Soient π la surjection canonique de G dans G/N (N normal dans G) et ϕ la restriction
de π à H.
On a vu (cf groupes quotients) que π est un homomorphisme donc ϕ est un homo-
morphisme.
L'image de ϕ est (cf groupes quotients) π(H)=NH/N.
Cherchons le noyau de ϕ :
Ker ϕ = {h ∈ H / ϕ(h) = N }
= {h ∈ H / hN = N }
= {h ∈ H / h ∈ N }
= H ∩ N.
D'où, d'après le Premier Théorème d'isomorphisme, H/H∩N est isomorphe à NH/H.
♦
3
3 Troisième théorème d'isomorphisme
Soient G, H un sous-groupe normal de G et K un sous-groupe normal de G inclus
dans H.
Nous avons montré la proposition suivante dans la section groupes quotients.
Proposition 3.0.5 H/K est un sous-groupe normal de G/K.
Théorème 3.0.6 (Troisième Théorème d'isomorphisme)
(G/K)/(H/K) est isomorphe à G/H.
Démonstration D'après la Proposition précédente, le groupe (G/K)/(H/K) existe.
Soit ϕ la correspondance de G/K dans G/H dé nie par ϕ(gK)=gH pour tout g de G.
Montrons que ϕ est une application : soient g et g' appartenant à G tels que gK=g'K.
On a alors g −1 g 0 appartenant à K. Mais K est inclus dans H donc g −1 g 0 appartenant
à H.
D'où gH=g'H et donc ϕ(gK)=ϕ(g'K).
ϕ est une application.
Montrons que ϕ est un homomorphisme : soient g et g' appartenant à G.
ϕ(gKg 0 K) = ϕ(gg 0 K)
= gg 0 H
= gHg 0 H
= ϕ(gK)ϕ(g 0 K)
. Donc ϕ est un homomorphisme de groupes.
ϕ est clairement surjectif.
Cherchons le noyau de ϕ :
Ker ϕ = {gK g ∈ G / ϕ(gK) = H}
= {gK g ∈ G / gH = H}
= {gK g ∈ G / g ∈ H}
= {hK h ∈ H}
= H/K.
D'où, d'après le Premier Théorème d'isomorphisme, (G/K)/(H/K) est isomorphe à
G/H. ♦
