{"entities":{"Q1024266":{"pageid":1026114,"ns":120,"title":"Item:Q1024266","lastrevid":66045174,"modified":"2026-04-12T07:09:43Z","type":"item","id":"Q1024266","labels":{"en":{"language":"en","value":"One very particular example of a congruence-simple semiring."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5565521"}},"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":"Q1024266$2BE8543E-738A-43AB-AB0E-C5248FB4A0FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81a9b1fa435b26c2d8bd996762a92f9d00ba2b91","datavalue":{"value":{"text":"One very particular example of a congruence-simple semiring.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1024266$E9975BFB-6704-460F-B4ED-43DA0D237DE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49a8daffb815b09b008e0245db5cf45d237ffe1a","datavalue":{"value":"1176.16039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024266$B20FD43E-01E8-4C85-A47E-11B3CA652104","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e9a83c0dc5fbad66880e10c43af2bf4b2bff4b4","datavalue":{"value":{"entity-type":"item","numeric-id":1024265,"id":"Q1024265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024266$0CDF22C2-8E01-455B-9B97-2D71D25748F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b113bc4ac7ed430093230b872c083cde59919509","datavalue":{"value":{"entity-type":"item","numeric-id":166287,"id":"Q166287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024266$FFEB90C1-9FE4-4872-BF1F-61862F4407A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b56d9fd9827ead92e1d841b592f7852bcfece777","datavalue":{"value":{"time":"+2009-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1024266$241BCCD3-C27A-4127-9673-2C4C15D0BB22","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb92604e7cef4e6491d61f48d09a2d5a7d726837","datavalue":{"value":"An additively commutative semiring \\((S,+,\\cdot)\\) is called congruence-simple if it has exactly two congruences. It is known that such a congruence-simple semiring fits into one of the following five classes: (1) \\((S,+)\\) is idempotent, (2) \\((S,+)\\) is cancellative, (3) \\(|S|=2\\) and \\(|S+S|=1=|SS|\\), (4) \\(|S+S|=1\\) and \\(SS=S\\), and (5) \\(S+S=S\\) and \\((S,+)\\) is zeropotent, i.e., \\(2s=3t\\) for all \\(s,t\\in S\\).   But it was an open problem if the rather exotic class (5) is non-trivial. Starting from the free additively zeropotent semiring \\((T,+,\\cdot)\\) generated by the two-element set \\(\\{a,b\\}\\), it is shown that the congruence \\(\\alpha\\) on \\(T\\) generated by the pairs \\((a,a^2b^2+a^2bab^2)\\) and \\((b,a^2babab)\\) is proper. Hence \\(R=T/\\alpha\\) has non-constant multiplication and satisfies \\(R+R=R\\). From this fact, the existence of a non-trivial semiring \\(S\\) in class (5) is derived.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024266$5D388635-C4D1-4990-9574-9227E254574C","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":"Q1024266$363BCC1D-1397-4DDE-AF1E-B8CF579A0127","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024266$A48575DC-0434-41E0-B235-9A549E0A2106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024266$AFDDC155-6022-4A91-B022-031507AA0C58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14447b6c545cf8ea077c5955602d8dcdf9afc95e","datavalue":{"value":"5565521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024266$65A7B13C-3110-4C6A-BFC3-AD49B4DF9A2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa825aceb6ce43a94231d702a0f5430945d5d8ed","datavalue":{"value":"congruence-simple semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024266$287BF53A-EBE6-4A1D-ACAE-76B925656122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b09e3a28d60dc55a130ebe8e098790c1cc0eab","datavalue":{"value":"zeropotent semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024266$8361C255-CACA-4D1A-8435-A15B42B1A623","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":"Q1024266$C9F1313F-3E48-4287-9AB0-8D83EF034C86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25c500bf848bd88760019a820592eeab476c461c","datavalue":{"value":"https://doi.org/10.1016/j.ejc.2008.09.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q1024266$570CA1A9-D265-49DC-A00F-13586451FB5A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91f6d8ad1e9a4ad7753825711900b4b1beff040e","datavalue":{"value":"W2035322796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024266$CC0F6B43-32F7-4420-9337-01B4BF733D77","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57c9e51543c82ae8fe323143a502b715f4f2ab83","datavalue":{"value":{"entity-type":"item","numeric-id":5929451,"id":"Q5929451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024266$7F1336E7-E818-4471-AA5F-13D1B865D587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa0161970108ac5af543fb347c2653469a6a7b0","datavalue":{"value":{"entity-type":"item","numeric-id":4302451,"id":"Q4302451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024266$803CB415-499A-4686-8A38-267296CECBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6668bb28aba0531e55505d58f6fa01634e19c3","datavalue":{"value":{"entity-type":"item","numeric-id":4893205,"id":"Q4893205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024266$C58B5324-4345-466F-B1A3-1C77690EB805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1fd2e30acf6e2678271cc320c8e607711e9eeb","datavalue":{"value":{"entity-type":"item","numeric-id":1421830,"id":"Q1421830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024266$53662204-0950-483F-866E-5E232E7D1715","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c555553d55b36ac3e0c93c3acaf7451efd08ea6","datavalue":{"value":"10.1016/J.EJC.2008.09.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024266$079B7314-8919-4D30-A05A-5EA2A380FBB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba62fa7324d4689ce98f06fecd03afce537b1456","datavalue":{"value":{"entity-type":"item","numeric-id":2464349,"id":"Q2464349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2193d5bfd92457220723315e2c4725f1d38eae1a","datavalue":{"value":{"amount":"+0.8713212609291077","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":"Q1024266$6F2D3A74-2BA5-4160-83C5-C85AC3BBA54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"713d281d92de90a24db6b834896b9b40a86c56bb","datavalue":{"value":{"entity-type":"item","numeric-id":3521671,"id":"Q3521671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"495ed18311581c375a8c94a9e658e2398c8a9923","datavalue":{"value":{"amount":"+0.867289125919342","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":"Q1024266$CD2989BE-51E9-4A79-897B-922AB2EE98B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff2d9694da6fc6abc9ad3a5f8dca1ee9ca792bca","datavalue":{"value":{"entity-type":"item","numeric-id":1421830,"id":"Q1421830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6bf4cc4b6b5b5d03762bf348210a9646c46ef90","datavalue":{"value":{"amount":"+0.8605934381484985","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":"Q1024266$098CDFF8-788E-45B1-88F3-3DC6E0333DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9cd5f4541a3f306d537075dfdf58766a729d2b4","datavalue":{"value":{"entity-type":"item","numeric-id":3417731,"id":"Q3417731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10647a222797dac8d74721576e9bd814f039b75a","datavalue":{"value":{"amount":"+0.835128903388977","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":"Q1024266$2E73E15C-ED53-49D0-B3A9-BDA985CAC02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d88b8c077a8f5edb101dcbd3095d001b3c06836b","datavalue":{"value":{"entity-type":"item","numeric-id":5929451,"id":"Q5929451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c27f14c6bdda4bb428a562d275b338a7c83a8183","datavalue":{"value":{"amount":"+0.8110814094543457","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":"Q1024266$C3124F1F-A245-4C7E-A747-C40A6D70F9ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"One very particular example of a congruence-simple semiring.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/One_very_particular_example_of_a_congruence-simple_semiring."}}}}}