Maximal cofinitary groups (Q1976876)

A subgroup \(G\) of the symmetric group \(\text{Sym}(\omega)\) is cofinitary if every non-identity element of \(G\) has just finitely many fixed points. By Zorn's Lemma, every cofinitary group is contained in a maximal cofinitary group, that is, one maximal among the cofinitary subgroups of \(\text{Sym}(\omega)\). \textit{P. J. Cameron} [Bull. Lond. Math. Soc. 28, No. 2, 113-140 (1996; Zbl 0853.20002)] asked whether, if (CH) fails, every maximal cofinitary group has size \(2^\omega\). The author shows that this holds assuming Martin's Axiom. He also proves that if \(M\models(\text{ZFC}+\neg\text{CH})\), and \(\kappa\in M\) is a cardinal with \(\omega_1\leq\kappa<2^\omega=\lambda\), then the following holds: there is a c.c.c. notion of forcing \(\mathbb{G}\) such that in \(M^{\mathbb{G}}\), we have \(2^\omega=\lambda\), and there is a maximal cofinitary group of size \(\kappa\). The paper concludes with questions on how the least cardinality of a maximal cofinitary group compares with other invariants of the continuum.