## Return to Answer

2 deleted 7 characters in body; deleted 4 characters in body; added 7 characters in body

If $G$ is a $p$-group, this is almost never true (and I believe but may be wrong that for general $G$, it's completely governed by the $p$-Sylow). In that case, we can understand modules in terms of the support variety $V={\rm Proj} H^{2*}(G,k)$, the projective variety associated to the (even-dimensional) cohomology ring of $G$. To a finite $kG$-module $M$ we can associate its support in $V$, namely the support of $Ext^(M,M)$ Ext(M,M) as a graded $H^{2}(G,k)$-module. H^{2*}(G,k)$-module. This support is a closed subset of$V$, and conversely every closed subset is the support of some finite$kG$-module. Finally, the support of$M\otimes N$is the intersection of the support of$M$and the support of$N$, and a module is projective iff its support is empty. Thus$M\otimes N$is projective iff$M$and$N\$ have disjoint support.

Thus unless $V$ is just a single point, it is possible to have non-projective modules whose tensor product is projective. For $V$ to be a point, the cohomology of $G$ must be a polynomial ring in one variable, up to nilpotent elements. By Quillen's theorem, this is the case iff all elementary abelian subgroups of $G$ are conjugate and rank 1.

In particular, it is true for cyclic groups, but otherwise it is almost always false. There's a simple argument to see directly that it holds for cyclic groups of order $p$: in that case, $kG$ can be identified with $k[x]/x^p$, and every indecomposable module is of the form $M_i=k[x]/x^i$ for some $n\leq i\leq p$. Such a module $M_i$ is projective iff $i=p$. If $M_i$ and $M_j$ are not projective, then $M_i\otimes M_j$ has dimension $ij$, which is not divisible by $p$. Thus $M_i \otimes M_j$ cannot be a sum of copies of $M_p$ and is hence not projective.

1

If $G$ is a $p$-group, this is almost never true (and I believe but may be wrong that for general $G$, it's completely governed by the $p$-Sylow). In that case, we can understand modules in terms of the support variety $V={\rm Proj} H^{2*}(G,k)$, the projective variety associated to the (even-dimensional) cohomology ring of $G$. To a finite $kG$-module $M$ we can associate its support in $V$, namely the support of $Ext^(M,M)$ as a graded $H^{2}(G,k)$-module. This support is a closed subset of $V$, and conversely every closed subset is the support of some finite $kG$-module. Finally, the support of $M\otimes N$ is the intersection of the support of $M$ and the support of $N$, and a module is projective iff its support is empty. Thus $M\otimes N$ is projective iff $M$ and $N$ have disjoint support.

Thus unless $V$ is just a single point, it is possible to have non-projective modules whose tensor product is projective. For $V$ to be a point, the cohomology of $G$ must be a polynomial ring in one variable, up to nilpotent elements. By Quillen's theorem, this is the case iff all elementary abelian subgroups of $G$ are conjugate and rank 1.

In particular, it is true for cyclic groups, but otherwise it is almost always false. There's a simple argument to see directly that it holds for cyclic groups of order $p$: in that case, $kG$ can be identified with $k[x]/x^p$, and every indecomposable module is of the form $M_i=k[x]/x^i$ for some $n\leq p$. Such a module $M_i$ is projective iff $i=p$. If $M_i$ and $M_j$ are not projective, then $M_i\otimes M_j$ has dimension $ij$, which is not divisible by $p$. Thus $M_i \otimes M_j$ cannot be a sum of copies of $M_p$ and is hence not projective.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 74, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9526592493057251, "perplexity_flag": "head"}