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é ». 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). 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. vignette