On formations of finite groups with the Wielandt property for residuals (Q5949404): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: More Fitting formations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A construction for Fitting formations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4734014 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finite soluble groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Fitting formations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934684 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fitting Classes Defined by Chief Factor Ranks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4210612 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3744347 / rank | |||
Normal rank |
Revision as of 20:26, 3 June 2024
scientific article; zbMATH DE number 1675723
Language | Label | Description | Also known as |
---|---|---|---|
English | On formations of finite groups with the Wielandt property for residuals |
scientific article; zbMATH DE number 1675723 |
Statements
On formations of finite groups with the Wielandt property for residuals (English)
0 references
27 February 2002
0 references
All groups considered are finite. A formation \(\mathfrak F\) is said to have the Wielandt property (or, shortly, to be a W-formation) if the equality \(\langle U, V\rangle^{\mathfrak F}=\langle U^{\mathfrak F},V^{\mathfrak F}\rangle\) holds for every group \(G\) and all its subnormal subgroups \(U\) and \(V\). Wielandt proved that this equality holds if \(\mathfrak F\) is either the formation of soluble groups or the formation of nilpotent groups. \textit{L. A. Shemetkov} posed the problem on expanding Wielandt's results to arbitrary saturated formations [Formations of finite groups, Moscow, Nauka (1978; Zbl 0496.20014)]. This problem was solved by S. F. Kamornikov in 1989. Later infinite series of new W-formations were found by \textit{S. F. Kamornikov} and \textit{L. A. Shemetkov} in their famous article [Algebra Logika 34, No. 5, 493-513 (1995; Zbl 0901.20008)]. The authors of the present paper continue finding W-formations and prove the following results. Proposition 1. If \({\mathfrak F}_1,{\mathfrak F}_2\) are W-formations then \({\mathfrak F}_1\cap{\mathfrak F}_2\) and \({\mathfrak F}_1{\mathfrak F}_2\) are W-formations. Proposition 2. If \(\mathfrak F\) is a W-formation then \(\mathfrak F\) is a Fitting class. Proposition 3. Let \(\mathfrak F\) be a Fitting formation. Whenever \(U\) and \(V\) are subnormal subgroups of \(\langle U,V\rangle\), then \(\langle U^{\mathfrak F},V^{\mathfrak F}\rangle\leq\langle U,V\rangle^{\mathfrak F}\). Proposition 4. Let \(\mathfrak F\) be a Fitting formation. Whenever \(U\) and \(V\) are subgroups of a group \(G\) such that \(UV=VU\) and \(U\) and \(V\) are subnormal in \(UV\), then \((UV)^{\mathfrak F}=U^{\mathfrak F}V^{\mathfrak F}\). The structure of the minimal counterexample is considered. Let \(\mathfrak F\) be a Fitting formation. Given a finite group \(X\), we denote by \(w(X,{\mathfrak F})\) the set of all pairs \((A,B)\) such that \(A,B\) are subnormal subgroups of \(\langle A,B\rangle\) and \(\langle A^{\mathfrak F},B^{\mathfrak F}\rangle<\langle A,B\rangle^{\mathfrak F}\). Let \(W({\mathfrak F})\) denote the class of all groups such that \(w(X,{\mathfrak F})\neq\emptyset\). If \(\mathfrak F\) does not satisfy the Wielandt property, then \(W({\mathfrak F})\) is nonempty, and we can analyze the structure of a group \(G\) of minimal order in \(W({\mathfrak F})\). Let \((U,V)\) be a pair in \(w(X,{\mathfrak F})\) such that \(|U|+|V|\) is maximal. Denote \(H=\langle U^{\mathfrak F},V^{\mathfrak F}\rangle\) and \(A=U\cap V\). The following properties of the group \(G\) are proved: (1) \(G=\langle U,V\rangle\), \(U^{\mathfrak F}\neq 1\), \(V^{\mathfrak F}\neq 1\), \(UV\neq VU\), \(U^{\mathfrak F}\neq V^{\mathfrak F}\); (2) \(G^{\mathfrak F}=HN\) for every minimal normal subgroup \(N\) of \(G\), \(H\) is core-free and normal in \(G^{\mathfrak F}\); (3) If \(\text{Soc}(G)\) is nonabelian, then \(\text{Soc}(G)\) is a minimal normal subgroup of \(G\) and \(G\) is in the boundary of \(\mathfrak F\); in this case \(G^{\mathfrak F}\) is the unique minimal normal subgroup of \(G\); (4) If \(\text{Soc}(G)\) is Abelian, then \(G^{\mathfrak F}\) is an elementary Abelian \(p\)-group for some prime \(p\); (5) \(H=U^{\mathfrak F}V^{\mathfrak F}\), \(U^{\mathfrak F}<U\), \(V^{\mathfrak F}<V\); (6) \(A=G_{\mathfrak F}\) and \(G^{\mathfrak F}\leq A\); moreover, (6i) \(A\) is a maximal normal subgroup of \(U\) and \(V\), and \(G/A\) is a \(q\)-group for some prime \(q\in\text{char }{\mathfrak F}\); (6ii) if \(\text{Soc}(G)\) is a \(p\)-group, then \(p\in\text{char }{\mathfrak F}\); (6iii) \(G^{\mathfrak N}=O^q(G)\leq A\); (6iv) \(A\) is the unique maximal normal subgroup of \(U\) and \(V\); in particular, \(U^{\mathfrak N}=O^q(U)\) and \(V^{\mathfrak N}=O^q(V)\); (7) \(B\) is a completely reducible \(A\)-module over \(\text{GF}(p)\), and if \(p\neq q\) then all composition factors of \(B\) are isomorphic \(G\)-modules; (8) if \(p=q\), then \(B=\text{Soc}(G)\); (9) if \(\mathfrak F\) is either a solubly saturated Fitting formation or a Fitting formation defined by a Fitting family, then \(G\) is in the boundary of \(\mathfrak F\). Propositions 1-4 and the six previous properties of the minimal counterexample were proved by Kamornikov and Shemetkov in the article cited above; the authors notice that they included them with proofs for the sake of completeness. From the properties of the minimal counterexample the authors obtain examples of W-formations including the ones found by Kamornikov and Shemetkov. The rest of the paper is devoted to finding W-formations in the universe of soluble groups. The authors obtain two conditions under which a Fitting formation \({\mathfrak F}={\mathfrak T}(1,{\mathfrak M})\) is a W-formation.
0 references
subnormal subgroups
0 references
soluble groups
0 references
nilpotent groups
0 references
saturated formations
0 references
W-formations
0 references
Wielandt property
0 references
Fitting classes
0 references
Fitting formations
0 references