Subgroups generated by root-elements of groups generated by k-root subgroups
centersChevalley groupgroups generated by \(k\)-root subgroupslong root subgroupsmaximality condition for \(\Sigma\)-subgroupsnilpotent subgroupsquasisimple groupsimple algebraic groupssimplicity condition
Simple groups: alternating groups and groups of Lie type (20D06) Subgroup theorems; subgroup growth (20E07) Chains and lattices of subgroups, subnormal subgroups (20E15) Simple groups (20E32) Groups with a (BN)-pair; buildings (20E42) Generators, relations, and presentations of groups (20F05) Geometric group theory (20F65) Linear algebraic groups over arbitrary fields (20G15)
The author continues his study of groups \(G\) generated by a set \(\Sigma\) of so called \(k\)-root subgroups. For definitions see the author's papers [Invent. Math. 100, 167-206 (1990; Zbl 0697.20018) and ibid. 106, 575-666 (1991; Zbl 0794.20057)]. There the groups in question are classified. Under a simplicity condition essentially simple algebraic groups with \(\Sigma\) the class of centers of the long root subgroups come out. In the definition of \(k\)-root subgroups for a group \(G\) one of the conditions is: (*) \(G\) satisfies the maximality condition for \(\Sigma\)-subgroups. One of the purposes of the current paper is to show that all of the groups appearing in the main theorems of the papers quoted above really satisfy (*). Furthermore the author shows that if \(G\) is either a Chevalley group over a field \(k\), and \(\Sigma\) the class of long root subgroups of \(G\), or a quasisimple group generated by a class \(\Sigma\) of \(k\)-root groups satisfying (*), and \(U\) is a subgroup of \(G\) such that for \(\Sigma^ o = \{C \cap U \mid C \in \Sigma,\;C\cap U \neq 1\}\) the following hold: (1) \(U = \langle \Sigma^ o\rangle\); (2) \(U\) contains no nontrivial nilpotent normal subgroup \(N\) generated by \(N \cap \Sigma^ o\), (3) \(\Sigma^ o \neq \Sigma^ 1 \cup \Sigma^ 2\), \(\Sigma_ 1 \cap \Sigma_ 2 = \emptyset \neq \Sigma_ i\), and \([E^ o,F^ o] = 1\) for \(E^ o \in \Sigma_ 1\), \(F^ o \in \Sigma^ 2\). (4) If \(A \cap U\), \(B \cap U \in \Sigma^ o\) and \(\langle A,B \rangle \cong (P)SL_ 2(k)\), then \(\langle A \cap U, B \cap U\rangle \cong (P)SL_ 2(s)\), for a field \(s\) depending on \(A\) and \(B\). Then there is a subfield \(l\) of \(k\) such that \(\Sigma^ o\) is a class of \(l\)-root subgroups of \(U\) satisfying a weaker condition than (*) (unipotent subsets of \(\Sigma^ o\) generate nilpotent subgroups). In addition to this result there are presented a lot more interesting properties of groups generated by \(k\)-root groups.
- A remark on a theorem of Baer
- Groups generated by \(k\)-root subgroups
- Groups generated by k-transvections
- scientific article; zbMATH DE number 278868 (Why is no real title available?)
- scientific article; zbMATH DE number 3392741 (Why is no real title available?)
- Moufang planes and the groups E K 6and SL 2 (K), Ka Cayley division algebra
- On the foundations of polar geometry
- The 27-dimensional module for \(E_ 6\). IV
- Groups generated by \(k\)-root subgroups
- Abstract root subgroups and quadratic action. With an Appendix by A. E. Zalesskii
- Linear groups generated by two long root subgroups
- Geometry of root elements in groups of type E₆.
- Geometry of 1-tori in \(\text{GL}_n\).
- scientific article; zbMATH DE number 4175137 (Why is no real title available?)
- Wielandt's results for algebraic \(k\)-groups.
- Completely Reducible Linear Groups Over a Quaternion Division Algebra that Contain a Root Subgroup
- On linear groups of degree 2n containing a representation of the special linear group of degree n.
- scientific article; zbMATH DE number 278868 (Why is no real title available?)
- Irreducible Linear Groups of Degree Four over a Quaternion Division Algebra that Contain a Root Subgroup
- Groups generated by k-transvections
This page was built for publication: Subgroups generated by root-elements of groups generated by \(k\)-root subgroups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1326543)
