{"id":"arxiv/2609.24573","url":"https://arxiv.org/abs/2609.24573","tags":["math.RT","math.GR"],"score":0,"title":"Nonvanishing of cohomology for groups","domain":"math.RT","source":"arxiv","authors":["Tiago Cruz","Rene Marczinzik"],"reviews":0,"subject":"math.RT","summary":"Let $G$ be a finite group. We prove that the order of the abelianization $G/G'$ divides the order of $H^{2m}(G,\\mathbb{Z})$ for every $m\\geq1$. As a consequence, for a field $K$, nonvanishing of $Ext^1_{KG}(K,K)$ implies nonvanishing of $Ext^n_{KG}(K,K)$ for every $n\\geq1$. This answers a conjecture by Erdmann, Klász and Marczinzik. We use this to show that the Hochschild cohomology of $KG$ is nonzero in every nonnegative degree whenever the characteristic of $K$ divides $|G|$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-21","reactions":{}}