{"id":"arxiv/2610.36401","url":"https://arxiv.org/abs/2610.36401","tags":["math.GR","math.RA"],"score":0,"title":"Degree-one cohomology of metacyclic $2$-groups: a low-bit dichotomy","domain":"math.GR","source":"arxiv","authors":["Marina Palaisti"],"reviews":0,"subject":"math.GR","summary":"We study the subalgebra generated by degree-one mod-$2$ cohomology for metacyclic $2$-groups $G=\\langle a,b\\mid a^{2^α}=1,\\ b^{2^m}=a^c,\\ b^{-1}ab=a^r\\rangle$ with unique normal forms, where $α,m\\ge2$ and $r\\equiv-1\\pmod4$. Presentation compatibility forces $c=0$ or $2^{α-1}$ and $G^{\\mathrm{ab}}\\cong C_2\\times C_{2^m}$. If $c\\equiv0\\pmod4$, the degree-one-generated algebra is $\\mathbb{F}_2 [x,y]/(y^2,x^2+xy)$, a four-dimensional algebra shared by the four nonmodular types of Aaboun--Zekhnini. The unique exceptional case $α=2$, $c=2$ is modular and has infinite-dimensional degree-one algebra…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-26","reactions":{}}