OpenAI research collection · 2 manuscripts · Source checked 2026-10-19
Proves the ℓ^(1)-Bass conjecture for every discrete group: Hattori–Stallings traces of idempotent matrices over \ell^1(G) are supported on finitely many finite-order conjugacy classes. The algebraic companion proves the integral Bass trace conjecture and Kaplansky's idempotent conjecture for torsion-free groups over every commutative unital characteristic-zero domain.
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
We prove the ℓ^(1)-Bass conjecture for every discrete group. The Hattori–Stallings trace of every idempotent matrix over the complex ℓ^(1) group algebra is supported on finitely many conjugacy classes of finite-order elements.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
We prove the complex group-ring Bass trace conjecture for every discrete group: the Hattori–Stallings trace of a finitely generated projective module over its complex group ring is supported on conjugacy classes of finite-order elements. As a consequence, for every torsion-free group G and every commutative unital domain R of…
We prove the complex group-ring Bass trace conjecture for every discrete group: the Hattori–Stallings trace of a finitely generated projective module over its complex group ring is supported on conjugacy classes of finite-order elements. As a consequence, for every torsion-free group G and every commutative unital domain R of characteristic zero, the only idempotents in RG are 0 and 1. This proves Kaplansky's idempotent conjecture in characteristic zero.
This PDF is listed in OpenAI's formalization catalogue. See the scope and dependencies before interpreting coverage.
New mathematical reasoning could help AI tackle harder scientific and computational problems. How reliably these skills transfer beyond mathematics will determine how much they contribute to general intelligence.
Explore the AGI Clock ↗