{"id":"arxiv/2607.18346","url":"https://arxiv.org/abs/2607.18346","tags":["math.GR"],"score":0,"title":"Least sizes of non-unique-product sets: the Promislow group and a Heisenberg-type candidate","domain":"math.GR","source":"arxiv","authors":["Moe Tabei"],"reviews":0,"subject":"math.GR","summary":"Let P be the Promislow group, the orientable Hantzsche-Wendt group of dimension 3, which underlies Promislow's non-unique-product set and Gardam's counterexample to the unit conjecture. A finite subset A of a group is non-UP if every element of A.A has at least two representations ab with a, b in A. Working in an exact integer model of P, we determine the least size of a non-UP set inside word-balls of the standard generators: it is 14 for every radius from 3 to 6, so a smaller non-UP set of P, if one exists, is not contained in the radius-6 ball. The non-existence half of this statement is…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-20","reactions":{}}