Endomorphism structure of general linear group of degree two over a finite field
This article gives specific information, namely, endomorphism structure, about a family of groups, namely: general linear group of degree two. 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 of degree two | View other specific information about group families for rings of the type finite field
The information below is for the group where is a prime power and is the underlying prime (i.e., the field characteristic). Here, here denotes the Euler totient function. Sort by to separate the characteristic two cases from the other cases.
|Group||Order of the group||Automorphism group|| Order of the automorphism group
||Order of inner automorphism group ()||Order of radial automorphism group ()||Order of Galois group ()||Endomorphism structure page|
|symmetric group:S3||2||2||1||6||symmetric group:S3||6||6||1||1||endomorphism structure of symmetric group:S3|
|general linear group:GL(2,3)||3||3||1||48||direct product of S4 and Z2||48||24||2||1||endomorphism structure of general linear group:GL(2,3)|
|direct product of A5 and Z3||2||4||2||180||direct product of A5 and V4||240||60||2||2||--|
|general linear group:GL(2,5)||5||5||1||480||480||120||4||1||endomorphism structure of general linear group:GL(2,5)|
|general linear group:GL(2,7)||7||7||1||2016||1344||336||4||1||endomorphism structure of general linear group:GL(2,7)|
|general linear group:GL(2,8)||2||8||3||3528||9072||504||6||3||endomorphism structure of general linear group:GL(2,8)|
|general linear group:GL(2,9)||3||9||2||5760||11520||720||8||2||endomorphism structure of general linear group:GL(2,9)|
The general description of the automorphism group is:
(Inner automorphism group Radial automorphism group) Field automorphism group (i.e., Galois group)
The Galois group acts separately on the inner automorphism group and the radial automorphism group, and the latter action is trivial, so the above can be rewritten as:
Inner automorphism group (Radial automorphism group Field automorphism group)
We can also write it as:
(Inner automorphism group Field automorphism group) Radial automorphism group
The orders are respectively:
- Inner automorphism group:
- Radial automorphism group: where is the Euler totient function.
- Field automorphism group (Galois group):
|automorphism group||(Inner automorphism group Radial automorphism group) Galois group. Note that the Galois group acts trivially on the radial automorphism group part but nontrivially on the inner automorphism group part.||For odd : , for even :|
|inner automorphism group||projective general linear group of degree two||This is the quotient by the center. The center has order and has order .|
|radial automorphism group||Here, denotes the Euler totient function. See description of radial automorphism group below.|
|field automorphism group (Galois group)||, generated by Frobenius||See description below|
|semidirect product of inner automorphism group and field automorphism group||projective semilinear group of degree two|
|outer automorphism group||direct product of radial automorphism group and Galois group:|
Note that the transpose-inverse map occurs as a composite of the radial automorphism and conjugation by , therefore it does not need to be included separately.
Inner automorphism group
The inner automorphism group is the projective general linear group of degree two . It is the quotient of by its center, and has order . For , it is a non-solvable 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 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 multiplicative group modulo . Note also that the composition of automorphisms corresponds to multiplication of the corresponding values of . Thus, the mapping defines a group isomorphism from the radial automorphism group to the group .
Note that all radial automorphisms commute with all the inner automorphisms, so the subgroup of the automorphism group generated by the inner automorphisms and the radial automorphisms is an internal direct product of the inner automorphism group and the radial automorphism group.
The transpose-inverse map occurs as a composite of the radial automorphism (case ) and conjugation by , therefore it does not need to be included separately.
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.