Voir la source de Théorie des groupes/Groupes dicycliques

{{Chapitre
  | niveau    = 14
  | idfaculté = mathématiques
  | numéro    = 27
  | précédent = [[../Holomorphe d'un groupe/]]
  | suivant   = [[../Transfert, théorème du complément normal de Burnside/]]
  | page_liée = Exercices/Groupes dicycliques
}}

Dans ce chapitre, nous allons définir les groupes dicycliques, dont le groupe des quaternions et les groupes quaternioniens généralisés constituent des cas particuliers importants.
__TOC__
{{Clr}}
== Définition et table de multiplication des groupes dicycliques ==

{{Définition
  | contenu =
Un groupe est appelé un groupe dicyclique s'il est engendré par deux éléments ''a'' et ''b'' satisfaisant aux conditions suivantes :
:''a'' est d'ordre fini pair, ''b''{{exp|2}} = ''a''<sup>ord(''a'')/2</sup>, où ord(''a'') désigne l’ordre de ''a'', et  ''b''{{exp|–1}}''ab = a''{{exp|–1}}.
}}

Remarques. 1° Puisqu'un groupe cyclique d'ordre pair comprend un seul élément d'ordre 2, la condition ''b''{{exp|2}} = ''a''<sup>ord(''a'')/2</sup> revient à dire que ''b''{{exp|2}} est égal à l'unique élément d'ordre 2 du sous-groupe engendré par ''a''.

2° Selon notre définition, un groupe cyclique d'ordre 4 est un groupe dicyclique (prendre pour ''a'' l'unique élément d'ordre 2 et pour ''b'' un des deux éléments d'ordre 4). Nous donnerons plus loin des exemples moins triviaux. Certains auteurs, d'ailleurs, excluent les groupes cycliques d'ordre 4 des groupes dicycliques.

{{Théorème
  | titre=Lemme 1
  | contenu=
Soient G un groupe et ''a'', ''b'' des éléments de G tels que ''a'' soit d'ordre fini pair, que ''b''{{exp|2}} = ''a''<sup>ord(''a'')/2</sup>, où ord(''a'') désigne l’ordre de ''a'', et que  ''b''{{exp|–1}}''ab = a''{{exp|–1}}. Alors ''b'' est d'ordre 4 et n'appartient pas à ⟨''a''⟩.
}}
{{BDdebut|titre=Démonstration}}
Puisque ''b''{{exp|2}} = ''a''<sup>ord(''a'')/2</sup> et que ''a''<sup>ord(a)/2</sup> est d'ordre 2, ''b'' est d'ordre 4. Si tout d’abord l’ordre de ''a'' est > 2, la relation ''b''{{exp|–1}}''ab = a''{{exp|–1}} montre que ''b'' ne commute pas avec ''a'' et n'est donc pas une puissance de ''a''. Si maintenant l’ordre de ''a'' est 2, alors ''b'', dont l’ordre est égal à 4, ne peut pas être une puissance de ''a''.
{{BDfin}}

Dans le lemme qui suit, le point c) (qui peut être considéré comme fournissant une « table de multiplication » du groupe G) ne doit pas être mémorisé.

{{Théorème
  | titre=Lemme 2
  |contenu=
Soit ''n'' un nombre naturel non nul, soit G un groupe engendré par deux éléments ''a'' et ''b'' satisfaisant aux conditions suivantes :
:''a'' est d'ordre 2''n'', ''b''{{exp|2}} = ''a<sup>n</sup>'',  ''b''{{exp|–1}}''ab = a''{{exp|–1}}. (G est donc dicyclique.) Alors

a) G est d'ordre 4''n'' ;

b) tout élément de G s'écrit d'une et une seule façon sous la forme
:''a<sup>i</sup> b <sup>j</sup>''
avec ''i'', ''j'' entiers naturels, 0 ≤ ''i'' ≤ 2''n'' – 1 et 0 ≤ ''j'' ≤ 1 ;

c) pour tous ''i'', ''i{{'}}'', ''j'', ''j{{'}}'' tels que 0 ≤ ''j'', ''j{{'}}'' ≤ 1,
:<math> \qquad (a^ib^j) (a^{i'} b^{j'})= a^{i + (-1)^{j}i' + njj'} b^{r_2(j+j')}= a^{r_{2n}(i + (-1)^{j}i' + njj' )} b^{r_2(j+j')}</math>,
où ''r''<sub>2''n''</sub>( ) désigne le reste par 2''n'' et ''r''<sub>2</sub>( ) le reste par 2.
}}
{{BDdebut|titre=Démonstration}}
Démontrons d’abord le point b). Puisque x ↦ ''b''{{exp|–1}}''xb'' définit un automorphisme de G, l'hypothèse ''b''{{exp|–1}}''ab = a''{{exp|–1}} entraîne
:(1)'' b''{{exp|–1}}''a<sup>k</sup>b = a{{exp|–k}}''
pour tout entier rationnel ''k''. En particulier, ''b'' normalise ⟨''a''⟩. Puisque ''a'' et ''b'' sont supposés engendrer G, il en résulte que
:G = ⟨''a''⟩⟨''b''⟩,
donc tout élément de G est de la forme
:''a<sup>i</sup> b<sup>j</sup>''
avec ''i'' et ''j'' entiers rationnels. D'après le lemme 1, ''b'' est d'ordre 4 donc, dans l’expression ''b<sup>j</sup>'', ''j'' peut être remplacé par son reste par 4. Autrement dit, on peut prendre ''j'' tel que 0 ≤ j ≤ 3. Si ''j'' est égal à 2, alors (d'après l'hypothèse ''b''{{exp|2}} = ''a<sup>n</sup>'') ''b<sup>j</sup>'' peut être remplacé par ''a<sup>n</sup>'' et si ''j'' est égal à 3, ''b<sup>j</sup>'' peut être remplacé par ''a<sup>n</sup> b''. Cela montre que tout élément de G est de la forme
: ''a<sup>i</sup> b<sup>j</sup>''
avec ''i'' entier rationnel et ''j'' ∈ {0, 1}. Puisque ''a'' est supposé d'ordre 2''n'', ''i'' peut être remplacé par son reste par 2''n'', ce qui prouve que tout élément de G peut s'écrire
: ''a<sup>i</sup> b <sup>j</sup>''
avec ''i'', ''j'' entiers naturels, 0 ≤ ''i'' ≤ 2''n'' – 1 et 0 ≤ ''j'' ≤ 1.

