Regular bi-interpretability of Chevalley groups over local rings

DOI10.1007/s40879-023-00659-4arXiv2208.13623OpenAlexW4384926830MaRDI QIDQ6166634

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

local ringsChevalley groupselementary definabilityregular bi-interpretability

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Polycyclic-by-finite groups and first-order sentences
• Unitriangular factorizations of Chevalley groups.
• Automorphisms of Chevalley groups of different types over commutative rings.
• Elementary theory of free non-abelian groups.
• Elementary equivalence of Chevalley groups over fields.
• One theorem of Cohn
• Model theory.
• Commutator width of Chevalley groups over rings of stable rank 1
• Chevalley groups over commutative rings. I: Elementary calculations
• \(K_{1}\) of Chevalley groups are nilpotent
• Elementary equivalence of linear groups over rings with a finite number of central idempotents and over Boolean rings.
• Combinatorial and logical aspects of linear groups and Chevalley groups.
• First order rigidity of non-uniform higher rank arithmetic groups
• Diophantine geometry over groups. VI: The elementary theory of a free group.
• On the structure of the \(GL_ 2\) of a ring
• Chevalley groups over local rings
• Generators and relations for certain special linear groups
• Every two elementarily equivalent models have isomorphic ultrapowers
• 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
• Lectures on Chevalley Groups
• Separating Classes of Groups by First-Order Sentences
• THE STRUCTURE OF MODELS AND A DECIDABILITY CRITERION FOR COMPLETE THEORIES OF FINITE-DIMENSIONAL ALGEBRAS
• Elementary equivalence of profinite groups
• Describing Groups
• Elementary equivalence of Chevalley groups over local rings
• Some model theory of simple algebraic groups over algebraically closed fields
• Elementary equivalence of unitary linear groups over rings and skew fields
• Model Theory
• 4 Rich groups, weak second-order logic, and applications
• The Logical Complexity of Finitely Generated Commutative Rings
• The Diophantine problem in the classical matrix groups
• Isomorphisms and elementary equivalence of Chevalley groups over commutative rings
• Quasi-finitely axiomatizable nilpotent groups
• Sur les sous-groupes arithmétiques des groupes semi-simples déployés
• Surjective Stability in Dimension 0 for K 2 and Related Functors
• Elementary properties of Abelian groups
• On normal subgroups of Chevalley groups over commutative rings
• Defining \(R\) and \(G(R)\)
• Bounded generation and commutator width of Chevalley groups: function case

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