# Endomorphism structure of general linear group over a finite field

This article gives specific information, namely, endomorphism structure, about a family of groups, namely: general linear group. This article restricts attention to the case where the underlying ring is a finite field.

View endomorphism structure of group families | View other specific information about general linear group | View other specific information about group families for rings of the type finite field

This article describes the endomorphism structure of the general linear group of degree over a finite field of size , where is a prime power. We will denote by the characteristic of the field, i.e., the prime of which is a power, and by the value .

## Particular cases

Value of | Comments | Endomorphism structure page |
---|---|---|

1 | , which in turn is isomorphic to the cyclic group . | Infer from endomorphism structure of cyclic groups |

2 | The transpose-inverse map is in the subgroup generated by the inner automorphisms and radial automorphisms. Specifically, it is the composite of the map and conjugation by . | endomorphism structure of general linear group of degree two over a finite field |

3 | -- | endomorphism structure of general linear group of degree three over a finite field |

## Endomorphism structure

### Automorphism structure

The automorphism group can be described as a semidirect product in these equivalent ways. **This applies only in the case **. In the case , the transpose-inverse map is already in the product of the inner automorphism group and the radial automorphism group, and need not be introduced separately. See endomorphism structure of general linear group of degree two over a finite field. The case is also qualitatively different.

Format | Description of base | Description of acting group |
---|---|---|

(Inner automorphism group) (Radial automorphism group Field automorphism group Cyclic group of order two generated by transpose-inverse map) | inner automorphism group (the projective general linear group) | outer automorphism group |

(Inner automorphism Cyclic group of order two generated by transpose-inverse map) (Radial automorphism group Field automorphism group). | projective outer linear group | no specific name |

(Inner automorphism Field automorphism group) (Radial automorphism group Cyclic group of order two generated by transpose-inverse map) | general semilinear group | |

(Inner automorphism group Radial automorphism group) (Field automorphism group Cyclic group of order two generated by transpose-inverse map) | no specific name | no specific name |

The components are described below briefly and then in detail (by default, , see right columns for explanation of how and differ).

Construct | Value | Order | Comment | Case | Case |
---|---|---|---|---|---|

automorphism group | (Inner automorphism group) (Radial automorphism group Field automorphism group Cyclic group of order two generated by transpose-inverse map) | The subgroup generated by the transpose-inverse map does not get included as a separate factor because it is a composite of an inner automorphism and a radial automorphism. Thus, the factor of 2 in the numerator must be removed. | The factor of in the numerator needs to be removed, because both the transpose-inverse and the field automorphisms get included in the radial automorphisms. | ||

inner automorphism group | projective general linear group | See order formulas for linear groups. | Applies as is. | Applies as is, though the group becomes a trivial group. | |

radial automorphism group | Kernel of the natural homomorphism | Here, denotes the Euler totient function. See description of radial automorphism group below. | Applies as in, though the denominator becomes trivial, so it simplifies to | Applies as is, though the denominator becomes trivial, so it simplifies to | |

field automorphism group (Galois group) | , generated by Frobenius | See description below. | Applies as is. | Applies as is, but already included in radial automorphism group, so should not count it separately. | |

cyclic group generated by transpose-inverse map | 2 | Applies as is, but is in direct product of inner automorphism group and radial automorphism group, so should not count it separately. | Applies as is, but already included in radial automorphism group, so should not count it separately. Exception: Case that , in which case the group is a trivial group.
| ||

semidirect product of inner automorphism group and field automorphism group | projective semilinear group | Applies as is. | Applies as is. | ||

semidirect product of inner automorphism group and cyclic group generated by transpose-inverse map | projective outer linear group | Applies as is. | Applies as is, except in the case that , in which case the group is trivial. | ||

outer automorphism group | direct product of radial automorphism group, Galois group, and cyclic group of order two generated by transpose-inverse map | The subgroup generated by the transpose-inverse map does not get included as a separate factor because it is a composite of an inner automorphism and a radial automorphism. Thus, the factor of 2 in the numerator must be removed. | The factor of in the numerator needs to be removed, because both the transpose-inverse and the field automorphisms get included in the radial automorphisms. |

#### Inner automorphism group

The inner automorphism group is the quotient of by its center, which is isomorphic to (explicitly, it is the scalar matrices). This quotient group is the projective general linear group .

#### Radial automorphism group

The radial automorphism group is a group of automorphisms of the form:

where is considered modulo , and has the property that is invertible modulo . The latter condition is necessary for invertibility. Values of that fail the condition define endomorphisms that are not automorphisms.

The radial automorphism group is a group of automorphisms of the form:

where is considered modulo , and has the property that is relatively prime to . The latter condition is necessary for invertibility. Values of that fail the condition define endomorphisms that are not automorphisms.

Since is defined modulo , is defined modulo . The set of possible values for is the subgroup of the multiplicative group modulo comprising elements that are 1 modulo . Further, the composition of radial automorphisms corresponds to multiplication of the corresponding values. Therefore, the radial automorphism group is isomorphic to the subgroup of the multiplicative group modulo comprising the elements that are 1 modulo . We can see that this is the same as the kernel of the natural surjective homomorphism obtained by going modulo :

By Lagrange's theorem and the fundamental theorem of group homomorphisms, the order of the kernel is the quotient of the order of the group on the left by the group on the right, and hence, is given as follows, where is the Euler totient function:

Note that these calculuations are valid in the cases and . In both cases, the denominator in the expression for the order becomes 1.

### Field automorphism group (Galois group)

The group of field automorphisms of the field is the same as its Galois group over its prime subfield , because any automorphism fixes the prime subfield pointwise by definition. This Galois group is a cyclic group of order (for instance, it is generated by the Frobenius , an automorphism of order ). It is thus isomorphic to .

The Galois group acts on the direct product of the inner automorphism group and radial automorphism group by conjugation, but does not preserve inner automorphisms pointwise: a Galois automorphism acting by conjugation on conjugation by a matrix gives conjugation by the matrix . The Galois group does commute with the radial automorphism group.

This also applies in the cases and . The case , however, is anomalous in the following respect: the Galois group is a subgroup of the radial automorphism group, i.e., field automorphisms are radial automorphisms. Note that for , the groups intersect trivially (and in fact, form an internal direct product inside the whole automorphism group) so is very anomalous in this respect.

### Cyclic group of order two generated by the transpose-inverse map

The transpose-inverse map is an automorphism of order two of the general linear group. This generates a cyclic subgroup of order two inside the automorphism group (the exception is the case , where the transpose-inverse map is trivial).

The transpose-inverse map commutes with the radial automorphism group as well as with the field automorphism group. It acts nontrivially by conjugation on the inner automorphism group. Conjugating the inner automorphism by a matrix by the transpose-inverse map gives the inner automorphism by the matrix .

The cases and are anomalous:

- For , the transpose-inverse map is in the radial automorphism group.
- For , the transpose-inverse map is the composite of the radial automorphism and conjugation by . Therefore, it is in the subgroup generated by the inner automorphism group and the radial automorphism group.