{"id":"arxiv/2608.00103","url":"https://arxiv.org/abs/2608.00103","tags":["math.GR"],"score":0,"title":"The one-sided unit count of F_2[P] at radius four, and an integral separation theorem","domain":"math.GR","source":"arxiv","authors":["Moe Tabei"],"reviews":0,"subject":"math.GR","summary":"Let P be the Hantzsche-Wendt (Promislow) group and B(4) the radius-four ball in its standard word metric. Dietrich, Lee, Nies and Vinyals determined the two-sided count: exactly 36 nontrivial units u of F_2[P] with both supp(u) and supp(u^{-1}) in B(4). We determine the one-sided count: exactly 52 nontrivial units with supp(u) in B(4) and no constraint on the inverse. The 16 new units have inverses supported at radius exactly 5; they form two orbits of size 8 under the symmetry group fixing the generating set, and all 52 units have support size 21 on both sides. Completeness is a single…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-30","reactions":{}}