Chain of ideals in a BA - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T01:59:55Z http://mathoverflow.net/feeds/question/81701 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/81701/chain-of-ideals-in-a-ba Chain of ideals in a BA GiroCont 2011-11-23T11:47:33Z 2011-11-23T14:10:29Z <p>Suppose $\mathfrak{A}$ is a Boolean algebra and $\mathfrak{J}$ is chain of ideals in $\mathfrak{A}$ ordered by inclusion such that none of its elements is countably generated. Clearly, the union $\bigcup \mathfrak{J}$ is an ideal. Can it be countably generated?</p> http://mathoverflow.net/questions/81701/chain-of-ideals-in-a-ba/81702#81702 Answer by KP Hart for Chain of ideals in a BA KP Hart 2011-11-23T12:30:15Z 2011-11-23T12:30:15Z <p>Take te interval algebra, $B$, of the ordinal $\omega_1\times\omega$; for $n\in\omega$ let $I_n$ be the ideal consisting of the elements of $B$ that are bounded below $\omega_1\times n$. None of the ideals $I_n$ is countably generated but the union $\bigcup_n I_n$ is countably generated, by the family $\lbrace \omega_1\times n:n\in\omega\rbrace$. I assume here that you mean that $A$ generates $I$ in case $A\subseteq I$ and for all $x\in I$ there is $a\in A$ such that $x\le a$. </p> http://mathoverflow.net/questions/81701/chain-of-ideals-in-a-ba/81709#81709 Answer by Joel David Hamkins for Chain of ideals in a BA Joel David Hamkins 2011-11-23T14:10:29Z 2011-11-23T14:10:29Z <p>Let $\mathfrak{A}$ be the power set of an uncountable set $X$, which is a complete Boolean algebra. Select disjoint sets $X_n\subset X$ of size $\omega_1$, and let $J_n$ be the ideal generated by $X_0\sqcup\cdots\sqcup X_n$, together with the countable subsets of $X_{n+1}$. Thus, each ideal $J_n$ is countably complete (closed under countable unions) and not countably generated, and they form a chain $J_0\subset J_1\subset\cdots$. The union $\bigcup_n J_n$, however, is simply the ideal generated by the sets $X_n$. </p> <p>The general situation of this example (and also of KP Hart's example, which is fundamentally similar) is to have a tower of ideals $J_n$, such that nested between them are principal ideals $I_n$, so that the chain looks like: $$J_0\subset I_0\subset J_1\subset I_1\subset\cdots$$ The point is that the union of the ideals $J_n$ is the same as the union of the principal ideals $I_n$, which is of course countably generated because they are principal.</p>