On simple groups definable in some valued fields

Jakub Gismatullin, Immanuel Halupczok, Dugald Macpherson

We prove that non-abelian definable, definably simple groups in 1-h-minimal henselian valued fields are essentially already linear algebraic groups. Here, the group is assumed to l…