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

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

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**(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 ...

... 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 ...

... "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)