Prove TorsionFreeZeroDivisors (openai/math family 196: A counterexample to Kaplansky's zero-divisor…
Prove TorsionFreeZeroDivisors (openai/math family 196: A counterexample to Kaplansky's zero-divisor…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 196 of the release, A counterexample to Kaplansky's zero-divisor conjecture (Algebra). The…
The task
Context: this statement belongs to family 196 of the release, *A counterexample to Kaplansky's zero-divisor conjecture* (Algebra). The family as a whole: Constructs a finitely presented torsion-free group $G$ whose group algebra $\mathbb F_2[G]$ has nonzero zero divisors, disproving Kaplansky's zero-divisor…
Part of raising-heart/openai-math.