Pour prouver le point b) de l'énoncé, il reste à prouver que cette écriture est unique. Soient ''i'', ''i{{'}}'', ''j'', ''j{{'}}'' des nombres naturels tels que 0 ≤ ''i'', ''i{{'}}'' ≤ 2''n'' – 1, 0 ≤ ''j'', ''j{{'}}'' ≤ 1 et
:''a<sup>i</sup> b <sup>j</sup> = a<sup>i'</sup> b <sup>j'</sup>''.
Il s'agit de prouver que
:(thèse 2) ''i = i{{'}}'' et ''j = j{{'}}''.
Nous avons
:(3)'' a<sup>i–i'</sup> = b<sup>j–j'</sup>''.
Or, du fait que ''b''{{exp|2}} appartient à ⟨''a''⟩ (hypothèse ''b''{{exp|2}} = ''a<sup>n</sup>'') et que ''b'' n'appartient pas à ⟨''a''⟩ (lemme 2), on tire facilement que, ''k'' étant un entier rationnel, ''b<sup>k</sup>'' appartient à ⟨''a''⟩ si et seulement si ''k'' est pair. Donc, dans la relation (2), ''j – j{{'}}'' est pair. Puisque ''j'' et ''j{{'}}'' appartiennent tous deux à {0, 1}, on doit avoir ''j = j{{'}}''. Dès lors, (2) donne ''a<sup>i–i'</sup>'' = 1. Comme ''a'' est d'ordre 2''n'', ''i – i{{'}}'' est donc divisible par 2''n''. Puisque ''i'' et ''i{{'}}'' appartiennent tous deux à {0, 1, ... , 2''n'' – 1}, on doit avoir ''i = i{{'}}'', ce qui achève de prouver notre thèse (2). Comme nous l'avons vu, le point b) de l'énoncé en résulte. Le point a) découle clairement du point b).

Démontrons le point c). De la relation (1), on tire que pour tout entier rationnel ''k'',
:<math>ba^k=a^{-k}b</math>.

