MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

An old theorem of Pospisil asserts that for any infinite set $I$ the power-set algebra $\wp(I)$ has $\exp \exp |I|$ many maximal ideals containing the ideal of finite sets. This result is published in a rather obscure Czech journal but it seems it should be well-known and described in many textbooks/monographs. I would appreciate any references for that.

Also, I am interested in more general results, that is, what are the sufficient conditions for a given Boolean algebra $\mathcal{A}\subseteq \wp(I)$ with $\mbox{fin}(I)\subseteq \mathcal{A}$ to have $\exp \exp |I|$ many maximal ideals containing $\mbox{fin}(I)$.

Thank you.

share|cite|improve this question
Pospíšil's result is published in Annals of Mathematics 38 (1937), no. 4, 845­-846 ( – Emil Jeřábek Apr 5 '12 at 13:31
Thanks, I have found the same result in On bicompact spaces. Publ. Fac. Sci. Univ. Masaryk 270 (1939), 3-16. – Tomek Kania Apr 5 '12 at 14:34
up vote 5 down vote accepted

The result on the number of maximal ideals can be found as Corollary 7.4. in the book Comfort & Negrepontis "The Theory of Ultrafilters", 1974. A proof can also be found at PlanetMath here.

share|cite|improve this answer

I am sure this is in Koppelberg's Handbook of Boolean Algebras, though I have not checked (I will check later). A proof of Pospisil's result is in this survey-paper of mine that will appear in RIMS Kokyuroku.

I am not sure I completely understand the second part of your question, though. Are you asking for conditions when you have this many maximal ideals? For example, it could happen that $\mathcal A$ is only of size $|I|$ and you have at most $2^{|I|}$ maximal ideals.

share|cite|improve this answer
Thanks for this. By the way, do you know who was Pondiczery and what was his first name? – Tomek Kania Apr 5 '12 at 12:12

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.