Frank Lübeck |

# Elements of order 2 and 3 in Exceptional Groups of Lie Type

Let p be a prime and G be a simple algebraic group of exceptional type over the algebraic closure of a finite field with p elements. For each Frobenius morphism of G and corresponding power q of p we consider the finite groups of Lie type G(q). Here, we describe the conjugacy classes of elements of order 2 and 3 in the groups G(q).

**Notation: ** Below unipotent classes and centralizers of
semisimple elements are parametrized in terms of root systems. We use the
convention that a root subsystem of systems with roots of different lengths
are preceded by a tilde (like `~A_1`

) if the subsystem consists
of short roots only.

## Elements of order 2 (resp. 3) in the case p=2 (resp. 3)

In this case elements of order 2 (3) are unipotent. Unipotent classes are parametrized for all types of groups. The element orders can be found from the size of the largest Jordan block in some representation in defining characteristic. These can be read off from

Lawther, R. *Correction to: "Jordan block sizes of unipotent elements in
exceptional algebraic groups"*
[Comm. Algebra 23 (1995), no. 11, 4125--4156].
Comm. Algebra 26 (1998), no. 8, 2709.

For p=2 it turns out that a non-trivial class contains elements of order 2 if and only if their Bala-Carter parameter only involves root systems of type A_1 or ~A_1.

Similarly, for p=3, those non-trivial classes have elements of order 3 which have a parameter only involving root systems of type A_1, ~A_1, A_2, ~A_2 or G_2(a_1).

Here is a table of such classes with minimal centralizer dimension.

Type of G | p | class u^G | dim C_G(u) |
---|---|---|---|

G_2 | 2 | ~A_1 | 6 |

3 | G_2(a_1) | 4 | |

F_4 | 2 | A_1 + ~A_1 | 24 |

3 | ~A_2 + A_1 | 16 | |

E_6 | 2 | 3 A_1 | 38 |

3 | 2 A_2 + A_1 | 24 | |

E_7 | 2 | 4 A_1 | 63 |

3 | 2 A_2 + A_1 | 43 | |

E_8 | 2 | 4 A_1 | 120 |

3 | 2 A_2 + 2 A_1 | 80 |

All of the classes mentioned in this table have representatives in all corresponding groups G(q). The intersection of G_2(a_1) with G(q) contains two G(q)-conjugacy classes. In all other cases the elements lying in G(q) form a single G(q)-class.

## Semisimple elements of order 2 and 3

For a given root datum and a fixed maximal torus T one can write down the finite number of elements in T of a given fixed order and then determine their centralizers in terms of a root subsystem and the Weyl group of G. Having the conjugacy classes of elements of order 2 and 3 in the algebraic groups one has to determime the possible structures of the centralizers in G(q). I have worked out the details using the software packages GAP and CHEVIE. More details on the computational setup can be found in Section 2 of:

Brunat, O. and Lübeck, F.,
*On defining characteristic representations of finite reductive groups.*
Journal of Algebra 395 (2013), 121-141.

The results are given type by type. For the centralizer orders we use the Phi<i> notation for the i-th cyclotomic polynomial evaluated at the prime power q, here is an explicit list. Polynomial parts in the type descriptions refer to tori of that order. The dimensions of the centralizers in the algebraic group are given by the polynomial degree of the orders of the centralizers. (The computer programs used here also allow one to compute similar information for other "small" orders.)

**Remark:** For the conjugacy classes mentioned for groups of adjoint
type E_{6}(q)_{ad}, ^{2}E_{6}(q)_{ad}
and E_{7}(q)_{ad} we mention when they are not
contained in the commutator subgroup (or equivalently, when
they are not images of conjugacy classes in the simply connected group of the
same type under the simply connected covering).

^{2}B_{2}(q^{2}) (Suzuki groups)

Here elements of order 2 are unipotent and there are no elements of order 3.

### G_{2}(q) and ^{2}G_{2}(q^{2}) (Ree groups)

**Elements of order 2:** There is
one class with centralizer of type

A_1(q) + ~A_1(q) and of order q^2 Phi1^2 Phi2^2.

In ^2G_2 the centralizer is of type

A_1(q^2) with order q^2 Phi1 Phi2 Phi4.

**Elements of order 3:**
There is one class with centralizer

A_2(q) of order q^3 Phi1^2 Phi2 Phi3, if q = 1 mod 3 and

^2A_2(q) of order q^3 Phi1 Phi2^2 Phi6, if q = 2 mod 3.

There is one class with centralizer

