Voir la source de Théorie des groupes/Groupes diédraux

{{Chapitre
  | niveau    = 14
  | idfaculté = mathématiques
  | numéro    = 25
  | précédent = [[../Produit semi-direct/]]
  | suivant   = [[../Holomorphe d'un groupe/]]
  | page_liée = Exercices/Groupes diédraux
}}
{{Wikipédia|Groupe diédral}}
== Les groupes diédraux comme produits semi-directs  ==

Soient ''n'' un nombre naturel ≥ 1, A un groupe cyclique d'ordre ''n'' et B un groupe d'ordre 2. Ces deux groupes seront notés multiplicativement. Puisque A est commutatif, la permutation x ↦ x{{exp|-1}} de A est un automorphisme de A. Si nous désignons cet automorphisme par ''inv'', nous avons ''inv''{{exp|2}} = 1 (où 1 désigne l'automorphisme identique de A). On en tire facilement qu’il existe un et un seul homomorphisme de B dans Aut(A) (groupe des automorphismes de A) qui applique l'élément non neutre de B sur ''inv''. Cet homomorphisme de B dans Aut(A), que nous désignerons par τ, peut être considéré comme une opération de B sur A par automorphismes (voir chapitre ''[[../Produit semi-direct/]]''). L'application correspondante de B × A dans A est définie par <math>b \cdot a = a</math> si ''b'' = 1 et <math>b \cdot a = a^{-1}</math> si ''b'' est l'élément de B distinct du neutre.

Supposons maintenant que A<sub>1</sub> et A<sub>2</sub> soient deux groupes cycliques d'ordre ''n'' et B<sub>1</sub> et B<sub>2</sub> deux groupes d'ordre 2. Soient τ<sub>1</sub> et τ<sub>2</sub> respectivement les homomorphismes de B<sub>1</sub> dans Aut(A<sub>1</sub>) et de B<sub>2</sub> dans Aut(A<sub>2</sub>) définis comme ci-dessus. Il existe un unique isomorphisme de B<sub>1</sub> sur B<sub>2</sub>, que nous désignerons par σ. De plus, il existe au moins un isomorphisme de A<sub>1</sub> sur A<sub>2</sub> (voir le chapitre sur les groupes monogènes). Choisissons un tel isomorphisme, soit ''f''.

Montrons que ''f'' et σ constituent un isomorphisme de l'opération τ<sub>1</sub> sur l'opération τ<sub>2</sub> (selon la terminologie introduite au chapitre ''produit semi-direct''). Il s'agit de prouver que, pour tout élément ''a'' de A<sub>1</sub> et tout élément ''b'' de B<sub>1</sub>,
:<math>(1) \qquad f(b \cdot a) = \sigma (b) \cdot f(a).</math>
Si ''b'' est l'élément neutre de B<sub>1</sub>, <math> b \cdot a </math> est égal à ''a'' et (puisque σ(b) est l'élément neutre de B<sub>2</sub>) <math>\sigma (b) \cdot f(a)</math> est égal à f(a). Donc, si ''b'' est l'élément neutre de B<sub>1</sub>, les deux membres de (1) sont tous deux égaux à f(a), donc (1) est vraie dans ce cas.

Si maintenant ''b'' est l'élément de B<sub>1</sub> distinct du neutre, <math> b \cdot a </math> est égal à a{{exp|-1}} et (puisque σ(b) est l'élément de B<sub>2</sub> distinct du neutre) <math>\sigma (b) \cdot f(a)</math> est égal à f(a){{exp|-1}} ; ainsi, (1) revient à f(a{{exp|-1}}) = f(a){{exp|-1}} et est donc encore vraie.

Nous avons donc prouvé, comme annoncé, que ''f'' et σ constituent un isomorphisme de l'opération τ<sub>1</sub> sur l'opération τ<sub>2</sub>. Il en résulte (voir le chapitre ''Produit semi-direct'') que l’application (a, b) ↦ (f(a), σ(b)) est un isomorphisme de groupes du produit semi-direct (externe) <math>A_1\times _{\tau_1} B_1</math> sur le produit semi-direct (externe) <math>A_2\times _{\tau_2} B_2</math>. (On pourrait évidemment le vérifier plus directement.) Ceci montre que, dans les notations et hypothèses ci-dessus, la structure de groupe de <math>A \times _{\tau} B </math> est identique quel que soit le choix du groupe cyclique A d'ordre ''n'' et quel que soit le choix du groupe B d'ordre 2.

{{Définition
  | contenu =
Soit ''n'' un nombre naturel non nul. Tout groupe isomorphe au produit semi-direct <math>A \times _{\tau} B </math>, où A est un groupe cyclique d'ordre ''n'', B un groupe d'ordre 2 et τ l'homomorphisme de B dans Aut(A) qui applique l'élément non neutre de B sur l'automorphisme x ↦  x{{exp|-1}} de A, est appelé un groupe diédral d'ordre 2n.
}}

D'après ce qui précède, les groupes diédraux d'ordre 2n sont tous isomorphes entre eux. Pour ce motif, on dit couramment « le » groupe diédral d'ordre 2n, sans choisir explicitement un représentant particulier. « Le » groupe diédral d'ordre 2n se note D<sub>2n</sub>. (Certains auteurs<ref>Par exemple J. Calais, ''Éléments de théorie des groupes'', Paris, 1984, p. 121.</ref> le notent D<sub>n</sub>).

'''Remarque.''' Selon les définitions de certains auteurs<ref>Par exemple J. J. Rotman , ''An Introduction to the Theory of Groups'', 4{{e}} éd., tirage de 1999, p. 68.</ref>, les groupes d'ordre 2 ne sont pas des groupes diédraux. Bourbaki<ref>N. Bourbaki, ''Algèbre'', ch. I, § 6, exerc. 4, Paris, 1970, pp. 134-135.</ref> ne fait pas cette restriction.

{{Théorème
  | titre = Théorème (Homomorphismes partant d'un groupe diédral)
  | contenu =
Soit ''n'' un nombre naturel non nul, soit G un groupe engendré par un élément ''a'' d'ordre ''n'' et un élément ''b'' d'ordre 2 n'appartenant pas à <a> et tel que
:bab{{exp|-1}} (= bab) = a{{exp|-1}}.
Soit H un groupe, soient ''x'', ''y'' des éléments de H tels que x{{exp|n}} = 1, y{{exp|2}} = 1 et
:yxy{{exp|-1}} (= yxy) = x{{exp|-1}}.
Alors
:(i) Il existe un et un seul homomorphisme de G dans H qui applique ''a'' sur ''x'' et ''b'' sur ''y'' ;
:(ii) si ''x'' est d'ordre ''n'' et ''y'' d'ordre 2, si ''y'' n'appartient pas à <x>, alors l'homomorphisme en question est injectif.
}}
{{Démonstration déroulante
 | contenu =
De l'hypothèse <math>bab^{-1} (= bab) = a^{-1}</math> et du fait que <math>t \mapsto btb^{-1}</math> définit un automorphisme de G, on tire que
:(1) <math>\qquad ba'b^{-1} = a'^{-1}</math> pour tout a' dans <a>,
d'où <math>b <a> b^{-1} = \ <a></math>, donc ''b'' normalise <a>.

Puisque ''a'' et ''b'' sont supposés engendrer G, <a> est donc un sous-groupe normal de G et G = <a> <nowiki><b></nowiki>.

Par hypothèse, ''b'' n'appartient pas à <a>, donc, puisque ''b'' est d'ordre 2, <math><a> \cap <b> = 1</math>. Donc G est produit semi-direct interne de <a> par <nowiki><b></nowiki>.

D'autre part, d'après un théorème du chapitre [[Théorie des groupes/Groupes monogènes, ordre d'un élément|Groupes monogènes, ordre d'un élément]], il existe un (et un seul) homomorphisme <math>\alpha</math> de <a> dans H qui applique ''a'' sur ''x'' et il existe un (et un seul) homomorphisme <math>\beta</math> de <nowiki><b></nowiki> dans H qui applique ''b'' sur ''y''.

Pour tout a' dans <a> et tout b' dans <nowiki><b></nowiki>, nous avons, d'après (1),
:<math>(2) \qquad \alpha(b' a' b'^{-1}) = \left\lbrace
\begin{array}{l}
\alpha(a') \ \mathrm{si} \ b' = 1,\\
\alpha(a'^{-1})  \ \mathrm{si} \ b' = b.
\end{array}
\right. </math>
D'autre part,
:<math>(3) \qquad \beta(b') \ \alpha(a') \beta(b')^{-1} = \left\lbrace
\begin{array}{l}
\alpha(a') \ \mathrm{si} \ b' = 1,\\
y \ \alpha(a')  \ y^{-1} \ \mathrm{si} \ b' = b.
\end{array}
\right. </math>
Puisque a' est une puissance de ''a'', <math>\alpha(a')</math> est une puissance de <math>\alpha(a) = x</math>, donc, comme on a tiré (1) de l'hypothèse <math>bab^{-1} = a^{-1}</math>, on tire de l'hypothèse <math>yxy^{-1} = x^{-1}</math> que 
:<math>y \alpha(a') y^{-1} = \alpha(a')^{-1}.</math>
En portant ceci dans (3) et en comparant alors (2) et (3), on trouve que
:<math>\alpha(b' a' b'^{-1}) = \beta(b') \ \alpha(a') \beta(b')^{-1}</math>
pour tout a' dans <a> et tout b' dans <nowiki><b></nowiki>.

Puisque G est produit semi-direct interne de <a> par <nowiki><b></nowiki>, il résulte donc du point (i) d'un théorème (« Homomorphismes partant d'un produit semi-direct interne ») du chapitre [[Théorie des groupes/Produit semi-direct|Produit semi-direct]] qu'il existe un et un seul homomorphisme <math>\lambda</math> de G dans H qui coïncide avec <math>\alpha</math> sur <a> et avec <math>\beta</math> sur <nowiki><b></nowiki>. Puisque ''a'' et ''b'' engendrent G, cela revient à dire que <math>\lambda</math> est le seul homomorphisme de G dans H qui applique ''a'' sur <math>\alpha(a) = x</math> et ''b'' sur <math>\beta(b) = y</math>.

Nous avons donc démontré le point (i) de l'énoncé.

Si ''x'' est d'ordre ''n'' et ''y'' d'ordre 2, les homomorphismes <math>\alpha</math> et <math>\beta</math> sont injectifs ; si de plus ''y'' n'appartient pas à <x>, alors, puisque ''y'' est d'ordre 2, nous avons <math><x> \cap <y> = 1,</math> autrement dit <math>\alpha(\langle a \rangle) \cap \beta(\langle b \rangle) = 1</math>, donc, d'après le point (ii) du théorème « Homomorphismes partant d'un produit semi-direct interne » du chapitre [[Théorie des groupes/Produit semi-direct|Produit semi-direct]], <math>\lambda</math> est injectif, ce qui démontre le point (ii) de l'énoncé.
}}
Remarques.
#On pourrait tirer le point (ii) du point (i), en notant que sous les hypothèses du point (ii), les hypothèses générales sur G, ''a'', ''b'', H, ''x'', ''y'' sont satisfaites par <x, y>, ''x'', ''y'', G, ''a'', ''b'', de sorte que, d'après (i), il existe un homomorphisme <math>\mu</math> de <x, y> dans G qui applique ''x''sur ''a'' et ''y'' sur ''b''. Si <math>\lambda '</math> désigne la corestriction de <math>\lambda</math> à <x, y>, alors <math>\mu \circ \lambda '</math> fixe ''a'' et fixe ''b'', donc, puisque ''a'' et ''b'' engendrent G, <math>\mu \circ \lambda '= \mathrm{id}_G</math>, donc <math>\lambda '</math> est injectif, donc <math>\lambda</math> est injectif.
#Si nous connaissions déjà les premiers éléments sur les présentations de groupes, nous pourrions montrer que, sous les hypothèses générales du théorème, le groupe G admet la présentation <math>(a, b \vert a^n= 1, b^2= 1, bab^{-1} = a^{-1})</math> ; le point (i) de l'énoncé s'obtient alors par application immédiate d'un théorème sur les présentations, le théorème de von Dyck<ref>Voir J.J. Rotman, ''An Introduction to the Theory of Groups'', 4e édition, tirage de 1999, p. 346.</ref>.
#Nous déterminerons la structure du groupe Aut(D<sub>2n</sub>) (groupe des automorphismes de D<sub>2n</sub>) dans un exercice de la série [[Théorie des groupes/Exercices/Holomorphe d'un groupe|Holomorphe d'un groupe]].

#Le titre « Homomorphismes partant d'un groupe diédral » donné au théorème qui précède s'explique par le corollaire qui suit.
#Les automorphismes de D{{ind|2n}} seront identifiés dans un [[Théorie des groupes/Exercices/Holomorphe d'un groupe#Problème 4|problème du chapitre suivant, « Holomorphe d'un groupe »]].


{{Théorème
  | titre = Corollaire
  | contenu =
Soit ''n'' un nombre naturel ≥ 1, soit G un groupe. Les deux conditions suivantes sont équivalentes :
:a) G est un groupe diédral d'ordre 2n ;
:b) G est engendré par un élément ''a'' d'ordre ''n'' et un élément ''b'' d'ordre 2 n'appartenant pas à <a> et tel que bab{{exp|-1}} (= bab) = a{{exp|-1}}.
}}
{{Démonstration déroulante
 | contenu =
Supposons d’abord la condition a) satisfaite et prouvons b).

Par définition d'un groupe diédral, il existe un groupe cyclique A d'ordre ''n'' et un groupe B d'ordre 2 tel que G soit isomorphe au produit semi-direct externe <math>A \times _{\tau} B </math>, où τ est l'unique homomorphisme de B dans Aut(A) qui applique l'élément de B distinct du neutre sur l'automorphisme t ↦ t{{exp|-1}} de A. Puisque la condition b) de l'énoncé subsiste par passage à un groupe isomorphe, nous pouvons nous contenter de la démontrer dans le cas où G est égal à <math>A \times _{\tau} B </math>. Choisissons un générateur a<sub>0</sub> de A et désignons par b<sub>0</sub> l'élément de B distinct du neutre. Désignons par ''a'' et ''b'' respectivement les éléments (a<sub>0</sub>, 1) et (1, b<sub>0</sub>) de G = <math>A \times _{\tau} B </math>. Tout élément de G = <math>A \times _{\tau} B </math> est de la forme (a<sub>0</sub><sup>r</sup>, b<sub>0</sub><sup>s</sup>) pour certains nombres naturels ''r'' et ''s'', autrement dit, vu la définition de la loi de composition dans le produit semi-direct externe, est de la forme a<sup>r</sup> b<sup>s</sup>, ce qui montre que ''a'' et ''b'' engendrent G = <math>A \times _{\tau} B </math>. Puisque la première inclusion canonique de A dans A × B induit un isomorphisme de A sur le sous-groupe A × {1} de <math>A \times _{\tau} B </math>, l'image ''a'' de a<sub>0</sub> par cette inclusion est d'ordre ''n''. De même, puisque la seconde inclusion canonique de B dans A × B induit un isomorphisme de B sur le sous-groupe {1} × B de <math>A \times _{\tau} B </math>, ''b'' est un élément d'ordre 2 de G. Comme noté dans le chapitre [[Théorie des groupes/Produit semi-direct|Produit semi-direct]], énoncé intitulé  « Produit semi-direct externe comme produit semi-direct interne »,
:<math>\ (1, b_{0}) (a_{0}, 1) (1, b_{0})^{-1} = (\tau _{b_{0}}(a_{0}), 1)</math>,
autrement dit
:<math>\ bab^{-1} = (a_{0}^{-1}, 1)</math>,
:<math>\ bab^{-1} = (a_{0}, 1)^{-1}</math>,
:<math>\ bab^{-1} = a^{-1}</math>.
Enfin, puisque la seconde composante de ''b'' n’est pas égale à 1, ''b'' n'appartient pas à <a>. Nous avons donc prouvé que a) entraîne b).

Supposons maintenant b) satisfaite et prouvons a).

Le plus simple serait sans doute de montrer, comme dans la démonstration du théorème précédent, que G est produit semi-direct interne de <a> par <nowiki><b></nowiki> et d'appliquer le théorème « Isomorphisme entre produit semi-direct interne et produit semi-direct externe » du chapitre [[../Produit semi-direct/]], mais voici une démonstration qui repose sur le théorème précédent.

Nous avons vu dans la première partie de la démonstration que si A désigne un groupe cyclique d'ordre ''n'' et <math>a_{0}</math> un générateur de A, si B désigne un groupe d'ordre 2 et <math>b_{0}</math> l'élément non neutre de B, si <math>\tau : B \rightarrow Aut(A)</math> est l'homomorphisme ainsi désigné plus haut, alors l'élément <math>x = (a_{0}, 1)</math> est d'ordre ''n'' dans <math>A \times _{\tau} B </math>, l'élément <math>y = (1, b_{0})</math> est d'ordre 2 dans <math>A \times _{\tau} B </math>, y n'appartient pas au sous-groupe <x> de <math>A \times _{\tau} B </math>, <math>yxy^{-1} = x^{-1}</math> et <math>A \times _{\tau} B </math> est engendré par ''x'' et ''y''.

Donc, d'après le théorème précédent (« Homomorphismes partant d'un groupe diédral »), il existe un homomorphisme de G dans <math>A \times _{\tau} B </math> qui applique ''a'' sur ''x'' et ''b'' sur ''y'' et il existe un homomorphisme de  <math>A \times _{\tau} B </math> dans G qui applique ''x'' sur ''a'' et ''y'' sur ''b''. Ces deux homomorphismes sont clairement réciproques, donc G est isomorphe à <math>A \times _{\tau} B </math>, ce qui prouve que la condition a) de l'énoncé est satisfaite.
}}

