Skip to main content
1 of 2
John Palmieri
  • 4.3k
  • 2
  • 27
  • 38

The answer to the first question is no. Let $G$ be the group $C_2 \times C_2$ and let $k$ be a field of characteristic 2. Then $kG \cong k[x,y]/(x^2, y^2)$. Let $M = k[x]/(x^2)$ with $y$ acting trivially, and let $N = k[y]/(y^2)$ with $x$ acting trivially. Then neither $M$ nor $N$ is projective (for modules over a $p$-group in characteristic $p$, projective is the same as free), but $M \otimes_k N \cong kG$.

Given this example, it's also hard to imagine what a good answer for the second question could be.

John Palmieri
  • 4.3k
  • 2
  • 27
  • 38