a long-standing conjecture of kaplansky (~1940) says that if "g" is a torsion-free group, and "k" is a field, then the group ring "k"["g"] has no non-trivial zero divisors. this conjecture is equivalent to "k"["g"] having no non-trivial nilpotents under the same hypotheses for "k" and "g".