'''Remarque.''' Si n ≥ 3, l'hypothèse selon laquelle ''b'' n'appartient pas à <a> est entraînée par l'hypothèse bab = a{{exp|-1}}. En effet, si ''b'' appartenait à <a>, il commuterait avec ''a'', donc on aurait bab = bab{{exp|-1}} = a, d'où, d’après l'hypothèse bab = a{{exp|-1}}, a{{exp|-1}} = a, d'où a{{exp|2}} = 1, ce qui est impossible puisque ''a'' est d'ordre n ≥ 3.

{{Théorème
  | titre   = Corollaire (autre forme du corollaire précédent)
  | contenu =
Soit ''n'' un nombre naturel ≥ 1, soit G un groupe. Les deux conditions suivantes sont équivalentes :
:a) G est un groupe diédral d'ordre 2n ;
:b) G est un groupe d'ordre 2n qui comprend un élément ''a'' d'ordre ''n'' et un élément ''b'' d'ordre 2 n'appartenant pas à <a> et tel que bab = a{{exp|-1}}.
}}
{{Démonstration
 | contenu =
L'implication a) <math>\Rightarrow</math> b) résulte immédiatement du théorème précédent. Si b) est satisfaite, <a> est un sous-groupe d'ordre n et <nowiki><b></nowiki> un sous-groupe d'ordre 2 tels que <a> ⋂ <nowiki><b></nowiki> = 1. L'ensemble <a> <nowiki><b></nowiki> compte donc 2n éléments (formule du produit, démontrée dans le chapitre [[../Classes modulo un sous-groupe/]]) et est donc égal à G tout entier, donc ''a'' et ''b'' engendrent G et on peut appliquer le corollaire précédent.
}}

