{"entities":{"Q645195":{"pageid":647043,"ns":120,"title":"Item:Q645195","lastrevid":78399677,"modified":"2026-05-06T11:30:08Z","type":"item","id":"Q645195","labels":{"en":{"language":"en","value":"\\(pm\\)-rings and the prime ideal theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5969484"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645195$92AC1733-D454-4B75-B10E-D9076CDA398B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a746084b10e4e528bac4f01305e235893584e22","datavalue":{"value":{"text":"\\(pm\\)-rings and the prime ideal theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q645195$C053DF55-701C-42B7-A3B0-0F5ADCA8C8E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9b5db664e83633b4deb8a6ed68941ef96da625f","datavalue":{"value":"1231.13022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645195$3C722785-2D56-415C-82C8-04CBC2E00A4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645195$2FA60298-7149-429B-8309-2BF4D24056C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97a2a7f718152fb114133f4e0547b811f82bed7b","datavalue":{"value":{"time":"+2011-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q645195$2703074F-CE8C-40C5-AA52-C64B1A9CBB18","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"54e15b6657298c45f8ca3bee6524c20554165608","datavalue":{"value":"A commutative ring \\(A\\) with unit is a \\textit{\\(pm\\)-ring} if every prime ideal of \\(A\\) is contained in a unique maximal ideal. These rings, originally introduced by \\textit{G. De Marco} and \\textit{A. Orsatti} [Proc. Am. Math. Soc. 30, 459--466 (1971; Zbl 0207.05001)], constitute a natural class of abstract rings that capture many features of the concrete rings of continuous real-valued functions on topological spaces. On the other hand, a \\textit{Gelfand ring} is a commutative ring with unit in which \\(a+b=1\\) implies that \\((1+ar)(1+bs)=0\\) for some \\(r,s\\).  In an earlier paper [Arab. J. Sci. Eng., Sect. C, Theme Issues 25, No. 2, 3--22 (2000; Zbl 1271.13052)], the author of the paper under review had shown by methods of pointfree topology that the Prime Ideal Theorem (PIT) is equivalent to the statement that every \\(pm\\)-ring is a Gelfand ring, whereas the converse holds without any choice principles.  In the present note he provides direct, purely ring-theoretical arguments for these facts. The clue is the observation that an idempotent-generated ring with torsion-free additive group cannot be Gelfand and must therefore contain a prime ideal (without appealing to the PIT); and that any Boolean algebra can be embedded into the Boolean algebra of idempotents of a commutative unitary ring with torsion-free additive group.  By similar methods, it is shown that the \\textit{weakly Gelfand rings}, defined by the property that for maximal ideals \\(P \\neq Q\\) there exist \\(r \\notin P\\) and \\(s \\notin Q\\) such that \\(rs = 0\\), are exactly the same as the Gelfand rings if and only if the Axiom of Choice holds.","type":"string"},"datatype":"string"},"type":"statement","id":"Q645195$415CFAB2-DD61-4462-A42C-ACB1006158C0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b7a94eb553ebb471d21cd9342e2b92f55c9f564","datavalue":{"value":{"entity-type":"item","numeric-id":283254,"id":"Q283254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645195$49BB8D9F-95F4-4BF7-B6B7-26501F82591D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e2aa5b7e34e0c988d04ecf732a3cd8c9233b11e","datavalue":{"value":"13L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645195$7E20D800-DD23-4FB8-821D-0AF1E1A736FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645195$230FDD4D-2871-46F2-9F57-5A14FF4EE6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"166e4a51e7ace285a8ef92be39da2625c5914749","datavalue":{"value":"54C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645195$FC7A8A99-66B3-433D-A7D6-955424FC5E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39fcd47c2eb394bec253b19621381acc48f5cc6a","datavalue":{"value":"13J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645195$EE915654-8A16-4197-A19C-C08737A57906","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a082dad1a01f61630e0b0dd253f2a608d63b844","datavalue":{"value":"5969484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645195$E272FE2F-4E4C-4C74-AFC0-C99D2ED5B9C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cb327b0e273c6ee923fb99297a122bcd30525f7","datavalue":{"value":"\\(pm\\)-ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q645195$B3B0F7F7-4CC4-4B11-ABEE-2BF8AE9E5866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c01c0498bcfd48f901731f8506670b53b86c94ab","datavalue":{"value":"Gelfand ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q645195$E27CA314-27C2-4298-ACBC-ED575C752CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72f73c1723a323eb08fef0fd2759b7b5eaab4e48","datavalue":{"value":"weakly Gelfand ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q645195$49C53C73-F1CC-47E2-AC7A-A6AE852BDA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fc878f3e1e5094828b0406c38d39437fc49bb3","datavalue":{"value":"Prime Ideal Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q645195$4C2514C7-19BF-4830-8CA1-5F076A7313EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239216dd3f19405bd19cf971fd1804855225f4ca","datavalue":{"value":"Axiom of Choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q645195$A77FD2B8-9143-4487-80FB-8D19E4C2BE53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0515b5421feff2368cf40870c6ca8619e9feca7e","datavalue":{"value":{"entity-type":"item","numeric-id":168346,"id":"Q168346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645195$C7F2B64C-810C-4E87-B941-AC4E8CF69FE2","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645195$2BDFDE99-2C84-4E34-BE87-1D63E2999A13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c98e6301d5c6bd0784d39681b746e46d5f1fc60","datavalue":{"value":"https://doi.org/10.1016/j.topol.2011.03.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q645195$C7E5875B-5380-426C-A77C-8B1D56E86E41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16a55e99bc64e3613dd5ee61a7389ff830c5dfc8","datavalue":{"value":"W1967782709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645195$02580BBD-52C7-4B81-9891-B28678A00490","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f59f6e61786b554b201de373de00dd23ebca77","datavalue":{"value":{"entity-type":"item","numeric-id":3674642,"id":"Q3674642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645195$1246DBAD-B144-45B9-B1B2-3F66B945EFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"696263b9331b60f751c133829d9cc9d5bde24c43","datavalue":{"value":{"entity-type":"item","numeric-id":4315323,"id":"Q4315323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645195$D263C274-34F4-4B85-A085-10BA812C608D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a693970e4df55030e09d1f1943febc7c20486e","datavalue":{"value":{"entity-type":"item","numeric-id":2847611,"id":"Q2847611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645195$5B104847-5BA9-4630-9AA6-373A0EC7F1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fa1bdd76aa52b4672279ce39f39fbac3b89d338","datavalue":{"value":{"entity-type":"item","numeric-id":5607299,"id":"Q5607299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645195$148138AF-8053-44F1-9EBF-1ECA2C739D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b87a358fb9874225423c0bd3ce0f16ad5a8790","datavalue":{"value":{"entity-type":"item","numeric-id":2651113,"id":"Q2651113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645195$6E45598B-5EEC-452D-9C3D-33976E498B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645195$DE363087-727C-4F3A-9C31-F4D8AAE8A481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4427f868bdfc3b44e551b90e4099e9432a9bf39c","datavalue":{"value":{"entity-type":"item","numeric-id":1171117,"id":"Q1171117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645195$09DD2215-FD72-48FC-8FEE-F4B37A10D1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e579c4500b333b842bd93e01e2a528d03a44a374","datavalue":{"value":{"entity-type":"item","numeric-id":4132534,"id":"Q4132534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645195$D7520EA1-8B16-436C-ADE7-A1D80BA2741B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a713eb4915fae749dc757038f0ec414572d49e2f","datavalue":{"value":"10.1016/J.TOPOL.2011.03.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645195$870047F7-15A1-4FD1-A903-D217F7D14E53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326b224e938eb596a5017b7fed25740eb30c4a86","datavalue":{"value":{"entity-type":"item","numeric-id":3993944,"id":"Q3993944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb0aade6bb260cf6f0c0113f55b288db546b627","datavalue":{"value":{"amount":"+0.7094382","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q645195$473DB0A9-65A1-476E-908A-00FD10B8A6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e6a8c34c9524419e6c83b8ac04b39d524522582","datavalue":{"value":{"entity-type":"item","numeric-id":1192258,"id":"Q1192258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ccf8605f95b1b399ae60e78d616671b317fc858","datavalue":{"value":{"amount":"+0.7034664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q645195$C680C9D0-476D-4FA0-9F94-B30D34F9E1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bad0f4cfac734a70d315509d8dec90b8386c0c6","datavalue":{"value":{"entity-type":"item","numeric-id":5489262,"id":"Q5489262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c229e17c9b7ee7a0b803ed8e0c6a1c6b001bfc60","datavalue":{"value":{"amount":"+0.6788301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q645195$00B7BDD0-35E4-40A4-A42F-AC4A69F7FAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58711a7d470a8b3403579ba8591d70beeb038e9e","datavalue":{"value":{"entity-type":"item","numeric-id":3335872,"id":"Q3335872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5863e248ef5903f8895474a92c3f4eeacad8de6","datavalue":{"value":{"amount":"+0.6642144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q645195$7C6DC99C-BBC2-493D-99CC-9EA227C537CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"062e616de66c2abb19fa45e91d10c25c2ae82552","datavalue":{"value":{"entity-type":"item","numeric-id":3712419,"id":"Q3712419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29075d05750c8898908804d03db409b38773a70","datavalue":{"value":{"amount":"+0.66290796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q645195$FD3573C6-6D6A-4127-B000-9D55E8A9D3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52636ba182a73c1a2946cae684b341aaa31749bf","datavalue":{"value":{"entity-type":"item","numeric-id":1415178,"id":"Q1415178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e28b883e63fe68c1afcfb285652693bb7e23c2f","datavalue":{"value":{"amount":"+0.6614983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q645195$E8CDF47F-6FE0-4D2A-A1D2-85908E40C3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d10efb53101821a4172d83aefef4cb18b4ed3dff","datavalue":{"value":{"entity-type":"item","numeric-id":4414329,"id":"Q4414329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d23f2510ac062ea460de5ecafdb492f08c73789","datavalue":{"value":{"amount":"+0.65459466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q645195$4F746504-072D-43E7-875F-A55147C2C982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6305a5cd1162bcd972eb93367a61f9a78fd75ba8","datavalue":{"value":{"entity-type":"item","numeric-id":793128,"id":"Q793128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c5a950de4f4781361afbd1324ca1f10ffe97976","datavalue":{"value":{"amount":"+0.6418636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q645195$7C59F840-886D-4510-BB36-508F12EE4B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93d2f46d2a5ec0bad0160c5779b28a4fa852865b","datavalue":{"value":{"entity-type":"item","numeric-id":1439238,"id":"Q1439238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"931cb972c29d776725636257b2804c1b19a8bc74","datavalue":{"value":{"amount":"+0.6415844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q645195$C8E11D77-357B-4087-B977-DFBF87E1B1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c74334470438b806f2a17bac057eae6ae89564f0","datavalue":{"value":{"entity-type":"item","numeric-id":5607299,"id":"Q5607299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfbb764f93cf83c58b652d444159b3bab67d3ba4","datavalue":{"value":{"amount":"+0.6415112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q645195$599CC153-3BCD-483F-BDD3-CC7004BF8F60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(pm\\)-rings and the prime ideal theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(pm%5C)-rings_and_the_prime_ideal_theorem"}}}}}