Souslin algebra embeddings (Q627432): Difference between revisions

A \(\kappa\)-Souslin algebra is a complete Boolean algebra with the \(\kappa\)-chain condition (any pairwise incompatible set has size \(<\kappa\)) and \((\kappa, \infty)\)-distributivity (an infinitary distributive law holds for the \(<\kappa\) sum of arbitrary products). This paper is a fairly comprehensive discussion of \(\kappa\)-Souslin algebras, subalgebras, and various maps among them. It heavily uses the connection between \(\kappa\)-Souslin algebras and \(\kappa\)-Souslin trees. Some sample theorems include: Theorem. The set of fixed points of an automorphism of a \(\kappa\)-Souslin algebra is large. (\(\mathbb A\) is a large subalgebra of \(\mathbb B\) iff \(\mathbb B\) is completely generated by \(\mathbb A \cup M\), where \(M\) is an antichain.) Theorem. Every homogeneous \(\kappa\)-Souslin algebra has an \(\infty\)-nice subalgebra. (Roughly, ``nice'' means that the subalgebra carries a tree characterization of the algebra;``\(\infty\)-nice'' is harder to explain, but is equivalent to ``nice + nowhere large'', where ``nowhere large'' means that multiplying the subalgebra through by a constant non-zero element \(b\) leaves out some \(c < b\).) Theorem. If \(\mu\) is regular, \(\mu^{<\mu} = \mu\), and \(\diamondsuit_{\mu^+}(\text{CF}_{\mu})\) holds, then {\parindent6.5mm \begin{itemize}\item[(a)] there is a rigid \(\kappa\)-Souslin algebra which has an \(\infty\)-nice subalgebra, and \item[(b)] there is a rigid \(\kappa\)-Souslin algebra with a nowhere nice subalgebra and no \(\infty\)-nice subalgebras. \end{itemize}}