Element structure of general semiaffine group of degree one over a finite field
This article gives specific information, namely, element structure, about a family of groups, namely: general semiaffine group of degree one.
View element structure of group families | View other specific information about general semiaffine group of degree one
This article describes the element structure of the general semiaffine group of degree one over a finite field of size , where
, with
the field characteristic and
a positive integer. This group is denoted
or
.
Note that if , the group is the same as the general affine group of degree one
.
Summary
Item | Value |
---|---|
order | ![]() |
Number of conjugacy classes formulas
For every fixed value of , the number of conjugacy classes simply becomes a polynomial in
. The values of these polynomials for small
are listed below:
![]() |
Polynomial in ![]() |
---|---|
1 | ![]() |
2 | ![]() |
Conjugacy class structure
Case r = 2
We have . In our discussion, we distinguish between conjugacy classes in the additive group, conjugacy classes in GA(1,q) that are outside the additive group, and conjugacy classes outside GA(1,q). Note that the additive group has size
, the group
contains it and has size
, and the whole group has size
.
Nature of conjugacy class | Size of conjugacy class | Number of such conjugacy classes | Total number of elements |
---|---|---|---|
identity element of group, acts as identity map | 1 | 1 | 1 |
non-identity element, in additive group. Acts as translation | ![]() |
1 | ![]() |
outside the additive group, but in GA(1,q) and the multiplicative part is in the prime subfield. Acts as ![]() ![]() |
![]() |
![]() |
![]() |
outside the additive group, but in GA(1,q) and the multiplicative part is outside the prime subfield. Acts as ![]() ![]() |
![]() |
![]() |
![]() |
outside GA(1,q), has order two (i.e., generates a permutable complement to the subgroup of index two that is GA(1,q)) | ![]() |
1 | ![]() |
outside GA(1,q), its image mod the additive group has order two but it does not itself have order two | ![]() |
1 | ![]() |
outside GA(1,q), its image mod the additive group does not have order two | ![]() |
![]() |
![]() |
Total | -- | ![]() |
![]() |