ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 11 — Structures algébriques usuelles · Groupes

Exercice 30

Démonstration

Le théorème de Cayley. Soit GG un groupe. Pour g∈Gg \in G, on note σg:G→G\sigma_{g} : G \to G l'application x↦gxx \mapsto gx.

1. Montrer que σg\sigma_{g} est une permutation de GG, et que σg∘σh=σgh\sigma_{g} \circ \sigma_{h} = \sigma_{gh}.

2. En déduire que g↦σgg \mapsto \sigma_{g} est un morphisme injectif de GG dans 𝔖G\mathfrak{S}_{G}, puis que GG est isomorphe à un sous-groupe d'un groupe de permutations.

3. Expliciter les trois permutations σg\sigma_{g} lorsque G=𝕌3G = \mathbb{U}_{3}, en notant j=e2iπ/3j = \mathrm{e}^{2\mathrm{i}\pi/3}.

Ce théorème, dû à Cayley en 1854, justifie que les groupes de permutations de Lagrange et de Galois contiennent, à isomorphisme près, tous les groupes.

Corrigé

1. L'application σg\sigma_{g} est bijective, de réciproque σg−1\sigma_{g^{-1}} (proposition 3). Pour tout x∈Gx \in G, on a σg(σh(x))=ghx=σgh(x)\sigma_{g}(\sigma_{h}(x)) = ghx = \sigma_{gh}(x).

2. La relation σgh=σg∘σh\sigma_{gh} = \sigma_{g} \circ \sigma_{h} dit que g↦σgg \mapsto \sigma_{g} est un morphisme de GG dans 𝔖G\mathfrak{S}_{G}. Si σg=idG\sigma_{g} = \mathrm{id}_{G}, alors g=σg(e)=eg = \sigma_{g}(e) = e : le noyau est trivial, et le morphisme est injectif (théorème 2). Il induit donc un isomorphisme de GG sur son image, qui est un sous-groupe de 𝔖G\mathfrak{S}_{G} (proposition 12). G est isomorphe aˋ un sous-groupe de 𝔖G\boxed{G \text{ est isomorphe à un sous-groupe de } \mathfrak{S}_{G}}

3. Avec 𝕌3={1,j,j2}\mathbb{U}_{3} = \{1, j, j^{2}\}, on a σ1=id\sigma_{1} = \mathrm{id}, puis σj:1↦j, j↦j2, j2↦1;σj2:1↦j2, j↦1, j2↦j\boxed{\sigma_{j} : 1 \mapsto j, \ j \mapsto j^{2}, \ j^{2} \mapsto 1 ; \qquad \sigma_{j^{2}} : 1 \mapsto j^{2}, \ j \mapsto 1, \ j^{2} \mapsto j} Ce sont les deux permutations circulaires des trois points : 𝕌3\mathbb{U}_{3} s'identifie aux rotations du triangle équilatéral de sommets 11, jj, j2j^{2}.

Dans l'édifice

Thèmes

groupes, lois de composition, sous-groupes, groupe symétrique, morphismes, isomorphismes, théorème de lagrange

Notions

groupe, loi de composition interne, sous-groupe, groupe symétrique, morphisme de groupes, isomorphisme

Ouvrir dans l'atlas interactif →