G_{2} F_{4} E_{6} E_{7} E_{8}
Lorentz group
Poincaré group
Conformal group
Diffeomorphism group
Loop group
Infinitedimensional Lie groups O(∞) SU(∞) Sp(∞)
In mathematics, the Klein fourgroup (or just Klein group or Vierergruppe, often symbolized by the letter V) is the group Z_{2} × Z_{2}, the direct product of two copies of the cyclic group of order 2. It was named Vierergruppe by Felix Klein in his Vorlesungen über das Ikosaeder und die Auflösung der Gleichungen vom fünften Grade in 1884.
The Klein fourgroup is the smallest noncyclic group. The only other group with four elements, up to isomorphism, is Z_{4}, the cyclic group of order four (see also the list of small groups).
All nonidentity elements of the Klein group have order 2. It is abelian, and isomorphic to the dihedral group of order (cardinality) 4. It is also isomorphic to the direct sum :
The Klein group's Cayley table is given by:
In 2D it is the symmetry group of a rhombus and of a rectangle, the four elements being the identity, the vertical reflection, the horizontal reflection, and a 180 degree rotation.
In 3D there are three different symmetry groups which are algebraically the Klein fourgroup V:
 one with three perpendicular 2fold rotation axes: D_{2}
 one with a 2fold rotation axis, and a perpendicular plane of reflection: C_{2h} = D_{1d}
 one with a 2fold rotation axis in a plane of reflection (and hence also in a perpendicular plane of reflection): C_{2v} = D_{1h}
The three elements of order 2 in the Klein fourgroup are interchangeable: the automorphism group is the group of permutations of the three elements. This essential symmetry can also be seen by its permutation representation on 4 points:
In this representation, V is a normal subgroup of the alternating group A_{4} (and also the symmetric group S_{4}) on 4 letters. In fact, it is the kernel of a surjective map from S_{4} to S_{3}. According to Galois theory, the existence of the Klein fourgroup (and in particular, this representation of it) explains the existence of the formula for calculating the roots of quartic equations in terms of radicals, as established by Lodovico Ferrari: the map corresponds to the resolvent cubic, in terms of Lagrange resolvents.
Full article ▸
