Université Pierre et Marie Curie Master de Mathématiques
1.1.14 Automorphismes intérieurs et extérieurs. Soit Gun groupe. L’ensemble des
automorphismes de G, muni de la loi de composition des applications, forme un groupe,
noté Aut(G). Pour tout h∈G, l’application
Int(h) : G→G;g7→ Int(h)(g) := hgh−1
est un automorphisme de G, dit intérieur. On l’appelle aussi conjugaison par h. L’applica-
tion Int :G→Aut(G) : h7→ Int(h)est un homomorphisme de groupes, dont le noyau
Z(G) := {h∈G, ∀g∈G, hg =gh}
s’appelle le centre de G. L’image Int(G)'G/Z(G)de Int est un sous-groupe distingué de
Aut(G), puisque ∀h∈G, f ∈Aut(G), f ◦Int(h)◦f−1=Int(f(h)). Les éléments du groupe
quotient Out(G) := Aut(G)/Int(G)s’appellent les automorphismes extérieurs de G.
Un sous-groupe Hde Gest ainsi distingué si f(H) = Hpout tout f∈Int(G). On dit
que Hest caractéristique si f(H) = Hpour tout f∈Aut(G). Par exemple, le centre de G
est un sous-groupe caractéristique.
1.1.15 Définition.–On dit qu’un groupe Gest simple s’il n’admet pas de sous-groupe
distingué propre (i.e. distinct de {1}et de G).
1.2 Premiers exemples
1.2.1 Groupes monogènes et cycliques. L’ensemble Zdes entiers rationnels, muni de la
loi d’addition, est un groupe monogène (engendré par 1), donc en particulier abélien. En
fait, tout groupe monogène est quotient de Z. En effet, si G=hxi, l’application m∈Z7→
xm∈Gest un homomorphisme surjectif de Zdans G. Rappelons le fait suivant, classique :
Lemme. – Tout sous-groupe non nul de Zest monogène, donc de la forme nZpour un
unique entier n > 0.
Démonstration. Soit Γun sous-groupe non nul de Zet soit nle plus petit élément stric-
tement positif de Γ. On veut montrer que Γ = nZ. Soit m∈Γnon nul. Quitte à prendre
son opposé, on peut le supposer positif. Par division euclidienne, il existe un unique couple
(q, r)d’entiers positifs avec r < n tel que m=qn +r. Ainsi r=m−qn ∈Γest positif et
< n, donc par définition de n, doit être nul. On a donc bien m=qn ∈nZ.
Il s’ensuit que tout groupe cyclique est isomorphe à un groupe quotient Z/nZdes classes
de congruence d’entiers modulo n. Si G=hxi, un tel isomorphisme est donné par le
morphisme précédent m∈Z7→ xm∈Gqui se factorise par Z/nZavec nl’ordre de x.
On remarque ainsi que l’ensemble des isomorphismes Z/nZ∼
−→ Gest en bijection avec
l’ensemble des générateurs de G. Ceci nous amène au rappel suivant :
Lemme. – L’ensemble des générateurs de Z/nZest le sous-ensemble (Z/nZ)×des
classes modulo nd’entiers premiers à n. C’est aussi le sous-groupe des unités de l’anneau
Z/nZ(i.e. le groupe des inversibles pour la multiplication, cf plus bas).
5