Complete first-order theories of some classical matrix groups over algebraic integers

DOI10.1016/J.JALGEBRA.2021.04.015MaRDI QIDQ2029249zbMATH OpenOpenAlexFDO

Authors Mahmood Sohrabi, Alexei Myasnikov

Publication date 3 June 2021

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jalgebra.2021.04.015

zbMATH Keywords

abelian deformationbi-interpretabilityelementary equivalencegeneral linear groupspecial linear group

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Solvable groups, supersolvable groups (20F16)

Recommendations

• scientific article; zbMATH DE number 1563988
• Realizability of two-dimensional linear groups over rings of integers of algebraic number fields.
• The model theory of unitriangular groups
• The model-theoretic structure of Abelian group rings
• R.J. THOMPSON’S GROUPSFANDTARE BI-INTERPRETABLE WITH THE RING OF THE INTEGERS

Cites work

• 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 Elementary Generation of SL n (O)
• Describing Groups
• Elementary equivalence of profinite groups
• First order rigidity of non-uniform higher rank arithmetic groups
• Groups elementarily equivalent to a free 2-nilpotent group of finite rank.
• Groups elementarily equivalent to a free nilpotent group of finite rank
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• Polycyclic-by-finite groups and first-order sentences
• Quasi finitely axiomatizable totally categorical theories
• Quasi-finitely axiomatizable nilpotent groups
• The elementary theory of abelian groups
• The logical complexity of finitely generated commutative rings
• The model theory of unitriangular groups
• The Undecidability of Algebraic Rings and Fields

This page was built for publication: Complete first-order theories of some classical matrix groups over algebraic integers

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