A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Donovan's conjecture over fields and discrete valuation rings
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Snaky <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:multiplying things Levels:2
Category:Algebra Lean version:not yet
Rate this game! 4.1 out of 5 (7,298 votes)

>>> How to Play <<<
Donovan's conjecture over fields and complete mixed-characteristic DVRs. Proves Donovan's conjecture: over each fixed algebraically closed field of characteristic p, blocks of finite groups with bounded defect-group order have only finitely many Morita-equivalence classes, for every prime p. Also proves the integral form over each fixed complete mixed-characteristic discrete valuation ring with algebraically closed residue field.

>>> Level Select <<<
released 2026-09-24  |  4 theorems · 52 lemmas · 71 proofs · 50,334 words  |  PLAY LEVEL 1 »  (pdf)
We prove Donovan's conjecture over every algebraically closed field K of characteristic p > 0. For each fixed K and bound on defect-group order, blocks of finite groups represent only finitely many K-linear Morita equivalence classes. The defect groups need not be abelian, and the result includes p = 2.
released 2026-09-25  |  4 theorems · 6 lemmas · 17 proofs · 11,242 words  |  PLAY LEVEL 2 »  (pdf)
We prove integral Donovan finiteness: for every prime p and positive integer M, the blocks of all finite groups with defect groups of order at most M have only finitely many Morita equivalence classes over $W(\overline{\mathbb F}_p)$. The defect groups need not be abelian, and the result includes p = 2. The same bounded-defect finiteness holds over each fixed complete discrete valuation ring of characteristic zero with algebraically closed residue field of characteristic p, including ramified rings.

More Algebra Games!
A counterexample to the little finitistic-dimension conjectureCounterexamples to conjectures of Auslander–Reiten, Tachikawa, and NakayamaEisenbud–Green–Harris and lex-plus-powers in characteristic zeroA counterexample to Kurosh's division-ring problem
The blockwise Alperin weight conjectureTensor saturation for even spin groupsSaxl's conjecture and universal tensor squaresFinite lattice representation: counterexamples and undecidability

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