Bi-interpretability with \mathbb{Z} and models of the complete elementary theories of \text{SL}_n(\mathcal{O}), \text{T}_n(\mathcal{O}) and \text{GL}_n(\mathcal{O}), n\geq 3

MaRDI QIDQ6338301zbMATH OpenFDO

Authors Mahmood Sohrabi, Alexei Myasnikov

Publication date 6 April 2020

Mathematics Subject Classification ID

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

Abstract: Let $mathcalO$ be the ring of integers of a number field, and let $ngeq3$. This paper studies bi-interpretability of the ring of integers $mathbbZ$ with the special linear group $ext{SL}_n(mathcalO)$, the general linear group $ext{GL}_n(mathcalO)$ and solvable group of all invertible uppertriangular matrices over $mathcalO$, $ext{T}_n(mathcalO)$. For each of these groups we provide a complete characterization of arbitrary models of their complete elementary theories.

This page was built for publication: Bi-interpretability with $\mathbb{Z}$ and models of the complete elementary theories of $\text{SL}_n(\mathcal{O})$, $\text{T}_n(\mathcal{O})$ and $\text{GL}_n(\mathcal{O})$, $n\geq 3$

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