Of model completeness and algebraic groups
Logic
2025-03-04 v2
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_2(K)) are model complete as well.
Cite
@article{arxiv.2312.08988,
title = {Of model completeness and algebraic groups},
author = {Daniel Max Hoffmann and Piotr Kowalski and Chieu-Minh Tran and Jinhe Ye},
journal= {arXiv preprint arXiv:2312.08988},
year = {2025}
}