A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The Margulis–Platonov conjecture over global fields
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Color the Plane <<<

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:primes, fractions, patience Levels:2
Category:Number theory Lean version:not yet
Rate this game! 4.4 out of 5 (6,143 votes)

>>> How to Play <<<
The Margulis–Platonov conjecture over global fields. Proves the Margulis–Platonov conjecture over every global field, including function fields of characteristic two. For an absolutely almost simple simply connected algebraic group G over k, every noncentral abstract normal subgroup of $G(k)$ is the inverse image of an open normal subgroup in the finite product of its anisotropic nonarchimedean local groups.

>>> Level Select <<<
released 2026-10-05  |  4 theorems · 26 lemmas · 44 proofs · 40,809 words  |  PLAY LEVEL 1 »  (pdf)
We prove the Margulis–Platonov conjecture over every global function field, including characteristic two. For an absolutely almost simple simply connected algebraic group, every noncentral abstract normal subgroup of its rational points is the inverse image of an open normal subgroup of the finite product of its anisotropic local groups.
released 2026-09-23  |  PDF only  |  PLAY LEVEL 2 »  (pdf)
We prove the Margulis–Platonov conjecture over number fields. For an absolutely almost simple simply connected group, every noncentral abstract normal subgroup of its rational points is the inverse image of an open normal subgroup of the product of its anisotropic nonarchimedean local groups.

More Number theory Games!
Torus-packet equidistribution in prime, quartic, and sextic degreesZilber–Pink in abelian varieties and the Siegel threefoldThe irrationality exponent of $\pi$ is $2$ HOT!The $p$-adic section conjecture
Squarefree quartics and power-free polynomial valuesA quadratic bound for Jacobsthal's functionThe weak inhomogeneous Duffin–Schaeffer conjecturePatterson’s first moment for cubic Gauss sums

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