Subgroups generated by root-elements of groups generated by \(k\)-root subgroups
type: Item
instance of: scholarly article
title: Subgroups generated by root-elements of groups generated by \(k\)-root subgroups
zbMATH Open document ID: 0805.20036
DOI: 10.1007/BF01264031
published in: Geometriae Dedicata
publication date: 1994-12-11T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 20G15
Mathematics Subject Classification ID: 20E32
Mathematics Subject Classification ID: 20E15
Mathematics Subject Classification ID: 20E07
Mathematics Subject Classification ID: 20F65
Mathematics Subject Classification ID: 20D06
Mathematics Subject Classification ID: 20E42
Mathematics Subject Classification ID: 20F05
zbMATH DE Number: 569270
zbMATH Keywords: groups generated by \(k\)-root subgroups
zbMATH Keywords: simplicity condition
zbMATH Keywords: simple algebraic groups
zbMATH Keywords: centers
zbMATH Keywords: long root subgroups
zbMATH Keywords: maximality condition for \(\Sigma\)-subgroups
zbMATH Keywords: Chevalley group
zbMATH Keywords: quasisimple group
zbMATH Keywords: nilpotent subgroups
author: F. G. Timmesfeld
reviewed by: Gernot Stroth
MaRDI profile type: Publication
cites work: The 27-dimensional module for \(E_ 6\). IV
cites work: On the foundations of polar geometry
cites work: Q5662096
cites work: Groups generated by k-transvections
cites work: Groups generated by \(k\)-root subgroups
cites work: Q5289093
cites work: A remark on a theorem of Baer
cites work: Moufang planes and the groups E K 6and SL 2 (K), Ka Cayley division algebra
description: scientific article; zbMATH DE number 569270