OpenAI reports the Margulis–Platonov conjecture over global function fields

For an absolutely almost simple simply connected algebraic group over any global function field, including characteristic two, 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.

Curated contributions 1

Understand the problem ↓

OpenAI reports the Margulis–Platonov conjecture over global function fields

  • Mathematics

For an absolutely almost simple simply connected algebraic group over any global function field, including characteristic two, 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.

AI involvementAI-led
ImportanceMajor
Technical verificationReported
Human understandingFew

Understanding the problem

Read the background

For an absolutely almost simple simply connected algebraic group over any global function field, including characteristic two, 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.

Why it matters

If correct, completes the normal-subgroup classification predicted by Margulis and Platonov for global function fields.

What counts as progress

Does the normal-subgroup classification hold over every global function field?

Website timeline

Publication dates and editorial changes.