# 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 relative to ? |
---|---|---|---|---|---|---|---|---|---|

Diagonalizable over with equal diagonal entries, hence a scalar | or | where | where | 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) |
(multiplicity 2) or (multiplicity 2) | where | Same as characteristic polynomial | ? | ? | ? | No | No | Splits into many pieces. |

Diagonalizable over a quadratic extension of but not over . Must necessarily have no repeated eigenvalues. (in the case of real fields, these are called elliptic conjugacy classes) |
Pair of conjugate elements of a quadratic extension of of norm 1 | , irreducible | Same as characteristic polynomial | ? | ? | ? | Yes | No | If is the quadratic extension, splits into many pieces. |

Diagonalizable over with distinct (and hence mutually inverse) diagonal entries (in the case of real fields, these are called hyperbolic conjugacy classes) |
where | Same as characteristic polynomial | ? | quotient space of under the inverse map action | ? | 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 ? (it is always an elementary abelian 2-group) | What does it tell us about the Jordan block conjugacy classes? | What are the possibilities for separable quadratic extensions of ? | What can we say about for each of these? | 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: . No splitting relative to | 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 , where is a non-square | 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 . Corresponds to the non-identity element of | 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 for some prime (note: this field has characteristic zero, not ) | 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 , which is the Klein four-group | cyclic group:Z2 for each of the three cases | each such conjugacy class splits into two |

field of p-adic numbers (note: this field has characteristic zero, not ) | 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 , which is the elementary abelian group:E8 | 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 -conjugacy class splits into infinitely many -conjugacy classes. |

## 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 .