~A_1(q) + (q-1) of order q Phi1^2 Phi2, if q = 1 mod 3

~A_1(q) + (q+1) of order q Phi1 Phi2^2, if q = 2 mod 3.

^{3}D_{4}(q) (Steinberg triality groups)

These groups can be considered as subgroups of the simply-connected or
the adjoint algebraic group of type D_{4}, the description here is
the same in both cases.

**Elements of order 2:**
There is one class with centralizer

A_1(q^3) + A_1(q) of order q^4*Phi1^2*Phi2^2*Phi3*Phi6.

**Elements of order 3:**
There is one class with centralizer

A_1(q^3) + (q-1) of order q^3*Phi1^2*Phi2*Phi3*Phi6, if q = 1 mod 3 and

A_1(q^3) + (q+1) of order q^3*Phi1*Phi2^2*Phi3*Phi6, if q = 2 mod 3

and one class with centralizer

A_2(q) + (q^2+q+1) of order q^3*Phi1^2*Phi2*Phi3^2, if q = 1 mod 3 and

^2A_2(q) + (q^2-q+1) of order q^3*Phi1*Phi2^2*Phi6^2, if q = 2 mod 3.

### F_{4}(q) and ^{2}F_{4}(q^{2}) (Ree groups)

**Elements of order 2:**
There is one class with centralizer

B_4(q) of order q^16 Phi1^4 Phi2^4 Phi3 Phi4^2 Phi6 Phi8

and one class with centralizer

C_3(q) + A_1(q) of order q^10 Phi1^4 Phi2^4 Phi3 Phi4 Phi6.

**Elements of order 3:**
There is one class with centralizer

A_2(q) + ~A_2(q) of order q^6 Phi1^4 Phi2^2 Phi3^2, if q = 1 mod
3

^2A_2(q) + ^2~A_2(q) of order q^6 Phi1^2 Phi2^4 Phi6^2, if q = 2
mod 3

and one class with centralizer

B_3(q) + (q-1) of order q^9 Phi1^4 Phi2^3 Phi3 Phi4 Phi6, if q = 1
mod 3

B_3(q) + (q+1) of order q^9 Phi1^3 Phi2^4 Phi3 Phi4 Phi6, if q = 2
mod 3

and one class with centralizer

C_3(q) + (q-1) of order q^9 Phi1^4 Phi2^3 Phi3 Phi4 Phi6, if q = 1
mod 3

C_3(q) + (q+1) of order q^9 Phi1^3 Phi2^4 Phi3 Phi4 Phi6, if q = 2
mod 3.

In ^2F_4 only the first of the classes above occurs, in that case
the centralizer is of type

^2A_2(q^2) with order q^6 Phi1 Phi2 Phi4^2 Phi12.

### E_{6}(q)_{ad} (adjoint)

**Elements of order 2:**
There is one class with centralizer

A_5(q) + A_1(q) of order q^16 Phi1^6 Phi2^4 Phi3^2 Phi4 Phi5
Phi6

and one class with centralizer

D_5(q) + (q-1) of order q^20 Phi1^6 Phi2^4 Phi3 Phi4^2 Phi5 Phi6
Phi8.

**Elements of order 3:**
There are two classes with centralizer

D_5(q) + (q-1) of
order q^20 Phi1^6 Phi2^4 Phi3 Phi4^2 Phi5 Phi6 Phi8, if q = 1
mod 3

(these classes are in the derived subgroup only if q = 1 mod 9)

and two classes with centralizer

A_4(q) + A_1(q) + (q-1) of
order q^11 Phi1^6 Phi2^3 Phi3 Phi4 Phi5, if q = 1 mod 3

(these classes are in the derived subgroup only if q = 1 mod 9)

and one class with centralizer

A_5(q) + (q-1) of
order q^15 Phi1^6 Phi2^3 Phi3^2 Phi4 Phi5 Phi6, if q = 1 mod 3

A_5(q) + (q+1) of
order q^15 Phi1^5 Phi2^4 Phi3^2 Phi4 Phi5 Phi6, if q = 2 mod 3.

Then there is one geometric class with centralizer of
type (A_2 + A_2 + A_2).3, splitting as follows:

For q = 1 mod 3:
in one rational class with centralizer

(A_2(q) + A_2(q) + A_2(q)).3 of order 3 q^9 Phi1^6 Phi2^3 Phi3^3
and two rational classes with centralizer

A_2(q^3).3 of order 3 q^9 Phi1^2 Phi2 Phi3^2 Phi6 Phi9.

(the last two rational classes are not in the derived group)

