{"id":"arxiv/2605.17171","url":"https://arxiv.org/abs/2605.17171","tags":["math.GR"],"score":0,"title":"Higher Commutativity in Finite Groups, Rigidity, Extremal bounds, and Heisenberg-Type Families","domain":"math.GR","source":"arxiv","authors":["Vadim E Levit","Robert Shwartz"],"reviews":0,"subject":"math.GR","summary":"For a finite group $G$ and an integer $r\\ge 2$ let $$ P_r(G):=\\frac{|Hom(\\mathbb Z^r,G)|}{|G|^r}, $$ where $\\Hom(\\mathbb Z^r,G)$ is the set of pairwise commuting $r$-tuples in $G$. This paper studies rigidity and extremal behavior of the hierarchy $\\{P_r(G)\\}_{r\\ge2}$, together with a low-rank representation-theoretic / TQFT counting bridge. The first main direction is cyclic-index rigidity: for groups with an abelian normal subgroup $A$ and cyclic quotient of order $ω$, under a natural fixed-subgroup hypothesis we prove the exact all-rank formula $$…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-16","reactions":{}}