The cofinality spectrum of the infinite symmetric group

DOI10.2307/2275578MaRDI QIDQ4372913zbMATH OpenOpenAlexFDO

Authors S. Shelah, Simon Thomas

Publication date 17 December 1997

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9412230

zbMATH Keywords

forcingpermutation grouppcf theoryregular cardinalscofinality spectrum

Mathematics Subject Classification ID

Subgroups of symmetric groups (20B35) Other combinatorial set theory (03E05) Consistency and independence results (03E35) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50)

Abstract: A group G that is not finitely generated can be written as the union of a chain of proper subgroups. The cofinality spectrum of G, written CF(S), is the set of regular cardinals lambda such that G can be expressed as the union of a chain of lambda proper subgroups. The cofinality of G, written c(G), is the least element of CF(G). We show that it is consistent that CF(S) is quite a bizarre set of cardinals. For example, we prove Theorem (A): Let T be any subset of omega setminus {0}. Then it is consistent that aleph_n in CF(S) if and only if n in T . One might suspect that it is consistent that CF(S) is an arbitrarily prescribed set of regular uncountable cardinals, subject only to the above mentioned constraint. This is not the case. Theorem (B): If aleph_n in CF(S) for all n in omega setminus {0}, then aleph_{omega +1} in CF(S) .

Recommendations

• Some questions concerning the cofinality of Sym(κ)
• scientific article; zbMATH DE number 1329668
• THE COFINALITY OF NORMAL SUBGROUPS AND HOMOMORPHIC IMAGES OF INFINITE SYMMETRIC GROUPS
• Maximal cofinitary groups

Cites work

• scientific article; zbMATH DE number 734993 (Why is no real title available?)
• Cardinal arithmetic for skeptics
• Set theory. An introduction to independence proofs
• Shelah's pcf theory and its applications
• Unbounded families and the cofinality of the infinite symmetric group
• Uniformization problems and the cofinality of the infinite symmetric group

Cited in

(12)

• The K-functor (Grothendieck group) of the infinite symmetric group
• THE COFINALITY OF NORMAL SUBGROUPS AND HOMOMORPHIC IMAGES OF INFINITE SYMMETRIC GROUPS
• Canonical universal locally finite groups
• Some questions concerning the cofinality of Sym(κ)
• Lévy-Khinchin formula for the infinite symmetric group
• Density of indecomposable locally finite groups
• Measurable cardinals and the cofinality of the symmetric group
• The special Aronszajn tree property
• scientific article; zbMATH DE number 7551770 (Why is no real title available?)
• The minimal cofinality of an ultrapower of ω and the cofinality of the symmetric group can be larger than b⁺
• Monotone hulls for \(\mathcal N \cap\mathcal M\)
• Changing cardinal characteristics without changing \(\omega\)-sequences or cofinalities

This page was built for publication: The cofinality spectrum of the infinite symmetric group

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