On the group rings of Abelian minimax groups (Q5936940)

An Abelian group \(G\) is called minimax if it contains a finitely generated subgroup \(H\) such that \(G/H\) satisfies the minimal condition for subgroups. The set of primes \(p\) such that \(G\) has an element of order \(p\) is denoted by \(\pi(G)\), and we write \(\text{spect}(G)=\pi(G/H)\), where \(H\) is a finitely generated subgroup of \(G\) with \(G/H\) periodic and divisible. Let \(kG\) be the group ring of the Abelian group \(G\) over a finitely generated commutative ring \(k\). A \(kG\)-module \(M\) is non-singular if \(\pi(M)\cap\text{spect}(G)=\emptyset\). An ideal \(I\) of \(kG\) is regular if the module \(kG/I\) is non-singular and \(I\) is faithful if \(G\cap(1+I)=1\). The first main result of this paper asserts that every regular faithful prime ideal of \(kG\) is finitely generated. The second important result shows that, under some circumstances, the group ring \(kG\) shares another key property of finitely generated rings: if \(G\) is reduced (that is, the torsion subgroup of \(G\) is finite), then every faithful regular prime ideal of \(kG\) is an intersection of maximal ideals of finite index in \(kG\). Further, the author studies qrf (quasi-residually finite) \(kG\)-modules \(M\), that is, \(G/C_G(a)\) is reduced for every \(a\in M\). He shows that if a non-zero module \(M\) is qrf, then the set \({\mathcal P}(M)\) of the prime ideals of \(kG\) of the form \(\text{ann}_{kG}(a)\) for some \(a\in M\) is non-empty. Moreover, \(M\) is said to be unmixed, if \({\mathcal P}(M)\) consists of maximal annihilators, and \(M\) is primary if \({\mathcal P}(M)\) is a singleton. What then emerges from the theory is that (1) every non-singular qrf module has a finite filtration in which each factor is unmixed, and (2) every unmixed module has a natural decomposition as a subdirect sum of primary modules. The external reason and the original motivation for the present work come from the theory of infinite soluble groups which was studied by P. Hall in the 1950s and J. E. Rosenblade in the 1970s. This is illustrated in the last part of the paper where the author considers certain finitely generated \(k\Gamma\)-modules with a group \(\Gamma\) in which \(G\) sits as a normal subgroup with \(\Gamma/G\) polycyclic.