Thu, 25 Apr 2024
17:00 -
18:00
L3
Bi-interpretability and elementary definability of Chevalley groups
Elena Bunina
(Bar-Ilan University)
Abstract
We prove that any adjoint Chevalley group over an arbitrary commutative ring is regularly bi-interpretable with this ring. The same results hold for central quotients of arbitrary Chevalley groups and for Chevalley groups with bounded generation.
Also, we show that the corresponding classes of Chevalley groups (or their central quotients) are elementarily definable and even finitely axiomatizable.