Extremal Subgroups in Chevalley Groups

From MaRDI portal





Let \(G(k)\) be a Chevalley group of rank \(n\geq 3\) defined over a field \(k\). Let \(\Phi\) be the root system associated with \(G(k)\), \(\Pi=\{\alpha_1,\alpha_2,\cdots,\alpha_n\}\) a set of fundamental roots of \(\Phi\), and \(\Phi^+\) the set of positive roots of \(\Phi\) with respect to \(\Pi\). Let \(U=\prod_{\gamma\in\Phi^+} X_\gamma\) be the unipotent subgroup of \(G(k)\) where \(X_\gamma\) is the root subgroup of \(G(k)\) associated with \(\gamma\) and \(U_m=\langle X_\gamma\mid\gamma\in\Phi^+,\text{ ht }\gamma\geq m\rangle\). For \(\alpha\in\Pi\), define \(U_\alpha=\prod_{\gamma\in\Phi^+\setminus\{\alpha\}} X_\gamma\). Let \(A\) be an extremal subgroup of \(U\), i.e., \(A\) is an abelian normal subgroup of \(U\) and \(A\nleq U_2\). The authors encountered extremal subgroups in the study of symplectic amalgams in an unpublished paper. In the present paper, the authors prove that, if \(G(k)\) is of type \({\mathbf A}_n\), \({\mathbf B}_n\), \({\mathbf C}_n\), or \({\mathbf F}_4\), then either \(A\nleq U_\alpha\) for a unique \(\alpha\in\Pi\); or \(n=3\), \(\text{char }k=2\), \(A\leq U_{\alpha_2}\), \(A\nleq U_{\alpha_1}\) and \(A\nleq U_{\alpha_3}\). If \(G(k)\) is of type \({\mathbf D}_n\) (\(n\geq 4\)), then either \(A\nleq U_\alpha\), for a unique \(\alpha\in\Pi\); or \(\text{char }k=2\), \(A\nleq U_{\alpha_n}\), \(A\nleq U_{\alpha_{n-1}}\), and \(A\leq U_{\alpha_j}\) for \(1\leq j\leq n-2\); or \(n=4\) and \(\text{char }k=2\). For types \({\mathbf E}_n\) (\(6\leq n\leq 8\)), \(A\nleq U_\alpha\) for a unique \(a\in\Pi\). Some other results are also obtained.











This page was built for publication: Extremal Subgroups in Chevalley Groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4349862)