No label defined (Q4803545)

The authors consider commutative twisted group algebras \(R_tG\), where \(R\) is a unitary commutative ring and \(A\) is an Abelian group. This is a commutative \(R\)-algebra which is a free \(R\)-module with basis \(\{\overline a\mid a\in A\}\) and multiplication defined by the rule \(\overline a\cdot\overline b=(a,b)\overline{ab}\) for some system of factors \(\{(a,b)\in R^*\mid a,b\in A\}\). The system of factors is symmetric if \((a,b)=(b,a)\) for all \(a,b\in A\). The aim of the paper under review is to obtain a complete system of invariants of an arbitrary commutative twisted group algebra \(R_tA\) when the prime \(p\) is not a unit in \(R\) under some restrictions on \(R\) and \(A\) expressed in terms of \(p\). The first result concerns the special case of group algebras: If \(K\) is a commutative ring of prime characteristic \(p\) and without nilpotent elements and if the torsion subgroup of \(A\) is a \(p\)-group, then the isomorphism \(KA\cong KB\) as \(K\)-algebras implies that \(K(A/dA_p)\cong K(B/dB_p)\). Here \(dA_p\) means the maximal divisible subgroup of the \(p\)-component of \(A\). One of the main results handles the general case: Let the torsion subgroup \(tA\) of \(A\) be a simply presented \(p\)-group and let \(A/tA\) be a free Abelian group. Let \(p\) be not a unit in \(R\) and the group \(R^*\) be \(p\)-divisible. Let at least one of the conditions hold: (a) the length of \(tA\) is less than \(\omega_1\); (b) the length of \(tA\) is less than \(\omega_1+\omega_0\) and \(A\) is a group of countable torsion free rank. If \(R_tA\cong R_{t_1}B\) for some twisted group algebra \(R_{t_1}B\), then \(A\cong B\) and the set of factors of \(R_{t_1}B\) is symmetric. As consequences, the authors generalize results of \textit{W. May} [Proc. Am. Math. Soc. 104, No. 2, 403-409 (1988; Zbl 0691.20008)] and \textit{W. Ullery} [Proc. Am. Math. Soc. 110, No. 2, 287-292 (1990; Zbl 0712.20036)].