Klein four-group
{{#invoke:Hatnote|hatnote}}
In mathematics, the Klein four-group (or just Klein group or Vierergruppe (Template:Lang-en), often symbolized by the letter V or as K_{4}) 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 (Lectures on the icosahedron and the solution of equations of the fifth degree) in 1884.
The Klein group's Cayley table is given by:
* | 1 | a | b | c |
---|---|---|---|---|
1 | 1 | a | b | c |
a | a | 1 | c | b |
b | b | c | 1 | a |
c | c | b | a | 1 |
It is also given by the group presentation
The Klein four-group is the smallest non-cyclic group. All non-identity 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 Z_{2} ⊕ Z_{2}, so that it can be represented as the bit strings {00, 01, 10, 11} under bitwise XOR.
An elementary construction of the Klein four-group is the multiplicative group { 1, 3, 5, 7 } with the action being multiplication modulo 8. Here a is 3, b is 5, and c=ab is 3 × 5 = 15 ≡ 7 (mod 8).
In 2D it is the symmetry group of a rhombus and of a rectangle which are not squares, 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 that are algebraically the Klein four-group V:
- one with three perpendicular 2-fold rotation axes: D_{2}
- one with a 2-fold rotation axis, and a perpendicular plane of reflection: C_{2h} = D_{1d}
- one with a 2-fold 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 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 4 points:
- V = { (), (1,2)(3,4), (1,3)(2,4), (1,4)(2,3) }
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 group homomorphism from S_{4} to S_{3}. According to Galois theory, the existence of the Klein four-group (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 S_{4} → S_{3} corresponds to the resolvent cubic, in terms of Lagrange resolvents.
The Klein four-group as a subgroup of 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 { (), (1,2), (3,4), (1,2)(3,4) } where the points are labeled top-left, bottom-left, top-right, bottom-right:
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 R×R and R^{+} × R^{+} is a subgroup of R^{×} × R^{×} (in fact it is the component of the identity of R^{×} × R^{×}). The quotient group (R^{×} × R^{×}) / (R^{+} × R^{+}) 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.
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;^{[1]}
S | I: | R: | RI: |
I: | S | RI | R |
R: | RI | S | I |
RI: | R | I | S |
See also
References
- ↑ Babbitt, Milton. (1960) "Twelve-Tone Invariants as Compositional Determinants", Musical Quarterly 46(2):253 Special Issue: Problems of Modern Music: The Princeton Seminar in Advanced Musical Studies (April): 246–59, Oxford University Press
Further reading
- M. A. Armstrong (1988) Groups and Symmetry, Springer Verlag, [[[:Template:Google books]] page 53].
- W. E. Barnes (1963) Introduction to Abstract Algebra, D.C. Heath & Co., page 20.
- Weisstein, Eric W., "Vierergruppe", MathWorld.