# Is infinite boolean algebra atomless?

I got two questions:

1) Does there exist an infinite Boolean algebra which contains an atom?

2) Does there exist an infinite Boolean algebra B such that for every b contained in B there is an atom a contained in B with a is smaller or equal than b?

I just cannot figure out what's the difference between these two questions. Can someone help please?

• For #2, are you sure that whoever gave you this problem didn't mean "for every nonzero $b$ contained in $B$"? For #1, you answered yes - what was your example? Is it also an example for #2? – Carl Mummert Nov 6 '14 at 1:51
• For question 2, it has been specified that b is nonzero. – Blackgirl5 Nov 6 '14 at 1:58
• For question 1, I just guessed the answer...I just didn't understand well this part. – Blackgirl5 Nov 6 '14 at 2:03
• The topic of infinite atomless Boolean algebras has come up here previously. In large part the meaningful parts of this Question were settled there. – hardmath Nov 6 '14 at 3:21

Edit: I see from the comments that $b$ in part 2 is restricted so that it can't be the least element of $B$. That's fairly important information, and changes my answer.
Added: Your example--letting $B$ be the power set of the natural numbers--works as an example for both. As you pointed out, its atoms are precisely the singleton subsets of the natural numbers. Hence, $B$ has an atom--in fact, infinitely-many, but it has at least one, which is what matters--and so the answer to Question 1 is "yes." On the other hand, given any non-least element $b$ of $B$ (that is, any non-empty subset of the natural numbers), there is at least one atom less than or equal to it--for example, the singleton containing only the least element of $b$. Hence, the answer to Question 2 is also "yes."
• Well, you can assume it (correctly). However, you should be able to prove it. In fact, you should be able to show that even if we get rid of the word "infinite," there is still no Boolean algebra that satisfies the given condition (that is, even if $B$ is finite, consider what happens if $b$ is the least element of $B$). – Cameron Buie Nov 6 '14 at 4:31
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}