Logarithms and units in p-adic Abelian group rings (Q1105666): Difference between revisions

Let A be an abelian p-group, R a ring, and denote by \(R[A]_*\) the subalgebra of the group ring R[A] which is fixed under the involution \(a\to a^{-1}\). \textit{K. Hoechsmann} and \textit{S. K. Sehgal} [Arch. Math. 47, 413-417 (1986; Zbl 0604.16007)] have shown that the group of units of \({\mathbb{Z}}_ p[A]_*\) is the product of the unit groups of \({\mathbb{Z}}_ p[C]_*\) when C runs over all cyclic subgroups of A, in the case where A is elementary p-abelian. In this paper, the result is extended to arbitrary abelian p-groups. Set \(A_ p=\{a\in A|\) a \(p=1\}\) and denote by \(\Delta (A,A_ p)\) and \(U(A,A_ p)\) the kernel of the canonical ring homomorphism \({\mathbb{Z}}_ p[A]\to {\mathbb{Z}}_ pA/A_ p\) and the kernel of the map induced multiplicatively on the unit groups, respectively. A subscript asterix indicates intersection with \({\mathbb{Z}}_ p[A]_*\). Define a logarithm, log: \(U_*(A,A_ p)\to \Delta_*(A,A_ p)\) by the usual power series for \(\log (1+t)\) which converges in the p- adic topology associated with the order function on \({\mathbb{Z}}_ p[A]:\) \(ord_ p(\sum_{a\in A}Z_ a\cdot a)=\min_{a\in A}(ord_ p(Z_ a))\). Then, it is shown that this logarithm gives a natural group isomorphism. Furthermore, the authors prove that the natural map \(\prod_{c}U_*{\mathbb{Z}}_ pC\to U_*{\mathbb{Z}}_ pA\), where C runs over all cyclic subgroups of A, is surjective.