Abstract
AbstractLet LF be the lattice of all subgroups of the group $$SF(\omega )$$SF(ω) of all finitary permutations of the set of natural numbers. We consider subgroups of $$SF(\omega )$$SF(ω) of the form $$C\cap SF(\omega )$$C∩SF(ω), where C is a compact subgroup of the group of all permutations. In particular, we study their distribution among elements of LF. We measure this using natural relations of orthogonality and almost containedness. We also study complexity of the corresponding families of compact subgroups of $$S(\omega )$$S(ω).
Publisher
Springer Science and Business Media LLC
Subject
Algebra and Number Theory
Reference10 articles.
1. Hartley, B., Seitz, G.M., Borovik, A.V., Bryant, R.M. (eds.): Finite and Locally Finite Groups. Nato Science Series C: Series 471, Springer, Netherlands (1995)
2. Kechris, A.S.: Classical Descriptive Set Theory. Springer, Berlin, New York (1995)
3. Kechris, A.S., Nies, A., Tent, K.: The complexity of topological group isomorphism. J. Symb. Logic 83, 1190–1203 (2018)
4. Kunen, K.: Set Theory. An Introduction to Independence Proofs. North-Holland, Amsterdam (1980)
5. Majcher-Iwanow, B.: Subgroups of $$SF(\omega )$$ and the relation of almost containedness. Arch. Math. Logic 55, 925–937 (2016)