|
|
| Line 1: |
Line 1: |
| In [[mathematics]], a '''prime ideal theorem''' guarantees the existence of certain types of subsets in a given [[Algebra over a field|algebra]]. A common example is the '''Boolean prime ideal theorem''', which states that [[ideal (order theory)|ideals]] in a [[Boolean algebra (structure)|Boolean algebra]] can be extended to [[ideal (order theory)|prime ideals]]. A variation of this statement for [[filter (mathematics)|filters]] on sets is known as the [[#The ultrafilter lemma|ultrafilter lemma]]. Other theorems are obtained by considering different mathematical structures with appropriate notions of ideals, for example, [[ring (mathematics)|rings]] and [[prime ideal]]s (of ring theory), or [[distributive lattice]]s and ''maximal'' ideals (of [[order theory]]). This article focuses on prime ideal theorems from [[order theory]].
| | A calorie calculator is a dieter's right friend. The web has provided those which are trying to lose weight countless free diet tools which can help. The following are simply a limited which could aid you discover what the body mass index is, in addition to provide choices to track the calories.<br><br>Kiley's e-book Personal Path to Pregnancy is value purchasing. The cost is far from the cost is to go see a doctor. The e-book costs lower than thirty five dollars plus in case you may be not content with it she may give we a refund, a thing healthcare experts do not give! Kiley offers 9 free bonuses together with a baby names list, [http://safedietplansforwomen.com/bmi-chart bmi chart], how to exercise and techniques to avoid stretch marks. She delivers we with many secrets regarding how to conceive plus considering it's all-natural there isn't anything to get rid of. Doctors do not give this info because their practice is medication hence they naturally lean to medications as an answer. Beth helped a lot of couples plus those persons have given their own reviews regarding their ordeal. This is well-worth the opportunity.<br><br>He asked me for advice, which I was over happy to provide. A year later, Jim has not only lost many bmi chart men pounds, and felt greater and more energetic. He is now not only capable to sleep correctly and do his standard escapades without a problem. He is always full of stamina plus enthusiasm!<br><br>The chart given earlier was for men above the age of 20 plus beneath the age of 60. However, men above the age of 50 could make a note of the fact which, irrespective of the body frame sort, it is actually important for you to reduce on the fat element of your weight. This can help in protecting we from age-related fat disorders, heart ailments plus other health issues. The BMI (Body Mass Index) is a good technique of finding out what the perfect weight range is, or should be. A BMI range of 19 to 25 is considered to be healthy. Anything above 25 would place you in the obese category.<br><br>Having sex utilizing the missionary position assist to receive pregnant- the time-proven 'man-on-top' position works with gravity to motivate semen flow toward the uterus to maximize the chance of a sperm uniting with the egg and causing conception. One of the associated best tips on getting expecting is -- after ejaculation, the woman may stay on her back with her legs bent a limited minutes to further maximize semen flow toward the uterus.<br><br>More direct evidence showing the guy needs is research where topics have been rating photos of real people. Men found in bmi chart women this kind of research that females with ratio of .70 to .71 were greatly more appealing than women with ratio of .73 to .74 (Rempala & Garvey, 2007). Similar finding has been found in many research. For instance it has been found that not only do men prefer a Waits-to-Hip ratio around .7, but they also have a strong, non-linear, preference based on female BMI (Body mass index). The most desirable bodies had Waist-to-Hip ratio about the perfect range of .7, however, the desirability was dependent on BMI (Tovee et al, 1999).<br><br>Adding Miles: SLOWLY! Use the 10% rule. Add no over 10% increase of the mileage each week. Here's more detailed explanation plus chart from FitSugar.<br><br>These are some questions I think that are value asking ourselves if you plan to start a diet this spring. Selecting a "realistic objective vs. an idealistic" 1, would lead you to more success, brief term plus lengthy term. What do you think? Now, a tool of my system is "Support is Key, Surround Yourself", so 1 method to receive more help is to partner up with a fat loss buddy, thus only click here and receive started www.weightlossbuddy.com. You'll find many credible information plus more support! |
| | |
| 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.
| |
| | |
| ==Prime ideal theorems==
| |
| | |
| Recall that an [[ideal (order theory)|order ideal]] is a (non-empty) [[directed set|directed]] [[lower set]]. If the considered poset has binary [[supremum|suprema]] (a.k.a. [[join and meet|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 ''x''<math>\vee</math>''y'' in ''I''). An ideal ''I'' is prime if, whenever an [[infimum]] ''x''<math>\wedge</math>''y'' 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 [[duality (order theory)|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.
| |
| | |
| == Boolean prime ideal theorem ==
| |
| | |
| The Boolean prime ideal theorem is the strong prime ideal theorem for Boolean algebras. Thus the formal statement is:
| |
| | |
| : Let ''B'' be a Boolean algebra, let ''I'' be an ideal and let ''F'' be a filter of ''B'', such that ''I'' and ''F'' are [[disjoint set|disjoint]]. Then ''I'' is contained in some prime ideal of ''B'' that is disjoint from ''F''.
| |
| | |
| The weak prime ideal theorem for Boolean algebras simply states:
| |
| | |
| : Every Boolean algebra contains a prime ideal.
| |
| | |
| We refer to these statements as the weak and strong ''BPI''. The two are equivalent, as the strong BPI clearly implies the weak BPI, and the reverse implication can be achieved by using the weak BPI to find prime ideals in the appropriate quotient algebra.
| |
| | |
| The BPI can be expressed in various ways. For this purpose, recall the following theorem:
| |
| | |
| For any ideal ''I'' of a Boolean algebra ''B'', the following are equivalent:
| |
| * ''I'' is a prime ideal.
| |
| * ''I'' is a maximal proper ideal, i.e. for any proper ideal ''J'', if ''I'' is contained in ''J'' then ''I'' = ''J''.
| |
| * For every element ''a'' of ''B'', ''I'' contains exactly one of {''a'', ¬''a''}.
| |
| This theorem is a well-known fact for Boolean algebras. Its dual establishes the equivalence of prime filters and ultrafilters. Note that the last property is in fact self-dual—only the prior assumption that ''I'' is an ideal gives the full characterization. All of the implications within this theorem can be proven in ZF. | |
| | |
| Thus the following (strong) maximal ideal theorem (MIT) for Boolean algebras is equivalent to BPI:
| |
| | |
| :Let ''B'' be a Boolean algebra, let ''I'' be an ideal and let ''F'' be a filter of ''B'', such that ''I'' and ''F'' are disjoint. Then ''I'' is contained in some maximal ideal of ''B'' that is disjoint from ''F''.
| |
| | |
| Note that one requires "global" maximality, not just maximality with respect to being disjoint from ''F''. Yet, this variation yields another equivalent characterization of BPI:
| |
| | |
| :Let ''B'' be a Boolean algebra, let ''I'' be an ideal and let ''F'' be a filter of ''B'', such that ''I'' and ''F'' are disjoint. Then ''I'' is contained in some ideal of ''B'' that is maximal among all ideals disjoint from ''F''.
| |
| | |
| The fact that this statement is equivalent to BPI is easily established by noting the following theorem: For any [[distributive lattice]] ''L'', if an ideal ''I'' is maximal among all ideals of ''L'' that are disjoint to a given filter ''F'', then ''I'' is a prime ideal. The proof for this statement (which can again be carried out in ZF set theory) is included in the article on [[ideal (order theory)|ideals]]. Since any Boolean algebra is a distributive lattice, this shows the desired implication. | |
| | |
| All of the above statements are now easily seen to be equivalent. Going even further, one can exploit the fact the dual orders of Boolean algebras are exactly the Boolean algebras themselves. Hence, when taking the equivalent duals of all former statements, one ends up with a number of theorems that equally apply to Boolean algebras, but where every occurrence of ''ideal'' is replaced by ''filter''. It is worth noting that for the special case where the Boolean algebra under consideration is a [[powerset]] with the [[subset]] ordering, the "maximal filter theorem" is called the [[#The ultrafilter lemma|ultrafilter lemma]].
| |
| | |
| Summing up, for Boolean algebras, the weak and strong MIT, the weak and strong PIT, and these statements with filters in place of ideals are all equivalent. It is known that all of these statements are consequences of the [[Axiom of Choice]], ''AC'', (the easy proof makes use of [[Zorn's lemma]]), but cannot be proven in '''[[Zermelo–Fraenkel set theory|ZF]]''' (Zermelo-Fraenkel set theory without ''AC''), if '''ZF''' is [[consistent]]. Yet, the BPI is strictly weaker than the axiom of choice, though the proof of this statement, due to J. D. Halpern and [[Azriel Lévy]] is rather non-trivial.
| |
| | |
| == Further prime ideal theorems ==
| |
| | |
| The prototypical properties that were discussed for Boolean algebras in the above section can easily be modified to include more general [[lattice (order)|lattices]], such as [[distributive lattice]]s or [[Heyting algebra]]s. However, in these cases maximal ideals are different from prime ideals, and the relation between PITs and MITs is not obvious.
| |
| | |
| Indeed, it turns out that the MITs for distributive lattices and even for Heyting algebras are equivalent to the axiom of choice. On the other hand, it is known that the strong PIT for distributive lattices is equivalent to BPI (i.e. to the MIT and PIT for Boolean algebras). Hence this statement is strictly weaker than the axiom of choice. Furthermore, observe that Heyting algebras are not self dual, and thus using filters in place of ideals yields different theorems in this setting. Maybe surprisingly, the MIT for the duals of Heyting algebras is not stronger than BPI, which is in sharp contrast to the abovementioned MIT for Heyting algebras.
| |
| | |
| Finally, prime ideal theorems do also exist for other (not order-theoretical) abstract algebras. For example, the MIT for rings implies the axiom of choice. This situation requires to replace the order-theoretic term "filter" by other concepts—for rings a "multiplicatively closed subset" is appropriate.
| |
| | |
| == The ultrafilter lemma ==
| |
| | |
| A '''[[filter (mathematics)|filter]]''' on a set ''X'' is a collection of nonempty subsets of ''X'' that is closed under finite intersection and under superset. An '''ultrafilter''' is a maximal filter. The '''ultrafilter lemma''' states that every [[filter (mathematics)|filter]] on a set ''X'' is a subset of some [[ultrafilter]] on ''X'' (a maximal filter of nonempty subsets of ''X'').<ref>{{citation
| |
| | last = Halpern | first = James D.
| |
| | issue = 3
| |
| | journal = Proceedings of the American Mathematical Society
| |
| | pages = 670–673
| |
| | title = Bases in Vector Spaces and the Axiom of Choice
| |
| | jstor = 2035388
| |
| | volume = 17
| |
| | year = 1966
| |
| | publisher = American Mathematical Society
| |
| | doi = 10.1090/S0002-9939-1966-0194340-1}}.</ref> This lemma is most often used in the study of [[topology]]. An ultrafilter that does not contain finite sets is called '''non-principal'''. The existence of non-principal ultrafilters is due to Tarski in 1930.
| |
| | |
| The ultrafilter lemma is equivalent to the Boolean prime ideal theorem, with the equivalence provable in ZF set theory without the axiom of choice. The idea behind the proof is that the subsets of any set form a Boolean algebra partially ordered by inclusion, and any Boolean algebra is representable as an algebra of sets by [[Stone's representation 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 a maximal one. This 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 all prime ideals with a certain [[topology]] and can indeed regain the original Boolean algebra ([[up to]] [[isomorphism]]) from this data. Furthermore, it turns 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. Both approaches are found in the literature.
| |
| | |
| Many other theorems of general topology that are often said to rely on the axiom of choice are in fact equivalent to BPI. For example, the theorem that a product of compact [[Hausdorff spaces]] is compact is equivalent to it. If we leave out "Hausdorff" we get a [[Tychonoff's theorem|theorem]] equivalent to the full axiom of choice.
| |
| | |
| A not too well known application of the Boolean prime ideal theorem is the existence of a [[non-measurable set]]<ref>{{citation
| |
| | last = Sierpiński | first = Wacław | author-link = Wacław Sierpiński
| |
| | journal = [[Fundamenta Mathematicae]]
| |
| | pages = 96–99
| |
| | title = Fonctions additives non complètement additives et fonctions non mesurables
| |
| | volume = 30
| |
| | year = 1938}}</ref> (the example usually given is the [[Vitali set]], which requires the Axiom of Choice). From this and the fact that the BPI is strictly weaker than the Axiom of Choice, it follows that the existence of non-measurable sets is strictly weaker than the axiom of choice.
| |
| | |
| In linear algebra, the boolean prime ideal theorem can be used to prove that any two [[Basis (linear algebra)|bases]] of a given [[vector space]] have the same [[cardinality]].
| |
| | |
| ==See also==
| |
| * [[list of Boolean algebra topics]]
| |
| | |
| ==Notes==
| |
| {{reflist}}
| |
| | |
| ==References==
| |
| | |
| *{{citation
| |
| | last1 = Davey | first1 = B. A.
| |
| | last2 = Priestley | first2 = H. A.
| |
| | edition = 2nd
| |
| | isbn = 978-0-521-78451-1
| |
| | publisher = Cambridge University Press
| |
| | title = Introduction to Lattices and Order
| |
| | year = 2002}}.
| |
| : ''An easy to read introduction, showing the equivalence of PIT for Boolean algebras and distributive lattices.''
| |
| | |
| *{{citation
| |
| | last = Johnstone | first = Peter | author-link = Peter Johnstone (mathematician)
| |
| | isbn = 978-0-521-33779-3
| |
| | publisher = Cambridge University Press
| |
| | series = Cambridge studies in advanced mathematics
| |
| | title = Stone Spaces
| |
| | volume = 3
| |
| | year = 1982}}.
| |
| : ''The theory in this book often requires choice principles. The notes on various chapters discuss the general relation of the theorems to PIT and MIT for various structures (though mostly lattices) and give pointers to further literature.'' | |
| | |
| *{{citation
| |
| | last = Banaschewski | first = B.
| |
| | doi = 10.1112/jlms/s2-27.2.193
| |
| | issue = 2
| |
| | journal = [[Journal of the London Mathematical Society]] (2nd series)
| |
| | pages = 193–202
| |
| | title = The power of the ultrafilter theorem
| |
| | volume = 27
| |
| | year = 1983}}.
| |
| : ''Discusses the status of the ultrafilter lemma.''
| |
| | |
| *{{citation
| |
| | last = Erné | first = M.
| |
| | journal = Applied Categorical Structures
| |
| | pages = 115–144
| |
| | title = Prime ideal theory for general algebras
| |
| | volume = 8
| |
| | year = 2000
| |
| | doi = 10.1023/A:1008611926427}}.
| |
| : ''Gives many equivalent statements for the BPI, including prime ideal theorems for other algebraic structures. PITs are considered as special instances of separation lemmas.''
| |
| | |
| [[Category:Theorems in algebra]]
| |
| [[Category:Boolean algebra]]
| |
| [[Category:Order theory]]
| |
| [[Category:Axiom of choice]]
| |
A calorie calculator is a dieter's right friend. The web has provided those which are trying to lose weight countless free diet tools which can help. The following are simply a limited which could aid you discover what the body mass index is, in addition to provide choices to track the calories.
Kiley's e-book Personal Path to Pregnancy is value purchasing. The cost is far from the cost is to go see a doctor. The e-book costs lower than thirty five dollars plus in case you may be not content with it she may give we a refund, a thing healthcare experts do not give! Kiley offers 9 free bonuses together with a baby names list, bmi chart, how to exercise and techniques to avoid stretch marks. She delivers we with many secrets regarding how to conceive plus considering it's all-natural there isn't anything to get rid of. Doctors do not give this info because their practice is medication hence they naturally lean to medications as an answer. Beth helped a lot of couples plus those persons have given their own reviews regarding their ordeal. This is well-worth the opportunity.
He asked me for advice, which I was over happy to provide. A year later, Jim has not only lost many bmi chart men pounds, and felt greater and more energetic. He is now not only capable to sleep correctly and do his standard escapades without a problem. He is always full of stamina plus enthusiasm!
The chart given earlier was for men above the age of 20 plus beneath the age of 60. However, men above the age of 50 could make a note of the fact which, irrespective of the body frame sort, it is actually important for you to reduce on the fat element of your weight. This can help in protecting we from age-related fat disorders, heart ailments plus other health issues. The BMI (Body Mass Index) is a good technique of finding out what the perfect weight range is, or should be. A BMI range of 19 to 25 is considered to be healthy. Anything above 25 would place you in the obese category.
Having sex utilizing the missionary position assist to receive pregnant- the time-proven 'man-on-top' position works with gravity to motivate semen flow toward the uterus to maximize the chance of a sperm uniting with the egg and causing conception. One of the associated best tips on getting expecting is -- after ejaculation, the woman may stay on her back with her legs bent a limited minutes to further maximize semen flow toward the uterus.
More direct evidence showing the guy needs is research where topics have been rating photos of real people. Men found in bmi chart women this kind of research that females with ratio of .70 to .71 were greatly more appealing than women with ratio of .73 to .74 (Rempala & Garvey, 2007). Similar finding has been found in many research. For instance it has been found that not only do men prefer a Waits-to-Hip ratio around .7, but they also have a strong, non-linear, preference based on female BMI (Body mass index). The most desirable bodies had Waist-to-Hip ratio about the perfect range of .7, however, the desirability was dependent on BMI (Tovee et al, 1999).
Adding Miles: SLOWLY! Use the 10% rule. Add no over 10% increase of the mileage each week. Here's more detailed explanation plus chart from FitSugar.
These are some questions I think that are value asking ourselves if you plan to start a diet this spring. Selecting a "realistic objective vs. an idealistic" 1, would lead you to more success, brief term plus lengthy term. What do you think? Now, a tool of my system is "Support is Key, Surround Yourself", so 1 method to receive more help is to partner up with a fat loss buddy, thus only click here and receive started www.weightlossbuddy.com. You'll find many credible information plus more support!