Units in regular Abelian p-group rings (Q1108356)

For an abelian p-group A, p odd, define U\({\mathbb{Z}}A\) to be the collection of those units of the integral group ring \({\mathbb{Z}}A\) that have augmentation 1 and that are invariant under \(a\mapsto a^{-1}\) (a\(\in A)\). In order to get information on the whole unit group of \({\mathbb{Z}}A\), which is \(\pm A\times U{\mathbb{Z}}A\), the following maps are studied: U\({\mathbb{Z}}A\to^{\alpha}U{\mathbb{Z}}_ pA\); \(\prod U{\mathbb{Z}}C\to^{\beta}U{\mathbb{Z}}A\), the product being taken over the cyclic subgroups C of A; U\({\mathbb{Z}}A\to^{\gamma}U{\mathbb{Z}}\bar A\) for an epimorphism \(A\to \bar A\). The last two maps have already been shown to be surjective, if \({\mathbb{Z}}\) is replaced by the p-adics \({\mathbb{Z}}_ p\) [the authors, Arch. Math. 47, 413-417 (1986; Zbl 0604.16007)]. Under the assumption that p is a regular prime \(\gamma\) turns out to be surjective as well, the cokernel of \(\beta\) to be p-prime, and \(\alpha\) to induce an isomorphism when U\({\mathbb{Z}}A\) is enlarged to \({\mathbb{Z}}_ p\otimes U{\mathbb{Z}}A\) and, at the same time, \(U{\mathbb{Z}}_ pA\) is scaled down to a certain norm-1-subgroup.