Submission date: 15 October 2020

Abstract:

We show that there is a sentence ϕ in the first order language of groups such that a finitely generated group Γ satisfies ϕ if and only if Γ is isomorphic to a group of the form PSL_n(O), where n ≥ 3 and O is a ring of S-integers in a number field.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2010.07970: pdf, ps.