Element structure of special linear group of degree two over a field
This article gives specific information, namely, element structure, about a family of groups, namely: special linear group of degree two.
View element structure of group families | View other specific information about special linear group of degree two
Let be a field. Consider the special linear group of degree two
. The goal of this article is to describe the element structure of
.
Related descriptions
- Element structure of special linear group of degree two over a finite field
- Element structure of special linear group of degree two over a finite discrete valuation ring
- Element structure of general linear group of degree two over a field
- Element structure of general linear group of degree two over a finite field
Conjugacy class structure
Broad description
Note that in characteristic two, in the cases of scalar matrices and Jordan block, the eigenvalue of 1 subcase coincides with the eigenvalue of -1 subcase.
COMBINATORIAL BREAKDOWN TABLE: The table below breaks down a collection into various classes or types and provides information on the counts for each type. For some of the columns, totals provide a sanity check that all elements or classes have been accounted for.
Nature of conjugacy class | Eigenvalues | Characteristic polynomial | Minimal polynomial | What set can each conjugacy class be identified with? (rough measure of size of conjugacy class) | What can the set of conjuacy classes be identified with (rough measure of number of conjugacy classes) | What can the union of conjugacy classes be identified with? | Semisimple? | Diagonalizable over ![]() |
Splits in ![]() ![]() |
---|---|---|---|---|---|---|---|---|---|
Diagonalizable over ![]() |
![]() ![]() |
![]() ![]() |
![]() ![]() |
one-point set | two-point set (characteristic not two) one-point set (characteristic two) |
two-point set (characteristic not two) one-point set (characteristic two) |
Yes | Yes | No |
Not diagonal, has Jordan block of size two (in the case of real fields, these are called parabolic conjugacy classes) | ![]() ![]() |
![]() ![]() |
Same as characteristic polynomial | ? | ? | ? | No | No | Splits into ![]() |
Diagonalizable over a quadratic extension of ![]() ![]() |
Pair of conjugate elements of a quadratic extension of ![]() |
![]() |
Same as characteristic polynomial | ? | ? | ? | Yes | No | If ![]() ![]() |
Diagonalizable over ![]() |
![]() ![]() |
![]() |
Same as characteristic polynomial | ? | quotient space of ![]() |
? | Yes | Yes | No |
Total | NA | NA | NA | NA | ? | ? | ? | ? | ? |
Identification between GL(2)-conjugacy classes and field elements
The trace is a mapping:
Conjugacy classes in
Further, if we are interested in the conjugacy classes of relative to
(i.e., the relation of being conjugate in
, then this mapping is almost bijective: for each of the elements
, there are two inverse images: the scalar matrix and the Jordan block.
Thus, if we are interested in conjugacy with respect to , we can identify:
- Case of characteristic not two:
-conjugacy classes in
a two-point set
- Case of characteristic two:
-conjugacy classes in
a one-point set
In particular, for the size of a prime power
, we have:
- Case of characteristic not two (i.e., odd
): There are
conjugacy classes in
relative to
- Case of characteristic two: There are
conjugacy classes in
relative to
This, however, does not classify the conjugacy classes of , because a single
-conjugacy class living in
can split in
into multiple conjugacy classes. As noted above, the splitting depends on the sizes of certain quotient groups of the multiplicative group of the field.
Splitting summary
Here, we provide a brief summary of the splitting of conjugacy classes from to
. As noted in the broad description, there are two types of conjugacy classes that (may) split. More details are in subsequent sections. The key justification in both cases is the splitting criterion for conjugacy classes in the special linear group:
- Conjugacy classes of the Jordan block form: There are two such
-conjugacy classes, with representatives:
Each of these conjugacy classes splits into conjugacy classes with respect to
. Moreover, if we let
be a transversal (i.e., a system of coset representatives) for
in
, then the conjugacy class representatives are given by:
and:
- Conjugacy classes whose characteristic polynomial is an irreducible quadratic with distinct roots in a separable quadratic extension
of
. Each such conjugacy class splits into
where
denotes the image of
under the norm map
for the quadratic extension
of
.
Note that, for any separable quadratic extension of
, we have
, so
can be viewed as a quotient of
, viewed as a group.
Note, further, that when the characteristic of the field is not two, the set of possibilities for the extension of
is itself given by the set of non-identity elements of
.
Below, we summarize some important cases for the field :
Case for field ![]() |
What can we say about the multiplicative group modulo squares ![]() |
What does it tell us about the Jordan block conjugacy classes? | What are the possibilities for separable quadratic extensions ![]() ![]() |
What can we say about ![]() |
What can we conclude about the conjugacy class splitting for these? |
---|---|---|---|---|---|
algebraically closed field of characteristic two | trivial group | there is only one such conjugacy class, representative ![]() |
none | -- | -- |
algebraically closed field of characteristic not two | trivial group | two such conjugacy classes: ![]() ![]() |
none | -- | -- |
perfect field of characteristic two, such as a finite field of characteristic two | trivial group | there is only one such conjugacy class, representative ![]() |
depends on the field. For finite fields, there is a unique possibility. | trivial group, because ![]() |
none of the conjugacy classes split. |
finite field of characteristic not two | cyclic group:Z2 | total of four conjugacy classes, with representatives ![]() ![]() ![]() |
unique possibility, corresponding to the non-identity element of ![]() |
trivial group | none of the conjugacy classes split. |
real-closed field (basically, similar to the field of real numbers) | cyclic group:Z2 | total of four conjugacy classes, with representatives ![]() ![]() |
unique possibility, namely ![]() ![]() |
cyclic group:Z2, because the image of the norm map takes only positive real values | each such conjugacy class splits into two |
field of p-adic numbers ![]() ![]() ![]() |
Klein four-group | total of eight conjugacy classes, four with repeated eigenvalue 1 and four with repeated eigenvalue -1 | three possibilities, corresponding to the non-identity elements of ![]() |
cyclic group:Z2 for each of the three cases | each such conjugacy class splits into two |
field of p-adic numbers ![]() ![]() |
elementary abelian group:E8 | total of sixteen conjugacy classes, eight with repeated eigenvalue 1 and eight with repeated eigenvalue -1 | seven possibilities, corresponding to the non-identity elements of ![]() |
cyclic group:Z2 for each of the three cases | each such conjugacy class splits into two |
field of rational numbers | elementary abelian group with countable basis, with basis elements corresponding to -1 and all the positive primes | countably infinite number of conjugacy classes for repeated eigenvalue 1, countably infinite number of conjugacy classes with repeated eigenvalue -1 | one for each non-identity element of ![]() |
the precise answer varies depending on the choice of the quadratic extension (this is related to deep questions of algebraic number theory/Galois theory). However, it is always elementary abelian with a countable basis. | In all cases, each ![]() ![]() |
Central elements
The center is a subgroup of order either 1 or 2, depending on whether the characteristic of the field is two or not two. In the case of characteristic not equal to two, the center is the subgroup:
In the case of characteristic two, the center is the trivial subgroup.
Jordan block of size two
Over , there are two conjugacy classes of elements of
of this type in characteristic not two. In characteristic two, both of these may split further:
- The conjugacy class of
. In particular, this conjugacy class includes all matrices of the form
and also all matrices of the form
where
.
- The conjugacy class of
. In particular, this conjugacy class includes all matrices of the form
and also all matrices of the form
where
.
In characteristic two, both these conjugacy classes collapse into a single one with respect to because
.
Splitting criterion
By the splitting criterion for conjugacy classes in the special linear group, we need to do the following:
- First, find the centralizer of any element in the conjugacy class
- Then determine its image under the determinant map to
- Then identify the coset space of that image in
with the pices into which the
-conjugacy class splits in
.
The -centralizer of any element with a Jordan block of size two is the subgroup:
The image of this under the determinant map is:
In other words, it is the subgroup of squares in , denoted
.
The cosets of this subgroup in are given by equivalence classes of elements of
up to multiplication by squares. The collectin of cosets can be identified with the quotient group
, also called the multiplicative group modulo squares of
. Now, if
is a collection of coset representatives of
in
, consider the set of matrices:
Conjugating a -conjugacy class representative by each of these gives a collection of
-conjugacy class representatives. The upshot is that the
-conjugacy class representatives for the
-conjugacy class of
are:
In particular, the number of such conjugacy classes is .
In the case of characteristic not two, we have another -conjugacy class, the one with representative
. The representatives for the
-conjugacy class of
are:
.
In particular, the number of such conjugacy classes is .
The upshot is that:
- For characteristic not equal to two, the set of conjugacy classes with a size two Jordan block can be identified with two disjoint copies of
.
- For characteristic two, the set of conjugacy classes with a size two Jordan block can be identified with a single copy of
.
Elements diagonalizable over a separable quadratic extension
These elements have pairs of distinct eigenvalues over a separable quadratic extension of
but do not have eigenvalues over
. As we are working in
, the eigenvalues must be inverses of each other, and the minimal polynomial is an irreducible polynomial of the form
.
There are three parts to the program of understanding such elements:
- Determine all the possible separable quadratic extensions of
.
- Determine, for each extension
, what are the
-conjugacy classes of elements of
whose minimal polynomial is irreducible over
and splits over
. This is equivalent to finding all polynomials of the form
whose splitting field is
.
- Determine, for each extension
, the number of pieces into which any
-conjugacy class of the type identified above splits. As we shall see, the splitting behavior depends only on the field, and we do not need to know the precise original
-conjugacy class.
Determination of separable quadratic extensions: characteristic not two
In case the characteristic of the field is not two, there is a correspondence:
Separable quadratic extensions of (up to equivalence as extensions)
Non-identity elements of the quotient group
, i.e., non-square elements up to multiplication by squares
The reason is as follows. Any quadratic extension of is obtained by adjoining a root of an irreducible quadratic. When the characteristic is not two, the quadratic formula shows that this is equivalent to adjoining the square root of the discriminant, so the extension is of the form
for
a non-square in
. Further
and
are equivalent as quadratic extensions iff
is a square in
. Thus, the separable quadratic extensions of
up to equivalence are identified with non-identity cosets of
in
.
If the characteristic of the field is two, the situation is different, because the separable quadratic extensions are precisely the ones that are not obtained by adjoining square roots. The general theory needs to be filled in.
Determination of minimal polynomials for a given separable quadratic extension: characteristic not two
Given a separable quadratic extension , we first note that there is at least one irreducible quadratic of the form
that splits over this, and hence there exists at least one element of
whose minimal polynomial has splitting field
. First note that
. Consider the polynomial:
The roots of this polynomial are:
Having settled this, we turn to the question of determing the set:
Using the quadratic formula, we obtain that this is the set:
From a more global perspective, consider the set map:
given by:
We need to exclude to make sure that the image is an invertible element.
The inverse image of the identity element of corresponds to the minimal polynomials that split over
. The inverse image of any non-identity element of
corresponds to the minimal polynomials that split over the field extension
corresponding to the non-identity element of
by the correspondence detailed above:
Separable quadratic extensions of (up to equivalence as extensions)
Non-identity elements of the quotient group
, i.e., non-square elements up to multiplication by squares
In other words, we have a decomposition of in terms of fibers above field extensions.
Determination of splitting criterion: all characteristics
We need to use the splitting criterion for conjugacy classes in the special linear group. In other words:
- We first need to determine the centralizer of any element whose minimal polynomial splits over a separable quadratic extension
of
.
- We then need to determine the image of that centralizer under the determinant map to
.
- We then need to identify the coset space of that image and use it to determine the
-conjugacy classes into which the
-conjugacy class splits.
The first step is easy. We note that the centralizer of this element can be identified with the image of in
via the left action of
on itself, viewing
as a two-dimensional
-vector space.
Second, we need to understand the composite map:
It turns out that this composite is simply the norm map for the quadratic extension
of
. The map sends
to the product of
and its conjugate.
Thus, the image of the centralizer under the determinant map is the same as the image of under the algebraic norm
. Denote this as
. Then, the coset space can be identified with the group
. In particular, each
-conjugacy class in
with minimal polynomial having splitting field
must split into
many
-conjugacy classes.
Further, for ,
, so
. Thus, the quotient
is a quotient of the quotient
.