Maximal cofinitary groups

DOI10.1007/S001530050002MaRDI QIDQ1976876zbMATH OpenOpenAlexFDO

Authors Yi Zhang

Publication date 22 November 2000

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001530050002

zbMATH Keywords

almost disjoint setscofinitary permutation groupsforcingMartin's Axiommaximal subgroupsnumbers of fixed pointssubgroups of symmetric groups

Mathematics Subject Classification ID

Cardinal characteristics of the continuum (03E17) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Applications of logic to group theory (20A15) General theory for infinite permutation groups (20B07) Subgroups of symmetric groups (20B35) Subgroup theorems; subgroup growth (20E07) Maximal subgroups (20E28)

Review text

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.

Recommendations

• Maximal cofinitary groups revisited
• CONSTRUCTING MAXIMAL COFINITARY GROUPS
• Constructing a maximal cofinitary group
• The complexity of maximal cofinitary groups
• The structure of \(\kappa\)-maximal cofinitary groups
• Maximal topologies on groups
• A co-analytic Cohen-indestructible maximal cofinitary group
• Maximal covers of finite groups
• scientific article; zbMATH DE number 1225838
• Almost maximal topologies on groups

Cited in

(21)

• Cameron's cofinitary group conjecture
• Constructing a maximal cofinitary group
• Uniformity of the meager ideal and maximal cofinitary groups
• Cardinal invariants related to permutation groups
• Definable sets of generators in maximal cofinitary groups
• Cofinitary groups, almost disjoint and dominating families
• Finitely constrained groups of maximal Hausdorff dimension
• Maximal cofinitary groups revisited
• Permutation Groups and Covering Properties
• Isomorphism Types of Maximal Cofinitary Groups
• The complexity of maximal cofinitary groups
• scientific article; zbMATH DE number 1225838 (Why is no real title available?)
• The cofinality spectrum of the infinite symmetric group
• The cofinality of the infinite symmetric group and groupwise density
• Adjoining cofinitary permutations
• A co-analytic Cohen-indestructible maximal cofinitary group
• Template iterations and maximal cofinitary groups
• CONSTRUCTING MAXIMAL COFINITARY GROUPS
• Good projective witnesses
• Tight cofinitary groups
• Maximal Schottky extension groups

This page was built for publication: Maximal cofinitary groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1976876)