Regular bi-interpretability of Chevalley groups over local rings

DOI10.1007/S40879-023-00659-4MaRDI QIDQ6166634zbMATH OpenOpenAlexFDO

Authors E. I. Bunina

Publication date 3 August 2023

Published in European Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2208.13623

zbMATH Keywords

Chevalley groupselementary definabilitylocal ringsregular bi-interpretability

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Linear algebraic groups over adèles and other rings and schemes (20G35)

Abstract: In this paper we prove that if $G(R)=G_{p}i(Phi,R)$ $(E(R)=E_{pi}(Phi,R))$ is an (elementary) Chevalley group of rank $>1$, $R$ is a local ring (with $frac12$ for the root systems ${mathbfA}_2,{mathbfB}_l,{mathbfC}_l,{mathbfF}_4,{mathbfG}_2$ and with $frac13$ for ${mathbfG}_2)$, then the group $G(R)$ (or $(E(R)$) is regularly bi-interpretable with the ring~$R$. As a consequence of this theorem, we show that the class of all Chevalley groups over local rings (with the listed restrictions) is elementary definable, i.,e., if for an arbitrary group~$H$ we have $Hequiv{G}_{p}i(Phi,R)$, than there exists a ring $R^{\prime }equivR$ such that $Hcong{G}_{p}i(Phi,R^{\prime })$.

Cites work

• 4 Rich groups, weak second-order logic, and applications
• \(K_{1}\) of Chevalley groups are nilpotent
• Automorphisms of Chevalley groups of different types over commutative rings.
• Bi-interpretability and QFA structures: study of some soluble groups and commutative rings. (Bi-interprétabilité et structures QFA : étude de groupes résolubles et des anneaux commutatifs
• Bounded generation and commutator width of Chevalley groups: function case
• Chevalley groups over commutative rings. I: Elementary calculations
• Chevalley groups over local rings
• Combinatorial and logical aspects of linear groups and Chevalley groups.
• Commutator width of Chevalley groups over rings of stable rank 1
• Defining \(R\) and \(G(R)\)
• Describing Groups
• Diophantine geometry over groups. VI: The elementary theory of a free group.
• Elementary equivalence of Chevalley groups over fields.
• Elementary equivalence of Chevalley groups over local rings.
• Elementary equivalence of linear groups over rings with a finite number of central idempotents and over Boolean rings.
• Elementary equivalence of profinite groups
• Elementary equivalence of unitary linear groups over rings and skew fields
• Elementary properties of Abelian groups
• Elementary theory of free non-abelian groups.
• Every two elementarily equivalent models have isomorphic ultrapowers
• First order rigidity of non-uniform higher rank arithmetic groups
• Generators and relations for certain special linear groups
• scientific article; zbMATH DE number 1002913 (Why is no real title available?)
• scientific article; zbMATH DE number 3971050 (Why is no real title available?)
• scientific article; zbMATH DE number 4109012 (Why is no real title available?)
• scientific article; zbMATH DE number 3699132 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 88847 (Why is no real title available?)
• scientific article; zbMATH DE number 459389 (Why is no real title available?)
• scientific article; zbMATH DE number 3297198 (Why is no real title available?)
• scientific article; zbMATH DE number 3192066 (Why is no real title available?)
• Isomorphisms and elementary equivalence of Chevalley groups over commutative rings
• Lectures on Chevalley groups
• Model Theory
• Model theory.
• On normal subgroups of Chevalley groups over commutative rings
• On the structure of the \(GL_ 2\) of a ring
• One theorem of Cohn
• Polycyclic-by-finite groups and first-order sentences
• Quasi-finitely axiomatizable nilpotent groups
• Separating Classes of Groups by First-Order Sentences
• Some model theory of simple algebraic groups over algebraically closed fields
• Sur les sous-groupes arithmétiques des groupes semi-simples déployés
• Surjective Stability in Dimension 0 for K 2 and Related Functors
• The Diophantine problem in the classical matrix groups
• The logical complexity of finitely generated commutative rings
• THE STRUCTURE OF MODELS AND A DECIDABILITY CRITERION FOR COMPLETE THEORIES OF FINITE-DIMENSIONAL ALGEBRAS
• Unitriangular factorizations of Chevalley groups.

Cited in

(5)

• Bi-interpretability and QFA structures: study of some soluble groups and commutative rings. (Bi-interprétabilité et structures QFA : étude de groupes résolubles et des anneaux commutatifs
• A new look at the decomposition of unipotents and the normal structure of Chevalley groups
• Finite group actions on abelian groups of finite Morley rank
• Automorphisms of a Chevalley group of type G₂ over a commutative ring R with 1/3 generated by the invertible elements and 2R
• -rigidity of Chevalley groups over local rings

This page was built for publication: Regular bi-interpretability of Chevalley groups over local rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6166634)