{"entities":{"Q874853":{"pageid":876701,"ns":120,"title":"Item:Q874853","lastrevid":65007303,"modified":"2026-04-11T23:41:26Z","type":"item","id":"Q874853","labels":{"en":{"language":"en","value":"Congruences on additive inverse semirings."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5141459"}},"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":"Q874853$BD9B63EC-8C9B-4F90-92B8-2CB5756866B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"226db332ead73a47fbfd711d622f22e65fcdcd89","datavalue":{"value":{"text":"Congruences on additive inverse semirings.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q874853$A7B022B6-2879-4525-9328-0F97CC414252","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61bf7d4b3281e97bcdb7d53b62f15d0e086ad3bf","datavalue":{"value":"1122.16040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874853$CD45933F-BEF7-4A90-849B-7A4A3D5F6196","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab8416287c855d0eae8ce4f3476aeffd1bd89509","datavalue":{"value":{"entity-type":"item","numeric-id":485408,"id":"Q485408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q874853$F0420162-13A0-4DF4-A6FD-6D7F17D1E48C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b69937174cb511278b81023a5b2696450fbeee7f","datavalue":{"value":{"entity-type":"item","numeric-id":171286,"id":"Q171286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q874853$A850C9DB-D618-4FA9-8709-45C2B833B307","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7130f17776024677519259de1aa3e6f876677651","datavalue":{"value":{"time":"+2007-04-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":"Q874853$496D39B8-C10C-42E1-8B6F-1EA3E3889643","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ad5e7d372cf8ae96345b9df951e0414216ded046","datavalue":{"value":"An additive inverse semiring [skew-ring] is an arbitrary semiring \\((S,+,\\cdot)\\) such that \\((S,+)\\) is an inverse semigroup [a group]. For \\(E^+(S)=\\{a\\in S\\mid a+a=a\\}\\) and any congruence \\(\\varrho\\) on \\((S,+,\\cdot)\\) define \\(\\varrho_{\\max}=\\{(a,b)\\in S^2\\mid ae\\varrho be\\) for all \\(e\\in E^+(S)\\}\\) and \\(\\ker\\varrho=\\{a\\in S\\mid a\\varrho e\\) for some \\(e\\in E^+(S)\\}\\), and denote by \\(\\varrho^{\\max}\\) the greatest congruence on \\((S,+,\\cdot)\\) saturating \\(\\ker\\varrho\\). A completely regular semiring \\(S\\) is called a generalized Clifford semiring [a Clifford semiring] if it is an additive inverse semiring such that \\(E^+(S)\\) is a \\(k\\)-ideal of \\(S\\) [and a distributive lattice].   Now, let \\((S,+,\\cdot)\\) be an additive inverse semiring such that \\((E^+(S),\\cdot)\\) is a semilattice, and \\(\\varrho\\) a congruence on \\(S\\). Then the following statements are equivalent: (i) \\(S/\\varrho\\) is a Clifford semiring; (ii) \\(S/\\varrho_{\\max}\\) is a distributive lattice and \\(S/\\varrho^{\\max}\\) is a skew-ring; (iii) \\(\\varrho_{\\max}=\\varrho\\vee\\nu\\) and \\(\\varrho^{\\max}=\\varrho\\vee\\sigma\\), where \\(\\nu\\) is the least distributive lattice congruence on \\(S\\) and \\(\\sigma\\) is the least skew-ring congruence on \\(S\\). A similar statement is proved concerning generalized Clifford semirings in (i).","type":"string"},"datatype":"string"},"type":"statement","id":"Q874853$503541EA-1741-4967-A4C2-CE7E951B4BBF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"25d14f9be0f112f56e2e224659a17e1e16a871a7","datavalue":{"value":{"entity-type":"item","numeric-id":213088,"id":"Q213088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q874853$F9B2743F-E933-4922-8091-E4874BF41A88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874853$21CFF02E-6C11-4BA3-81D9-AF4502E1CFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874853$8CF0D521-E7F7-4351-9F63-EBD1714D9E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874853$93850B8A-489A-4AFE-86C2-AE6891D258E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56d717574b4952067f503e42fbf30c13f201ec5b","datavalue":{"value":"5141459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874853$5CCAC681-BE51-4D58-BC67-2AE56D413751","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"823cd1bd593783a1c01314e69458d96b749be4b8","datavalue":{"value":"additive inverse semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q874853$D88FECE7-6295-470E-9ACF-98FC8020ADBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a978916c3d2d735a3a196669c000a71e09e37e35","datavalue":{"value":"skew-rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q874853$1C031B8C-DA39-47CC-A25E-30C1852EDAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"137f0a7be36b7390b7e71a68ca52bee36cf9940d","datavalue":{"value":"generalized Clifford semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q874853$07AA3380-4A62-4B56-B179-676D721FF092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab192cf55cc9112cd34e45bf88b51676c674292c","datavalue":{"value":"normal congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q874853$9A3A6780-5728-4C8F-AE9C-D60080DF0153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38522338bb8b3d74aa7bf5f415376031db2d0ef5","datavalue":{"value":"congruence pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q874853$9881E2F3-D05D-4479-A07D-F33BC9A9593F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e853236f9876385b918640f2d82828d587f18c5","datavalue":{"value":"kernel normal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q874853$1DA2F10B-8060-4813-83D2-90C47B30763D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a6469559583fc59bd625434aa5d9b0dc35201e","datavalue":{"value":"lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q874853$B32DDA30-991B-4D69-83DB-49E45CF60C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b1c86e67f90f6e01b399ed349a19aaf19d06e1","datavalue":{"value":"completely regular semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q874853$5756A15C-A418-47CA-A502-FC08F538F7E4","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":"Q874853$13A6AE35-69EE-4E00-955C-C38806069A28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"054551544302a22f06185a50ba70b576eb66827f","datavalue":{"value":{"entity-type":"item","numeric-id":3191777,"id":"Q3191777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50f1eba5cd004c5015f376450f3e531cd8130e1a","datavalue":{"value":{"amount":"+0.9755361","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":"Q874853$C367F391-5524-4E4E-937C-DF90FA5741B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcdf0d5aec599cdbb6c705ec828de92d0dd050d9","datavalue":{"value":{"entity-type":"item","numeric-id":3569683,"id":"Q3569683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50f1eba5cd004c5015f376450f3e531cd8130e1a","datavalue":{"value":{"amount":"+0.9755361","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":"Q874853$8AB36361-4E28-4CA5-96C7-C562E93D5731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54bb1365a309b9315dd05cc601b2cddf043370a6","datavalue":{"value":{"entity-type":"item","numeric-id":3577502,"id":"Q3577502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3ce395288947634c77ccc0fd2296d80bc2899d","datavalue":{"value":{"amount":"+0.9572029","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":"Q874853$5E1D9BFE-C52C-4D48-B7F0-14A9727D0DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"674784030836a2f39613de650f8b372ef38d12ee","datavalue":{"value":{"entity-type":"item","numeric-id":4495708,"id":"Q4495708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81fa8ea2793d6f68f0c151da7f571ca74d334572","datavalue":{"value":{"amount":"+0.94357747","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":"Q874853$27C49A1A-7699-451C-9466-6B2163506445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1bcf88804afa1ca683d8f4e8e111f544322846b","datavalue":{"value":{"entity-type":"item","numeric-id":3502577,"id":"Q3502577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"347be5f6a51029ecd4b266d41a91d537f9ae3626","datavalue":{"value":{"amount":"+0.9371207","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":"Q874853$F15676CC-98EC-41EE-BA89-8B92D9A0824A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8083662d916118ce21bcabb5ba322ceaaa2f76d6","datavalue":{"value":{"entity-type":"item","numeric-id":2794225,"id":"Q2794225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91498e2d0d533b538b476e6ada5d7805a0e4ffa","datavalue":{"value":{"amount":"+0.93110853","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":"Q874853$104E7FAC-ABB1-4020-A2BA-385EBA83B0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"059dd7ad8bb5b32d978cc97fafd73845fcad9737","datavalue":{"value":{"entity-type":"item","numeric-id":4923580,"id":"Q4923580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1db0d34e2b876978666a688001483962278c4a4","datavalue":{"value":{"amount":"+0.92877924","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":"Q874853$7DF53397-F816-42C8-B043-1FECE0AAEA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5484a0066f2c5d377b32b599e4d1cf827a16e99c","datavalue":{"value":{"entity-type":"item","numeric-id":3705572,"id":"Q3705572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba1b2961dd45c667ff4dd72d4c630ea4cc36663","datavalue":{"value":{"amount":"+0.92861897","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":"Q874853$0CDB8B3E-101F-4E89-8831-03F3F4C2AA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d03d7baba29fdce01794b68a60904f62710a630","datavalue":{"value":{"entity-type":"item","numeric-id":3568099,"id":"Q3568099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"236d91bf8dba76748fef4a5c60c3ea9fb2ac592a","datavalue":{"value":{"amount":"+0.927589","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":"Q874853$D28E7441-FE00-4B85-AAF2-A66B2510B7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d81189825b0a0ec82471438431bcbaf8afe8894","datavalue":{"value":{"entity-type":"item","numeric-id":4673884,"id":"Q4673884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a69cab18b00154557615c948f16f8287f3fc0d0","datavalue":{"value":{"amount":"+0.9259541","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":"Q874853$AF900064-CB9A-4FE8-9456-922C75382792","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruences on additive inverse semirings.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruences_on_additive_inverse_semirings."}}}}}