For q = 2 mod 3
in one rational class with centralizer

A_2(q^2) + ^2A_2(q) of order q^9 Phi1^3 Phi2^4 Phi3 Phi4 Phi6^2.

And one geometric class with centralizer of type (D_4).3, splitting as
follows:

For q = 1 mod 3
in one rational class with centralizer

(D_4(q) + (q^2 - 2*q + 1)).3 of order
3 q^12 Phi1^6 Phi2^4 Phi3 Phi4^2 Phi6
and two rational classes with centralizer

(^3D_4(q) + (q^2 + q + 1)).3 of order
3 q^12 Phi1^2 Phi2^2 Phi3^3 Phi6^2 Phi12.

(the last two rational classes are not in the derived group)

For q = 2 mod 3
in one rational class with centralizer

^2D_4(q) + (q^2-1) of order q^12 Phi1^4 Phi2^4 Phi3 Phi4 Phi6 Phi8.

^{2}E_{6}(q)_{ad} (adjoint)

**Elements of order 2:**
There is one class with centralizer

^2A_5(q) + A_1(q) of order q^16 Phi1^4 Phi2^6 Phi3 Phi4 Phi6^2
Phi10

and one class with centralizer

^2D_5(q) + (q+1) of order q^20 Phi1^4 Phi2^6 Phi3 Phi4^2 Phi6 Phi8
Phi10.

**Elements of order 3:**
There are two classes with centralizer

^2D_5(q) + (q+1) of
order q^20 Phi1^4 Phi2^6 Phi3 Phi4^2 Phi6 Phi8 Phi10, if q = 2
mod 3

(these classes are in the derived subgroup only if q = -1 mod 9)

and two classes with centralizer

^2A_4(q) + A_1(q) + (q+1) of
order q^11 Phi1^3 Phi2^6 Phi4 Phi6 Phi10, if q = 2 mod 3

(these classes are in the derived subgroup only if q = -1 mod 9)

and one class with centralizer

^2A_5(q) + (q-1) of
order q^15 Phi1^4 Phi2^5 Phi3 Phi4 Phi6^2 Phi10, if q = 1 mod 3

^2A_5(q) + (q+1) of
order q^15 Phi1^3 Phi2^6 Phi3 Phi4 Phi6^2 Phi10, if q = 2 mod
3.

Then there is one geometric class with centralizer of type
(A_2 + A_2 + A_2).3, splitting as follows:

For q = 2 mod 3
in one rational class with centralizer

(^2A_2(q) + ^2A_2(q) + ^2A_2(q)).3 of order 3 q^9 Phi1^3 Phi2^6
Phi6^3

and two rational classes with centralizer

^2A_2(q^3).3 of order 3 q^9 Phi1 Phi2^2 Phi3 Phi6^2 Phi18.

(the last two rational classes are not in the derived group)

For q = 1 mod 3
in one rational class with centralizer

A_2(q^2) + A_2(q) of order q^9 Phi1^4 Phi2^3 Phi3^2 Phi4 Phi6.

And one geometric class with centralizer of type (D_4).3, splitting as
follows:

For q = 2 mod 3
in one rational class with centralizer

(D_4(q) + (q^2 + 2*q + 1)).3 of order
3 q^12 Phi1^4 Phi2^6 Phi3 Phi4^2 Phi6

and two rational classes with centralizer

(^3D_4(q) + (q^2 - q + 1)).3 of order
3 q^12 Phi1^2 Phi2^2 Phi3^2 Phi6^3 Phi12.

(the last two rational classes are not in the derived group)

For q = 1 mod 3
in one rational class with centralizer

^2D_4(q) + (q^2 - 1) of order q^12 Phi1^4 Phi2^4 Phi3 Phi4 Phi6 Phi8.

### E_{6}(q)_{sc} (simply connected)

**Elements of order 2:** Same description as for adjoint groups of type E_6.

**Elements of order 3:**
There are two classes of central elements, centralizer

E_6(q) of order q^36 Phi1^6 Phi2^4 Phi3^3 Phi4^2 Phi5 Phi6^2 Phi8 Phi9 Phi12,
if q = 1 mod 3

and one class with centralizer

A_2(q) + A_2(q) + A_2(q) of order q^9 Phi1^6 Phi2^3 Phi3^3, if q = 1 mod
3

A_2(q^2) + ^2A_2(q) of order q^9 Phi1^3 Phi2^4 Phi3 Phi4 Phi6^2,
if q = 2 mod 3

and one class with centralizer

