Extensions of abelian by hyper-(cyclic or finite) groups. II (Q1313432): Difference between revisions

Let \(E\) be a group and \(A\) a normal subgroup of \(E\). A subgroup \(B\) of \(E\) is said to be a complement of \(A\) in \(E\) if \(E = AB\) and \(A\cap B = 1\). We say that \(E\) splits conjugately over \(A\) if there exists at least one complement of \(A\) in \(E\) and all such complements are conjugate. In part I [Commun. Algebra 20, No. 8, 2305-2321 (1992; Zbl 0780.20018)] the author started the study of split extensions of abelian groups by hyper- (cyclic or finite) groups \(G\), dealing with the case in which the abelian group \(A\) is an artinian \(\mathbb{Z} G\)-module. In this paper the author continues this study dealing with the noetherian case. The following theorem is proved: Let \(G\) be a hyper-(cyclic or finite) locally soluble group and let \(A\) be a noetherian \(\mathbb{Z} G\)- module. If \(A\) has no non-zero finite \(\mathbb{Z} G\)-images, then every extension \(E\) of \(A\) by \(G\) splits conjugately over \(A\) and \(A\) has no non-zero finite \(\mathbb{Z} G\)-sections. This theorem generalizes previous results of \textit{D. I. Zajtsev} [Collect. Sci. Works 1980, 16-40 (1980; Zbl 0484.20013) and ibid. 1988, 17-26 (1988; Zbl 0711.20020)], where the group \(G\) either is hypercyclic or hyperfinite and locally soluble.