{"id":"arxiv/2607.23732","url":"https://arxiv.org/abs/2607.23732","tags":["math.GR","cs.AI"],"score":0,"title":"An Exact Counterexample to Carlson's Associated-Prime Depth Conjecture from a Group of Order 128","domain":"math.GR","source":"arxiv","authors":["Xinan Dai","Wenhao Deng","Yingdong Shi","Tailin Wu","Yuchen Yang"],"reviews":0,"subject":"math.GR","summary":"In Question~3.1 of his 1995 paper on depth and transfer, Carlson asked whether the depth of a finite-group cohomology ring is always realized by the dimension of one of its associated primes. We give a negative answer. Let \\[ G=\\SG{128}{859},\\qquad k=\\kbar. \\] An exact presentation certificate proves that $\\depth H^*(G;k)=2$. Okuyama's associated-prime theorem would convert an associated prime of dimension two into a rank-two elementary abelian subgroup $E\\leq G$ satisfying $\\depth H^*(C_G(E);k)=2$. We enumerate all $75$ rank-two elementary abelian subgroups of $G$ and obtain six centralizer…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-26","reactions":{}}