The Whitehead lemma , named after John Henry Constantine Whitehead , is a statement from the mathematical field of ring theory . The lemma describes the commutator group of the linear group over a ring with one element .
The linear group
Let it be a ring with a single element. Then is the matrix ring , that is the amount of matrices with components from , a ring with identity. Here is the group of invertible elements, the so-called general linear group -th degree. The image
is obviously an injective group homomorphism , with which one can understand as a subgroup of . The union is called a linear group , sometimes also a stable linear group , according to the construction it is the group of all invertible matrices which, with a finite number of exceptions, agree with the infinite identity matrix .
In each group the elementary matrices of type 1 are contained, they create a subgroup and due to the above homomorphism one can understand as a subgroup of and form the union again . Apparently is a sub.
Statement of the Whitehead Lemma
Let it be a ring with a single element. Then is , that is, is the commutator group of . In addition, is , that is, is a perfect group .
is as a commutator group a normal divisor in , that means you can form the factor group. This is of great importance in the algebraic K-theory and is referred to there with . There is the Abelization of , in particular, it is an Abelian group .
If there is a body , it is well known that one has a determinant mapping into the group of invertible elements of the body. One can show that exactly the core of the determinant mapping is and the determinant mapping therefore induces an isomorphism .
The simplest field is the remainder class field and according to the above is one element and therefore . It is
an alternating element, non-commutative group, which must therefore be isomorphic to S 3 . Their commutator group is three-element, more precisely
but is generated by the elementary matrices, that is, for degree 2 applies . This example shows that Whitehead's lemma does not hold for finite dimensions. So one cannot do without the transition to infinite-dimensional matrices.
↑ Jonathan Rosenberg: Algebraic K-Theory and Its Applications , Springer Verlag 1994, ISBN 3-540-94248-3 , sentence 2.1.4
^ John Milnor: Introduction to algebraic K-theory , Annals of Mathematics Studies 72, Princeton University Press, 1971. Section 3.1
↑ Jonathan Rosenberg: Algebraic K-Theory and Its Applications , Springer Verlag 1994, ISBN 3-540-94248-3 , sentence 2.2.2