Element structure of general affine group of degree two over a finite field
This article gives specific information, namely, element structure, about a family of groups, namely: general affine group of degree two.
View element structure of group families | View other specific information about general affine group of degree two
This article gives the element structure of the general affine group of degree two over a finite field. Similar structure works over an infinite field or a field of infinite characteristic, with suitable modification. For more on that, see element structure of general affine group of degree two over a field.
The discussion here builds upon the discussion of element structure of general linear group of degree two over a finite field.
Summary
Item | Value |
---|---|
order | ![]() |
exponent | ? |
number of conjugacy classes | ![]() |
Particular cases
![]() (field size) |
![]() (underlying prime, field characteristic) |
![]() |
general affine group ![]() |
order of the group (= ![]() |
number of conjugacy classes (= ![]() |
element structure page |
---|---|---|---|---|---|---|
2 | 2 | 1 | symmetric group:S4 | 24 | 5 | element structure of symmetric group:S4 |
3 | 3 | 1 | general affine group:GA(2,3) | 432 | 11 | element structure of general affine group:GA(2,3) |
4 | 2 | 2 | general affine group:GA(2,4) | 2880 | 19 | |
5 | 5 | 1 | general affine group:GA(2,5) | 12000 | 29 |
Conjugacy class structure
There is a total of elements, and there are
conjugacy classes of elements.
The conjugacy class structure is closely related to that of -- see Element structure of general linear group of degree two over a finite field#Conjugacy class structure.
We describe a generic element of in the form:
where is the dilation component and
is the translation component.
Consider the quotient mapping , which sends the generic element to
. Under this mapping, the following is true:
- For those conjugacy classes of
comprising elements that do not have 1 as an eigenvalue, the full inverse image of the conjugacy class is a single conjugacy class in
. In other words, the translation component does not matter.
- For those conjugacy classes of
comprising elements that do have 1 as an eigenvalue, the conjugacy class splits into two depending on whether
is in the image of
.
Nature of conjugacy class | Eigenvalues | Characteristic polynomial of ![]() |
Minimal polynomial of ![]() |
Size of conjugacy class | Number of such conjugacy classes | Total number of elements | Is ![]() |
Is ![]() ![]() |
---|---|---|---|---|---|---|---|---|
![]() ![]() |
![]() |
![]() |
![]() |
1 | 1 | 1 | Yes | Yes |
![]() ![]() |
![]() |
![]() |
![]() |
![]() |
1 | ![]() |
Yes | Yes |
![]() ![]() ![]() |
![]() ![]() |
![]() ![]() |
![]() ![]() |
![]() |
![]() |
![]() |
Yes | Yes |
![]() ![]() ![]() ![]() |
Pair of conjugate elements of ![]() |
![]() |
Same as characteristic polynomial | ![]() |
![]() |
![]() |
Yes | No |
![]() ![]() ![]() |
![]() |
![]() |
Same as characteristic polynomial | ![]() |
1 | ![]() |
No | No |
![]() ![]() ![]() |
![]() |
![]() |
Same as characteristic polynomial | ![]() |
1 | ![]() |
No | No |
![]() |
![]() ![]() |
![]() ![]() |
Same as characteristic polynomial | ![]() |
![]() |
![]() |
No | No |
![]() ![]() ![]() ![]() |
![]() ![]() |
![]() |
Same as characteristic polynomial | ![]() |
![]() |
![]() |
Yes | Yes |
![]() ![]() ![]() ![]() |
![]() ![]() |
![]() |
Same as characteristic polynomial | ![]() |
![]() |
![]() |
Yes | Yes |
![]() ![]() |
![]() ![]() |
![]() |
Same as characteristic polynomial | ![]() |
![]() |
![]() |
Yes | Yes |
Total | NA | NA | NA | NA | ![]() |
![]() |