Abstract
Let D be a division ring such that the number of conjugacy classes of 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 a vector space of infinite dimension Ď° over D. We prove, in particular, that, uniformly in Îş and D, the first-order theory of H(V) is mutually syntactically interpretable with the theory of the two-sorted structure ăÎş,Dă (whose only relations are the division ring operations on D) in the second-order logic with quantification over arbitrary relations of power ⊽κ. A certain analogue of this results is proved for the groups ÎL(V) and PÎL(V) . These results imply criteria of elementary equivalence for infinite-dimensional classical groups of types H= ÎL , PÎL , GL, PGL over division rings, and solve, for these groups, a problem posed by U. Felgner. It follows from the criteria that if H(V 1)âĄH(V 2) then Îş 1 and Îş 2 are second-order equivalent as sets.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have