\(A_ 1\)-type overgroups of elements of order \(p\) in semisimple algebraic groups and the associated finite groups (Q1908461): Difference between revisions

The main result is Theorem 0.1. Let \(G\) be a semisimple algebraic group defined over an algebraically closed field \(k\) of nonzero characteristic \(p\). Assume that \(p>2\) if \(G\) has a factor of type \(B_n\), \(C_n\), \(D_n\), \(p>3\) if \(G\) has a factor of type \(G_2\), \(F_4\), \(E_6\), \(E_7\) and \(p>5\) if \(G\) has a factor of type \(E_8\). Let \(u\in G\) such that \(u^p=1\). Then there exists a closed connected subgroup \(X\) of \(G\), \(X\) isomorphic to \(\text{SL}_2(K)\) or \(\text{PSL}_2(K)\), with \(u\in X\). The analogous theorem is established for finite groups as fixed point subgroups of certain endomorphisms of algebraic groups.