# Difference between revisions of "Element structure of special linear group of degree two over a finite field"

(→Summary for odd characteristic p, field size q) |
(→Particular cases) |
||

Line 34: | Line 34: | ||

{| class="sortable" border="1" | {| class="sortable" border="1" | ||

− | ! | + | ! <math>q</math> (field size) !! <math>p</math> (underlying prime, field characteristic) !! group <math>SL(2,q)</math> !! order of the group (= <math>q^3 - q</math>)!! conjugacy class sizes (ascending order) !! number of conjugacy classes (= <math>q + 4</math> if <math>q</math> odd, <math>q + 1</math> if <math>q</math> even) !! element structure page |

|- | |- | ||

− | | [[symmetric group:S3]] | + | | 2 || 2 || [[symmetric group:S3]] ||6 || 1,2,3 || 3 || [[element structure of symmetric group:S3]] |

|- | |- | ||

− | | [[special linear group:SL(2,3)]] | + | | 3 || 3 || [[special linear group:SL(2,3)]] ||24 || 1,1,4,4,4,4,6 ||7 || [[element structure of special linear group:SL(2,3)]] |

|- | |- | ||

− | | [[alternating group:A5]] | + | | 4 || 2 || [[alternating group:A5]] ||60 || 1,12,12,15,20 || 5 || [[element structure of alternating group:A5]] |

|- | |- | ||

− | | [[special linear group:SL(2,5)]] | + | | 5 || 5 || [[special linear group:SL(2,5)]] || 120 || 1,1,12,12,12,12,20,20,30 || 9 || [[element structure of special linear group:SL(2,5)]] |

|- | |- | ||

− | | [[special linear group:SL(2,7)]] | + | | 7 || 7 || [[special linear group:SL(2,7)]] || 336 || 1,1,24,24,24,24,42,42,42,56,56 || 11 || [[element structure of special linear group:SL(2,7)]] |

|- | |- | ||

− | | [[special linear group:SL(2,8)]] | + | | 2 || 8 || [[special linear group:SL(2,8)]] || 504 || 1,56,56,56,56,63,72,72,72 || 9 || [[element structure of special linear group:SL(2,8)]] |

|- | |- | ||

− | | [[special linear group:SL(2,9)]] | + | | 3 || 9 || [[special linear group:SL(2,9)]] ||720 || 1,1,40,40,40,40,72,72,72,72,90,90,90 || 13 || [[element structure of special linear group:SL(2,9)]] |

|} | |} | ||

## Revision as of 01:26, 19 February 2012

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

This article describes the element structure of the special linear group of degree two over a finite field of order and characteristic , where is a power of . Some aspects of this discussion, with suitable infinitary analogues of cardinality, carry over to infinite fields and fields of infinite characteristic.

See also:

- Element structure of general linear group of degree two over a finite field
- Element structure of projective general linear group of degree two over a finite field
- Element structure of projective special linear group of degree two over a finite field

## Summary

Item | Value |
---|---|

number of conjugacy classes | if odd, if a power of equals the number of irreducible representations, see also linear representation theory of special linear group of degree two over a finite field |

conjugacy class sizes | Case odd: 1 (2 times), (4 times), ( times), ( times) Case even: 1 (1 time), (1 time), ( times), ( times) |

number of -regular conjugacy classes (Where is the characteristic of the field) | equals the number of irreducible representations in that characteristic, see also modular representation theory of special linear group of degree two over a finite field in its defining characteristic |

number of orbits under automorphism group | Case (i.e., prime field for odd prime): (basically same as the conjugacy classes relative to ) Case : 3 Other cases: Complicated equals number of orbits of irreducible representations under automorphism group, see also linear representation theory of special linear group of degree two over a finite field |

order | |

exponent | for odd, for |

## Particular cases

(field size) | (underlying prime, field characteristic) | group | order of the group (= ) | conjugacy class sizes (ascending order) | number of conjugacy classes (= if odd, if even) | element structure page |
---|---|---|---|---|---|---|

2 | 2 | symmetric group:S3 | 6 | 1,2,3 | 3 | element structure of symmetric group:S3 |

3 | 3 | special linear group:SL(2,3) | 24 | 1,1,4,4,4,4,6 | 7 | element structure of special linear group:SL(2,3) |

4 | 2 | alternating group:A5 | 60 | 1,12,12,15,20 | 5 | element structure of alternating group:A5 |

5 | 5 | special linear group:SL(2,5) | 120 | 1,1,12,12,12,12,20,20,30 | 9 | element structure of special linear group:SL(2,5) |

7 | 7 | special linear group:SL(2,7) | 336 | 1,1,24,24,24,24,42,42,42,56,56 | 11 | element structure of special linear group:SL(2,7) |

