The structure of noetherian modules over hyperfinite groups (Q4034716)

Let \(G\) be a hyperfinite locally soluble group and let \(A\) be a noetherian \(\mathbb{Z} G\)-module. The author has shown, in work not yet published [``The decomposition of noetherian modules over hyperfinite groups'', (to appear)] that \(A\) breaks up as a direct sum of a ``completely finite'' part \(A^ f\), in which all composition factors (irreducible \(\mathbb{Z} G\)-module sections) are finite, and a ``completely infinite part'' \(A^{\overline f}\), in which all composition factors are infinite. As a result of this paper, \(A^ f\) is completely understood. Substantial progress is made with \(A^{\overline f}\), and some conjectures are made which, if true, will mean that \(A^{\overline f}\) is also well under control. Regarding \(A^ f\), we have Theorem A: \(A^ f\) is finitely generated as an abelian group, and \(G/C_ G(A^ f)\) is finite. In particular, \(A^ f\) is a noetherian abelian group. He conjectures that \(A^{\overline f}\) has a finite composition series and is additively of finite exponent. In Proposition 1, he proves this if \(G\) is a periodic abelian group involving only a finite number of primes in the orders of its elements. In Proposition 2, he proves that if \(G\) is a \(p\)-group for some prime \(p\), then \(A^{\overline f}\) is additively a \(p'\)-group of finite exponent. In his thesis [Univ. Glasgow (1991)], he has described \(A^{\overline f}\) in the case when \(G\) is a Chernikov group and there is no prime \(q\) which is simultaneously the order of an element of \(A^{\overline f}\) and the order of an element of the divisible part of \(G\).