Skip to main content
added 206 characters in body
Source Link
Pablo
  • 11.3k
  • 2
  • 22
  • 68

Let $n \in \mathbb{N}$, $p$ a prime number, and $G$ a finite group of order coprime to $p$. Let $R = \mathbb{Z} /p^n \mathbb{Z}$ be the ring of integers mod $p^n$. Must $R[G]$ be semisimple?

As noted in the comments, since $R$ itself is not semisimple this can not be true.

What if $R$ is semisimple (and has characteristic $p$)? Is there some generalization of Maschke's theorem valid here?

Let $n \in \mathbb{N}$, $p$ a prime number, and $G$ a finite group of order coprime to $p$. Let $R = \mathbb{Z} /p^n \mathbb{Z}$ be the ring of integers mod $p^n$. Must $R[G]$ be semisimple?

Let $n \in \mathbb{N}$, $p$ a prime number, and $G$ a finite group of order coprime to $p$. Let $R = \mathbb{Z} /p^n \mathbb{Z}$ be the ring of integers mod $p^n$. Must $R[G]$ be semisimple?

As noted in the comments, since $R$ itself is not semisimple this can not be true.

What if $R$ is semisimple (and has characteristic $p$)? Is there some generalization of Maschke's theorem valid here?

Source Link
Pablo
  • 11.3k
  • 2
  • 22
  • 68

A semisimple group ring

Let $n \in \mathbb{N}$, $p$ a prime number, and $G$ a finite group of order coprime to $p$. Let $R = \mathbb{Z} /p^n \mathbb{Z}$ be the ring of integers mod $p^n$. Must $R[G]$ be semisimple?