Structure of augmentation quotients of finite homocyclic Abelian groups. (Q2465129)

Let \(G\) be the direct product of \(m\) (\(\geq 1\)) copies of the cyclic group of order \(p^r\), \(p\) prime, \(r\geq 1\). The main result (Theorem 2) of this paper provides the structure of the augmentation quotients \(Q_n(G)=\Delta^n(G)/\Delta^{n+1}(G)\), \(n\geq 1\), where \(\Delta(G)\) is the augmentaion ideal of the integral group ring \(\mathbb{Z}[G]\). It is shown that \(Q_n(G)\simeq\bigoplus_{k=1}^r\mathbb{Z}_{p^{r-k+1}}^{f_m(k,\,n)}\), where \(\mathbb{Z}_{p^s}^t\) denotes direct product of \(t\) copies of the cyclic group \(\mathbb{Z}_{p^s}\), and \(f_m(k,n)\) is defined as follows: Given natural numbers \(m,n\) and \(r\), let \(T_m(n)=\{(\alpha_1,\alpha_2,\dots,\alpha_m)\in\mathbb{Z}^m\mid\alpha_i\geq 0\) and \(\alpha_1+\alpha_2+\cdots+\alpha_m=n\}\). Define a sequence of subsets \(T_m(k,n)\) (\(1\leq k\leq r\)) of \(T_m(n)\) by induction on \(k\) as follows: \(T_m(1,n)=\{\alpha\in T_m(n)\mid\) if \(\alpha_j\geq 1\) for some \(j\), then \(\alpha_i<p\) for all \(i>j\}\). For \(k\geq 2\), define \(T_m(k,n)=\{\alpha\in T_m(n)\mid\alpha\not\in\bigcup_{i=1}^{k-1}T_m(i,n)\); if \(\alpha_j\geq p^{k-1}\) for some \(j\), then \(\alpha_i<p^k\) for all \(i>j\}\). The cardinality of the set \(T_m(k,n)\) is then denoted by \(f_m(k,n)\), \(k=1,2,\dots,r\). It is known that, for every finite Abelian group, the structure of \(Q_n(G)\) stabilizes for large \(n\) [\textit{F. Bachmann} and \textit{L. Grünenfelder}, J. Pure Appl. Algebra 5, 253-264 (1974; Zbl 0301.16011)], and the stable structure is determined by \textit{A. W. Hales} [Pac. J. Math. 118, 401-410 (1985; Zbl 0573.20008)].