Steinberg group over a unital ring
Suppose is a (associative) unital ring and is a natural number. The Steinberg group of degree over (also called the unstable Steinberg group), denoted or , is defined by the following presentation:
- The generating set is as follows: For every element and for , , we have a generator .
- The relations are as follows. In all cases, vary freely over all of , and are allowed to be equal or distinct.
|Relation type||Count of such relations (combinatorial description)||Comments|
|copies of||This implies that is the identity element.|
|for||copies of||The denotes the group commutator operation. It does not matter whether we use the left or right normed convention for the commutator (though this becomes clear only after looking at the entire presentation).|
|(i.e., is the identity element) for .||copes of (note: we can half this number by noting that one commutator being trivial implies the same commutator in reverse order is also trivial)|
The case gives a trivial group because there are no generators and no relations. This is not of interest.
The case is somewhat different from the case . For , we simply get a free product of two copies of the additive group of . This is because there are no relations of the commutator type, and hence, there are no relations connecting the with the type generators.
There is an alternative definition of Steinberg group some people use for that is intended to remedy this problem. What is it?
The stable Steinberg group over a unital ring is similar to the above except that we have no size restrictions on and .
For every and , there is a standard homomorphism from the Steinberg group to the group generated by elementary matrices over a unital ring . This homomorphism sends the generator to the elementary matrix , i.e., the matrix with s on the diagonal, in the entry, and s elsewhere. When is a field, the group coincides with the special linear group (see Elementary matrices of the first kind generate the special linear group over a field).
Note that coinciding with also holds when is a Euclidean domain.