In mathematics, a prime ideal theorem guarantees the existence of certain types of subsets in a given algebra. A common example is the Boolean prime ideal theorem, which states that ideals in a Boolean algebra can be extended to prime ideals. A variation of this statement for filters on sets is known as the ultrafilter lemma. Other theorems are obtained by considering different mathematical structures with appropriate notions of ideals, for example, rings and prime ideals (of ring theory), or distributive lattices and maximal ideals (of order theory). This article focuses on prime ideal theorems from order theory.
Although the various prime ideal theorems may appear simple and intuitive, they cannot be derived in general from the axioms of Zermelo–Fraenkel set theory without the axiom of choice (abbreviated ZF). Instead, some of the statements turn out to be equivalent to the axiom of choice (AC), while others—the Boolean prime ideal theorem, for instance—represent a property that is strictly weaker than AC. It is due to this intermediate status between ZF and ZF + AC (ZFC) that the Boolean prime ideal theorem is often taken as an axiom of set theory. The abbreviations BPI or PIT (for Boolean algebras) are sometimes used to refer to this additional axiom.
Read more about Boolean Prime Ideal Theorem: Prime Ideal Theorems, Boolean Prime Ideal Theorem, Further Prime Ideal Theorems, The Ultrafilter Lemma, Applications
Famous quotes containing the words prime, ideal and/or theorem:
“By whatever means it is accomplished, the prime business of a play is to arouse the passions of its audience so that by the route of passion may be opened up new relationships between a man and men, and between men and Man. Drama is akin to the other inventions of man in that it ought to help us to know more, and not merely to spend our feelings.”
—Arthur Miller (b. 1915)
“But I must needs take my petulance, contrasting it with my accustomed morning hopefulness, as a sign of the ageing of appetite, of a decay in the very capacity of enjoyment. We need some imaginative stimulus, some not impossible ideal which may shape vague hope, and transform it into effective desire, to carry us year after year, without disgust, through the routine- work which is so large a part of life.”
—Walter Pater (1839–1894)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)