{{Théorème
  | contenu =
Le groupe diédral D<sub>4</sub> est un groupe de Klein. Pour n ≥ 3, D<sub>2n</sub> n’est pas commutatif.
}}
{{Démonstration déroulante
 | contenu =
D'après les théorèmes précédents, D<sub>4</sub> est un groupe d'ordre 4 et comprend au moins deux éléments d'ordre 2. Puisque tout groupe d'ordre 4 est ou bien un groupe cyclique ou bien un groupe de Klein et qu'un groupe cyclique d'ordre 4 n'a qu'un élément d'ordre 2, D<sub>4</sub> est donc un groupe de Klein. Si n ≥ 3, D<sub>2n</sub> comprend un élément ''a'' d'ordre ''n'' et un élément ''b'' d'ordre 2 tels que bab{{exp|-1}} = bab = a{{exp|-1}}. Si D<sub>2n</sub> était commutatif, on aurait bab{{exp|-1}} = a, d'où a{{exp|-1}} = a, d'où a{{exp|2}} = 1, ce qui est impossible puisque ''a'' est d'ordre n ≥ 3.
}}

{{Théorème
  | contenu =
Soit G un groupe diédral d'ordre 2n, soit A un sous-groupe cyclique d'ordre ''n'' de G (on sait qu’il en existe au moins un). Soit ''t'' un élément de G - A. Alors ''t'' est d'ordre 2 et pour tout élément ''x'' de A, txt = x{{exp|-1}}. Si n ≥ 3, G n'a qu'un sous-groupe cyclique d'ordre ''n''.
}}
{{Démonstration déroulante
 | contenu =
Si ''n'' = 1, le théorème est banal. Si ''n'' = 2, on le déduit facilement du fait que G est alors un groupe de Klein. Supposons donc n ≥ 3. Il existe un sous-groupe cyclique A<sub>0</sub> d'ordre ''n'' de G et un élément ''b'' d'ordre 2 de G - A<sub>0</sub> satisfaisant à la condition : pour tout élément ''x'' de A<sub>0</sub>, bxb = x{{exp|-1}}. (Pour le prouver, on peut par exemple utiliser un corollaire ci-dessus selon lequel G comprend un élément ''a'' d'ordre ''n'' et un élément ''b'' d'ordre 2 n'appartenant pas à <math>\langle a \rangle</math> et tel que bab = a{{exp|-1}} ; puisque <math>x \mapsto bxb = bxb^{-1}</math> définit un automorphisme (intérieur) de G, on a alors <math>b a^{r} b = a^{-r}</math> pour tout entier rationnel ''r'', d'où l'assertion à justifier avec <math>A_{0} = \langle a \rangle</math>. On peut aussi se reporter à la façon dont on a défini le groupe diédral à l'aide d'un produit semi-direct externe au début du chapitre et utiliser la dernière assertion du théorème « Produit semi-direct externe comme produit semi-direct interne » du chapitre [[Théorie des groupes/Produit semi-direct|Produit semi-direct]].) Commençons par démontrer les assertions de l'énoncé sur ''t'' dans le cas où A est égal à A<sub>0</sub>. Les éléments de la forme ''ab'', où ''a'' parcourt A<sub>0</sub>, n'appartiennent pas à A<sub>0</sub> et sont en quantité ''n'', donc ils constituent G - A<sub>0</sub> tout entier. Donc ''t'' est de la forme ab pour un certain élément ''a'' de A<sub>0</sub>. Prouvons que ''t'' est d'ordre 2. Puisque ''t'' n'appartient pas à A<sub>0</sub> et est donc distinct de 1, il suffit de prouver que t<sup>2</sup> = 1. Cela revient à prouver que, pour tout ''a'' dans A<sub>0</sub>, (ab){{exp|2}} = 1. Or (ab){{exp|2}} = abab = a(bab) = aa{{exp|-1}} = 1, donc ''t'' est bien d'ordre 2. En outre, si ''x'' est un élément de A<sub>0</sub>, nous avons txt = (ab)x(ab) = ab(xa)b. Comme xa appartient à A<sub>0</sub>, nous pouvons remplacer b(xa)b par (xa){{exp|-1}} = a{{exp|-1}}x{{exp|-1}}, d'où txt = aa{{exp|-1}}x{{exp|-1}} = x{{exp|-1}}. Montrons maintenant que (dans notre hypothèse n ≥ 3) A<sub>0</sub> est le seul sous-groupe cyclique d'ordre ''n'' de G. Un sous-groupe cyclique A d'ordre ''n'' de G est engendré par un élément ''c'' d'ordre n > 2. Nous avons vu que tout élément de G - A<sub>0</sub> est d'ordre 2, donc ''c'' doit appartenir à A<sub>0</sub>, donc A est contenu dans A<sub>0</sub>. Puisque A et A<sub>0</sub> ont le même ordre fini ''n'', ils doivent être égaux. Ainsi, G n'a qu'un sous-groupe cyclique d'ordre ''n'', ce qui prouve la dernière assertion de l'énoncé. Il en résulte aussi que ce que nous avons démontré pour A<sub>0</sub> est vrai pour « tout » sous-groupe cyclique d'ordre ''n'' de G, ce qui achève la démonstration.
}}

{{Théorème
  | contenu =
Tout groupe fini engendré par deux éléments d'ordre 2 (distincts ou non) est diédral.
}}
{{Démonstration déroulante
 | contenu =
Soit G un groupe fini engendré par deux éléments ''a'' et ''b'' d'ordre 2. Il est clair que G est engendré par ''ab'' et ''b''. Nous avons b(ab)b = ba. Puisque ''a'' et ''b'' sont d'ordre 2, ''ba'' est l'inverse de ''ab'', donc l'égalité précédente peut s'écrire
:<math> (3) \qquad b(ab)b = (ab)^{-1}.</math>
Montrons que ''b'' n'appartient pas à <ab>. Supposons que, par l'absurde, ''b'' appartienne à <ab>. Alors ''b'' commute avec ''ab'', donc la relation (3) entraîne ab = (ab){{exp|-1}}. Ainsi, ab est d'ordre 1 ou 2, donc <ab> = {1, ab}. Puisque ''b'' est supposé appartenir à <ab> et n’est pas égal à 1, on doit avoir b = ab, d'où a = 1, contradiction. Cette contradiction prouve que ''b'' n'appartient pas à <ab>.

Dès lors, nos résultats montrent, compte tenu d'un précédent théorème, que G est un groupe diédral d'ordre 2n, où ''n'' est l’ordre de ''ab''.
}}

== Version géométrique des groupes diédraux  ==

Soit ''n'' un nombre naturel ≥ 2, soit P un [[Polygones réguliers|polygone régulier]] à ''n'' sommets. On admet que deux points distincts forment un polygone régulier à 2 sommets, bien que ce cas soit exceptionnel : par exemple un tel polygone n'a pas le même nombre de sommets (deux) et de côtés (un seul), contrairement aux polygones réguliers d'au moins trois sommets.

Si ''n'' = 2, nous appellerons centre du polygone P le milieu du segment de droite joignant les deux sommets. Si n ≥ 3, nous appellerons centre du polygone P l'unique point du plan qui est équidistant de tous les sommets. Nous désignerons ce centre par ''c''.

Nous pouvons numéroter les sommets a<sub>0</sub>, ..., a<sub>n-1</sub>, de sorte que, pour une rotation ϱ d'angle 2π/n autour du centre ''c'' de P, on ait a<sub>k+1</sub> = ϱ(a<sub>k</sub>) pour tout ''k'' et donc a<sub>k</sub> = ϱ<sup>k</sup>(a<sub>0</sub>) pour tout ''k''. Nous pouvons étendre les indices à '''Z''' tout entier en posant, pour tout entier rationnel ''s'', a<sub>s</sub> = a<sub>r</sub>, où ''r'' désigne le reste de ''s'' par ''n''.

Nous utiliserons le fait suivant :

{{Lemme
  | contenu =
Soient ϱ une [[rotation]] du plan autour d'un point ''c'' et σ une [[symétrie axiale]] par rapport à une droite passant par ce point. Alors σ ϱ σ = ϱ{{exp|-1}}.
}}
{{Démonstration
 | contenu =
Puisque ϱ est une rotation autour du point ''c'', elle est le produit de deux symétries axiales par rapport à des droites passant par ''c''<ref>G. Choquet, ''L'enseignement de la géométrie'', Paris, 1971, p. 75.</ref>, donc ϱ σ est le produit de trois telles symétries. Comme le produit d'un nombre impair de symétries axiales par rapport à des droites passant par ''c'' est une symétrie axiale par rapport à une droite passant par ''c''<ref>G. Choquet, ''L'enseignement de la géométrie'', Paris, 1971, prop. 46.6, p. 77.</ref>, ϱ σ est donc une symétrie axiale (par rapport à une droite passant par ''c''). Comme une symétrie axiale est d'ordre 2, nous avons donc
:ϱ σ ϱ σ = 1.
En multipliant à gauche par ϱ{{exp|-1}}, nous trouvons σ ϱ σ = ϱ{{exp|-1}}, comme annoncé.
}}

{{Théorème
  | contenu =
Soient ''n'' un nombre naturel ≥ 2 et P un polygone régulier à ''n'' sommets. Les [[w:Isométrie affine|isométries]] du plan qui transforment en lui-même l’ensemble des sommets de P forment (pour la composition) un groupe diédral d'ordre 2n.
}}
{{Démonstration
 | contenu =
Il est clair que les isométries du plan qui transforment en lui-même l’ensemble des sommets de P forment un sous-groupe du groupe des isométries du plan. Soit G ce sous-groupe. Prouvons que G est un groupe diédral d'ordre 2n.

Le groupe G contient un sous-groupe cyclique d'ordre ''n'', à savoir le sous-groupe engendré par la rotation ϱ d'angle 2π/n considérée plus haut.

Il est clair que G opère de façon naturelle sur l’ensemble des ''n'' sommets de P. Cette opération est transitive, car l'opération de <ϱ> est déjà transitive, comme le montre la relation notée plus haut : a<sub>k</sub> = ϱ<sup>k</sup>(a<sub>0</sub>), vraie pour tout ''k''.

Déterminons le stabilisateur du sommet a<sub>0</sub>. Soit ''f'' un élément de ce stabilisateur. Puisque ''f'' est une isométrie du plan, ''f'' fixe le centre ''c'' de P. (Si n = 2, noter qu'une isométrie conserve le milieu. Si n ≥ 3, noter que ''c'' est le seul point du plan équidistant des sommets.) Donc ''f'' a au moins deux points fixes, à savoir ''c'' et a<sub>0</sub>. Une isométrie du plan qui admet au moins deux points fixes est l'identité ou la symétrie axiale autour de la droite joignant ces deux points<ref>G. Choquet, ''L'enseignement de la géométrie'', Paris, 1971, prop. 45.3, p. 74.</ref>, donc ''f'' est égale à l'identité ou à la symétrie axiale par rapport à la droite ca<sub>0</sub>. Il est clair que l'identité appartient bien au stabilisateur de a<sub>0</sub>.

Prouvons que la symétrie axiale par rapport à ca<sub>0</sub>, que nous désignerons par ''f'', appartient elle aussi à ce stabilisateur. Comme ''f'' fixe a<sub>0</sub>, il suffit de prouver qu'elle appartient à G, c'est-à-dire qu'elle transforme tout sommet de P en un sommet de P. Pour cela, prouvons que, pour tout nombre naturel k ≥ 0, f(a<sub>k</sub>) est un sommet de P. Nous avons f(a<sub>k</sub>) = f(ϱ<sup>k</sup>(a<sub>0</sub>)). D'après le précédent lemme, f ϱ<sup>k</sup> = ϱ<sup>-k</sup> f, donc notre résultat peut s'écrire f(a<sub>k</sub>) = ϱ<sup>-k</sup>(f(a<sub>0</sub>)). Puisque ''f'' fixe a<sub>0</sub>, ceci peut encore s'écrire f(a<sub>k</sub>) = ϱ<sup>-k</sup>(a<sub>0</sub>), donc f(a<sub>k</sub>) est bien un sommet de P, donc ''f'' appartient à G et appartient donc au stabilisateur de a<sub>0</sub>.

Ainsi, le stabilisateur de a<sub>0</sub> comprend exactement deux éléments (l'identité et la symétrie par rapport à la droite ca<sub>0</sub>). Nous avons vu que l'action de G sur l’ensemble des sommets est transitive, autrement dit que l’ensemble des sommets tout entier est la seule orbite pour cette opération. Comme le cardinal d'une G-orbite est égal à l'indice dans G du stabilisateur d'un élément de cette orbite, le groupe G est donc d'ordre 2n. Nous avons vu qu’il comprend une rotation ϱ d'angle 2π/n autour de ''c'' telle que ϱ(a<sub>j</sub>) = a<sub>j+1</sub> pour tout ''j''. Nous avons vu aussi qu’il comprend la symétrie axiale ''f'' par rapport à la droite ca<sub>0</sub> et que f ϱ<sup>k</sup> f= ϱ<sup>-k</sup> pour tout nombre naturel ''k'', en particulier pour k = 1. Enfin, puisqu'une symétrie axiale n’est pas une rotation, ''f'' n'appartient pas à < ϱ >. Il résulte donc d'un théorème ci-dessus que G est un groupe diédral d'ordre 2n.
}}

'''Remarque.''' On peut montrer que si ''n'' est impair, les symétries axiales qui transforment en lui-même l’ensemble des sommets de P ont pour axes les ''n'' droites ''cs'', où ''c'' est le centre de P et où ''s'' parcourt les sommets de P. Si ''n'' est pair, les symétries axiales qui transforment en lui-même l’ensemble des sommets de P ont pour axes tout d’abord les n/2 droites ''cs'', où ''s'' parcourt les sommets de P (deux sommets opposés fournissant la même droite) et ensuite les n/2 droites ''cm'', où ''m'' parcourt les milieux des côtés (deux côtés opposés fournissant la même droite).

== Le groupe diédral d'ordre 2''n'' comme groupe de permutations d'un ensemble à ''n'' éléments ==
Soit ''n'' un nombre naturel ≥ 3. Considérons un polygone régulier P à ''n'' côtés. D'après la section précédente, les isométries du plan qui transforment en lui-même l’ensemble des sommets de P forment un groupe diédral d'ordre 2n, que nous désignerons par D<sub>2n</sub>. À toute isométrie appartenant à D<sub>2n</sub>, faisons correspondre sa birestriction à l’ensemble des sommets de P. Puisqu'une isométrie du plan est entièrement déterminée par ses valeurs en trois points non alignés, nous définissons ainsi un isomorphisme de D<sub>2n</sub> sur un groupe de permutations de l’ensemble des sommets de P (c'est-à-dire sur un sous-groupe du groupe des permutations de l’ensemble des sommets de P). Convenons de désigner ici par E<sub>2n</sub> ce groupe de permutations de l’ensemble des sommets de P. Si nous numérotons les sommets de 0 à n-1 « en tournant » dans le sens horlogique ou antihorlogique, nous définissons une bijection ''f'' de l’ensemble des sommets sur '''Z'''/n'''Z'''. D'après ce que nous avons vu au chapitre [[../Groupes symétriques finis|Groupes symétriques finis]],
:<math> \sigma \mapsto f \circ \sigma \circ f^{-1}</math>
définit un isomorphisme du groupe E<sub>2n</sub> sur un groupe de permutations de '''Z'''/n'''Z'''. En composant les deux isomorphismes que nous avons construits, nous obtenons un isomorphisme σ de D<sub>2n</sub> sur un groupe de permutations de '''Z'''/n'''Z'''. Le lecteur courageux vérifiera que les images par σ des rotations appartenant à D<sub>2n</sub> sont les ''n'' translations de '''Z'''/n'''Z''', c'est-à-dire les permutations de '''Z'''/n'''Z''' de la forme t<sub>a</sub> : x ↦ x + a, et que les images par σ des symétries axiales appartenant à D<sub>2n</sub> sont les permutations de '''Z'''/n'''Z''' de la forme s<sub>a</sub> : x ↦ a - x. Il en résulte que les t<sub>a</sub> et les s<sub>a</sub> forment un groupe de permutations de '''Z'''/n'''Z''' qui est un groupe diédral d'ordre 2n. Nous allons en donner une démonstration simple qui ne repose pas sur la version géométrique des groupes diédraux.

{{Théorème
  | contenu =
Soit ''n'' un nombre naturel ≥ 3. Les permutations de '''Z'''/n'''Z''' de la forme t<sub>a</sub> : x ↦ x + a (translations) et les permutations de '''Z'''/n'''Z''' de la forme s<sub>a</sub> : x ↦ a - x constituent un groupe de permutations de '''Z'''/n'''Z''' (c'est-à-dire un sous-groupe du groupe des permutations de '''Z'''/n'''Z''') qui est un groupe diédral d'ordre 2n.
}}
{{Démonstration
 | contenu =
L'ensembles des t<sub>a</sub> : x ↦ x + a et l’ensemble des s<sub>a</sub> : x ↦ a - x sont disjoints. En effet, s'il existait des éléments ''a'' et ''b'' de '''Z'''/n'''Z''' tels que t<sub>a</sub> = s<sub>b</sub>, alors on aurait, pour tout élément ''x'' de '''Z'''/n'''Z''', x + a = b - x, autrement dit 2x = b - a, d'où 2 × 1 = 2 × 0, ce qui est impossible vu notre hypothèse n ≥ 3. Donc la réunion de ces deux ensembles de permutations est de cardinal 2n.<br />
On vérifie facilement que la composée de deux permutations appartenant à cette réunion appartient elle aussi à cette réunion :
:<math> t_{a} \circ t_{b} = t_{a+b},</math>
:<math> t_{a} \circ s_{b} = s_{a+b},</math>
:<math> s_{a} \circ t_{b} = s_{a-b},</math>
:<math> s_{a} \circ s_{b} = t_{a-b}</math>.
De plus, l'inverse de t<sub>a</sub> est t<sub>-a</sub> et s<sub>a</sub> est sa propre inverse.<br />
Les t<sub>a</sub> et les s<sub>a</sub> constituent donc bien un groupe de permutations de '''Z'''/n'''Z'''. Montrons que ce groupe est engendré par deux éléments d'ordre 2, par exemple s<sub>0</sub> et s<sub>1</sub>. Nous avons
:<math> s_{1} \circ s_{0} = t_{1}</math>
et il est clair que t<sub>1</sub> engendre toutes les translations, donc s<sub>0</sub> et s<sub>1</sub> engendrent toutes les translations; en outre,
:<math> t_{a} \circ s_{0} = s_{a},</math>
donc s<sub>0</sub> et s<sub>1</sub> engendrent toutes les s<sub>a</sub>.<br />
Puisque le groupe formé par les t<sub>a</sub> et les s<sub>a</sub> est d'ordre 2n et est engendré par deux éléments d'ordre 2, il résulte d'un théorème de la première section que ce groupe est un groupe diédral d'ordre 2n.
}}

{{Corollaire
  | contenu =
Soit ''n'' un nombre naturel ≥ 3. Le groupe symétrique S<sub>n</sub> contient un sous-groupe diédral d'ordre 2''n''.
}}
{{Démonstration
 | contenu =
Le groupe S<sub>n</sub> est isomorphe au groupe des permutations de '''Z'''/n'''Z''' et il résulte du théorème précédent que le groupe des permutations de '''Z'''/n'''Z''' contient un sous-groupe diédral d'ordre 2''n''.
}}

== Groupes diédraux généralisés ==
Soit A un groupe abélien (fini ou infini), qu'on notera multiplicativement. Du fait que A est abélien, il résulte que la permutation <math>x \mapsto x^{-1}</math> de A est un automorphisme. Cet automorphisme a pour carré (dans le groupe Aut(A) ) l'automorphisme identique, donc il existe un et un seul homomorphisme <math>\psi</math> du groupe <math>\mathbb{Z}/ 2 \mathbb{Z}</math> dans le groupe Aut(A) qui applique l'unique élément d'ordre 2 de <math>\mathbb{Z}/ 2 \mathbb{Z}</math> sur l'automorphisme <math>x \mapsto x^{-1}</math> de A.

{{Définition
  | contenu =
Soit A un groupe abélien (fini ou infini), noté multiplicativement. Nous définirons le groupe diédral généralisé construit sur A comme le produit semi-direct de A par <math>\mathbb{Z}/ 2 \mathbb{Z}</math> correspondant à l'unique homomorphisme de <math>\mathbb{Z}/ 2 \mathbb{Z}</math> dans Aut(A) qui applique l'élément d'ordre 2 de <math>\mathbb{Z}/ 2 \mathbb{Z}</math> sur l'automorphisme <math>x \mapsto x^{-1}</math> de A.
}}
Le groupe diédral généralisé construit sur A se note Dih(A) (de l'anglais ''dihedral'').

Si le carré de tout élément de A est égal à 1, ce qui, d'après le chapitre [[../Groupes commutatifs finis, 1/]], revient à dire que A est un 2-groupe abélien élémentaire (autrement dit encore, une somme directe de groupes d'ordre 2), l'automorphisme <math>x \mapsto x^{-1}</math> de A est l'automorphisme identique, donc, dans ce cas, le groupe Dih(A) n'est autre que le produit direct de A par <math>\mathbb{Z}/ 2 \mathbb{Z} .</math> Certains auteurs<ref>Par exemple W. R. Scott, ''Group Theory'', réimpr. Dover, 1987, p. 215.</ref> ne définissent Dih(A) que si A n'est pas un  2-groupe abélien élémentaire, mais nous ne les suivrons pas.

Si le groupe A est cyclique d'ordre ''n'', Dih(A) est isomorphe (ou identique, selon les définitions) au groupe diédral d'ordre 2n.

On verra dans les exercices que certaines des propriétés des groupes diédraux démontrées plus haut s'étendent immédiatement aux groupes diédraux généralisés.

== Notes et références  ==
<references/>

{{Bas de page
  | idfaculté = mathématiques
  | précédent = [[../Produit semi-direct/]]
  | suivant   = [[../Holomorphe d'un groupe/]]
}}