D_4(q) + (q^2-2*q+1) of order q^12 Phi1^6 Phi2^4 Phi3 Phi4^2 Phi6,
if q = 1 mod 3

^2D_4(q) + (q^2-1) of order q^12 Phi1^4 Phi2^4 Phi3 Phi4 Phi6 Phi8,
if q = 2 mod 3.

Then for q = 1 mod 3
there are three classes with centralizer

A_5(q) + (q-1) of order q^15 Phi1^6 Phi2^3 Phi3^2 Phi4 Phi5 Phi6.

And for q = 2 mod 3
there is one class with centralizer

A_5(q) + (q+1) of order q^15 Phi1^5 Phi2^4 Phi3^2 Phi4 Phi5 Phi6.

^{2}E_{6}(q)_{sc} (simply connected)

**Elements of order 2:** Same description as for adjoint groups of type ^2E_6.

**Elements of order 3:**
There are two classes of central elements, centralizer

^2E_6(q) of order q^36 Phi1^4 Phi2^6 Phi3^2 Phi4^2 Phi6^3 Phi8
Phi10 Phi12 Phi18, if q = 2 mod 3

and one class with centralizer

^2A_2(q) + ^2A_2(q) + ^2A_2(q) of order q^9 Phi1^3 Phi2^6 Phi6^3,
if q = 2 mod 3

A_2(q^2) + A_2(q) of order q^9 Phi1^4 Phi2^3 Phi3^2 Phi4 Phi6,
if q = 1 mod 3

and one class with centralizer

D_4(q) + (q^2+2*q+1) of order q^12 Phi1^4 Phi2^6 Phi3 Phi4^2 Phi6,
if q = 2 mod 3

^2D_4(q) + (q^2-1) of order q^12 Phi1^4 Phi2^4 Phi3 Phi4 Phi6 Phi8,
if q = 1 mod 3.

Then for q = 2 mod 3
there are three classes with centralizer

^2A_5(q) + (q+1) of order q^15 Phi1^3 Phi2^6 Phi3 Phi4 Phi6^2
Phi10.

And for q = 1 mod 3
there is one class with centralizer

^2A_5(q) + (q-1) of order q^15 Phi1^4 Phi2^5 Phi3 Phi4 Phi6^2 Phi10.

### E_{7}(q)_{ad} (adjoint)

**Elements of order 2:**
There is one class with centralizer

D_6(q) + A_1(q) of
order q^31 Phi1^7 Phi2^7 Phi3^2 Phi4^2 Phi5 Phi6^2 Phi8 Phi10

and one geometric class with centralizer of type (A_7).2, splitting
into:

one rational class with centralizer

A_7(q).2 of order 2 q^28 Phi1^7 Phi2^4 Phi3^2 Phi4^2 Phi5 Phi6 Phi7
Phi8

(this class is in the derived subgroup only if q = 1 mod 4)

and one rational class with centralizer

^2A_7(q).2 of order 2 q^28 Phi1^4 Phi2^7 Phi3 Phi4^2 Phi6^2 Phi8 Phi10
Phi14,

(this class is in the derived subgroup only if q = -1 mod 4)

and one geometric class with centralizer of type (E_6).2, splitting
into:

one rational class with centralizer

(E_6(q) + (q-1)).2 of
order 2 q^36 Phi1^7 Phi2^4 Phi3^3 Phi4^2 Phi5 Phi6^2 Phi8 Phi9
Phi12

(this class is in the derived subgroup only if q = 1 mod 4)

and one rational class with centralizer

(^2E_6(q) + (q+1)).2 of
order 2 q^36 Phi1^4 Phi2^7 Phi3^2 Phi4^2 Phi6^3 Phi8 Phi10 Phi12
Phi18

(this class is in the derived subgroup only if q = -1 mod 4).

**Elements of order 3:**
There is one class with centralizer

A_5(q) + A_2(q) of order q^18 Phi1^7 Phi2^4 Phi3^3 Phi4 Phi5 Phi6,
if q = 1 mod 3

^2A_5(q) + ^2A_2(q) of order q^18 Phi1^4 Phi2^7 Phi3 Phi4 Phi6^3 Phi10,
if q = 2 mod 3

and one class with centralizer

E_6(q) + (q-1) of
order q^36 Phi1^7 Phi2^4 Phi3^3 Phi4^2 Phi5 Phi6^2 Phi8 Phi9 Phi12,
if q = 1 mod 3

^2E_6(q) + (q+1) of
order q^36 Phi1^4 Phi2^7 Phi3^2 Phi4^2 Phi6^3 Phi8 Phi10 Phi12 Phi18,
if q = 2 mod 3

