Stable augmentation quotients of Abelian groups (Q1063104)

Let \(G\) be a finite Abelian group, \(\mathbb{Z} G\) be its integral group ring, \(\Delta\) be the augmentation ideal of \(\mathbb{Z} G\), and \(Q_n\) be the \(n\)th quotient \(\Delta^ n/\Delta^{n+1}\). The paper [J. Pure Appl. Algebra 5, 253-264 (1974; Zbl 0301.16011)] of \textit{F. Bachmann} and \textit{L. Grünenfelder} implies that the sequence \(\{Q_ n\}\) eventually becomes stable (up to isomorphism), i.e., for all \(n\geq n_ 0(G)\), \(Q_ n\cong Q_{n+1}\cong Q_{n+2}\cong... \). Let \(Q_{\infty}\) be the stable isomorphism type of \(Q_ n\). If the orders of \(G\) and a finite abelian group \(H\) are relatively prime, then \(Q_{\infty}(G\times H)\cong Q_{\infty}(G)\times Q_{\infty}(H)\). So in the study of \(Q_{\infty}\), one can assume \(G\) is a finite abelian \(p\)-group. Most of this paper is on the verification of the author's conjecture [Lect. Notes Math. 1006, 720-733 (1983; Zbl 0523.20006)] that gives an explicit presentation of (a group isomorphic to) \(Q_{\infty}\) from which the invariants of \(Q_{\infty}\) can be determined. Let \(G\) be a finite abelian \(p\)-group. Define another abelian group \(Q_ G\) by generators and relations as follows: take one generator \(\chi_ H\) for each cyclic subgroup \(H\) of \(G\) and impose relations \(p\chi_ H=\chi_ K\) whenever \(K\) has index \(p\) in \(H\) (and also the relation \(\chi_{\{e\}}=0)\). Theorem 1. \(Q_ G\cong Q_{\infty}(G)\). In the author's earlier paper this theorem was proved when \(G\cong (C_{p^ n})^ m\), for some \(m\) and \(n\), where \(C_{p^ n}\) is the cyclic group of order \(p^ n\). The author also determines \(n_ 0(G)\) and gives a presentation for the graded ring gr \({\mathbb{Z}}G\). These results are used to give an application to the dimension subgroup problem extending results of \textit{N. D. Gupta}, \textit{A. W. Hales} and \textit{I. B. S. Passi} [J. Reine Angew. Math. 346, 194-198 (1984; Zbl 0513.20003)]. Theorem 2. Let \(G\) be a finitely generated metabelian group so that \(G/G'\) has exponent \(p^ k\). Then the \((n+1)st\) term \(\gamma_{n+1}\) in the lower central series coincides with the \((n+1)st\) dimension subgroup \(D_{n+1}\) for all \(n\geq p^ k+p^{k-1}\). In fact a slightly stronger result is proved and given.