Elementary equivalence of infinite-dimensional classical groups

DOI10.1016/S0168-0072(99)00050-0MaRDI QIDQ1591375zbMATH OpenWikidataFDO

Publication date 22 January 2002

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

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

automorphisms elementary types linear groups

Model-theoretic algebra (03C60) Applications of logic to group theory (20A15) Automorphism groups of groups (20F28) Linear algebraic groups over finite fields (20G40)

Abstract: Let D be a division ring such that the number of conjugacy classes in the multiplicative group D^* is equal to the power of D^*. Suppose that H(V) is the group GL(V) or PGL(V), where V is an infinite-dimensional vector space over D. We prove, in particular, that, uniformly in dim(V) and D, the first-order theory of H(V) is mutually syntactically interpretable with the theory of the two-sorted structure <dim(V),D> (whose only relations are the division ring operations on D) in the second-order logic with quantification over arbitrary relations of power <= dim(V). A certain analogue of this results is proved for the groups the collinear groups GammaL(V) and PGammaL(V). These results imply criteria of elementary equivalence for infinite-dimensional classical groups of types H=GammaL, PGammaL, GL, PGL over division rings, and solve, for these groups, a problem posed by Felgner. It follows from the criteria that if H(V_1), H(V_2) are elementarily equivalent, then the cardinals dim(V_1) and dim(V_2) are second order equivalent as sets.

Review text

In this paper the following question posed by Felgner is considered. Given vector spaces \(V_1,V_2\) of dimension \(\kappa_1,\kappa_2\) over infinite-dimensional skew field \(D_1,D_2\), respectively, and \(H(V)\) one of the groups \(GL(V)\) or \(PGL(V)\), under what conditions is \(H(V_1)\equiv H(V_2)\)? For the finite-dimensional case this is known to be the case exactly if the dimensions are the same and \(D_1\equiv D_2\) or \(D_1\equiv D_2^{\text{op}}\). The main results obtained here are the following: For a vector space \(V\) over \(D\) of dimension \(\kappa\geq \aleph_0\) the theories of the corresponding projective space, of \(\text{End}(V)\) and of \(PGL(V)\) and \(GL(V)\) are all mutually syntactically interpretable. Furthermore, also the theory of two-sorted structures \(\langle \kappa,D\rangle\) in second-order logic allowing quantification over sets of size less than \(\kappa ^+\) and the theory of \(\langle V,D\rangle\) in the monadic fragment \(\text{Mon}(\kappa^+)\) are mutually syntactically interpretable. A certain analogue of these results is proved for the groups \(\Gamma L(V)\) and \(P\Gamma L(V)\). Thus, the problem is answered in Theorem 11.4 in the following way: \(GL(\kappa_1,D_1)\equiv GL(\kappa_2,D_2)\) if and only if \(PGL(\kappa_1,D_1)\equiv PGL(\kappa_2,D_2)\) if and only if the corresponding second-order theories of the two sorted structures \(\langle \kappa_1,D_1\rangle\) and \(\langle \kappa_2,D_2\rangle\) are the same.

Recommendations

Cites work

Cited in

(15)

This page was built for publication: Elementary equivalence of infinite-dimensional classical groups

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