17.42 (2010)
OpenLet $\overline{G}$ be a simple algebraic group of adjoint type over the algebraic closure $\mathbb{F}_p$ of a finite field $\mathbb{F}_p$ of prime order $p$, and $\sigma$ a Frobenius map (that is, a surjective homomorphism such that $G_\sigma = C_{\overline{G}}(\sigma)$ is finite). Then $G = O^{p'}(G_\sigma)$ is a finite group of Lie type. For a maximal $\sigma$-stable torus $T$ of $\overline{G}$, let $N = N_{\overline{G}}(T) \cap G$. Assume also that $G$ is simple and $G \not\cong \text{SL}_3(2)$. Does there always exist $x \in G$ such that $N \cap N^x$ is a $p$-group?
Progress
*A definitive answer for a stronger question on the size of a base has been obtained in (T. C. Burness, A. R. Thomas, J. Algebra, 619 (2023), 459–504), which implies the following answer (in the notation therein): there is $x \in G$ such that $N \cap N^x$ is a $p$-group if and only if $(G, N)$ is not one of the following: $(L_3(2), 7:3)$, $(U_4(2), 3^3:S_4)$, $(U_5(2), 3^4:S_5)$.
Proof claims
No proof claims yet.
Log in to claim a proof.
Comments
No comments yet. Be the first to comment.
Log in to post a comment.