Subgroups of \(\mathrm{SF}(\omega)\) and the relation of almost containedness (Q334993): Difference between revisions

Let \(\mathrm{SF}(\omega)\) denote the group of all finitary permutations of \(\omega\). The research of this paper is motivated by a result of \textit{P. Matet} [J. Symb. Log. 51, 12--21 (1986; Zbl 0588.04011)], which is associated with a lattice consisting of certain subgroups of \(\mathrm{SF}(\omega)\), modulo an ideal consisting of certain finite subgroups. This paper considers the lattice \((\mathrm{LF},\mathrm{IF})\) (under almost containedness and almost orthogonality), where \(\mathrm{LF}\) is the lattice of all subgroups of \(\mathrm{SF}(\omega)\) and \(\mathrm{IF}\) is the ideal of all finite subgroups. The author compares (in \S 2.1) this lattice with the classical analogous \(({\mathcal P}(\omega), \mathrm{Fin})\), computes the six van Douwen cardinals for this lattice (see Theorem 2.6), and further proves (in \S3) two variants of Matet's theorem for this lattice, one under MA and the other under CH.