Groups whose proper quotients are finite-by-nilpotent (Q5919269): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Zhirang Zhang / rank | |||
Property / author | |||
Property / author: Zhirang Zhang / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Primitive group rings of soluble groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3235830 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The vanishing of certain homology and cohomology groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Groups whose proper quotients have finite derived subgroups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3941589 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf01199056 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2081093206 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:01, 30 July 2024
scientific article; zbMATH DE number 4196268
Language | Label | Description | Also known as |
---|---|---|---|
English | Groups whose proper quotients are finite-by-nilpotent |
scientific article; zbMATH DE number 4196268 |
Statements
Groups whose proper quotients are finite-by-nilpotent (English)
0 references
1991
0 references
A group \(G\) is said to be an \(FN_ c\)-group if the \((c+1)\)-st term \(\gamma_{c+1}G\) of its lower central series is finite. A group \(G\) is called a \(JNFN_ c\)-group if all its proper quotients are FN\(_ c\)-groups, but \(G\) itself is not. The structure of JNFA-groups \((JNFN_ c\)-groups with \(c=1)\) has been described by \textit{D. J. S. Robinson} and the author [J. Algebra 118, No. 2, 346-368 (1988; Zbl 0658.20019)]. In this paper we study JNFN\(_ c\)-groups with non-trivial Fitting subgroup for arbitrary \(c\) which are naturally divided into two classes. It turns out that \(JNFN_ c\)-groups with non-trivial centre are just the torsion-free nilpotent groups \(G\) of class \(c+1\) such that \(\gamma_{c+1}G\) is infinite cyclic and \(Z(G)\) is a subgroup of the rationals. Next, we deal with \(JNFN_ c\)-groups with trivial centre and non-trivial Fitting subgroup \(A\). It is shown that \(A\) is abelian and then \(A\) is a faithful just infinite module for the non-trivial \(FN_ c\)-group \(Q=:G/A\). The investigation also shows that it is significantly harder to describe \(JNFN_ c\)-groups with \(c\geq 2\) than is the case \(c=1\); some interesting but complicated problems about groups, modules and cohomology and many new techniques are involved. In the final section we consider faithful just infinite modules over nilpotent \(FN_ c\)-groups. For this purpose a well-known theorem of \textit{P. Hall} [Proc. Camb. Philos. Soc. 52, 611-616 (1956; Zbl 0072.25801)] is extended in the following form: If \(G\) is an \(FN_ c\)-group, then \(G/C_ G(\gamma_ cG)\) is residually finite and of finite exponent. Moreover, \(G/Z_{2c-2}(G)\) is of finite exponent, provided \(c\geq 2\). By using this proposition, necessary and sufficient conditions are obtained for a nontrivial nilpotent \(FN_ c\)-group \(Q\) to have a faithful just infinite module, where the crux of the matter is the following theorem on modules: Let \(Q\) be a nilpotent group with centre \(K\). If \(Q\) has infinite torsion-free rank and the torsion subgroup of \(K\) is a locally cyclic \(p'\)-group (\(p\geq 0\)), then \(Q\) has a faithful just infinite module of characteristic \(p\) that is simple. These results are markedly different from those in the case \(c=1\).
0 references
lower central series
0 references
\(FN_c\)-groups
0 references
JNFA-groups
0 references
\(JNFN_c\)-groups
0 references
Fitting subgroup
0 references
torsion-free nilpotent groups
0 references
faithful just infinite modules
0 references
residually finite
0 references
finite exponent
0 references
torsion-free rank
0 references
torsion subgroup
0 references
locally cyclic \(p'\)-groups
0 references