Year: 2026
Type: article
Abstract: In this paper, we consider Chevalley groups over commutative rings with 1, constructed by irreducible root systems of rank [Formula: see text]. We always suppose that for the systems [Formula: see text] our rings contain [Formula: see text] and for the system [Formula: see text] also [Formula: see text]. Under these assumptions we prove that the central quotients of Chevalley groups are regularly bi-interpretable with the corresponding rings, the class of all central quotients of Chevalley groups of a given type is elementarily definable and even finitely axiomatizable (see Definition 2.2). The same holds for adjoint Chevalley groups and for bondedly generated Chevalley groups. We also give an example of Chevalley group with infinite center, which is not bi-interpretable with the corresponding ring and is elementarily equivalent to a group that is not a Chevalley group itself.
Authors: Elena Bunina, Pavel Gvozdevsky
Institution: Bar-Ilan University
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Award: G6611866667
OpenAlex ID: W7160128022
FWCI:
Cites:
Cited by:
Related to: