{"id":"arxiv/2609.22380","url":"https://arxiv.org/abs/2609.22380","tags":["math.GR","cs.LO"],"score":0,"title":"A Machine-Checked Proof that Gardam's $\\tilde{A}_2$ Lattice Does Not Have Unique Products","domain":"math.GR","source":"arxiv","authors":["Ibrahim Mian","Shayaan Siddique"],"reviews":0,"subject":"math.GR","summary":"Kaplansky's zero-divisor conjecture asserts that the group ring of a torsion-free group over a field has no zero divisors. It holds for every group with the unique-product property, so a counterexample can only come from a torsion-free group without unique products. In lectures in 2021, Gardam announced that the torsion-free $\\tilde{A}_2$ lattice $Γ= \\langle a, b \\mid a b a^2 b^{-1} a^2 b^{-2}, a b^3 a b^4 a^{-1} b \\rangle$ does not have unique products and presented it as a new candidate group: it has property (T), and the known methods for proving the conjecture do not apply to it. To our…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-17","reactions":{}}