The ℓ^1-Bass and complex Bass trace conjectures at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

A
D
V
E
R
T

I
S
E
M
E
N
T

The $\ell^1$-Bass and complex Bass trace conjectures

at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

thinking... about 3 hours remaining

If this game doesn't work on your computer, go here for help. (Lean version available!)

expertly designed by an internal OpenAI model

Difficulty:	🧠🧠🧠🧠🧠	Ages:	13 - ∞
Skills:	multiplying things	Levels:	2
Category:	Algebra	Lean version:	YES! ✔
Rate this game! 4.4 out of 5 (5,499 votes)

>>> How to Play <<<

The ℓ¹-Bass conjecture for all discrete groups. Proves the ℓ¹-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.

>>> Level Select <<<

LEVEL 1 The ℓ¹-Bass Conjecture for Discrete Groups

released 2026-10-05 | 2 theorems · 13 lemmas · 18 proofs · 13,476 words | PLAY LEVEL 1 » (pdf)

We prove the ℓ¹-Bass conjecture for every discrete group. The Hattori–Stallings trace of every idempotent matrix over the complex ℓ¹ group algebra is supported on finitely many conjugacy classes of finite-order elements.

LEVEL 2 The Bass trace conjecture and the characteristic-zero Kaplansky idempotent conjecture

released 2026-09-24 | 2 theorems · 13 lemmas · 22 proofs · 13,905 words | PLAY LEVEL 2 » (pdf)

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.

More Algebra Games!
A counterexample to the little finitistic-dimension conjecture	Counterexamples to conjectures of Auslander–Reiten, Tachikawa, and Nakayama	Eisenbud–Green–Harris and lex-plus-powers in characteristic zero	A counterexample to Kurosh's division-ring problem
The blockwise Alperin weight conjecture	Donovan's conjecture over fields and discrete valuation rings	Tensor saturation for even spin groups	Saxl's conjecture and universal tensor squares

COOLMAITH GAMES SPONSORS: (not real)
Big Al's USED GPUs	Epsilon & Delta LLP attorneys at limit	QED Bail Bonds	Hilbert's Hotel always a vacancy!

Cool Links: openai/math Lean Mathlib arXiv the real Coolmath Games

You are visitor number 000719

Thanks for visiting CoolmAIth Games
© 1997-2026 CoolmAIth Games. A parody. Not affiliated with Coolmath.com LLC or OpenAI.
Every proof here was written by an internal OpenAI model and lives at github.com/openai/math.
Best viewed in Netscape Navigator 4.0 at 800x600