Skip to main content
1 of 2
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111

That is already false when $G$ equals $\mathbb{Z}$. The group ring $\mathbb{Z}G$ is $\mathbb{Z}[t,t^{-1}]$. Let $p$ be a prime integer, and let $I\subset \mathbb{Z}G$ be the ideal $\langle p, t-1 \rangle$. Then $I\otimes_{\mathbb{Z}G}\mathbb{Q}G$ is isomorphic to the principal ideal $\langle t-1 \rangle$, which is free of rank $1$. Yet associated to the short exact sequence, $$0 \to I \to \mathbb{Z}G \to \mathbb{Z}G/I \to 0,$$ consider the long exact sequence of $\text{Ext}^\bullet_{\mathbb{Z}G}(\mathbb{Z}G/I,-)$. The first connecting map quickly gives that $\text{Ext}^1_{\mathbb{Z}G}(\mathbb{Z}G/I,I)$ is nonzero. Therefore $I$ is not projective.

Jason Starr
  • 4.1k
  • 1
  • 93
  • 111