Donc pour tout ''j{{'}}'' dans {0, 1} et tous ''i'', ''i{{'}}'',
:<math>(a^ib)(a^{i'}b^{j'})=a^i(ba^{i'})b^{j'}=a^i(a^{-i'}b)b^{j'}</math>, si bien que
pour tous ''j'', ''j{{'}}'' dans {0, 1} et tous ''i'', ''i{{'}}'',
:(4) <math>(a^ib^j)(a^{i'} b^{j'})= a^{i+i'(-1)^j}b^{j+j'}</math>.

Puisque ''j'' et ''j{{'}}'' sont tous deux dans {0, 1}, nous avons
:<math>j + j' =2 j j' + r_{2}(j+j')</math>,
d'où
:<math>b^{j+j'} = b^{2jj'} b^{r_2(j+j')}</math>
d'où, puisque <math>b^2= a^n</math>,
:<math>b^{j+j'} = a^{njj'} b^{r_2(j+j')}</math>.
La relation (4) peut donc s'écrire
:(4) <math>(a^ib^j) (a^{i'} b^{j'})= a^{i + i' (-1)^j} a^{njj'} b^{r_2(j+j')}</math>,
ce qui démontre le point c) de l'énoncé.
{{BDfin}}


{{Théorème
  | titre=Lemme 3
  |contenu=
Soit G un groupe. Les deux conditions suivantes sont équivalentes :
:1° G est dicyclique ;
:2° G est d'ordre fini divisible par 4 et, cet ordre étant désigné par 4''n'', G comprend un élément ''a'' d'ordre 2''n'' et un élément ''b'' tels que ''b''{{exp|2}} = ''a<sup>n</sup>'' et ''b''{{exp|–1}}''ab = a''{{exp|–1}}.
Des éléments ''a'', ''b'' tels qu'en 2° engendrent G.
}}
{{BDdebut|titre=Démonstration}}
Prouvons que 1° entraîne 2°. Si G est dicyclique, il est engendré par un élément ''a'' d'ordre fini pair 2''r'' et un élément ''b'' tel que ''b''{{exp|2}} = ''a<sup>r</sup>'' et  ''b''{{exp|–1}}''ab = a''{{exp|–1}}. D'après le lemme 2, point a), G est d'ordre 4''r''. Donc, si l'on désigne l’ordre de G par 4''n'', ''r'' est égal à ''n'', donc ''a'' et ''b'' sont tels que dans l'énoncé.

Réciproquement, supposons 2° et prouvons 1°. D'après le lemme 2, point a), ⟨''a'', ''b''⟩ est d'ordre 4''n'' et est donc égal à G, donc G est dicyclique. Ceci prouve que 2° entraîne 1°. Nous avons aussi prouvé que dans l'hypothèse 2°, ⟨''a'', ''b''⟩ = G, ce qui est la seconde assertion de l'énoncé.
{{BDfin}}


{{Théorème
  | titre=Lemme 4
  |contenu=
Soit ''n'' un nombre naturel non nul, soient G et H deux groupes dicycliques d'ordre 4''n''. Soient ''a'' un élément d'ordre 2''n'' de G et ''b'' un élément de G tel que ''b''{{exp|2}} = ''a<sup>n</sup>'' et ''b''{{exp|–1}}''ab = a''{{exp|–1}} ; soient α un élément d'ordre 2''n'' de H et β un élément de H tel que β{{exp|2}} = α<sup>''n''</sup> et β{{exp|–1}}αβ = α{{exp|–1}}. (D'après le lemme 3, de tels éléments existent, ''a'' et ''b'' engendrent G, α et β engendrent H.)

Il existe un et un seul isomorphisme de G sur H qui applique ''a'' sur α et ''b'' sur β.

Si l'on désigne par ''f''<sub>α,β</sub> cet isomorphisme (dépendant de ''a'' et ''b''), si l'on désigne par E l’ensemble des couples (α, β) d'éléments de H tels que α soit d'ordre 2''n'', que β{{exp|2}} = α<sup>''n''</sup> et β{{exp|–1}}αβ = α{{exp|–1}}, alors (α, β) ↦ ''f''<sub>α,β</sub> définit une bijection de E sur l’ensemble des isomorphismes de G sur H.
}}
{{BDdebut|titre=Démonstration}}
D'après le lemme 2, point b), il existe une (et une seule) bijection ''f'' de G sur H telle que, pour tout ''i'' dans {0, 1, ... , 2''n'' – 1} et tout ''j'' dans {0, 1},
:''f''(''a<sup>i</sup> b<sup>j</sup>'') = α<sup>''i''</sup> β<sup>''j''</sup>.
D'après la « table de multiplication » fournie par le lemme 2, point c), ''f'' est un isomorphisme de G sur H. Par définition de ''f'', nous avons ''f''(''a'') = α et ''f''(''b'') = β. D'après le lemme 3, ''a'' et ''b'' engendrent G, donc ''f'' est le seul isomorphisme (et même le seul homomorphisme) qui applique ''a'' sur α et ''b'' sur β. Comme dans l'énoncé, désignons cet isomorphisme par ''f''<sub>α,β</sub> (''a'' et ''b'' étant sous-entendus dans la notation).

Si ''g'' est un isomorphisme de G sur H, alors g(''a'') est d'ordre 2''n'', ''g''(''b''){{exp|2}} = ''g''(''a'')<sup>''n''</sup> et ''g''(''b''){{exp|–1}} ''g''(''a'') ''g''(''b'') = ''g''(''a''){{exp|–1}} donc, dans les notations de l'énoncé, le couple (''g''(''a''), ''g''(''b'')) appartient à E et ''g'' = ''f''<sub>''g''(''a''), ''g''(''b'')</sub>. Ceci prouve que (α, β) ↦ ''f''<sub>α,β</sub> définit une surjection de E sur l’ensemble des isomorphismes de G sur H.

Puisque ''f''<sub>α,β</sub>(''a'') = α et ''f''<sub>α,β</sub>(''b'') = β, cette surjection est une injection et donc une bijection (de bijection réciproque ''g'' ↦  (''g''(''a''), ''g''(''b''))).
{{BDfin}}


{{Théorème
  | titre=Corollaire 5
  |contenu=
Deux groupes dicycliques de même ordre sont isomorphes.
}}
{{BDdebut|titre=Démonstration}}
Cela résulte immédiatement du lemme 4 (compte tenu que d’après le lemme 3, tout groupe dicyclique est d'ordre fini divisible par 4).
{{BDfin}}

== Exemples de construction des groupes dicycliques ==

Jusqu'ici, nous avons trouvé des conditions nécessaires auxquelles doivent satisfaire les groupes dicycliques, mais nous n'avons pas prouvé qu’il en existe (à part le cas banal des groupes cycliques d'ordre 4).

{{Théorème
  | titre=Théorème 6
  |contenu=
Pour tout nombre naturel non nul ''n'', il existe un groupe dicyclique d'ordre 4''n''.
}}
{{Démonstration déroulante|contenu=
'''Première démonstration'''. Cette démonstration est suggérée par la « table de multiplication » fournie par le lemme 2, point c). Munissons le produit cartésien ℤ/2''n''ℤ × ℤ/2ℤ de la loi de composition interne ∗ définie (correctement, comme le lecteur s'en assurera) par
:(0) (''x'' + 2''n''ℤ, ''y'' + 2ℤ) * (''x{{'}}'' + 2''n''ℤ, ''y{{'}}'' + 2ℤ) = (''x'' + (–1)''{{exp|y}}x{{'}}''+ ''nyy{{'}}'' + 2''n''ℤ, ''y'' + ''y{{'}}'' + 2ℤ)
pour tous entiers rationnels ''x'', ''y'', ''x{{'}}'' et ''y{{'}}''.

Prouvons que cette loi est une loi de groupe.

Prouvons d’abord que la loi ∗ est associative. Il s'agit de prouver que pour tous entiers rationnels x, x', <nowiki>x''</nowiki>, y, y' et <nowiki>y''</nowiki>,
:( (''x'' + 2''n''ℤ, ''y'' + 2ℤ) ∗ (''x{{'}}'' + 2''n''ℤ, ''y{{'}}'' + 2ℤ) ) ∗ (''x{{'}}{{'}}'' + 2''n''ℤ, ''y{{'}}{{'}}'' + 2ℤ) = (''x'' + 2''n''ℤ, ''y'' + 2ℤ) ∗ ( (''x{{'}}'' + 2''n''ℤ, ''y{{'}}'' + 2ℤ) ∗ (''x{{'}}{{'}}'' + 2''n''ℤ, ''y{{'}}{{'}}'' + 2ℤ) ).
Or le calcul montre que les deux membres sont égaux à
:(''x'' + (–1)''<sup>y</sup> x{{'}}'' + (–1)''<sup>y+y'</sup> x{{'}}{{'}}'' + ''n'' (''yy{{'}}'' + ''yy{{'}}{{'}}'' + ''y{{'}}y{{'}}{{'}}'') + 2''n''ℤ, ''y'' + ''y{{'}}'' + ''y{{'}}{{'}}'' + 2ℤ).
(Dans le calcul du second membre, noter que (–1)''<sup>y</sup> ny{{'}}y{{'}}{{'}}'' + 2''n''ℤ = ''ny{{'}}y{{'}}{{'}}'' + 2''n''ℤ, car –''n'' est congru à ''n'' modulo 2''n''.)

Donc la loi ∗ est bien associative. Elle admet pour élément neutre (0, 0), où l'on désigne par 0 les neutres respectifs de ℤ/2''n''ℤ et de ℤ/2ℤ, et l'on vérifie facilement que
: (1) (''x'', ''y'') admet pour symétrique l'élément (''ny'' – (–1)''<sup>y</sup> x'' + 2''n''ℤ, –''y'' + 2ℤ) = (''ny'' – (–1)''<sup>y</sup> x'' + 2''n''ℤ, ''y'' + 2ℤ),
ce qui achève de prouver que * est une loi de groupe.
Soit G ce groupe, que nous noterons multiplicativement. Son neutre 1 est donc (0, 0).

Prouvons que G est un groupe dicyclique.

Posons ''a'' = (1 + 2''n''ℤ, 0). On prouve par récurrence sur ''k'' que pour tout nombre naturel ''k'',
:(2) ''a<sup>k</sup>'' = (''k'' + 2''n''ℤ, 0),
donc
:(3) ''a'' est d'ordre 2''n''.
Posons ''b'' = (0, 1 + 2ℤ). Alors, d’après (1), ''b''{{exp|–1}} = (''n'' + 2''n''ℤ, 1 + 2ℤ), d'où  ''b''{{exp|–1}}''ab'' = (–1 + 2''n''ℤ, 0). D'après (1), le second membre de cette égalité est l'inverse de (1 + 2''n''ℤ, 0), autrement dit l'inverse de ''a'', donc
:(4) ''b''{{exp|–1}}''ab = a''{{exp|–1}}.
De plus, ''b''<sup>2</sup> = (0, 1 + 2ℤ) (0, 1 + 2ℤ) = (''n'' + 2''n''ℤ, 0), donc, d’après (2),
:(5) ''b''<sup>2</sup> = ''a<sup>n</sup>''.
Tout élément du groupe G que nous avons construit est de la forme (''k'' + 2''n''ℤ, 0) ou de la forme (''k'' + 2''n''ℤ, 1 + 2ℤ) avec ''k'' naturel, donc est ou bien de la forme ''a<sup>k</sup>'' = (''k'' + 2''n''ℤ, 0) (voir (2) ) ou bien de la forme {{nobr|1=''a<sup>k</sup> b'' = (''k'' + 2''n''ℤ, 0) (0, 1 + 2ℤ) = (''k'' + 2''n''ℤ, 1 + 2ℤ),}} donc ''a'' et ''b'' engendrent G, ce qui, avec (3), (4) et (5), prouve que le groupe G est un groupe dicyclique d'ordre 4''n''.

'''Remarque sur cette démonstration.''' Le fait que * soit une loi de groupe est un cas particulier de la situation suivante. Soit K un groupe commutatif, noté additivement, soit Q un groupe, noté multiplicativement, soit θ : ''x'' ↦ θ<sub>''x''</sub> un homomorphisme de Q dans Aut(K), soit ''f'' une application de Q × Q dans K telle que, pour tous éléments ''x'', ''y'' et ''z'' de Q, on ait
:1° θ<sub>''x''</sub>(''f''(''y'', ''z'')) – ''f''(''xy'', ''z'') + ''f''(''x'', ''yz'') – ''f''(''x'', ''y'') = 0 ;
:2° ''f''(''x'', 0) = f(0, ''x'') = 0 ;
alors K × Q, muni de la loi de composition interne ∗ :
:(''k'', ''x'') ∗ (''k{{'}}'', ''x{{'}}'') = (''k'' + θ<sub>''x''</sub>(''k{{'}}'') + ''f''(''x'', ''x{{'}}''), ''xx{{'}}''),
est un groupe.

En prenant pour θ l'homomorphisme ''x'' ↦ θ<sub>''x''</sub> de ℤ/2ℤ dans Aut(ℤ/2''n''ℤ) défini par θ<sub>''x''</sub>(''y'') = (–1)''<sup>x</sup>y'' et en prenant pour ''f'' l’application (bien définie) (''x'' + 2ℤ, ''x{{'}}'' + 2ℤ) ↦ ''nxx{{'}}'' de ℤ/2ℤ × ℤ/2ℤ dans ℤ/2''n''ℤ, on obtient la loi ∗ définie précédemment.

Une application ''f'' satisfaisant aux conditions 1° et 2° est appelée un système de facteurs relatif à θ.

'''Seconde démonstration'''. Soit α une racine primitive (2''n'')-ième de 1, c'est-à-dire un élément d'ordre 2''n'' du groupe multiplicatif des nombres complexes non nuls. Posons

A = <math>\begin{pmatrix}
\alpha & 0\\
0 & \alpha^{-1}\\
\end{pmatrix}</math> et B = <math>\begin{pmatrix}
0 & - 1\\
1 & 0\\
\end{pmatrix}</math>.

Ces deux matrices appartiennent au groupe multiplicatif des matrices inversibles 2 × 2 à coefficients complexes. D'après les règles du calcul des matrices diagonales, A est d'ordre 2''n'' et A<sup>''n''</sup> est la matrice scalaire –1. Le calcul montre que la matrice B<sup>2</sup> est, elle aussi, égale à la matrice scalaire –1, ce qui montre que B<sup>2</sup> = A<sup>''n''</sup> et aussi que
:<math> B^{-1} = - B = \begin{pmatrix}
0 & 1\\
- 1 & 0\\
\end{pmatrix}</math>,
d'où
:<math>B^{-1} A B = \begin{pmatrix}
\alpha^{-1} & 0\\
0 & \alpha\\
\end{pmatrix}</math>
et d’après les règles du calcul des matrices diagonales, cette dernière matrice est égale à A{{exp|–1}}. Le groupe multiplicatif engendré par A et B est donc un groupe dicyclique et d’après le lemme 2, point a), il est d'ordre 4''n''.

'''Troisième démonstration'''. (On va procéder de façon « heuristique », c'est-à-dire en montrant comment on peut être mis sur la voie de la démonstration. La démonstration proprement dite tient tout entière dans l'avant-dernière phrase.) On a vu dans les [[../Exercices/Produit semi-direct|exercices de la série Produit semi-direct]] que si G est un groupe, si G = AB, où A est un sous-groupe normal de G et B un sous-groupe de G (on ne suppose pas que A ⋂ B = 1, autrement dit que A est produit semi-direct de A par B), si θ : B → Aut(A) : ''y'' ↦ θ<sub>''y''</sub> : ''x'' ↦ ''y x y''<sup>–1</sup> désigne l'homomorphisme de B dans Aut(A) correspondant à l'action de B sur A par conjugaison, si A ⋊<sub>θ</sub> B désigne le produit semi-direct externe de A par B relativement à θ, alors
:(6) G est isomorphe au quotient de A ⋊<sub>θ</sub> B par un sous-groupe normal N de A ⋊<sub>θ</sub> B possédant les propriétés suivantes :
:1° N ⋂ (A × {1}) = 1 ;
:2° N ⋂ ({1} × B) = 1 ;
:3° N est isomorphe à A ⋂ B.

Supposons qu'un groupe G soit un groupe dicyclique d'ordre 4''n''. D'après lemme 3, G est engendré par un élément ''a'' d'ordre 2''n'' et un élément ''b'' tels que
:(7) ''b''{{exp|2}} = ''a{{exp|n}}'' et ''b''{{exp|–1}} ''a b = a''{{exp|–1}}.
Si l'on pose A = ⟨''a''⟩ et B =  ⟨''b''⟩ , A est un sous-groupe normal de G isomorphe à ℤ/2''n''ℤ, B est un sous-groupe de G isomorphe à ℤ/4ℤ, G = AB, A ⋂ B est d'ordre 2 et l'action de B sur A par conjugaison est l'unique homomorphisme θ : ''y'' ↦ θ<sub>''y''</sub> de B dans Aut(A) tel que θ<sub>''b''</sub> soit l'automorphisme ''x'' ↦ ''x''{{exp|–1}} de A. L'action de B sur A correspondant à θ est équivalente (ou quasi équivalente dans une autre terminologie) à l'action (correctement définie)
:(''r'' + 4ℤ, ''s'' + 2''n''ℤ) ↦ (–1)''{{exp|r}}s'' + 2''n''ℤ
de ℤ/4ℤ sur ℤ/2''n''ℤ.
Désignons par ℤ/2''n''ℤ ⋊ ℤ/4ℤ le produit semi-direct externe correspondant à cette dernière opération. En revoyant la façon dont on a prouvé que des produits semi-directs externes correspondant à des actions (quasi) équivalentes sont isomorphes, le lecteur s'assurera (en tenant compte de (6)) que
:G est isomorphe au quotient de 2''n''ℤ ⋊ ℤ/4ℤ par un sous-groupe normal N d'ordre 2 de 2''n''ℤ ⋊ ℤ/4ℤ tel que 
:4° N ⋂ (ℤ/2nℤ × {0}) = {(0, 0)} ;
:5° N ⋂ ({0} × ℤ/4ℤ) = {(0, 0)}.
(Nous désignerons indifféremment par 0 ou par 0 + 2''n''ℤ le neutre 2''n''ℤ de ℤ/2''n''ℤ. Même chose pour le neutre de ℤ/4ℤ.)

Comme un sous-groupe normal d'ordre 2 est toujours central, N doit être central dans ℤ/2''n''ℤ ⋊ ℤ/4ℤ. On vérifiera que les seuls éléments centraux d'ordre 2 de ℤ/2''n''ℤ ⋊ ℤ/4ℤ sont (''n'' + 2''n''ℤ, 0 + 4ℤ), (0 + 2''n''ℤ, 2 + 4ℤ) et (''n'' + 2''n''ℤ, 2 + 4ℤ). Donc le seul sous-groupe central N d'ordre 2 de ℤ/2''n''ℤ ⋊ ℤ/4ℤ satisfaisant aux conditions 4° et 5° est {(0, 0), (''n'' + 2''n''ℤ, 2 + 4ℤ)}, autrement dit ⟨(''n'' + 2''n''ℤ, 2 + 4ℤ)⟩. Donc si un groupe G d'ordre 4''n'' est dicyclique, il doit être isomorphe à (ℤ/2''n''ℤ ⋊ ℤ/4ℤ)/⟨(''n'' + 2''n''ℤ, 2 + 4ℤ)⟩. Le lecteur vérifiera que (ℤ/2''n''ℤ ⋊ ℤ/4ℤ)/⟨(''n'' + 2''n''ℤ, 2 + 4ℤ)⟩ est bien dicyclique (et, plus précisément, que si l'on désigne par ''a'' la classe de (1 + 2''n''ℤ, 0) modulo (''n'' + 2''n''ℤ, 2 + 4ℤ) et par ''b'' la classe de (0, 1 + 4ℤ), la condition (7) est satisfaite, ce qui prouve que G est dicyclique). On a donc prouvé qu’il existe un groupe dicyclique d'ordre 4''n'' ; vu l'unicité du sous-groupe N, on a même de nouveau prouvé que tous les groupes dicycliques d'ordre 4''n'' sont isomorphes.
}}

Puisque deux groupes dicycliques du même ordre sont isomorphes, on dit volontiers « le groupe dicyclique d'ordre 4''n'' ». On le note DC<sub>''n''</sub>, Dic<sub>''n''</sub> ou encore Q<sub>4''n''</sub>. Toutefois, la troisième notation est souvent réservée au cas où l’ordre du groupe dicyclique est une puissance de 2, cas dans lequel on adopte la définition suivante :

{{Définition
  | contenu ={{Wikipédia|Groupe des quaternions}}
Un groupe dicyclique dont l’ordre est une puissance de 2 est appelé un groupe quaternionien généralisé. Le groupe dicyclique d'ordre 8 est appelé le groupe des quaternions, ou encore le groupe quaternionien.
}}

Pour désigner un groupe dicyclique d'ordre 4''n'', on adoptera ici la notation DC<sub>''n''</sub>, mais on préférera la notation Q<sub>4''n''</sub> si ce groupe est quaternionien généralisé. (Certains auteurs notent Q<sub>''m''</sub> le groupe quaternionien généralisé d'ordre 2{{exp|''m''}}, mais on ne les suivra pas ici.)

== Quelques traits de la structure des groupes dicycliques ==
{{Théorème
  | titre=Lemme 7
  |contenu=
Soit ''n'' un nombre naturel non nul.

1° Le groupe dicyclique DC<sub>''n''</sub> d'ordre 4''n'' contient un sous-groupe cyclique C d'ordre 2''n'' tel que tout élément de DC<sub>''n''</sub> – C soit d'ordre 4.

2° Si ''n'' est impair, le groupe dicyclique DC<sub>''n''</sub> d'ordre 4''n'' comprend exactement 2''n'' éléments d'ordre 4. Si ''n'' est pair, il en comprend exactement {{nobr|2''n'' + 2.}}
}}
{{BDdebut|titre=Démonstration}}
D'après le lemme 3, DC<sub>''n''</sub> est engendré par un élément ''a'' d'ordre 2''n'' et par un élément ''b'' tels que ''b''<sup>2</sup> = ''a<sup>n</sup>'' et ''b''{{exp|–1}}''ab = a''{{exp|–1}}. D'après le lemme 2, point b), tout élément de DC<sub>''n''</sub> se met d'une et une seule façon sous la forme ''x = a<sup>i</sup> b<sup>j</sup>'' avec ''i'' ∈ {0, 1, ... , 2''n'' – 1} et ''j'' ∈ {0, 1}. Donc tout élément ''x'' de DC<sub>''n''</sub> – ⟨''a''⟩ est de la forme ''x = a<sup>i</sup> b'' avec ''i'' ∈ {0, 1, ... , 2n - 1}. La table de multiplication fournie par le lemme 2, point c), donne
:''x''<sup>2</sup> = ''a<sup>n</sup>''
donc (puisque ''a<sup>n</sup>'' est d'ordre 2) tout élément ''x'' de DC<sub>''n''</sub> – ⟨''a''⟩ est d'ordre 4, ce qui démontre la première assertion de l'énoncé.

Nous avons donc exactement 2''n'' éléments d'ordre 4 en dehors de ⟨''a''⟩ . Si ''n'' est impair, il n'y a pas d'élément d'ordre 4 dans le groupe cyclique ⟨''a''⟩  (d'ordre 2''n'') ; si ''n'' est pair, il y en a exactement 2, d'où l'énoncé.
{{BDfin}}


{{Théorème
  | titre=Corollaire 8
  |contenu=
Soit ''n'' un nombre naturel ≥ 2. Le groupe dicyclique DC<sub>''n''</sub> d'ordre 4''n'' est un groupe non abélien qui n’est pas isomorphe au groupe diédral D<sub>4''n''</sub> de même ordre.
}}
{{BDdebut|titre=Démonstration}}
D'après le lemme 7, DC<sub>''n''</sub> contient bien plus d'éléments d'ordre 4 que D<sub>4''n''</sub> donc ne lui est pas isomorphe. D'autre part, puisque DC<sub>''n''</sub> contient deux éléments ''a'' et ''b'' tels que ''b''{{exp|–1}}''ab = a''{{exp|–1}} ≠ ''a'', il n'est pas abélien.
{{BDfin}}


{{Théorème
  | titre=Théorème 9
  |contenu=
Soit ''n'' un nombre naturel non nul.
#Le groupe dicyclique DC<sub>''n''</sub> d'ordre 4''n'' contient un seul sous-groupe d'ordre 2 (autrement dit comprend un seul élément d'ordre 2).
#Si ''n'' ≥ 2, ce sous-groupe est le centre de DC<sub>''n''</sub>.
}}
{{BDdebut|titre=Démonstration}}
D'après le lemme 7, les éléments de DC<sub>''n''</sub> d'ordre 2 sont les éléments d'ordre 2 d'un certain sous-groupe cyclique d'ordre 2''n''. Il y en a donc un et un seul, ce qui prouve la première assertion de l'énoncé.

Démontrons la seconde. Comme dans la preuve du lemme 7, DC<sub>''n''</sub> est engendré par un élément ''a'' d'ordre 2''n'' et par un élément ''b'' tels que ''b''<sup>2</sup> = ''a<sup>n</sup>'' et ''b''{{exp|–1}}''ab = a''{{exp|–1}}, et tout élément de DC<sub>''n''</sub> se met d'une et une seule façon sous la forme ''x = a<sup>i</sup> b<sup>j</sup>'' avec ''i'' ∈ {0, 1, ... , 2''n'' – 1} et ''j'' ∈ {0, 1}. 

Puisque ''a'' et ''b'' engendrent DC<sub>''n''</sub>, ''x'' appartient au centre de DC<sub>''n''</sub> si et seulement s'il commute avec ''a'' et avec ''b''.

Dire que ''x'' commute avec ''b'' revient à dire que ''a{{exp|k}}'' commute avec ''b''. On pourrait exprimer cela à l'aide de la « table de multiplication », mais on peut dire aussi que la relation ''b''{{exp|–1}}''ab = a''{{exp|–1}} entraîne ''b''{{exp|–1}}''a{{exp|k}}b = a{{exp|–k}}'', de sorte que ''a{{exp|k}}'' commute avec ''b'' si et seulement si ''a{{exp|k}} = a{{exp|–k}}'', ce qui a lieu si et seulement si ''k'' = 0 ou ''k = n''.

D'autre part, dire que ''x'' commute avec ''a'' revient à dire que ''b<sup>j</sup>'' commute avec ''a'', ce qui est garanti lorsque ''j'' = 0 et équivaut, lorsque ''j'' = 1, à ''a''{{exp|–1}} = ''a''. Comme ''n'' est supposé ≥ 2, ceci n'a pas lieu. Ainsi, les seuls éléments du centre de DC<sub>''n''</sub> sont ''a''<sup>0</sup> = 1 et ''a<sup>n</sup>'', ce qui achève de prouver l'énoncé.
{{BDfin}}
Remarque. Du fait qu'un groupe dicyclique n'a qu'un élément d'ordre 2, on déduit facilement qu'un groupe dicyclique dont l'ordre est une puissance de 2, autrement dit un groupe quaternionien généralisé, n'a pas de décomposition non triviale en produit semi-direct, c'est-à-dire que les seules façons d'exprimer un tel groupe G comme produit semi-direct sont G⋊1 et 1⋊G.


{{Théorème
  | titre=Lemme 10
  |contenu=
Soit ''n'' un nombre naturel non nul, distinct de 2. Le groupe dicyclique DC<sub>''n''</sub> d'ordre 4''n'' contient un seul sous-groupe cyclique d'ordre 2''n''. (On verra que ce n’est pas vrai si ''n'' = 2.)
}}
{{BDdebut|titre=Démonstration}}
D'après le lemme 7, nous pouvons choisir un sous-groupe cyclique ⟨''a''⟩  d'ordre 2''n'' de DC<sub>''n''</sub> tel que tout élément de DC<sub>''n''</sub> – ⟨''a''⟩  soit d'ordre 4. Soit ''x'' un élément d'ordre 2''n'' de DC<sub>''n''</sub>. Il s'agit de prouver que ⟨''x''⟩  = ⟨''a''⟩. Puisqu'on suppose ''n'' distinct de 2, ''x'' est d'ordre distinct de 4 et, d'après ce qui précède, appartient donc à ⟨''a''⟩. Puisque ''x'' et ''a'' sont tout deux d'ordre 2''n'', on a donc ⟨''x''⟩  = ⟨''a''⟩, ce qui, comme noté, démontre l'énoncé.
{{BDfin}}


{{Théorème
  | titre=Théorème 11
  |contenu=
#Le groupe Q<sub>8</sub> est formé d'un élément d'ordre 1, d'un élément d'ordre 2 et de six éléments d'ordre 4.
#Tous ses sous-groupes sont normaux.
#Il a exactement 3 sous-groupes d'ordre 4 et ces sous-groupes sont tous trois cycliques.
}}
{{BDdebut|titre=Démonstration}}
D'après le lemme 7, Q<sub>8</sub> est constitué d'un sous-groupe cyclique d'ordre 4 et de quatre éléments supplémentaires d'ordre 4, ce qui démontre la première assertion de l'énoncé.

Q{{ind|8}} et son sous-groupe trivial sont évidemment des sous-groupes normaux de Q{{ind|8}}. Soit H un autre sous-groupe de Q<sub>8</sub>. Puisque Q<sub>8</sub> est d'ordre 8, H est d'ordre 2 ou 4. S'il est d'ordre 4, il est d'indice 2 dans Q<sub>8</sub> et donc normal. S'il est d'ordre 2, alors, d’après le théorème 9, il est seul de son ordre parmi les sous-groupes de Q<sub>8</sub> et est le centre de Q<sub>8</sub>, deux raisons de conclure qu’il est [[../Sous-groupes caractéristiques|caractéristique]] et donc normal dans Q<sub>8</sub>.

Puisque Q<sub>8</sub> ne comprend qu'un élément d'ordre 2, il ne contient pas de [[../Théorèmes de Sylow|sous-groupe de Klein]], [[../Théorèmes de Sylow|donc]] ses sous-groupes d'ordre 4 sont cycliques. On a vu dans les [[../Exercices/Automorphismes d'un groupe cyclique|exercices de la série Automorphismes d'un groupe cyclique]] que si G est un groupe et ''n'' un nombre naturel non nul, le nombre des éléments d'ordre ''n'' de G est égal à φ(''n'') fois le nombre des sous-groupes cycliques d'ordre ''n'' de G, où la fonction φ est l'indicateur d'Euler. En faisant ''n'' = 4 (d'où φ(''n'') = 2), on trouve que les sous-groupes cycliques d'ordre 4 de G (autrement dit, d’après ce qui précède, ses sous-groupes d'ordre 4) sont en nombre 3.
{{BDfin}}

Remarque. Les groupes dont tous les sous-groupes sont normaux, appelés [[w:Groupe de Dedekind|groupes de Dedekind]], sont classifiés<ref>Voir {{Ouvrage|lang=en|auteur=D. J. S. Robinson|titre=A Course in the Theory of Groups|numéro d'édition=2|éditeur=Springer|date=1996|url=https://books.google.fr/books?id=zLfkBwAAQBAJ&pg=PA143|passage=143-145}}.</ref>.

== Automorphismes d'un groupe dicyclique ==

{{Théorème
  | titre=Lemme 12
  |contenu=
Soit ''n'' un nombre naturel non nul, soient α, β des éléments du groupe dicyclique DC<sub>''n''</sub> d'ordre 4n. On suppose que α est d'ordre 2''n''. Pour que α et β satisfassent aux conditions 1° et 2° suivantes :
:1° β{{exp|2}} = α<sup>''n''</sup> ;
:2° β{{exp|–1}}αβ = α{{exp|–1}},
il faut et il suffit que :
:3° β ∉ ⟨α⟩.
}}
{{BDdebut|titre=Démonstration}}
Le cas ''n'' = 1 étant immédiat, supposons ''n'' ≥ 2. Puisque l'ordre de α est alors différent de 2, α{{exp|–1}} ≠ α donc si β{{exp|–1}}αβ = α{{exp|–1}} alors β ∉ ⟨α⟩ (l'hypothèse 1° devient inutile).

Montrons que réciproquement, si β ∉ ⟨α⟩ (3°) alors β{{exp|–1}}αβ = α{{exp|–1}} (2°) et de plus, β{{exp|2}} = α<sup>''n''</sup> (1°). Pour prouver (1°), il nous suffira, d'après le théorème 9, de montrer que β{{exp|2}} est d'ordre 2, c'est-à-dire que β est d'ordre 4.

Supposons d’abord ''n'' distinct de 2.

D'après le lemme 10, ⟨α⟩ est alors le seul sous-groupe cyclique d'ordre 2''n'' de DC<sub>''n''</sub>.

Par conséquent, d'après le lemme 2, point b), pour tous ''x'' ∈ ⟨α⟩ et ''y'' ∈ DC{{ind|''n''}} – ⟨α⟩, on a ''y''{{exp|–1}}''xy = x''{{exp|–1}}. (En effet, avec les notations de ce lemme, <math>(a^ib)^{-1}a^j(a^ib)=b^{-1}a^jb=a^{-j}</math>.) En particulier :
:si β ∉ ⟨α⟩ alors β{{exp|–1}}αβ = α{{exp|–1}}.

De plus, si β ∉ ⟨α⟩ alors d'après le lemme 7, β est d'ordre 4.

Donc notre thèse est démontrée dans le cas où ''n'' est distinct de 2.

Supposons maintenant ''n'' égal à 2.

L'élément α est alors d'ordre 4. D'après l'hypothèse 3° et le théorème 11, β est donc aussi d'ordre 4.

D'autre part, ⟨α⟩ est d'indice 2 dans DC<sub>''n''</sub> = Q<sub>8</sub> et est donc normal dans Q<sub>8</sub>. (On a d'ailleurs vu au théorème 11 que tous les sous-groupes de Q<sub>8</sub> sont normaux.) Donc β{{exp|–1}}αβ est égal à l'un des deux générateurs de ⟨α⟩ : α ou α{{exp|–1}}. De plus, puisque ⟨α⟩ est d'indice 2 dans Q<sub>8</sub> et que β est supposé ne pas appartenir à ⟨α⟩, α et β engendrent Q<sub>8</sub>. D'après le corollaire 8, Q<sub>8</sub> n’est pas abélien donc, puisque α et β engendrent Q<sub>8</sub>, β ne commute pas avec α et la seule possibilité restante est :
:2° β{{exp|–1}}αβ = α{{exp|–1}}.
Donc notre thèse est encore vraie.
{{BDfin}}


{{Théorème
  | titre=Théorème 13
  |contenu=
Soit ''n'' un nombre naturel non nul, distinct de 2. Aut(DC<sub>''n''</sub>) est isomorphe à [[../Holomorphe d'un groupe|Hol(ℤ/2''n''ℤ)]].
}}
{{Démonstration déroulante|contenu=
D'après le lemme 10, DC<sub>''n''</sub> a un unique sous-groupe cyclique d'ordre 2''n'' ; notons-le C. Il suffit de montrer que Aut(DC<sub>''n''</sub>) est isomorphe à Hol(C), ou encore : au [[../Produit semi-direct|produit semi-direct]] C ⋊ Aut C.

Soit E l'ensemble des couples (α, β) d'éléments de DC<sub>''n''</sub> tels que α engendre C et β ∉ C, et soit (''a'', ''b'') l'un de ces couples. D'après les lemmes 12 et 4, l'application ''f'' ↦ (''f''(''a''), ''f''(''b'')) est une bijection de Aut(DC<sub>''n''</sub>) sur E. D'autre part, l'application C ⋊ Aut C → E, (''g'', φ) ↦ (φ(''a''), ''bg'') est bijective. Enfin, la bijection composée F : C ⋊ Aut C → Aut(DC<sub>''n''</sub>) est un homomorphisme, c'est-à-dire que pour tous (''g'', φ) et (''h'', ψ) dans C ⋊ Aut C,
:F(''g'', φ) ∘ F(''h'', ψ) = F(''g''φ(''h''), φ ∘ ψ).
En effet :
*[F(''g'', φ) ∘ F(''h'', ψ)](''a'') = F(''g'', φ)(ψ(''a'')) = φ(ψ(''a'')) = F(''g''φ(''h''), φ ∘ ψ)(''a'') ;
*[F(''g'', φ) ∘ F(''h'', ψ)](''b'') = F(''g'', φ)(''bh'') = F(''g'', φ)(''b'')F(''g'', φ)(''h'') = ''bg''φ(''h'') = F(''g''φ(''h''), φ ∘ ψ)(''b'').
}}

Remarque. Ce théorème ne peut pas être étendu au cas où ''n'' = 2, comme le montre le théorème suivant.

{{Théorème
  | titre=Théorème 14
  |contenu=
Aut(Q<sub>8</sub>) est isomorphe à S<sub>4</sub>.
}}
{{BDdebut|titre=Démonstration}}
D'après le théorème 11, les éléments d'ordre 4 de Q<sub>8</sub> sont en nombre 6, donc les couples (α, β) d'éléments de Q<sub>8</sub> tels que α soit d'ordre 4 et que β n'appartienne pas à ⟨α⟩ sont en nombre 24. D'après le lemme 12, cela revient à dire que les couples (α, β) d'éléments de Q<sub>8</sub> tels que α soit d'ordre 2''n'', que β<sup>2</sup> = α<sup>''n''</sup> et que β{{exp|–1}} α β = α{{exp|–1}}, sont en nombre 24. D'après le lemme 4, il en résulte que Aut(Q<sub>8</sub>) est d'ordre 24.

On a vu dans les exercices de la série [[../Exercices/Groupes alternés|Groupes alternés]] que si un groupe G d'ordre 24 a un sous-groupe normal d'ordre 4 qui est son propre centralisateur dans G, G est isomorphe à S<sub>4</sub>. Il suffit donc de prouver que
:(thèse 1) le groupe Int(Q<sub>8</sub>) des automorphismes intérieurs de Q<sub>8</sub> est un sous-groupe normal d'ordre 4 de Aut(Q<sub>8</sub>) et est son propre centralisateur dans Aut(Q<sub>8</sub>).
On a vu au chapitre [[../Conjugaison, centralisateur, normalisateur|Conjugaison, centralisateur, normalisateur]] que, pour tout groupe G, Int(G) est un sous-groupe normal de Aut(G) et est isomorphe à G/Z(G). D'après le théorème 7, Z(Q<sub>8</sub>) est d'ordre 2, donc Int(Q<sub>8</sub>) est d'ordre 4. Donc pour prouver notre thèse (1), il suffit de prouver que
:(thèse 2) Int(Q<sub>8</sub>) est son propre centralisateur dans Aut(Q<sub>8</sub>).

Puisque Int(Q<sub>8</sub>) est d'ordre 4, il est abélien et donc contenu dans son centralisateur. Tout revient donc à prouver que
:(thèse 3) le centralisateur de Int(Q<sub>8</sub>) dans Aut(Q<sub>8</sub>) est d'ordre au plus 4.

Soit donc ''f'' un automorphisme de Q<sub>8</sub> centralisant Int(Q<sub>8</sub>).

Soient ''a'' un élément d'ordre 4 de Q<sub>8</sub> et ''b'' un élément de Q<sub>8</sub> – ⟨''a''⟩. Rappelons (lemme 12) qu'alors,
:(4) ''b''{{exp|–1}} ''a b = a''{{exp|–1}}.

Puisque ''f'' est supposé centraliser Int(Q<sub>8</sub>), il commute avec l'homomorphisme intérieur γ<sub>''b''</sub> : ''x'' ↦ ''b''{{exp|-1}} ''x b'' de Q<sub>8</sub>. On a donc
:''f''(γ<sub>''b''</sub>(''a'')) = γ<sub>''b''</sub>(''f''(''a'')),
:''f''(''b''{{exp|–1}}''ab'') = ''b''{{exp|–1}} ''f''(''a'') ''b''.
D'après (4), ceci peut s'écrire
:''f''(''a''{{exp|–1}}) = ''b''{{exp|–1}} ''f''(''a'') ''b''
:(5) ''f''(a){{exp|–1}} = ''b''{{exp|–1}} ''f''(''a'') ''b''.
Puisque ''a'', et donc aussi ''f''(''a''), est d'ordre 4, on en déduit (cf. début de la preuve du lemme 12) : ''b'' ∉ ⟨''f''(''a'')⟩. Ceci étant vrai pour tout élément ''b'' de Q<sub>8</sub> – ⟨''a''⟩, on doit avoir ''f''(''a'') ∈ ⟨''a''⟩ donc (puisque ''f''(''a'') est d'ordre 4)
:(6) ''f''(''a'') ∈ {''a'', ''a''{{exp|–1}}}, pour tout élément ''a'' d'ordre 4 de Q<sub>8</sub>.
Choisissons dans Q<sub>8</sub> un élément ''x'' d'ordre 4 et un élément ''y'' de Q<sub>8</sub> – ⟨''x''⟩. (On a vu qu'il existait 24 tels couples (''x'', ''y'').) Alors ''y'' est d'ordre 4 (cf. théorème 11),
:(7) ⟨''x'', ''y''⟩ = Q<sub>8</sub>
et, d’après (6),
''f''(''x'') ∈ {''x'', ''x''{{exp|–1}}}
et
''f''(''y'') ∈ {''y'', ''y''{{exp|–1}}}.

Il y a donc au plus 4 automorphismes ''f'' de Q<sub>8</sub> centralisant Int(Q<sub>8</sub>).

Ceci prouve la thèse (3), d'où l'énoncé.
{{BDfin}}

== Notes et références ==
{{Références}}

{{Bas de page
  | idfaculté = mathématiques
  | précédent = [[../Holomorphe d'un groupe/]]
  | suivant   = [[../Transfert, théorème du complément normal de Burnside/]]
}}