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.
Manuscripts (2)
The Margulis–Platonov conjecture over global function fields
October 5, 2026 · source · cite as \cite{OAI:The-Margulis-Platonov-conjecture-over-global-function-fields-October-5-2026}
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.
The Margulis–Platonov conjecture over number fields
September 23, 2026 · source · cite as \cite{OAI:The-Margulis-Platonov-conjecture-over-number-fields-September-23-2026}
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.
Result 018 · Number theory. Imported from openai/math, a collection of manuscripts produced by an OpenAI model; results are at different stages of verification. Discussion below is by Lemma members.
Source: https://github.com/openai/math/blob/main/CONTENTS.md