On the central units of a modular group algebra (Q4382086)

Let \(G\) be a \(p\)-group and let \(\Delta(G)\) denote the locally finite normal subgroup of all elements \(g\in G\), such that the centralizer \(C_G(g)\) of \(g\) has finite index in \(G\). Under the assumption that the subset \(E(G)\) of \(\Delta(G)\) of all elements of infinite height in the center of \(\Delta(G)\) is a group -- e.g. if \(G\) is nilpotent or an FC-group -- the authors obtain the following results about the structure of the center \(\zeta(V)\) of the set \(V(KG)\) of all normalized units of \(KG\) for an arbitrary field \(K\) of characteristic \(p\): The first Ulm-subgroup of \(\zeta(G)\) is the intersection of \(\zeta(G)\) with \(V(RE(G))\), where \(R=\displaystyle\bigcap^\infty_{i=1} K^{p^i}\), and the maximal divisible subgroup of \(\zeta(G)\) is the intersection of \(\zeta(G)\) with \(V(LD(E))\), where \(L\) is a maximal \(p\)-divisible subfield of \(K\) and \(D(E)\) is the maximal divisible subgroup of \(E(G)\). For abelian \(p\)-groups these subgroups were described by \textit{S. D. Berman} [in Publ. Math. 14, 365-405 (1967; Zbl 0281.20006)].