Uncancellative factorizations of Baer-local formations.
type: Item
instance of: scholarly article
title: Uncancellative factorizations of Baer-local formations.
zbMATH Open document ID: 1033.20015
DOI: 10.1016/S0021-8693(03)00306-5
published in: Journal of Algebra
publication date: 2003-09-25T00:00:00Z
review text: A function \(f\) which associates with every elementary group \(H\) some (probably empty) formation \(f(H)\) is called a Baer function if \(f(A)=f(B)\) for any two elementary groups \(A\) and \(B\) with \(C(A)=C(B)\). The symbol \(C(A)\) denotes the class of all simple groups \(J\) such that \(J\) is isomorphic to some composition factor of \(A\). A non-empty formation \(\mathfrak F\) is a Baer-local formation, if \({\mathfrak F}=\{G:\) either \(G=1\), or \(G\neq 1\) and \(G/C_G(H/K)\in f(H/K)\) for each chief factor \(H/K\) of \(G\}\), where \(f\) is some Baer-function. Let \(\mathfrak X\) be a set of groups. Remind that \(\text{form\,}{\mathfrak X}\) is the formation generated by \(\mathfrak X\) and \(C({\mathfrak X})\) is the class of all simple groups \(A\) such that \(A\cong H/K\) for some composition factor \(H/K\) of some group \(G\in{\mathfrak X}\). The main result of this paper is the following Theorem. Let \({\mathfrak F}={\mathfrak M}_1{\mathfrak M}_2\cdots{\mathfrak M}_t\) be an uncancellative factorization of a Baer-local formation \(\mathfrak F\) and \({\mathfrak H}={\mathfrak M}_2\cdots{\mathfrak M}_t\). Then \(\mathfrak F\) is a one-generated formation if and only if the following conditions are satisfied: (1) \({\mathfrak M}_1\) is a metanilpotent one-generated local formation and \(C({\mathfrak H})\cap{\mathfrak A}\subseteq{\mathfrak M}_1\); (2) If the formation \({\mathfrak M}_1\) is not primary, then \(\mathfrak H\) is a one-generated formation; besides, if \({\mathfrak M}_1\) is not nilpotent, then \(\mathfrak H\) is Abelian; (3) For all groups \(A\in{\mathfrak M}_1\) and \(B\in{\mathfrak H}\), the groups \(A/F(A)\) and \(B\) have coprime exponents; (4) If \({\mathfrak M}_1={\mathfrak N}_p\) for some prime \(p\), then \({\mathfrak H}/O_p({\mathfrak H})=\text{form}(G/O_p(G):G\in{\mathfrak H})\) is a one-generated formation; (5) \(t\leq3\) and if \(t=3\), then \({\mathfrak M}_1\) and \({\mathfrak M}_2\) are nilpotent, \({\mathfrak M}_3\) is Abelia…
reviewed by: Nikolay T. Vorob'ev
Mathematics Subject Classification ID: 20D10
zbMATH DE Number: 1985879
zbMATH Keywords: Baer functions
zbMATH Keywords: Baer-local formations
zbMATH Keywords: one-generated formations
zbMATH Keywords: nilpotent formations
author: Wenbin Guo
author: K. P. Shum
MaRDI profile type: Publication
cites work: Q5584600
cites work: Q5340151
cites work: Finite soluble groups
cites work: On one question of the kourovka notebook1
cites work: Q2762626
cites work: Varieties of groups
cites work: Q5507609
cites work: Q3961010
cites work: Q3994689
cites work: The product of formations
cites work: Q4375836
cites work: Multiply \(\omega\)-local formations and Fitting classes of finite groups
cites work: Q4383203
description: scientific article; zbMATH DE number 1985879