2 | 8 | special linear group:SL(2,8) | 504 | 1,56,56,56,56,63,72,72,72 | 9 | element structure of special linear group:SL(2,8) |

3 | 9 | special linear group:SL(2,9) | 720 | 1,1,40,40,40,40,72,72,72,72,90,90,90 | 13 | element structure of special linear group:SL(2,9) |

## Conjugacy class structure

When , there is a total of conjugacy classes. When is odd, there is a total of conjugacy classes.

In all cases, every element is either semisimple or unipotent or negative times unipotent (*note that this statement is true only because of the small degree, two, and is not true for special linear groups of higher degree*). There are conjugacy classes of *semisimple* elements, i.e., elements whose minimal polynomial has no repeated roots over its splitting field. The number of conjugacy classes of non-identity elements that are unipotent or negative times unipotent elements is when and when is odd.

Note also that none of the semisimple conjugacy classes split in relative to . The unipotent case is different for odd characteristic.

### Summary for odd characteristic , field size

Nature of conjugacy class | Eigenvalues | Characteristic polynomial | Minimal polynomial | Size of conjugacy class | Number of such conjugacy classes | Total number of elements | Semisimple? | Diagonalizable over ? | Splits in relative to ? |
---|---|---|---|---|---|---|---|---|---|

Diagonalizable over with equal diagonal entries, hence a scalar | or | where | where | 1 | 2 | 2 | Yes | Yes | No |

Not diagonal, has Jordan block of size two | (multiplicity 2) or (multiplicity 2) | where | Same as characteristic polynomial | 4 | No | No | Yes (two conjugacy classes over , each splits into two over ) | ||

Diagonalizable over , not over . Must necessarily have no repeated eigenvalues. | Pair of conjugate elements of of norm 1 | , irreducible | Same as characteristic polynomial | Yes | No | No | |||

Diagonalizable over with distinct (and hence mutually inverse) diagonal entries |
where | Same as characteristic polynomial | Yes | Yes | No | ||||

Total | NA | NA | NA | NA | elements conjugacy classes |
elements conjugacy classes |
elements 4 conjugacy classes |

### Summary for , a power of 2

Nature of conjugacy class | Eigenvalues | Characteristic polynomial | Minimal polynomial | Size of conjugacy class | Number of such conjugacy classes | Total number of elements | Semisimple? | Diagonalizable over ? | Splits in relative to ? |
---|---|---|---|---|---|---|---|---|---|

Diagonalizable over with equal diagonal entries, hence a scalar. | 1 | 1 | 1 | Yes | Yes | No | |||

Diagonalizable over , not over . Must necessarily have no repeated eigenvalues. | Pair of conjugate elements of of norm 1 | , irreducible | , irreducible | Yes | No | No | |||

Not diagonal, has Jordan block of size two | (multiplicity 2) | 1 | No | No | No | ||||

Diagonalizable over with distinct (and hence mutually inverse) diagonal entries |
where | Yes | Yes | No | |||||

Total | NA | NA | NA | NA |

## Automorphism class structure

We have that special linear group of degree two has a class-inverting automorphism. In particular, any such group is a group in which every element is automorphic to its inverse. Also, special linear group of degree two is ambivalent iff -1 is a square, where an ambivalent group is a group in which every element is conjugate to its inverse.

We discuss below the automorphism class structure, i.e., the orbit structure under the action of the automorphism group.

### Summary for odd characteristic , field size

We let . Note that if , then .

Nature of automorphism class | Number of automorphism classes of this type | Number of conjugacy classes within each automorphism class | Size of each conjugacy class | Size of each automorphism class | Total number of elements across all such automorphism classes |
---|---|---|---|---|---|

Diagonalizable over with equal diagonal entries, hence a scalar | 2 | 1 | 1 | 1 | 2 |

Not diagonal, has Jordan block of size two | 2 | 2 | |||

Diagonalizable over , not over . Must necessarily have no repeated eigenvalues. | (complicated, depends on ) | (complicated, depends on ) | |||

Diagonalizable over with distinct (and hence mutually inverse) diagonal entries |
(complicated, depends on ) | (complicated, depends on ) |

## Central elements

The center is a subgroup of order either 1 or 2, depending on whether is even or odd. For odd , the center is given by:

For even (i.e., the characteristic is 2 and is a power of 2), the center is the trivial group, comprising only the identity element.

## Jordan block of size two

The conjugacy classes of this type are the only ones that split in the special linear group relative to the general linear group (in the odd characteristic case), i.e., where there are elements of that are conjugate in but not in .

Over , there are two conjugacy classes in odd characteristic (which collapse to one class in even characteristic):

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

### Characteristic 2 case

In this case, both conjugacy classes collapse into a single conjugacy class. We have:

Item | Value | Explanation |
---|---|---|

Trace of conjugacy class | 0 | |

