Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

Given a complete lattice is it possible to have orderideals which are not principal? Can one not always just join together every element of the ideal to get its maximal, generating element? What about for frames?


share|cite|improve this question
up vote 6 down vote accepted

Short answer is no. In order to get a counterexample, consider the Boolean algebra of subsets of the natural numbers $\mathcal P(\mathbb N)$ and let $FIN$ denote the ideal of finite subsets of $\mathbb N$. Observe that $\mathcal P(\mathbb N)$ is a complete lattice and $FIN$ is a not principal ideal.

share|cite|improve this answer
Thanks! Yeah I was mistakenly assuming that if you wedge all the elements of an ideal together you'd still have an element of that ideal! But obviously this is not necessarily true. – Jon Beardsley Apr 6 '12 at 5:26

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.