Groupe de Klein
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  ; 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é ».

Définition 

Le groupe de Klein est entièrement défini par le fait que les trois éléments différents de l'élément neutre e 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   et sa loi étant notée multiplicativement, sa table s'écrit :

On rencontre les notations :  ( est l'initiale de Vierergruppe).

Propriétés 

 La table étant symétrique, la loi est commutative :  est un groupe abélien.
La diagonale de e montre que tout élément est son propre symétrique, ce qui équivaut à l'involutivité.
 n'est pas un groupe simple, ayant pour sous-groupes distingués .
 est engendré par deux de ses éléments d'ordre 2, par exemple a et b, les relations minimales étant .
Par conséquent tout sous-groupe engendré par deux éléments d'ordre deux qui commutent est isomorphe au groupe de Klein.

Modèles du groupe de Klein 

1) Comme tout groupe,  est isomorphe à un sous-groupe du groupe symétrique d'indice le nombre de ses éléments, ici . On peut prendre pour les trois éléments d'ordre deux les trois produits de deux transpositions disjointes . Le groupe  est alors un sous-groupe distingué de . Et ces permutations étant paires, c'est un sous-groupe distingué du groupe alterné  ( est le seul cas où  n'est pas simple).
2) On peut aussi prendre comme éléments d'ordre deux deux transpositions disjointes et leur produit, par exemple .  Le groupe  n'est cependant pas distingué dans . Ce groupe est le groupe d'automorphismes du graphe ci-contre (par exemple).
3)  est isomorphe à  , produit direct du groupe cyclique d'ordre 2 par lui-même. 
3.a) Prenant comme modèle de  le groupe additif , on obtient la table additive : 

La multiplication dans  se transmet à et lui confère une structure d'anneau commutatif d'élément unité . 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  le groupe multiplicatif , on obtient le groupe multiplicatif de table :

 3.c) Ce dernier est directement isomorphe au groupe multiplicatif des matrices carrées diagonales d'ordre deux formées de 1 et -1 : .

 4) Le groupe diédral  étant isomorphe à , le groupe de Klein est isomorphe à .

5) Le groupe de Klein est isomorphe à plusieurs sous-groupes du groupe à huit éléments  ; en effet tous les sous-groupes engendrés par deux éléments non neutres distincts de  sont des groupes de Klein. Par exemple, prenant  comme modèle de  :
5.a) , dont l'équivalent multiplicatif matriciel est 
5.b) .
5.c) ou encore , dont l'équivalent multiplicatif matriciel est
5.d) 
5.e) ou encore , dont l'équivalent multiplicatif matriciel est
5.f) 
6) Le groupe de Klein est isomorphe au groupe  des éléments inversibles de l'anneau , d'éléments , ainsi qu'à  d'éléments . Dans les deux autres cas () où  possède quatre éléments, il est cyclique.
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  selon les médianes, et la symétrie centrale  de centre le centre du polygone, d'où la table :

Si la figure est un carré, il y a en plus les deux réflexions selon les diagonales et les rotations d'angles , soit 8 éléments qui forment alors le groupe diédral  d'ordre 8.

Passant aux matrices des transformations précédentes, on obtient la représentation matricielle multiplicative vue en 3) c).

9) 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 , on obtient la table :
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  forme le groupe à huit éléments  où  sont les trois retournements vus ci-dessus et  la symétrie centrale de centre O.   Ce groupe est isomorphe à  de sorte que deux éléments distincts de l'identité engendrent un groupe de Klein. Par exemple  engendrent le groupe vu en 9) ,   engendrent  dont l'équivalent matriciel est  5.f), et  engendrent  dont l'équivalent matriciel est 5.d). Il y a ainsi sept sous-groupe de  isomorphes au groupe de Klein.
11) Plus généralement, les sous-groupes de Klein de  correspondent aux sous-espaces vectoriels de dimension deux du - espace vectoriel ; leur nombre est donc le coefficient binomial de Gauss .
12) Le groupe de Klein est aussi isomorphe à l'ensemble des parties d'un ensemble à deux éléments , muni de la différence symétrique. Ce qui donne la table :
 
La loi "intersection" confère alors à  la structure d'anneau commutatif d'élément unité , anneau isomorphe à l'anneau vu en 3) a).

 13) Le polynôme  étant irréductible sur le corps à deux éléments , le quotient  est un corps qui se trouve avoir 4 éléments   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 :

Application en ethnologie 
Dans  Les Structures élémentaires de la parenté, l’ethnologue Claude Lévi-Strauss, aidé du mathématicien André Weil,  dégage le concept de structure élémentaire de parenté en utilisant la notion de groupe de Klein. Dans La Structure des mythes, Lévi-Strauss réutilisera les groupes de Klein pour établir la formule canonique du mythe.

Notes et références 

Groupe