On the trivial units property and the unique product property

We report on some computational experiments related to the trivial units property and unique product property for group rings of torsion-free groups. These properties are related to Kaplansky’s unit and zero-divisor conjectures. Our investigations include a classification of certain symmetric non-trivial units in the binary group ring of the Hantzsche-Wendt group; this group was used in Gardam’s refutal of Kaplansky’s unit conjecture. We also exhibit and investigate a new candidate group that fails the unique units property but may satisfy the trivial unit property. No examples of groups with these properties are known to date.