## Background/Motivation

Let $R$ be a commutative ring with unit. If $G$ is a finite (or in general, discrete) group, let $R[G]$ be the group $R$-algebra associated to $G$. The isomorphism problem for group rings asks for condiions on groups $G$ and $H$ such that $R[G]\simeq R[H]$.

Group rings are not a complete invariant, even of finite groups; in a 2001 Annals paper, Hertweck discovered two finite groups $G$ and $H$ with $\mathbb{Z}[G]\simeq \mathbb{Z}[H]$ and $G\not\simeq H$. In general, group algebras over a field are even weaker invariants; for example, if $G$ and $H$ are any two finite abelian groups of order $n$, then $\mathbb{C}[G]\simeq \mathbb{C}[H]\simeq \mathbb{C}^n$, by e.g. the Chinese Remainder Theorem or Artin-Wedderburn.

I am curious about a slight strengthening of the isomorphism problem for group rings. Namely, if $(S, +, \cdot)$ is a (not necessarily commutative) ring with unit, let the opposite ring $S^{op}=(S, +, \times)$ be the ring whose underlying Abelian group under addition is the same as that of $S$, but with the multiplicative structure reversed, i.e. $a\times b=b\cdot a$; the formation of the opposite is clearly functorial. Note that if $R[G]$ is a group ring, it is naturally isomorphic to its opposite through the map $\phi_G: g\mapsto g^{-1}$.

## The Problem

Now if $G, H$ are groups and $\psi: R[G]\to R[H]$ is an isomorphism of group rings, we may ask if it is compatible with the formation of the opposite ring---that is, does $\phi_H\circ \psi=\psi^{op}\circ \phi_G$? Say that $G, H$ have strongly isomorphic group rings if such a $\psi$ exists.

What is known about groups with strongly isomorphic group rings over commutative rings $R$? Are there non-isomorphic finite groups $G, H$ with $\mathbb{Z}[G]$ strongly isomorphic to $\mathbb{Z}[H]$, for example? More weakly, when is $\mathbb{C}[G]\simeq \mathbb{C}[H]$?

## Strong Isomorphism is Strong

Just to convince you that strong group ring isomorphism is in fact a stronger condition that group ring isomorphism, note that $\mathbb{C}[\mathbb{Z}/4\mathbb{Z}]$ is isomorphic to $\mathbb{C}[\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}]$ but not strongly isomorphic. This is because $\phi_{\mathbb{Z}/4\mathbb{Z}}$ is not the identity, but $\phi_{\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}}$ is the identity on the underlying set of $\mathbb{C}[\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}]$.

## Addendum (4/6/2011)

Andreas Thom points out in his excellent answer that the case of finite abelian groups over $\mathbb{C}$ is not much harder than the case of usual group ring isomorphisms. Unfortunately the question over e.g. $\mathbb{Z}$ is likely to be extremely difficult, since the usual isomorphism problem over $\mathbb{Z}$ is apparently quite hard---I don't yet understand Hertweck's construction well enough, for example, to tell if the groups he constructs have strongly isomorphic group rings. In any case, I would accept as an answer a summary of the current state of the art for strong isomorphism over $\mathbb{Z}$ (for example, does Hertweck's construction admit a strong isomorphism?), or any relatively recent reference addressing the more general question (as Qiaochu Yuan points out in a comment, the question is equivalent to asking when the group rings of $G, H$ are isomorphic as $*$-algebras, which suggests to me that the question must have been studied by someone).

-

2
I think this is equivalent to asking that the two be isomorphic as *-algebras (over $R$ considered as a *-ring with trivial involution). – Qiaochu Yuan Apr 5 2011 at 6:54

1
If you would even demand that RG and RH be isomorphic as Hopf rings, and if R is an integral domain, then G = group-like-elts(RG) = group-like-elts(RH) = H. So your question is in between the original isomorphism problem and this Hopf-ring observation. – Matthias Künzer Apr 5 2011 at 14:11
@Qiaochu: Yes, that seems right. – Daniel Litt Apr 5 2011 at 15:43

## 1 Answer

If $G$ is a finite abelian group, then $\mathbb C[G] = \lbrace f \colon \hat G \to \mathbb C \rbrace$, where $\hat G$ is the Pontrjagin dual of $G$. The isomorphism $g \mapsto g^{-1}$ translates into the same map on the Pontrjagin dual (basically multiplication by $-1$ on $\hat G$), but now it is a bit easier to analyze. Note also, that there is a non-canonical isomorphism $G \cong \hat G$.

Hence, in order to find two non-isomorphic abelian groups which have strongly isomorphic complex group rings, we just have to analyze (in addition to the cardinality of the group) the orbit structure of multiplication by $-1$ on the group. Indeed, we are now just talking about an algebra of function on a set with some $\mathbb Z/2 \mathbb Z$-action.

Example: In $\mathbb Z/8\mathbb Z \times \mathbb Z/2\mathbb Z$, there are precisely $4$ elements, which are fixed under multiplication by $-1$, namely $(0,0),(4,0),(0,1)$ and $(4,1)$. The same is true for $\mathbb Z/4\mathbb Z \times \mathbb Z/4\mathbb Z$. Here, one has $(0,0),(2,0),(0,2)$ and $(2,2)$. Hence, there exists an isomorphism between $\mathbb C[\mathbb Z/8\mathbb Z \times \mathbb Z/2\mathbb Z]$ and $\mathbb C[\mathbb Z/4\mathbb Z \times \mathbb Z/4\mathbb Z]$, which respect the isomorphism which is induced by $g \mapsto g^{-1}$.

I do not know about an example with coefficients in $\mathbb Z$.

-

This is very nice!  Unfortunately, $\mathbb{Z}$ coefficients are likely to be much harder, since the isomorphism problem itself was open til 2001. – Daniel Litt Apr 5 2011 at 4:45
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 67, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9416989088058472, "perplexity_flag": "head"}