Units and augmentation powers in integral group rings (Q2208317)

Let \(\Delta (G) \) be the augmentation ideal of the integral group ring \(\mathbb{Z}G\) of a group \(G\) and let \(V(\mathbb{Z}G)\) be the normalized unit group of \(\mathbb{Z}G\). A filtration of the group \(V(\mathbb{Z}G)\) is given by \[ V_n(\mathbb{Z}G) =V(\mathbb{Z}G)\cap (1+ {\Delta}^n (G)), \quad n=1,2,\dots \] for every \(n\geq 1\), defined analogous to the groups \[ D_n (G) =G\cap (1+ {\Delta}^n (G)), \quad n=1,2,\dots \] that form dimension series of \(G\). In this article the authors investigate this filtration, in particular, the triviality of its intersection, given by \[ V_{\omega}({\mathbb{Z}G}) = \bigcap_{n=1}^{\infty}V_n(\mathbb{Z}G). \] They show that for a finite group \(G\) the equality \(V_n({\mathbb{Z}G}) = 1\) holds for some \(n\) if and only if \(G\) is an abelian group of exponent \(2\), \(3\), \(4\) or \(6\) or \(G\) is isomorphic to the direct product of a quaternion group of order \(8\) and an elementary abelian \(2\)-group (Section 2). The authors take up the investigation of the group \(G\) with \(V_{\omega}({\mathbb{Z}G}) = 1\) (Section 3). It is proved that for finite \(G\) this condition is equivalent to \(G\) being a \(p\)-group or an abelian group of exponent \(6\). Also, the authors show that if \(G\) is a nilpotent group with the torsion subgroup \(T\), then the triviality of \(V_{\omega}({\mathbb{Z}G})\) implies that \(T\) is either trivial, or a \(\{2, 3\}\)-group of exponent \(6\), or a \(p\)-group different from its subgroup \(T(p)\) of elements of infinite \(p\)-height, such that \(T(p)\) is an abelian group of exponent at most \(4\). The triviality of \(V_{\omega}({\mathbb{Z}G})\) is also studied for abelian groups and residually nilpotent groups. In Section 4, the authors deal with the groups for which \[\bigcap_{n=1}^{\infty}D_n(G) =\{1\}\] but the intersection of all the dimension subgroups with respect to the rational group algebra \(\mathbb{Q}G\) is not. They also study the case when \(V_{\omega}({\mathbb{Z}G})\) is trivial but the intersection of \(V(\mathbb{Z}G)\) with \(1 +\bigcap_{n=1}^\infty \Delta_{\mathbb{Q}}^n(G)\) is not, where \( \Delta_{\mathbb{Q}}^n(G)\) denotes the \(n\)-th power of the augmentation ideal in the group algebra \(\mathbb{Q}G\).