加载中…
Let denote the countably infinite dimensional vector space over the two element field and its automorphism group. Moreover, let denote the symmetric group acting on the elements of . It is shown that there are exactly four closed subgroups, , such that $\operatorname{GL}(\omega, 2)\leq G\leq \operatorname{Sym}(_2^\omega)_2^\omega\omega$-categorical (and homogeneous) structure, these groups correspond to the first order definable reducts of . These reducts are also analyzed. In the last section the closed groups containing the infinite symplectic group are classified.

生成讲解博客的中文版本

生成AI智能校验的中文版本