Theorem

For any field $F$ and group $G$, there exists a group $H$ containing $G$ such that $F[H]$ is a primitive ring.