The twisted group ring isomorphism problem over fields (Q2200035)

Let \(R^*\) be the unit group of a commutative ring \(R\). Let \(Z^2(G,M)\) be the 2-cocycles of a group \(G\) with values in a \(G\)-module \(M\) and let \(H^2(G,M)\) be the corresponding second cohomologicaly group. The authors give a definition of twisted group ring \(R^{\alpha}G\) of \(G\) over \(R\) with respect to 2-cocycle \(\alpha\) of \(Z^2(G,R^*)\) and also the following definition. ``Definition 1.1: Let $R$ be a commutative ring and let $G$ and $H$ be finite groups. We say that \(G \sim_R H\) if there exists a group isomorphism \[ \psi: H^2(G,R^*) \rightarrow H^2(H,R^*)\] such that for any \([\alpha] \in H^2(G,R^*)\) there is a ring isomorphism \[R^{\alpha}G \cong R^{\psi(\alpha)}H.\text{''}\] The authors write \( \sim_R\) instead \(G \sim_R H\) in the above definition. Let \(F\) be any field. They say that \(\sim_F\) is a refinement of \(\sim_{\mathbb C}\) if \(G \not\sim_{ \mathbb C} H\) for any two groups \(G\) and \(H\) implies \(G \not\sim_F H\) and there are some concrete groups \(G\) and \(H\) such that \(G \sim_ {\mathbb C} H\), but \(G \not\sim_F H\) for certain finite fields \(F\) of characteristic not dividing the order of \(G\). \textit{E. C. Dade} [Math. Z. 119, 345--348 (1971; Zbl 0201.03303)] gave non-isomorphic groups \(G\) and \(H\) of order \(p^3q^6\), where \(p\) and \(q\) are primes satisfying a certain congruence, such that \(FG \cong FH\) for any field \(F\) while \(\mathbb Z G \not \cong \mathbb Z H\). In this paper the following main results are proved: Theorem 1: Let \(G\) and \(H\) be the groups from Dade's example of even order. Then there exists an infinite number of fields \(F\) such that \(G \not \sim_F H\). Theorem 2: (1) ... (2) There exist non-isomorphic abelian groups \(G\) and \(H\) and a finite field \(F\) such that \(FG\) is semi-simple and \(G \not\sim_F H\). In particular, char\((F) \nmid |G|\) does not imply that \(\sim_F\) is a refinement of \(\sim_{\mathbb C}\). (3) There exist abelian groups \(G\) and \(H\) and a finite field \(F\) such that \(FG \cong FH\) and \(H^2(G,F^*)\cong H^2(H,F^*)\), but \(G \not\sim_F H\). Note. The authors informed me that point (1) of Theorem 2 is invalid and they will publish the following result of this point. Theorem 2: (1) Let \(G\) and \(H\) be abelian groups and let \(e\) be the exponent of \(G\). For any positive integer \(n\) let \(\zeta _n\) be a fixed primitive \(n\)-th root of unity in \(\mathbb{C}\). Then \(G \sim_F H\) implies \(G \cong H\) for any field \(F\) of characteristic \(0\) such that: \begin{itemize} \item If \(p\) is an odd prime divisor of \(e\), then \(F\) contains \(\zeta_p\) or the inclusion \(F \cap \mathbb{Q}(\zeta_{p^2}) \subseteq \mathbb{Q}(\zeta_p)\) holds. \item If \(2\) is a divisor of \(e\), then \(F\) contains \(\zeta_4\) or \(F \cap \mathbb{Q}(\zeta_8) = \mathbb{Q}\). \end{itemize}