and one class with centralizer

D_5(q) + A_1(q) + (q-1) of
order q^21 Phi1^7 Phi2^5 Phi3 Phi4^2 Phi5 Phi6 Phi8, if q = 1 mod 3

^2D_5(q) + A_1(q) + (q+1) of
order q^21 Phi1^5 Phi2^7 Phi3 Phi4^2 Phi6 Phi8 Phi10, if q = 2 mod
3

and one class with centralizer

A_6(q) + (q-1) of order q^21 Phi1^7 Phi2^3 Phi3^2 Phi4 Phi5 Phi6 Phi7,
if q = 1 mod 3

^2A_6(q) + (q+1) of order q^21 Phi1^3 Phi2^7 Phi3 Phi4 Phi6^2 Phi10 Phi14,
if q = 2 mod 3

and one class with centralizer

D_6(q) + (q-1) of
order q^30 Phi1^7 Phi2^6 Phi3^2 Phi4^2 Phi5 Phi6^2 Phi8 Phi10,
if q = 1 mod 3

D_6(q) + (q+1) of
order q^30 Phi1^6 Phi2^7 Phi3^2 Phi4^2 Phi5 Phi6^2 Phi8 Phi10,
if q = 2 mod 3.

### E_{7}(q)_{sc} (simply connected)

**Elements of order 2:**
There is one central class with centralizer

E_7(q) of order q^63 Phi1^7 Phi2^7 Phi3^3 Phi4^2 Phi5 Phi6^3 Phi7 Phi8
Phi9 Phi10 Phi12 Phi14 Phi18

and there are two classes with centralizer

D_6(q) + A_1(q) of
order q^31 Phi1^7 Phi2^7 Phi3^2 Phi4^2 Phi5 Phi6^2 Phi8 Phi10.

**Elements of order 3:** This is the same as for the adjoint groups of type
E_7.

### E_{8}(q)

**Elements of order 2:**
There is one class with centralizer

E_7(q) + A_1(q) of order q^64 Phi1^8 Phi2^8 Phi3^3 Phi4^2 Phi5 Phi6^3 Phi7
Phi8 Phi9 Phi10 Phi12 Phi14 Phi18

and one class with centralizer

D_8(q) of order q^56 Phi1^8 Phi2^8 Phi3^2 Phi4^4 Phi5 Phi6^2 Phi7 Phi8^2
Phi10 Phi12 Phi14.

**Elements of order 3:**
There is one class with centralizer

E_6(q) + A_2(q) of
order q^39 Phi1^8 Phi2^5 Phi3^4 Phi4^2 Phi5 Phi6^2 Phi8 Phi9 Phi12,
if q = 1 mod 3

^2E_6(q) + ^2A_2(q) of
order q^39 Phi1^5 Phi2^8 Phi3^2 Phi4^2 Phi6^4 Phi8 Phi10 Phi12 Phi18,
if q = 2 mod 3

and one class with centralizer

A_8(q) of
order q^36 Phi1^8 Phi2^4 Phi3^3 Phi4^2 Phi5 Phi6 Phi7 Phi8 Phi9,
if q = 1 mod 3

^2A_8(q) of
order q^36 Phi1^4 Phi2^8 Phi3 Phi4^2 Phi6^3 Phi8 Phi10 Phi14 Phi18,
if q = 2 mod 3

and one class with centralizer

E_7(q) + (q-1) of
order q^63 Phi1^8 Phi2^7 Phi3^3 Phi4^2 Phi5 Phi6^3 Phi7 Phi8 Phi9
Phi10 Phi12 Phi14 Phi18,
if q = 1 mod 3

E_7(q) + (q+1) of
order q^63 Phi1^7 Phi2^8 Phi3^3 Phi4^2 Phi5 Phi6^3 Phi7 Phi8 Phi9
Phi10 Phi12 Phi14 Phi18,
if q = 2 mod 3

and one class with centralizer

D_7(q) + (q-1) of
order q^42 Phi1^8 Phi2^6 Phi3^2 Phi4^3 Phi5 Phi6^2 Phi7 Phi8 Phi10 Phi12,
if q = 1 mod 3

^2D_7(q) + (q+1) of
order q^42 Phi1^6 Phi2^8 Phi3^2 Phi4^3 Phi5 Phi6^2 Phi8 Phi10 Phi12 Phi14,
if q = 2 mod 3.

Zuletzt geändert: Mi 14.03.2018, 18:17:31 (UTC)