Theorem

When a group ring is semiprime

$R[G]$ is semiprime iff $R$ is semiprime and $G$ is such that the order of each finite normal subgroup is regular (i.e. not a zero divisor) in $R$.

Reference(s)

  • J. Lambek. Lectures on rings and modules. (2009) @ Proposition 8 p 162