{"entities":{"Q1840722":{"pageid":1851464,"ns":120,"title":"Item:Q1840722","lastrevid":43365539,"modified":"2025-07-25T03:46:43Z","type":"item","id":"Q1840722","labels":{"en":{"language":"en","value":"Prime ideal theory for general algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1563339"}},"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":"Q1840722$FF025885-70BD-49B4-AB4F-FFC009E83E9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"396cdbeafa0529f3fd82e93c9ca261dac28c82c2","datavalue":{"value":{"text":"Prime ideal theory for general algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1840722$E3921F93-38D5-4C9B-88E3-D68D465F323A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff1be5679b6c5a4bc7377acd9eeb7cee49603e1f","datavalue":{"value":"0980.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840722$BFA2F172-C14F-4939-B1CE-94DDCEF7F8FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"709b5b1d29869c74aaececfb5667e0685663a9eb","datavalue":{"value":"10.1023/A:1008611926427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840722$B029F519-43CE-428D-92F6-2D865182FEC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34ff7be87eb315c398cc9af993f51d5ac847e431","datavalue":{"value":{"entity-type":"item","numeric-id":171474,"id":"Q171474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840722$E28AB87C-E438-4633-BDF7-271EB471578F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840722$4F3C049D-6A79-4A7C-9C7F-CB46165989BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"850a13e887cb62fbfd1afa1a3e219c0532d66719","datavalue":{"value":{"time":"+2002-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1840722$576C1F30-6C64-47CB-8D88-11321469B185","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"27a5521b30efd4a918f31f2e9f8e32fecf51c4f8","datavalue":{"value":"We may be given collections \\(\\mathcal A\\) and \\(\\mathcal B\\) of subsets of a ground set \\(G\\) (endowed with a relational and/or a topological structure). Given any two disjoint sets \\(A\\in \\mathcal A\\) and \\(B\\in \\mathcal B\\) we want to extend \\(A\\) to a member of \\(\\mathcal A\\) whose complement belongs to \\(\\mathcal B\\) and contains \\(B\\). If this is always possible, the members of \\(\\mathcal A\\) are called totally separated from those of \\(\\mathcal B\\). Statements of this kind are called separation lemmas. We assume that \\(\\mathcal A\\) is a set-theoretical closure system. A subset of \\(G\\) is called prime if its complement belongs to \\(\\mathcal B\\), and semiprime if its complement is a union of sets in \\(\\mathcal B\\). In algebraic contexts where \\(\\mathcal A\\) consists of certain ``ideals'', separation lemmas or the corresponding intersection theorems are also called prime ideal theorems.   The author introduces ideals, radicals and prime ideals in arbitrary algebras with at least one binary operation and shows that various separation lemmas and prime ideal theorems are special instances of one general theorem that is equivalent to the Boolean Prime Ideal Theorem (or the Ultrafilter Principle).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840722$19F2748A-6B4E-41E8-A277-30CF432459A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840722$975F077B-B02F-4E26-8D68-17A3E587E450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840722$D2F93A26-909A-4CB1-BB47-CFDCC143DE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"453fe1dd0f19a593316433cff78f121387fddd0a","datavalue":{"value":"20M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840722$3F834CEA-947A-470E-936E-C3A9B6FA6BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd59591ac458d98e298f60df52c07d4629bab667","datavalue":{"value":"20N02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840722$D865DF9E-B4A2-44A6-B097-C58518DFDC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840722$57D5A939-26EC-4465-B153-5BA1183FDC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"47e1a76346c3f0861ebe3dd0798b95e071f9f920","datavalue":{"value":"16D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840722$978650AE-E75B-45BE-ABE7-D04932DC57EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a49899e4e8d29d10363e7714473220074d83edc","datavalue":{"value":"16N80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840722$138D0DD2-FEC3-428B-8DA7-8C5B6FC8AA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b0dfbca684e9cff83a5492e66db91979e8d33ff5","datavalue":{"value":"17A65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840722$13B00C5D-98A8-4D0E-8032-2B3E331B7C36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1320907991b542e7b3299f6829cf7d8b2b700122","datavalue":{"value":"1563339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840722$48731822-B986-4AAD-B882-4613EC92D52C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faa2ca824c0b6c14b5c62f5c9a9ceaaa94c4b5ec","datavalue":{"value":"separation lemmas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840722$F245B71F-935F-4E13-8669-E2AEE4B147BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b24dbe0e7f5f3142d26bc23884a6076fef802765","datavalue":{"value":"prime ideal theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840722$B130C9D9-C7DB-4CB2-A844-68D6375FD868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a5ebd5e236ba33db72a2ed78890c10ff5ea5c4d","datavalue":{"value":"radicals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840722$14A046A2-1CF0-48B8-A157-36B43E0B3BD2","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":"Q1840722$B8695BE7-3B20-422E-9428-3890F255E598","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f08c0c48587e80c15d894245156f88546843a1a2","datavalue":{"value":"https://doi.org/10.1023/a:1008611926427","type":"string"},"datatype":"url"},"type":"statement","id":"Q1840722$2A760E61-0E96-4D25-BDC5-32B00B90F18D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b20297f2edc82ed92db24478bd40dac91b74a381","datavalue":{"value":"W4234033639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840722$1B3DEA8A-9E4B-4FE2-B14A-42B424AABAEF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"acbed7527ac6e3b58bce67231ffacaef7d3e7ab6","datavalue":{"value":"Q56225316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840722$7682037A-408A-4364-A581-02B866768C68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"041dee1ce7532e95402108a282f9d653f9606b45","datavalue":{"value":{"entity-type":"item","numeric-id":3216715,"id":"Q3216715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee359b735dda538ac48ecba3011e5303357e5df8","datavalue":{"value":{"amount":"+0.95320356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840722$F21A6CA6-973B-4C5D-B148-FB2F4BABC02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d05e6ac043380a660e1efb86c6de656a1ea9893","datavalue":{"value":{"entity-type":"item","numeric-id":5456519,"id":"Q5456519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1222bd4d34e35ae07aa3128bab2489dd87045ea","datavalue":{"value":{"amount":"+0.9423664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840722$7A0B6D65-CDB5-4515-B349-EAE210BA82C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"482249e6200dfa0b0ea729d92f6b3623e03d6349","datavalue":{"value":{"entity-type":"item","numeric-id":2888544,"id":"Q2888544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38ef7120efbe8ea7bc738033670929eac8e8ff1b","datavalue":{"value":{"amount":"+0.940858","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840722$B3331143-1ECA-4140-979C-D6F09F0E06D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b825b865daf59d34253b1f9f436e01f91de59b13","datavalue":{"value":{"entity-type":"item","numeric-id":3033803,"id":"Q3033803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5bb7a51291d97529e59bbf29a9409967e46ff45","datavalue":{"value":{"amount":"+0.93887043","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840722$F60BA3EC-FF22-4B41-A009-871B0173A3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feda9cc06640e5466d9b9401fb2ff4b2063db036","datavalue":{"value":{"entity-type":"item","numeric-id":3986879,"id":"Q3986879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"174276c4af407ff9684e1d2c1698089779ec6cff","datavalue":{"value":{"amount":"+0.93799204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840722$8F53BCC8-4C93-4DC2-8941-AAC5C62E41A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea5fa6d600e30574ae9b80a43c47fcf366a832e","datavalue":{"value":{"entity-type":"item","numeric-id":3843611,"id":"Q3843611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60582e8f234769403e05d9382ae169b78e91dccf","datavalue":{"value":{"amount":"+0.9359889","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840722$3BC95D80-F6CC-4E52-9F86-E682B018E5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c0acc276656f1edd6140a895d16244ed83b77f5","datavalue":{"value":{"entity-type":"item","numeric-id":1769495,"id":"Q1769495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d723ffa57b8172aea17ff9de25e11e8a47a65d00","datavalue":{"value":{"amount":"+0.93269145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840722$B5AA3083-730C-4249-945C-3A4F6FF6E2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44503ea9c100c4ca8e8e3ffd6e8267d4b0c1c09d","datavalue":{"value":{"entity-type":"item","numeric-id":5420834,"id":"Q5420834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"213a5c83690d052b80fa50d4af0a682f7ad48da3","datavalue":{"value":{"amount":"+0.9313796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840722$F379EBBF-0DF6-4C8D-8ED6-84403913005B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"879cb8e1c73d6459799967769d0406855ca6182e","datavalue":{"value":{"entity-type":"item","numeric-id":926853,"id":"Q926853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e712436ab640eed6d7663f44235438dd04a9b35e","datavalue":{"value":{"amount":"+0.92653537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840722$A885A855-0CE3-455E-B33D-161779341EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7af49527e579bf2a259c39a8847b4ada5248748a","datavalue":{"value":{"entity-type":"item","numeric-id":3792825,"id":"Q3792825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf427822191ebf02a5f66fc1390eac8434f4acb","datavalue":{"value":{"amount":"+0.92604864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1840722$6314789F-3C3E-4388-85F7-0A7CED4DA98B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1840722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1840722"}}}}}