The structure of noetherian modules over hyperfinite groups
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\).
- The decomposition of minimax modules over hyperfinite groups
- Extensions of abelian by hyper-(cyclic or ntte) Groups I
- scientific article; zbMATH DE number 1538981 (Why is no real title available?)
- scientific article; zbMATH DE number 854933 (Why is no real title available?)
- On the structure of some Noetherian modules over group rings.
This page was built for publication: The structure of noetherian modules over hyperfinite groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4034716)
