{"entities":{"Q1976426":{"pageid":1987168,"ns":120,"title":"Item:Q1976426","lastrevid":47474254,"modified":"2026-01-01T20:27:18Z","type":"item","id":"Q1976426","labels":{"en":{"language":"en","value":"A class of idempotent semirings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1445555"}},"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":"Q1976426$3223AD0E-46A6-4659-B3D3-B501D719ED9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ac99e0bcb6e586bf70060c8abd8c18d67a25ad7","datavalue":{"value":{"text":"A class of idempotent semirings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1976426$9B97D071-6E8C-4FF4-A685-07E7C2CEF35D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ae6b7e04848ce830e3a98f88c439600ee0996a6","datavalue":{"value":"0959.16028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976426$C789A2AD-4EB3-42D8-80C7-5701A9ECA0BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6a690f81e58a8a97e5145835a2a6ba719a0e4a2","datavalue":{"value":{"entity-type":"item","numeric-id":605498,"id":"Q605498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976426$07368316-8548-4076-837E-691596E47535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2888e1ee03b9fe2a01ff336e4eba8238cea8c29b","datavalue":{"value":{"entity-type":"item","numeric-id":1105048,"id":"Q1105048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976426$90DDDA81-64AF-4685-B7BA-7DD3DCC9AF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fedc4bea6f4af015ba6b9f7e1b9f9b7233950585","datavalue":{"value":{"entity-type":"item","numeric-id":590407,"id":"Q590407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976426$D4B55CA9-13E0-4AE9-BA25-3671668C020E","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":"Q1976426$5FBA194C-9540-42B3-B12F-7C41C5F320B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1df5757b291a1fc304bcf1797cd179d6c0a4fe4e","datavalue":{"value":{"time":"+2001-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1976426$DC964CE7-D4D0-4E95-9446-0856BBE37CD3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5839a19a45adb21e3c95246a2f73266cccb0cd8c","datavalue":{"value":"A semiring is said to be idempotent if both reducts are bands. Let \\(\\mathbf I\\) be the variety of all idempotent semirings, let \\(\\mathbf D\\) be the variety of all distributive lattices. Let \\({\\mathbf R}^+\\) be the subvariety of \\(\\mathbf I\\) which satisfies \\(x+y+x=x\\). In this paper the authors show that the Mal'cev product \\({\\mathbf R}^+\\circ{\\mathbf D}\\) forms a variety and consists exactly of the idempotent semirings for which the least lattice congruence is the least lattice congruence on the additive reduct. They specify several systems of identities which determine this variety.   Further, section 2 gives other characterizations for \\({\\mathbf R}^+\\circ{\\mathbf D}\\) and its members. Section 3 gives structure theorems for the semirings of \\({\\mathbf R}^+\\circ{\\mathbf D}\\) for which the additive reduct is a normal band or a regular band. Section 4 looks at semirings of \\({\\mathbf R}^+\\circ{\\mathbf D}\\) which can be written as a subdirect product with one of the factors a distributive lattice. Let \\(\\mathbf{ID}\\) be the variety of all idempotent distributive semirings (i.e. \\(x+yz=(x+y)(x+z)\\), \\(xy+z=(x+z)(y+z)\\)). The authors show that \\(\\mathbf{ID}\\cap{\\mathbf R}^+\\circ{\\mathbf D}={\\mathbf R}^+\\vee{\\mathbf D}\\) consists of the semirings that are a subdirect product of a distributive lattice and a member of \\({\\mathbf R}^+\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976426$1DC0B953-E6ED-407B-9B77-2CD101F9290A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976426$290D0E94-005B-42CC-BA94-19FDC00CF41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976426$BEF7E260-75D9-4321-82D1-2E2BE1335479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c30bc25742c91e863e72e793103d6e0955029fb","datavalue":{"value":"16R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976426$E249029D-8BE2-4354-9A87-E7D5829B2E4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c175777b2b9c66b7a15be4a31158264e777aebc2","datavalue":{"value":"1445555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976426$67FAB41D-DF95-4571-AD7C-678FFCF8AF5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f88fc890dc5a61b72996b3cbab9d1ab92de0829","datavalue":{"value":"idempotent semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976426$690F9462-CF5A-457E-9027-D6F462570E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8683380a0de068912484210ebac0222ef48533d2","datavalue":{"value":"distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976426$619E3750-C66C-4CF6-AF34-44D7332E2FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cb762d1ea7877089c13bef3068a60d0c553f9af","datavalue":{"value":"Mal'cev products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976426$E0408EA1-918F-4E66-9DF1-3BAA44BB28B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf81edc384b601b633ca817500ab76667150b499","datavalue":{"value":"lattice congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976426$AB51BF58-A4F0-433F-8EDA-9DE590863F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d6a7c45b6fa152c1fa360245eff4f514052fa9","datavalue":{"value":"identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976426$AF616007-5DD4-4CE6-BFDA-01C3D0065FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b592d57d5b8f6c2ca256a200a84383662b18a1","datavalue":{"value":"subdirect products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976426$50DAC954-CE7B-4D97-AA98-7263F0A22746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58b2b0206c8018ae05349a8f64b2ca666d72f3b9","datavalue":{"value":"distributive semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976426$4F894573-61FC-4A59-A007-8A51E37F3A98","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0d7eaa848c436821dfbce99edce53f7d5b74a800","datavalue":{"value":{"entity-type":"item","numeric-id":752149,"id":"Q752149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976426$AE31C1B2-2C43-45EC-BD2B-75D59E9BA6DD","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":"Q1976426$2825C779-1F4B-4C97-ACAF-CF94828513B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cef6608f85665375c971f68d5e29ebc264837ea","datavalue":{"value":"https://doi.org/10.1007/s002339910029","type":"string"},"datatype":"url"},"type":"statement","id":"Q1976426$05EC6361-132B-4C9D-A5BC-32674D45FBF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0d33156466c7320e9cdf78a26485044c6d5c0e3","datavalue":{"value":"W1988607572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976426$2B6BD05C-B49E-43EF-9272-08B184EA97D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f863b92dbfa7030a3ec1b61c8e40576ea72cf7f3","datavalue":{"value":"10.1007/S002339910029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976426$FBAFFCDC-F07B-4980-BFA8-C20311C0C8E2","rank":"normal"}],"P1643":[{"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":"9a3a44ea97ed2542cbbb5fe04672ec1d4575e592","datavalue":{"value":{"amount":"+0.8977203369140625","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":"Q1976426$06C28747-6C9E-40A3-8132-BC119C5CD48E","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":"0686512eb5a74e28d7857eea606800fab677d69b","datavalue":{"value":{"amount":"+0.8845234513282776","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":"Q1976426$4B2E1043-034C-4AD5-8936-7AD56E2F0E16","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":"1ac1ee90cd4cc5fee4ff8838590d610cf724a90f","datavalue":{"value":{"amount":"+0.8815549612045288","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":"Q1976426$AADE8EB7-F274-4C90-8CE2-8972A7771312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"629e9f8a63594dd54e6d2a87025d13274cdb58b5","datavalue":{"value":{"entity-type":"item","numeric-id":4537209,"id":"Q4537209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2aeb3789a2439b91568213ee23dfe2552c4451c","datavalue":{"value":{"amount":"+0.8800087571144104","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":"Q1976426$B36D9F53-C5C9-47AD-A21A-2994367F480B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e210ba8654559cf09418b63e4261963e270be4bd","datavalue":{"value":{"entity-type":"item","numeric-id":1771860,"id":"Q1771860"},"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":"Q1976426$51E010B3-7D57-4A16-9C21-57A5023F17C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1976426","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1976426"}}}}}