# Theorem detail

## Alias: Maschke's Theorem

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 $K$.