Of model completeness and algebraic groups

2023/12/14 by Daniel Max Hoffmann, Hoffmann, Daniel Max, Piotr Kowalski +5 · 1 citation
Mathematics · #Homotopy and Cohomology in Algebraic Topology #Algebraic structures and combinatorial models #Advanced Topics in Algebra

paper · pdf · doi:10.48550/arxiv.2312.08988

Abstract

We show that if G is a split semisimple algebraic group over a model complete field K, then the groups G(K) and G(K)' (the commutator group which is a ``Chevalley group'' as for example the group PSL₂(K)) are model complete as well.

Cited by

• Some model theory of the Heisenberg group

Related

• Some model theory of the Heisenberg group
• Model Theory and Groups
• Model completions for universal classes of algebras: necessary and sufficient conditions
• Model Completeness for Henselian Fields with finite ramification valued in a Z-Group
• A model categorical approach to group completion of E_n-algebras