Boolean Prime Ideal Theorem

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 TheoremPrime Ideal Theorems, Boolean Prime Ideal Theorem, Further Prime Ideal Theorems, The Ultrafilter Lemma, Applications

Other articles related to "prime, boolean prime ideal theorem, boolean, ideal, theorem":

229 (number) - In Mathematics
229 is a regular prime, a long prime, a twin prime (with 227), a cousin prime, and a sexy prime. 229 is also a prime triplet (with 227 and 233) ... In base 10, the smallest prime that, when added to the reversal of its digits, yields another prime is 229, since 229 + 922 = 1151 (sequence A061783 in ...
E-Prime
... E-Prime (short for English-Prime, sometimes denoted E′) is a version of the English language that excludes all forms of the verb to be ... E-Prime does not allow the conjugations of to be—be, am, is, are, was, were, been, being— the archaic forms of to be (e.g ... Some scholars advocate using E-Prime as a device to clarify thinking and strengthen writing ...
Boolean Prime Ideal Theorem - Applications
... Intuitively, the Boolean prime ideal theorem states that there are "enough" prime ideals in a Boolean algebra in the sense that we can extend every ideal to ... is of practical importance for proving Stone's representation theorem for Boolean algebras, a special case of Stone duality, in which one equips the set of ... out that in applications one can freely choose either to work with prime ideals or with prime filters, because every ideal uniquely determines a filter the set of all Boolean complements of its elements ...
Fast Fourier Transform - Algorithms - Other FFT Algorithms
... For with coprime and, one can use the Prime-Factor (Good-Thomas) algorithm (PFA), based on the Chinese Remainder Theorem, to factorize the DFT ... the PFA as well as an algorithm by Rader for FFTs of prime sizes ... of a generator for the multiplicative group modulo prime, expresses a DFT of prime size as a cyclic convolution of (composite) size, which can then be ...
Prime Minister Of The United Kingdom - Authority
... "Head of Her Majesty's Government" the modern Prime Minister leads the Cabinet (the Executive) ... In addition the Prime Minister leads a major political party and generally commands a majority in the House of Commons (the lower house of the legislature) ... In the House of Commons, the Prime Minister guides the law-making process with the goal of enacting the legislative agenda of their political party ...

Famous quotes containing the words theorem, ideal and/or prime:

    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)

    The ideal college is Mark Hopkins on one end of a log and a student on the other.
    James A. Garfield (1831–1881)

    Ay, look: high heaven and earth ail from the prime foundation;
    All thoughts to rive the heart are here, and all are vain:
    Horror and scorn and hate and fear and indignation—
    Oh, why did I awake? When shall I sleep again?
    —A.E. (Alfred Edward)