Norm or determinant of conjugacy class | 1 | |

Minimal polynomial of conjugacy class | Repeated eigenvalue | |

Characteristic polynomial of conjugacy class | ||

Centralizer of any element in conjugacy class | Isomorphic to additive group of | For the element , the centralizer is all matrices of the form where . |

Size of conjugacy class | size of conjugacy class equals index of centralizer |

Here is the information on the collection of all conjugacy classes:

Item | Value | Explanation |
---|---|---|

number of conjugacy classes of this type | 1 | |

total number of elements of this type |

### Odd characteristic case

In this case, each conjugacy class splits further into two, giving a total of four conjugacy classes. We have:

Item | Value | Explanation |
---|---|---|

Trace of conjugacy class | 2 or -2, depending on whether the eigenvalues are 1 or -1 | |

Norm or determinant of conjugacy class | 1 | |

Minimal polynomial of conjugacy class | or , depending on whether the eigenvalues are 1 or -1 | Repeated eigenvalue |

Characteristic polynomial of conjugacy class | or | |

Centralizer of any element in conjugacy class | Isomorphic to direct product of additive group of and cyclic group of order two | For the element , the centralizer is all matrices of the form and all matrices of the form where |

Size of conjugacy class | size of conjugacy class equals index of centralizer |

Given two matrices:

the following rule works to determine whether they are conjugate in the special linear group: the elements are conjugate if and only if is a square in .

Here is the information on the collection of all conjugacy classes:

Item | Value | Explanation |
---|---|---|

number of conjugacy classes of this type | 4 | each of the two conjugacy classes relative to splits into two in . |

total number of elements of this type |

## Elements diagonalizable over but not

These elements have pairs of distinct eigenvalues over that are conjugate over . The unique non-identity automorphism of over is the map , so these two elements are powers of each other, i.e., if one of them is , the other one is .

The conjugacy class is parameterized by the pair .

The element must have determinant 1, so this forces , so and .

Here is more information:

Item | Value | Explanation |
---|---|---|

Trace of conjugacy class | , is an element of | Trace is sum of eigenvalues |

Norm or determinant of conjugacy class | 1 | |

Minimal polynomial of conjugacy class | ||

Characteristic polynomial of conjugacy class | Same as minimal polynomial | |

Centralizer of any element of conjugacy class | It is the intersection of the multiplicative group which is a cyclic group of order (acting as linear transformations by viewing as a two-dimensional vector space over ), and the special linear group. This becomes a cyclic subgroup of order in . | |

Size of conjugacy class | Equals the index of the centralizer |

Here is information on the collection of all such conjugacy classes:

Item | Value | Explanation |
---|---|---|

number of conjugacy classes of this type | if odd, if even | First explanation: The conjugacy classes are classified by pairs where and . There are elements of order dividing in (because it is cyclic). Of these, depending on whether is even or odd, 1 or 2 elements live inside . The remaining elements occur in pairs , so we get which simplifies based on the cases.Second explanation: There are monic polynomials of degree 2 with constant term 1. We need to figure out how many of them are irreducible, and we can do this by subtracting the number that already factor. When is odd, we get polynomials that factor over , so the difference is . When is even, we get polynomials that factor, so the difference is .(Addendum to second explanation): The and arise as (number of elements that square to 1) + (number of distinct pairs of element and its inverse) |

total number of elements of this type | if odd, if even | Multiply the size of each conjugacy class with the number of conjugacy classes of this type |

## Elements diagonalizable over with distinct and hence mutually inverse entries

Each such conjugacy class is specified by an unordered pair of distinct elements of , say . Note that the eigenvalues must be inverses because their product needs to be 1 for the element to be in the special linear group.

Item | Value | Explanation |
---|---|---|

Trace of conjugacy class | , is an element of | Trace is sum of eigenvalues |

Norm or determinant of conjugacy class | 1 | |

Minimal polynomial of conjugacy class | which equals , the trace as above. | Distinct eigenvalues |

Characteristic polynomial of conjugacy class | Same as minimal polynomial | Distinct eigenvalues |

Centralizer of any element of conjugacy class | It is isomorphic to , which is a group of order | This is easiest to see for the representative that is diagonal: its centralizer is the subgroup of diagonal matrices of determinant 1, i.e., matrices of the form . |

Size of conjugacy class | It equals the index of the centralizer |

Here is combined information for all conjugacy classes:

Item | Value | Explanation |
---|---|---|

number of conjugacy classes of this type | for odd , for a power of 2 | We consider (order ) and remove the elements that are equal to their own inverse (1 such element in characteristic 2, 2 such elements in characteristic 3). Then, we divide by 2 because we are interested in unordered pairs only. |

total number of elements of this type | if odd, if even | Multiply number of conjugacy classes and size of each conjugacy class. |