Let be a commutative ring. The general linear group is
Let be a field.
For , define
Let be a -basis of so that
and define
The symmetric group acts on by permuting and, identifiying with permutation matrices,
for
The group is presented by generators
,
and relations
Introduce a pictorial notation:
|
|
|
|
|
|
|
|
|
so that |
|
|
|
|
|
Subgroups of
Then
and
where