{"entities":{"Q1644741":{"pageid":1655482,"ns":120,"title":"Item:Q1644741","lastrevid":68050578,"modified":"2026-04-12T21:07:01Z","type":"item","id":"Q1644741","labels":{"en":{"language":"en","value":"The variety of commutative additively and multiplicatively idempotent semirings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6893043"}},"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":"Q1644741$BA0A7D64-5943-4AC5-86E7-713707B45618","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e0c6948f2b91832aff776db30844541d39e51f5","datavalue":{"value":{"text":"The variety of commutative additively and multiplicatively idempotent semirings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1644741$447991B0-A826-4AB6-9DF2-3559444D218E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d4eebf04da897d2617a7547424836b777ebba4f","datavalue":{"value":"1393.16039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644741$67CEC173-194F-4376-9301-915E919E62B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6df8e8ef43472738ac01c452fe02fb68cd3d706","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644741$0A587E7C-534C-4A19-B106-3C6423CDD8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7162e547d241b1c8d9309bd3535cff7ea502835","datavalue":{"value":{"entity-type":"item","numeric-id":190393,"id":"Q190393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644741$DE6E2DC5-1D7A-4BE9-AA0B-8998DAE3210A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644741$88BA040D-C185-41AE-B089-65203052AD8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffd3908f7a79ea44e2a8117ba180282c720bf0ed","datavalue":{"value":{"time":"+2018-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1644741$392BCAB2-7BF6-481F-AA9F-92AFA82EB8A4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"015b0d6efdde58d4bfa9ddcb25124600bf3c1f7b","datavalue":{"value":"The semirings in the title are algebras \\((S,+,\\cdot)\\) with two semilattice structures \\((S,+)\\) and \\((S,\\cdot)\\), where multiplication distributes over addition. They are quite well known under the name of meet-distributive bisemilattices, or bisemilattices with one distributive law. Several results from a long list of references are related to the results of the paper. Let \\(V\\) be the variety of meet-distributive bisemilattices. The (5-element) lattice of all subvarieties of \\(V\\) was fully described in [\\textit{R. McKenzie} and the reviewer, Proc. Klagenfurt Conf. 1978, 213--218 (1979; Zbl 0419.06003)]. Among other things, this paper contains ``(a) a normal form for terms'' and a remark (a direct consequence of the main result) that ``(b) the variety \\(V\\) is generated by any one subdirectly irreducible algebra which is neither a lattice nor a semilattice.'' Free algebras in \\(V\\) were fully described in [the reviewer, Demonstratio Math. 13, 565--572 (1980, Zbl 0048.08006)]. All subdirectly irreducible \\(V\\)-algebras with at least one semilattice reduct a chain were characterised in [the reviewer, Algebra Universalis 10, 36--47, (1980, Zbl 0434.06005)]. A representation theorem for meet-distributive bisemilattices was given in [the reviewer and \\textit{J. D. H. Smith}, J. Algebra 70, 78--88 (1981; Zbl 0457.06002)].  In the paper under review, the authors consider the same algebras with additional constants \\(1\\) as a neutral element for the multiplication, and \\(0\\) as both a zero of the multiplication and a neutral element for the addition. They describe some subdirectly irreducible algebras with both reducts being chains, and derive (a) and (b) (for those subdirectly irreducible algebras).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1644741$E77759F4-A8F5-4279-800B-A652B12B81C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644741$295E8355-3112-46EE-9485-BD40DCE1C7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644741$BEF8E91C-E9E3-42BE-8913-7AF45626FB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644741$3CA961AF-283D-4074-B189-18A49235C439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644741$0150393A-F8E1-40A2-BEEF-1035F62132FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644741$838A098B-1332-4FD5-843B-0587D50958A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8af0bd6bd58028c932774bc1683da7b515c7469","datavalue":{"value":"6893043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644741$418EDE49-0667-4D67-86EC-3DFC127200FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007c72a86e8563e4101dd6986b20d2e71c9117fd","datavalue":{"value":"semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1644741$B6DA5A59-9B5E-469F-8ADC-EDD98CD228FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"832ed3bb1bcc399c6cc1704447d2e38c8e623d8b","datavalue":{"value":"commutative","type":"string"},"datatype":"string"},"type":"statement","id":"Q1644741$537B7B9A-6543-4EF3-84B2-BD831A7B9DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccbb679b0220a3886e31f033b49f918c8a1d770f","datavalue":{"value":"additively idempotent","type":"string"},"datatype":"string"},"type":"statement","id":"Q1644741$933D525D-AC23-4AC7-8C19-B1BD1C056335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8261e9948d0628c78a8e3df702bc578757303c7b","datavalue":{"value":"multiplicatively idempotent","type":"string"},"datatype":"string"},"type":"statement","id":"Q1644741$668DB5E5-6624-4685-8EE8-B3DB69D67820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1644741$8417D894-86B5-49FB-B1BC-8FA63BC7AA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3d309df9a07c88d7333c2aaaa407dd531b43fcf","datavalue":{"value":"locally finite","type":"string"},"datatype":"string"},"type":"statement","id":"Q1644741$D193B985-2A63-41B1-B447-E16050C088C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b03aef0412c3e9ed4e2fafabd660942753bacaa","datavalue":{"value":"residually large","type":"string"},"datatype":"string"},"type":"statement","id":"Q1644741$E8F6DB9D-2DFF-48B6-9666-3CF15663466D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1644741$F7403553-D157-4177-8EFE-034A04D4BCB3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3abb811e942d3381a64812f19b0e35d1456160a0","datavalue":{"value":"Q59607519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644741$1BCD3D83-7B95-4C18-8998-D11598231890","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dbe3a8b301a06d9236f5477ca91275a7524f66b9","datavalue":{"value":{"entity-type":"item","numeric-id":353360,"id":"Q353360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644741$235A799A-C44A-4545-A910-651B9E8E24A5","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":"Q1644741$21B10BAF-1864-4042-82ED-8E889E740F6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11a2687117a9d8ebbe92ac81407e4886bd812148","datavalue":{"value":"https://doi.org/10.1007/s00233-017-9905-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1644741$66076552-C417-453B-9E34-1038BA0D20CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e2965d020965e8a9f0d4be00df57e30c87b762f","datavalue":{"value":"W2770533145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644741$C97E98DF-8135-405F-9E7E-467533993781","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12685bfdef331ded215c1d387c2f37d7736c993d","datavalue":{"value":{"entity-type":"item","numeric-id":3093852,"id":"Q3093852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644741$6F33737C-6FD1-4E79-AE05-29AF091F13B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddac6a902447156bec7a1c59ff284edbed5ab81a","datavalue":{"value":{"entity-type":"item","numeric-id":334970,"id":"Q334970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644741$6EDAC557-9EF4-4B4C-B9EF-6EB9DA20445D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72357733a2458df479ba169d61ceaebb8f588911","datavalue":{"value":{"entity-type":"item","numeric-id":2362266,"id":"Q2362266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644741$7687ABE1-F451-42E2-9018-57F4E4890C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d4307c372021734c12d58637737932c90898247","datavalue":{"value":{"entity-type":"item","numeric-id":5249622,"id":"Q5249622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644741$89C39A7B-3ED8-4F0F-8090-ABBD88AD539E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd19c2601c8cc5cf07bbf9158403b38805896b88","datavalue":{"value":{"entity-type":"item","numeric-id":2490426,"id":"Q2490426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644741$D28AF77F-5BC8-4F5C-9420-85B54E72A924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df3fd7e686a0201cb41d06c626534790e72ee4b","datavalue":{"value":{"entity-type":"item","numeric-id":4700998,"id":"Q4700998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644741$EF20D294-1776-43B6-AF4A-DFE358C3B15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca8eaadfe6e3c1931653f8f8f2aaa5e6b28d2d1","datavalue":{"value":{"entity-type":"item","numeric-id":1196778,"id":"Q1196778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644741$3C6D8EB8-5FCA-4FC4-BB09-57A13071AEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21de29bf9365363cdb3d75c47f1fcf014df66e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3704880,"id":"Q3704880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644741$0FD13667-D296-41E2-9362-78BC72DCE2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d827b7e67bd2dfd993cfe1d36a3b6a425f199330","datavalue":{"value":{"entity-type":"item","numeric-id":3852235,"id":"Q3852235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644741$FAC2903A-1946-4E0C-B2DF-C39620E6DFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f224a8e3c319dff9069318893b575ef470a06c3","datavalue":{"value":{"entity-type":"item","numeric-id":2490428,"id":"Q2490428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644741$42DDC77A-F942-4CBA-8317-D2FA112ADDD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20739fe851ac39381f569535ab8a45323e3a08f5","datavalue":{"value":"10.1007/S00233-017-9905-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1644741$5E83DCA7-0B30-4FDA-956F-D1615F7216E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"249cea6c31c89f829b87f4318c3a2f4faae6f718","datavalue":{"value":{"entity-type":"item","numeric-id":2362266,"id":"Q2362266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567eba1c13c3763c1001fde609a09141d3bc21df","datavalue":{"value":{"amount":"+0.9297506213188172","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":"Q1644741$9D332864-9C61-4D5D-90A7-FE7A33FC0D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed6f8c0e8b8b4faf16836fd423d7f7b1786ea9b1","datavalue":{"value":{"entity-type":"item","numeric-id":5239598,"id":"Q5239598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8ee38ca9791eb2f73d6a80e12a4b942c2e25ce9","datavalue":{"value":{"amount":"+0.8464596271514893","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":"Q1644741$13FE0E98-4B8D-4226-BE65-E1C538DE83BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"116f0e61ef6f067a519833f74f716ed30f4ed889","datavalue":{"value":{"entity-type":"item","numeric-id":2515194,"id":"Q2515194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ddf520f584927256f5b111e89a20c0e934b14b","datavalue":{"value":{"amount":"+0.8432304859161377","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":"Q1644741$92F8A411-FF11-4EFE-98B9-A9BDD0E7E966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5aa540c95a56508af42796b0d5da43d494cf60c","datavalue":{"value":{"entity-type":"item","numeric-id":2577769,"id":"Q2577769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a519ad0e08f0d70597ba9fd2039f4c76015386c","datavalue":{"value":{"amount":"+0.8309414386749268","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":"Q1644741$103E0884-6D85-453C-8DCC-A19C1C056F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d541e757022b75f455f3e969b1dd6cf03270b118","datavalue":{"value":{"entity-type":"item","numeric-id":4584449,"id":"Q4584449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f6f4647001e8099aedb901c3c5a37c74fbd1be","datavalue":{"value":{"amount":"+0.8277859091758728","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":"Q1644741$EC54D368-7242-428F-B7B3-C1A5EB448BB1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1644741$887ECF9D-F66D-45B7-A5B5-C31CFF595DF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The variety of commutative additively and multiplicatively idempotent semirings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_variety_of_commutative_additively_and_multiplicatively_idempotent_semirings"}}}}}