{{#invoke:Bandeau|ébauche}}
Modèle:Confusion
En mathématiques, le groupe de Klein est, à isomorphisme près, l'un des deux groupes à quatre éléments, l'autre étant le groupe cyclique <math>C_4</math> ; c'est le plus petit groupe non cyclique. Il porte le nom du mathématicien allemand Felix Klein, qui en 1884 le désignait par « Vierergruppe » (groupe de quatre) dans son « cours sur l'icosaèdre et la résolution des équations du cinquième degré »<ref>Modèle:Ouvrage</ref>.
Le groupe de Klein est entièrement défini par le fait que les trois éléments différents de l'élément neutree ont un ordre égal à 2 (ils sont involutifs), et que le produit de deux distincts d'entre eux est égal au troisième. Ses éléments étant notés <math>e,a,b,c</math> et sa loi étant notée multiplicativement, sa table s'écrit :
<math>\cdot</math>
e
a
b
c
e
e
a
b
c
a
a
e
c
b
b
b
c
e
a
c
c
b
a
e
On rencontre les notations : <math>\{e,a,b,c\}=K_4,V,\text{ou }V_4</math> (<math>V</math> est l'initiale de Vierergruppe).
Propriétés
La table étant symétrique, la loi est commutative : <math>K_4</math> est un groupe abélien.
La diagonale de e montre que tout élément est son propre symétrique, ce qui équivaut à l'involutivité.
<math>K_4</math> n'est pas un groupe simple, ayant pour sous-groupes distingués <math>\{e,a\},\{e,b\},\{e,c\}</math>.
<math>K_4</math> est engendré par deux de ses éléments d'ordre 2, par exemple a et b, les relations minimales étant <math>a^2=e,b^2=e,ab=ba</math>.
Par conséquent tout sous-groupe engendré par deux éléments d'ordre deux qui commutent est isomorphe au groupe de Klein.
1) Comme tout groupe, <math>K_4</math> est isomorphe à un sous-groupe du groupe symétrique d'indice le nombre de ses éléments, ici <math>S_4</math>. On peut prendre pour les trois éléments d'ordre 2 les trois produits de deux transpositions disjointes <math>s_1=(1,2)\circ(3,4),\,s_2=(1,3)\circ(2,4),\,s_3=(1,4)\circ(2,3)</math>. Le groupe <math>\{id,s_1,s_2,s_3\}</math> est alors un sous-groupe distingué de <math>S_4</math>. Et ces permutations étant paires, c'est un sous-groupe distingué du groupe alterné <math>A_4</math> (<math>n=4</math> est le seul cas où <math>A_n</math> n'est pas simple).
2) On peut aussi prendre, comme éléments d'ordre 2, deux transpositions disjointes et leur produit, par exemple <math>t_1=(1,2),t_2=(3,4),s=(1,2)\circ(3,4)</math>. Le groupe <math>\{id,t_1,t_2,s\}</math> n'est cependant pas distingué dans <math>S_4</math>. Ce groupe est le groupe d'automorphismes du graphe ci-contre (par exemple).
3) <math>K_4</math> est isomorphe à <math>C_2\times C_2=(C_2)^2</math> , produit direct du groupe cyclique d'ordre 2 par lui-même.
3.a) Prenant comme modèle de <math>C_2</math> le groupe additif <math>\Bbb{Z}/{2\Bbb{Z}}=\{\overline0,\overline1\}</math>, on obtient la table additive :
La multiplication dans <math>\Bbb{Z}/{2\Bbb{Z}}</math> se transmet à <math>(\Bbb{Z}/{2\Bbb{Z}})^2</math>et lui confère une structure d'anneau commutatif d'élément unité <math>(\overline1,\overline1)</math>. Les deux autres éléments non nuls sont de carré unité et de produit nul (l'anneau n'est donc pas intègre).
3.b) Prenant comme modèle de <math>C_2</math> le groupe multiplicatif <math>\{1,-1\}</math>, on obtient le groupe multiplicatif de table :
<math>\times</math>
(1,1)
(-1,1)
(1,-1)
(-1,-1)
(1,1)
(1,1)
(-1,1)
(1,-1)
(-1,-1)
(-1,1)
(-1,1)
(1,1)
(-1,-1)
(1,-1)
(1,-1)
(1,-1)
(-1,-1)
(1,1)
(-1,1)
(-1,-1)
(-1,-1)
(1,-1)
(-1,1)
(1,1)
3.c) Ce dernier est directement isomorphe au groupe multiplicatif des matrices carrées diagonales d'ordre 2 formées de 1 et -1 : <math>
4) Le groupe diédral <math>D_{2n}</math> étant isomorphe à <math>C_n\times C_2</math>, le groupe de Klein est isomorphe à <math>D_{4}</math>.
5) Le groupe de Klein est isomorphe à plusieurs sous-groupes du groupe à huit éléments <math>(C_2)^3</math> ; en effet tous les sous-groupes engendrés par deux éléments non neutres distincts de <math>(C_2)^3</math> sont des groupes de Klein. Par exemple, prenant <math>\Bbb{Z}/{2\Bbb{Z}}</math> comme modèle de <math>C_2</math> :
5.c) ou encore <math>\{(\overline{0},\overline{0},\overline{0}),
(\overline{1},\overline{1},\overline{1}),(\overline{1},\overline{1},\overline{0}),(\overline{0},\overline{0},\overline{1})\}</math>, dont l'équivalent multiplicatif matriciel est
5.e) ou encore <math>\{(\overline{0},\overline{0},\overline{0}),
(\overline{0},\overline{0},\overline{1}),(\overline{0},\overline{1},\overline{0}),(\overline{0},\overline{1},\overline{1})\}</math>, dont l'équivalent multiplicatif matriciel est
7) Géométriquement, en dimension deux, le groupe de Klein est isomorphe au groupe des isométries laissant globalement invariant un rectangle ou un losange (non carrés), éventuellement réduits à un segment. Les quatre éléments sont alors l'identité id, les deux réflexions <math>s_{x},s_{y}</math> selon les médianes, et la symétrie centrale <math>s_O</math> de centre le centre du polygone, d'où la table :
<math>\circ</math>
id
<math>s_x</math>
<math>s_y</math>
<math>s_O</math>
id
id
<math>s_x</math>
<math>s_y</math>
<math>s_O</math>
<math>s_x</math>
<math>s_x</math>
id
<math>s_O</math>
<math>s_y</math>
<math>s_y</math>
<math>s_y</math>
<math>s_O</math>
id
<math>s_x</math>
<math>s_O</math>
<math>s_O</math>
<math>s_y</math>
<math>s_x</math>
id
Si la figure est un carré, il y a en plus les deux réflexions selon les diagonales et les rotations d'angles <math>\pm 90^\circ</math>, soit 8 éléments qui forment alors le groupe diédral <math>D_{8}</math> d'ordre 8.
Passant aux matrices des transformations précédentes, on obtient la représentation matricielle multiplicative vue en 3) c).
Fichier:Kleinmatelas.gif9) En dimension trois, le groupe de Klein est isomorphe au groupe des isométries laissant globalement invariant un parallélépipède rectangle non cubique. C'est pourquoi on l'appelle parfois le groupe (du retournement) du matelas. Les trois éléments involutifs sont les retournements autour des trois axes de symétrie du parallélépipède. Étant notés <math>s_x,s_y,s_z</math>, on obtient la table :
<math>\circ</math>
id
<math>s_x</math>
<math>s_y</math>
<math>s_z</math>
id
id
<math>s_x</math>
<math>s_y</math>
<math>s_z</math>
<math>s_x</math>
<math>s_x</math>
id
<math>s_z</math>
<math>s_y</math>
<math>s_y</math>
<math>s_y</math>
<math>s_z</math>
id
<math>s_x</math>
<math>s_z</math>
<math>s_z</math>
<math>s_y</math>
<math>s_x</math>
id
Dans la figure ci-contre, les trois retournements sont nommés d'après leur formulation aéronautique : roulis, tangage, lacet.
Passant aux matrices des transformations précédentes, on obtient la représentation matricielle multiplicative vue en 5.b)
10) En dimension trois, le groupe engendré par les trois réflexions par rapport à trois plans orthogonaux deux à deux <math>xOy,xOz,yOz</math> forme le groupe à huit éléments <math>\{id,s_{xy},s_{xz},s_{yz},s_x,s_y,s_z,s_O\}</math> où <math>s_x,s_y,s_z</math> sont les trois retournements vus ci-dessus et <math>s_O</math> la symétrie centrale de centre O. Ce groupe est isomorphe à <math>(C_2)^3</math> de sorte que deux éléments distincts de l'identité engendrent un groupe de Klein. Par exemple <math>s_x,s_y</math> engendrent le groupe vu en 9) , <math>s_{xy},s_{xz}</math> engendrent <math>\{id,s_{xy},s_{xz},s_x\}</math> dont l'équivalent matriciel est 5.f), et <math>s_{O},s_{z}</math> engendrent <math>\{id,s_{O},s_{z},s_{xy}\}</math> dont l'équivalent matriciel est 5.d). Il y a ainsi sept sous-groupe de <math>(C_2)^3</math> isomorphes au groupe de Klein.
12) Le groupe de Klein est aussi isomorphe à l'ensemble des parties d'un ensemble à deux éléments <math>\{a,b\}</math>, muni de la différence symétrique. Ce qui donne la table :
<math>\Delta</math>
<math>\varnothing</math>
<math>\{a\}</math>
<math>\{b\}</math>
<math>\{a,b\}</math>
<math>\varnothing</math>
<math>\varnothing</math>
<math>\{a\}</math>
<math>\{b\}</math>
<math>\{a,b\}</math>
<math>\{a\}</math>
<math>\{a\}</math>
<math>\varnothing</math>
<math>\{a,b\}</math>
<math>\{b\}</math>
<math>\{b\}</math>
<math>\{b\}</math>
<math>\{a,b\}</math>
<math>\varnothing</math>
<math>\{a\}</math>
<math>\{a,b\}</math>
<math>\{a,b\}</math>
<math>\{b\}</math>
<math>\{a\}</math>
<math>\varnothing</math>
La loi "intersection" confère alors à <math>(P(\{a,b\}),\Delta,\cap)</math> la structure d'anneau commutatif d'élément unité <math>\{a,b\}</math>, anneau isomorphe à l'anneau vu en 3) a).
13) Le polynôme <math>P=1+X+X^2</math> étant irréductible sur le corps à deux éléments <math>F_2</math>, le quotient <math>F_2(X)/P</math> est un corps qui se trouve avoir 4 éléments <math>\overline0,\overline1,\overline X=\varphi,\varphi^2=\overline1+\varphi</math> et dont la partie additive est le groupe de Klein. Ici, les deux éléments non nuls différents de l'élément unité sont inverses l'un de l'autre. On a les tables :
