# Theorem detail

## Alias: Maschke's Theorem (on when a group algebra is semisimple.)

Statement: For any ring $R$ and group $G$, the group ring $R[G]$ is semisimple iff $R$ is semisimple and $|G|$ is a unit in $R$.

### Reference(s)

• T.-Y. Lam. A first course in noncommutative rings. (2013) @ Theorem 6.1 p 80