In mathematics, the Klein four-group (or just Klein group or Vierergruppe, English: four-group, often symbolized by the letter V or as K_{4}) is the group , the direct product of two copies of the cyclic group of order 2. It was named Vierergruppe by Felix Klein in 1884.^{[1]}
The Klein four-group, with four elements, is the smallest non-cyclic group. The only other group of order four, up to isomorphism, is the cyclic group of order 4. Both are abelian groups. The smallest non-abelian group is the symmetric group of degree 3, which has order 6.
The Klein group's Cayley table is given by:
* | e | a | b | c |
---|---|---|---|---|
e | e | a | b | c |
a | a | e | c | b |
b | b | c | e | a |
c | c | b | a | e |
The Klein four-group is also defined by the group presentation
All non-identity elements of the Klein group have order 2, thus any two non-identity elements can serve as generators in the above presentation. The Klein four-group is the smallest non-cyclic group. It is however an abelian group, and isomorphic to the dihedral group of order (cardinality) 4, i.e. D_{4} (or D_{2}, using the geometric convention); other than the group of order 2, it is the only dihedral group that is abelian.
The Klein four-group is also isomorphic to the direct sum , so that it can be represented as the pairs under component-wise addition modulo 2 (or equivalently the bit strings under bitwise XOR); with (0,0) being the group's identity element. The Klein four-group is thus an example of an elementary abelian 2-group, which is also called a Boolean group. The Klein four-group is thus also the group generated by the symmetric difference as the binary operation on the subsets of a powerset of a set with two elements, i.e. over a field of sets with four elements, e.g. ; the empty set is the group's identity element in this case.
Another numerical construction of the Klein four-group is the set with the operation being multiplication modulo 8. Here a is 3, b is 5, and is .
Geometrically, in two dimensions the Klein four-group is the symmetry group of a rhombus and of rectangles that are not squares, the four elements being the identity, the vertical reflection, the horizontal reflection, and a 180 degree rotation.
In three dimensions there are three different symmetry groups that are algebraically the Klein four-group V:
The three elements of order two in the Klein four-group are interchangeable: the automorphism group of V is the group of permutations of these three elements.
The Klein four-group's permutations of its own elements can be thought of abstractly as its permutation representation on four points:
In this representation, V is a normal subgroup of the alternating group A_{4} (and also the symmetric group S_{4}) on four letters. In fact, it is the kernel of a surjective group homomorphism from S_{4} to S_{3}.
Other representations within S_{4} are:
{ , (1,2), (3,4), (1,2)(3,4)}
{ , (1,3), (2,4), (1,3)(2,4)}
{ , (1,4), (2,3), (1,4)(2,3)}
They are not normal subgroups of S_{4.}
According to Galois theory, the existence of the Klein four-group (and in particular, the permutation 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.
In the construction of finite rings, eight of the eleven rings with four elements have the Klein four-group as their additive substructure.
If R^{×} denotes the multiplicative group of non-zero reals and R^{+} the multiplicative group of positive reals, R^{×} × R^{×} is the group of units of the ring , and is a subgroup of (in fact it is the component of the identity of ). The quotient group is isomorphic to the Klein four-group. In a similar fashion, the group of units of the split-complex number ring, when divided by its identity component, also results in the Klein four-group.
The Klein four-group as a subgroup of the alternating group A_{4} is not the automorphism group of any simple graph. It is, however, the automorphism group of a two-vertex graph where the vertices are connected to each other with two edges, making the graph non-simple. It is also the automorphism group of the following simple graph, but in the permutation representation where the points are labeled top-left, bottom-left, top-right, bottom-right:
In music composition the four-group is the basic group of permutations in the twelve-tone technique. In that instance the Cayley table is written;^{[2]}
S | I: | R: | RI: |
I: | S | RI | R |
R: | RI | S | I |
RI: | R | I | S |