{"entities":{"Q1115958":{"pageid":1126707,"ns":120,"title":"Item:Q1115958","lastrevid":66158649,"modified":"2026-04-12T07:56:40Z","type":"item","id":"Q1115958","labels":{"en":{"language":"en","value":"Codisjunctors and singular epimorphisms in the category of commutative rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4087891"}},"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":"Q1115958$0CD93140-0EBA-4CE3-BE5D-26129609E583","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5df315fece2663497b52e1eaa3f2810ae5f2f902","datavalue":{"value":{"text":"Codisjunctors and singular epimorphisms in the category of commutative rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1115958$9F63A7B0-FCBC-4FAD-834B-2E37B0FD7531","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfbcab804a29caa1b9687e1098c36df64358d5d8","datavalue":{"value":"0665.18008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115958$441420ED-69DD-478F-A6EE-645F3A20CDFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fe53455c15b353d58fc6255d79564a66acadfea","datavalue":{"value":"10.1016/0022-4049(88)90011-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115958$D939C207-BB96-4004-9CCA-F2FB1A850635","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115958$E06492AD-40E6-42C7-BDB8-063F5EF68CB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1115958$0DF7C2D9-7583-4AEC-A71E-78045ED76490","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4e084802a7cf4442a13927e9fb91d378fd356933","datavalue":{"value":"In this paper, the author presents a new universal construction of objects of fractions, a.o. in the category of commutative algebras. The starting point is the notion of codisjunctors. A pair of morphisms (g,h): \\(C\\rightrightarrows A\\) is codisjoint if any morphism u: \\(A\\to X\\) with \\(ug=uh\\) has as its target a final object. If (fg,fh) is codisjoint for some pair (g,h): \\(C\\rightrightarrows A\\) and some morphism f: \\(A\\to B\\), then one says that f codisjoints (g,h). Finally, a codisjunctor of (g,h): \\(C\\rightrightarrows A\\) will be a universal morphism which codisjoints (g,h); if such a codisjunctor exists, we say that (g,h) is codisjunctable.    In the category of commutative rings with unit, one extends the terminology to ideals of a ring R by identifying an ideal I with the pair of canonical projections \\((r_ 1,r_ 2): R\\rightrightarrows A\\), where R is the congruence relation modulo I on A. In this category, it is thus clear that one may restrict to the study of codisjunctable ideals and their codisjunctors.    One may then prove that any projective ideal of finite type I of A is codisjunctable and has as a codisjunctor the canonical localization morphism \\(A\\to \\lim Hom_ A(I^ n,A)\\), where the second member is just the localization of A at the I-adic Gabriel topology. The author also shows how this result may be extended to so-called n-projective ideals. In fact, he proves that an ideal of finite type with zero annihilator is codisjunctable if and only if it is n-projective for some integer n. Moreover, it appears that an A-ideal I is codisjunctable exactly when the open set D(I)\\(\\subset Spec(A)\\) is affine. If one calls singular epimorpism a morphism which is the codisjunctor of an ideal, then one may show that these are just the epimorphisms f: \\(A\\to B\\) which make B into a finitely presented flat A-algebra, i.e. the ``rings of quotients'' of A. In the final part of the paper, the author shows how these notions may be generalized to sets of pairs of morphisms (g,h): \\(C\\rightrightarrows A\\), thus defining the notion of simultaneous codisjunctor. Using this, he essentially proves that all perfect localizations of a ring (in the sense of Gabriel) may be recovered as a simultaneous codisjunction.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115958$A8FBABCB-9B91-4910-973E-3F6A1983966E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7ddebf8c8a4928c353a78df10d1486bfa8c1128","datavalue":{"value":"18E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115958$15C93AA6-1DC1-4A96-8A68-98EFC8758354","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9eefb4d4d59403fef46f03348d8d122e6cace5b","datavalue":{"value":"4087891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115958$19AE3BC6-C3D0-45C8-A67E-F7C0DB511F90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e31314bcbb6625f7fa32d5ba9f9037595a73fce","datavalue":{"value":"universal construction of objects of fractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115958$8DFE2FFC-A6E2-46F0-B89B-ACACE0481891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9154d41436e418a4757186616ebbbf93d9e2e1cf","datavalue":{"value":"category of commutative algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115958$863DFA16-1285-457D-9FF8-84C1873429E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a6b4b406a61b14e4a18985261ac7f687798eec5","datavalue":{"value":"codisjunctors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115958$560138C3-19C4-4536-B054-7FC971856985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5032cfb2e1bef20090d17b26cc0d858f7b8c7ed7","datavalue":{"value":"codisjunctable ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115958$43CBC710-D97F-459E-9440-48EB9C722E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f1f4078f0a5ed581535194850d476e40bf20b4b","datavalue":{"value":"projective ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115958$4FF4A799-5156-43CC-934D-AC731DE674AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3375ef28ed4c201d3743f1814cb3cd3ea274fcf9","datavalue":{"value":"canonical localization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115958$B300721C-5D2B-477A-A039-4D80C3BED252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c453b8e029d6296b7f5f546f8be962fd196499","datavalue":{"value":"Gabriel topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115958$FCF5DD8D-E3F5-47B1-B803-CB35A4436CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2010df87b38a3da18acb2278b07955ee86d7d02d","datavalue":{"value":"rings of quotients","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115958$327146A0-9C21-402D-A637-88BB4D8679AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f97282c6b57b5d727136f170e714d70c7fddb668","datavalue":{"value":"perfect localizations of a ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115958$CE9BE9C2-64D9-44B2-BB05-74074D8A78F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"018ede3623e17924bf8ebba12d9de61192a57739","datavalue":{"value":"simultaneous codisjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115958$086546CA-7611-4491-9395-254C86A947FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d1a884433738438119179bbcf6e866344431af9","datavalue":{"value":{"entity-type":"item","numeric-id":171472,"id":"Q171472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115958$C60B8851-041E-44DB-8356-985B4B25EA0A","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":"Q1115958$E4ABE8B5-BA59-40EA-BFBD-9BE6F33D8B96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b43c14a7995facc4a4914042359c240fc733864","datavalue":{"value":"https://doi.org/10.1016/0022-4049(88)90011-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1115958$E40FF859-6598-439A-96D7-7B1F96862AD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a4f892e0017c113038acca9b98d75acd2885b45","datavalue":{"value":"W2083055197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115958$52B2DD0C-2C16-4D13-A886-70F056AFD874","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"646445c852cc6184e74949a18b1edbe8813ee4ef","datavalue":{"value":{"entity-type":"item","numeric-id":3843687,"id":"Q3843687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115958$91C7CD32-5C8C-4C21-BD6F-B5C2BC5CD191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1031e554e647ce696bfbf84e632d7d6883dc684e","datavalue":{"value":{"entity-type":"item","numeric-id":5184153,"id":"Q5184153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115958$D5633C43-C2BE-4C2A-BE83-491741810CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815b7780c70ca044c62c886c4fabfe429c52551f","datavalue":{"value":{"entity-type":"item","numeric-id":5602063,"id":"Q5602063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115958$D2F5116A-13FB-4276-A880-CC4238CBD1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115958$1484B531-6F5B-48A5-BE25-EECCABA19D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b655e10adece4be9f829cd3f7fb37c7b5083423b","datavalue":{"value":{"entity-type":"item","numeric-id":2544197,"id":"Q2544197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115958$805BAE4B-D5B8-481A-A0EE-C54466445095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce18383aa0fb35992209892ecc8afc0d8f83ea5d","datavalue":{"value":{"entity-type":"item","numeric-id":4049223,"id":"Q4049223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115958$AF1A9A05-7943-49D3-8AB9-0CBEC12CADA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b88a92c024813d4bb7c0ac66cd23308dbac74be","datavalue":{"value":{"entity-type":"item","numeric-id":3029164,"id":"Q3029164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c3b7e8a6099eb4bc05e6372607364102e175d56","datavalue":{"value":{"amount":"+0.8236762285232544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115958$19D1D4DA-22CE-476E-B541-4C86FC80E721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2e3610832cd7c83c2fdebcdb75313717cc1c4d","datavalue":{"value":{"entity-type":"item","numeric-id":2015823,"id":"Q2015823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac645e3fb79c7d83f1bbfdd6e442e566a608826","datavalue":{"value":{"amount":"+0.695584237575531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115958$AA1474D8-2ADF-4B49-BD6C-1D54BFC74E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9502d2c84118a93082fecdb746c533c04fce7ac","datavalue":{"value":{"entity-type":"item","numeric-id":2747158,"id":"Q2747158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6903825c22933e42313e1b0bf81338f2574592af","datavalue":{"value":{"amount":"+0.6904296278953552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115958$C7D7244F-3E15-4866-807A-BB4D3C471854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a02f14527674255ffd2893f580c8ea4edd8105bc","datavalue":{"value":{"entity-type":"item","numeric-id":3142381,"id":"Q3142381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab8fb1d9284efc274dd569f7e3d64eb16a90ec2","datavalue":{"value":{"amount":"+0.6859624981880188","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115958$9DDF7678-6095-4CA4-8391-93FA66BCCBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"746d1006651a36f35a2030b784d9561fac43277f","datavalue":{"value":{"entity-type":"item","numeric-id":4306403,"id":"Q4306403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7807bb17004b0b66ef7d2df3a3410a13843f0c1f","datavalue":{"value":{"amount":"+0.6828793287277222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115958$5C40E1F8-5703-49D1-88B4-2E336C7A3D99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Codisjunctors and singular epimorphisms in the category of commutative rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Codisjunctors_and_singular_epimorphisms_in_the_category_of_commutative_rings"}}}}}