Boolean Prime Ideal Theorem - Prime Ideal Theorems

Prime Ideal Theorems

Recall that an order ideal is a (non-empty) directed lower set. If the considered poset has binary suprema (a.k.a. joins), as do the posets within this article, then this is equivalently characterized as a lower set I which is closed for binary suprema (i.e. x, y in I imply xy in I). An ideal I is prime if, whenever an infimum xy is in I, one also has x in I or y in I. Ideals are proper if they are not equal to the whole poset.

Historically, the first statement relating to later prime ideal theorems was in fact referring to filters—subsets that are ideals with respect to the dual order. The ultrafilter lemma states that every filter on a set is contained within some maximal (proper) filter—an ultrafilter. Recall that filters on sets are proper filters of the Boolean algebra of its powerset. In this special case, maximal filters (i.e. filters that are not strict subsets of any proper filter) and prime filters (i.e. filters that with each union of subsets X and Y contain also X or Y) coincide. The dual of this statement thus assures that every ideal of a powerset is contained in a prime ideal.

The above statement led to various generalized prime ideal theorems, each of which exists in a weak and in a strong form. Weak prime ideal theorems state that every non-trivial algebra of a certain class has at least one prime ideal. In contrast, strong prime ideal theorems require that every ideal that is disjoint from a given filter can be extended to a prime ideal which is still disjoint from that filter. In the case of algebras that are not posets, one uses different substructures instead of filters. Many forms of these theorems are actually known to be equivalent, so that the assertion that "PIT" holds is usually taken as the assertion that the corresponding statement for Boolean algebras (BPI) is valid.

Another variation of similar theorems is obtained by replacing each occurrence of prime ideal by maximal ideal. The corresponding maximal ideal theorems (MIT) are often—though not always—stronger than their PIT equivalents.

Read more about this topic:  Boolean Prime Ideal Theorem

Famous quotes containing the words prime and/or ideal:

    If one had to worry about one’s actions in respect of other people’s ideas, one might as well be buried alive in an antheap or married to an ambitious violinist. Whether that man is the prime minister, modifying his opinions to catch votes, or a bourgeois in terror lest some harmless act should be misunderstood and outrage some petty convention, that man is an inferior man and I do not want to have anything to do with him any more than I want to eat canned salmon.
    Aleister Crowley (1875–1947)

    One who does not know how to discover the pathway to his ideal lives more frivolously and impudently than the man without an ideal.
    Friedrich Nietzsche (1844–1900)