{"entities":{"Q2577769":{"pageid":2588512,"ns":120,"title":"Item:Q2577769","lastrevid":78909077,"modified":"2026-05-06T12:43:06Z","type":"item","id":"Q2577769","labels":{"en":{"language":"en","value":"Varieties of idempotent semirings with commutative addition."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2243910"}},"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":"Q2577769$2E40A6D4-CEE7-4CE8-AC78-516ACF98FAB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"298482803127e22020e6d8cfebda9ce1fd2d35db","datavalue":{"value":{"text":"Varieties of idempotent semirings with commutative addition.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2577769$C377163B-4024-44AC-8DCD-766F287CB27F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70a1c9662dfc0c434b18d2b23b97f6ff8c23c9cd","datavalue":{"value":"1084.16039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577769$F6044253-F605-43DB-9B29-E88B50098435","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dab25a31cccf0848ca3d6932e6a326fca88d1410","datavalue":{"value":{"entity-type":"item","numeric-id":744857,"id":"Q744857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577769$108C2181-55FF-4660-9B81-97978764B2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8db2de2e4de16011305e7d479756a49b1f0e735","datavalue":{"value":{"entity-type":"item","numeric-id":391752,"id":"Q391752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577769$47039F84-AB27-4BBF-81A4-AFC995127203","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577769$0530B113-E8A1-485B-B344-3264F50766FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a28896e5111b14a787c7b95f92ad273263b18f84","datavalue":{"value":{"time":"+2006-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2577769$BB562D7A-A451-4B12-B2E2-FF7BD8DF89D0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a5ceac77d93ee64ccff950c1e92732e93d602b1","datavalue":{"value":"Let \\(\\mathbf B\\) be the variety of all bands, \\(\\mathbf{RB}\\) the subvariety of all regular bands, and \\({\\mathbf S}\\ell\\) the subvariety of all semilattices. A semiring \\((S,+,\\cdot)\\) is called idempotent, if \\((S,+)\\) and \\((S,\\cdot)\\) belong to \\(\\mathbf B\\). For any subvariety \\(\\mathbf V\\) of \\(\\mathbf B\\), denote by \\({\\mathbf V}^+\\) the variety of all idempotent semirings \\((S,+,\\cdot)\\) such that \\((S,+)\\in{\\mathbf V}\\), and likewise for \\({\\mathbf V}^\\cdot\\).   In the paper the lattice \\({\\mathbf L}({\\mathbf S}\\ell^+)\\) of subvarieties of \\({\\mathbf S}\\ell^+\\) is investigated. For any \\(F\\in{\\mathbf B}\\), a semiring \\(\\overline P_f(F)\\in{\\mathbf S}\\ell^+\\) is constructed which yields a free semiring \\(\\overline P_f(F{\\mathbf B}_X)\\in{\\mathbf S}\\ell^+\\) on the set \\(X\\) if \\(F{\\mathbf B}_X\\) denotes the free band on \\(X\\).   As a first step, \\((S,\\cdot)\\in\\mathbf{RB}\\) is shown for every semiring \\((S,+,\\cdot)\\in{\\mathbf S}\\ell^+\\), i.e. \\({\\mathbf S}\\ell^+=\\mathbf{RB}^\\cdot\\cap{\\mathbf S}\\ell^+\\). A further investigation of \\(\\overline P_f(F)\\in{\\mathbf S}\\ell^+\\) for \\(F\\in\\mathbf{RB}\\) yields that the mapping \\({\\mathbf L}(\\mathbf{RB})\\to{\\mathbf L}({\\mathbf S}\\ell^+)\\) given by \\({\\mathbf V}\\mapsto{\\mathbf V}^\\cdot\\cap{\\mathbf S}\\ell^+\\) for any subvariety \\(\\mathbf V\\) of \\(\\mathbf{RB}\\) is an injective \\(\\cap\\)-homomorphism. Therefore there are exactly 13 subvarieties of \\({\\mathbf S}\\ell^+\\) in the image of this \\(\\cap\\)-homomorphism. As the main result it is shown that these 13 subvarieties generate a sublattice of \\({\\mathbf L}({\\mathbf S}\\ell^+)\\) consisting of 20 subvarieties. Moreover, models of free semirings in these 20 varieties are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577769$7F1CA592-78C6-4699-87E3-293BEC7C8A47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577769$63D73CE0-614B-449C-B88E-5463D8A0F361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577769$0CF7CCC7-5E9B-4A24-8C6D-ECE7E29A662C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577769$1FD620EA-C495-44C4-8545-28B2923A8716","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ebce5c416baed8af3618e6c608a254628deb63a","datavalue":{"value":"2243910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577769$7541E588-885E-4AD9-BACB-C14C167A4B85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09f5a4f82c5508a62da7a13edf70c9d7faedef77","datavalue":{"value":"varieties of semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577769$5B813CFC-4A15-4025-8CFC-610D42BA185F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f88fc890dc5a61b72996b3cbab9d1ab92de0829","datavalue":{"value":"idempotent semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577769$CAD48857-AA87-404C-8878-1746473EE132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d443550cf9bb18ca40180104e2d961e41385f71f","datavalue":{"value":"additively commutative semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577769$E3668F50-FA12-4F35-9917-B1F5A0A65FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6903aff78115a967792076a16b168146866784a4","datavalue":{"value":"regular bands","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577769$49A179A7-F3CC-4189-B047-1D4A5DF222C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fde9241d823b426e33feb5b2f0db9caad73cc044","datavalue":{"value":"varieties of semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577769$314D2E30-31B3-4272-BF69-E1A9B6E59F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee41da51037cda23269e3c40d9a7e100b37c6024","datavalue":{"value":"lattices of varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577769$2F5B8785-80D9-4C2E-80BB-71A7E4130477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64f5ffa1159821b61a12fa37793dcfa8b57840ef","datavalue":{"value":"free semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577769$89AEBF51-283B-42B3-8AFA-FC8AC2E66A54","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":"Q2577769$6DE8A1FD-843B-4141-BCB4-52D6A9649A08","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":"Q2577769$FD36906B-897A-4D4A-B751-729279F14DE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"864fbcb453e18dc5a474f619561dccbac75c1c7c","datavalue":{"value":"https://doi.org/10.1007/s00012-005-1947-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2577769$584AF477-487B-4C00-B15B-CD5CB6129C57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e144cb8e4a074dd687775f5951d3ad7858284622","datavalue":{"value":"W2089086774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577769$3F6BFD00-7470-49A3-BB7A-EC5F4BC2A406","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d3744f781c3ff39a19a4f172e0f268a2e0b4916","datavalue":{"value":"10.1007/S00012-005-1947-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577769$BCFECCE9-A4E9-4373-8EC0-76DB9DDFF0D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a2d0f48d4322607a37975111e1237b6e82e73b","datavalue":{"value":{"entity-type":"item","numeric-id":1976426,"id":"Q1976426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80bf790bbe48ee129d31cde40ddd0ddce96a7094","datavalue":{"value":{"amount":"+0.8723238706588745","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":"Q2577769$5066A88D-80FD-431E-9FEF-48D26BFF92F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c13e7e84e33c56218dfad347e83527592bc8b21","datavalue":{"value":{"entity-type":"item","numeric-id":1962476,"id":"Q1962476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80bf790bbe48ee129d31cde40ddd0ddce96a7094","datavalue":{"value":{"amount":"+0.8723238706588745","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":"Q2577769$D9E591DD-EA35-4A45-9612-C96E73D4BED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f5a45e484b1b89140334e6a5ff71bf9b0c98f5","datavalue":{"value":{"entity-type":"item","numeric-id":744869,"id":"Q744869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c485f5f899faf579139510193263a5a48b31008c","datavalue":{"value":{"amount":"+0.8656190633773804","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":"Q2577769$39F428AB-BD7F-4F0C-94E0-178CB481A32A","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":"c962459c8fb91a5c37f4bc163016d00abd2ee22c","datavalue":{"value":{"amount":"+0.8585747480392456","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":"Q2577769$5090AB01-5CA0-4A43-A466-E87E888D74BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16265cf6eea9944617139f1fde3191e96c71edb","datavalue":{"value":{"entity-type":"item","numeric-id":5483816,"id":"Q5483816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e3b574f9b46c73b63577e1729efa028b3dc9ec7","datavalue":{"value":{"amount":"+0.8580479025840759","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":"Q2577769$62C4BD86-C436-4CCB-A749-28877805F4B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Varieties of idempotent semirings with commutative addition.","badges":[]}}}}}