Structure of an exotic $2$-local subgroup in $E_7(q)$

TL;DR

This paper investigates the structure of a specific 2-local subgroup in the finite simple group of Lie type E7(q), revealing conditions under which the normalizer in G equals that in the adjoint group.

Contribution

It characterizes the structure of the normalizer of a 2-element elementary abelian subgroup in E7(q) and identifies when it coincides with the normalizer in the adjoint group.

Findings

N_G(E) equals N_{G_{ad}}(E) if and only if q ≡ ±1 mod 8.

The subgroup E is unique up to conjugacy in G.

The structure of N_G(E) is explicitly described in the paper.

Abstract

Let $G$ be the finite simple group of Lie type $G = E_7(q)$, where $q$ is an odd prime power. Then $G$ is an index $2$ subgroup of the adjoint group $G_{\operatorname{ad}}$, which is also denoted by $G_{\operatorname{ad}} = \operatorname{Inndiag}(G)$ and known as the group of inner-diagonal automorphisms. It was proven by Cohen--Liebeck--Saxl--Seitz (1992) that there is an elementary abelian $2$-subgroup $E$ of order $4$ in $G_{\operatorname{ad}}$, such that $N_{G_{\operatorname{ad}}}(E)/C_{G_{ad}}(E) \cong \operatorname{Sym}_3$, and $C_{G_{\operatorname{ad}}}(E) = E \times \operatorname{Inndiag}(D_4(q))$. Furthermore, such an $E$ is unique up to conjugacy in $G_{\operatorname{ad}}$. It is known that $N_G(E)$ is always a maximal subgroup of $G$, and $N_{G_{\operatorname{ad}}}(E)$ is a maximal subgroup of $G_{\operatorname{ad}}$ unless $N_{G_{\operatorname{ad}}}(E) \leq G$. In this note, we describe the structure of $N_{G}(E)$. It turns out that $N_G(E) = N_{G_{\operatorname{ad}}}(E)$ if and only if $q \equiv \pm 1 \mod{8}$.