A Machine-Checked Proof that Gardam's ${\tilde{A}}_2$ Lattice Does Not Have Unique Products

Ibrahim Mian, Shayaan Siddique

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…