{"entities":{"Q1300541":{"pageid":1311291,"ns":120,"title":"Item:Q1300541","lastrevid":68513730,"modified":"2026-04-13T00:13:13Z","type":"item","id":"Q1300541","labels":{"en":{"language":"en","value":"A characterization of semirings which are subdirect products of a distributive lattice and a ring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1330655"}},"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":"Q1300541$81CE95B9-0AFF-496D-A4F1-4EBACEE5172A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f1ee9d272bc10428f9088c6a0d41688961a2619","datavalue":{"value":{"text":"A characterization of semirings which are subdirect products of a distributive lattice and a ring","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1300541$876332B1-B0C5-4653-A1E4-E1CEB7FBC197","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58696f020d0d3fee4781f9b5b272384dc876545b","datavalue":{"value":"0948.16036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300541$0D030446-4AFF-432B-9DDD-4852DBD2B45A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78fb6df31a379d4bd17e47b5c4a4f64f40941f84","datavalue":{"value":"10.1007/PL00005999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300541$BACE8039-3DC2-46A7-8F8B-A1E17BD61C3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98eabdca24ffed7155eb6bb4579eb6a461799457","datavalue":{"value":{"entity-type":"item","numeric-id":539880,"id":"Q539880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1300541$AEA8AD09-10BE-412C-8AB5-E2AAFA57B57F","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":"Q1300541$0505EC67-9477-4064-AEB0-EF38883BF3E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f75721fa752c9123eb70187b9a711f89662b7df4","datavalue":{"value":{"time":"+2000-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1300541$FFE36253-1055-4321-8255-040EDFA493E5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa39d08a0cc0d6b118c3ed2c90b619167b2f40cd","datavalue":{"value":"A semiring \\(S\\) is an algebraic structure \\((S,+,\\cdot)\\) consisting of a non-empty set \\(S\\) together with two binary operations \\(+\\) and \\(\\cdot\\) on \\(S\\) such that \\((S,+)\\) and \\((S,\\cdot)\\) are semigroups connected by ring-like distributivity. The additive identity (if it exists) of a semiring is called zero and is denoted by \\(0\\). An additively commutative semiring \\(S\\) with zero satisfying \\(0\\cdot x=x\\cdot 0=0\\) for all \\(x\\in S\\) is called a hemiring. A halfring is an additively cancellative hemiring. A subsemiring \\(T\\) of a semiring \\(S\\) is called a distributive sublattice of \\(S\\) iff \\(T\\) is a (distributive) lattice with respect to the operations defined in \\(S\\). A \\(k\\)-ideal \\(K\\) of a semiring \\(S\\) is an ideal of \\(S\\) (\\(KS,SK\\subseteq K\\)) such that if \\(a\\in K\\), \\(x\\in S\\), and if either \\(a+x\\in K\\) or \\(x+a\\in K\\), then \\(x\\in K\\).   A semigroup \\(S\\) is called \\(E\\)-inversive iff for every \\(a\\in S\\), there exists \\(x\\in S\\) such that \\(ax\\) is an idempotent of \\(S\\). An additively commutative semiring \\(S\\) is called \\(E\\)-inversive iff its additive reduct \\((S,+)\\) is an \\(E\\)-inverse semigroup. A semiring \\(S\\) is called an inverse semiring iff \\((S,+)\\) is an inverse semigroup. An additively commutative semiring \\(S\\) is called a Clifford semiring iff \\(S\\) is an inverse semiring such that the set of all additive idempotents is a distributive sublattice of \\(S\\) as well as a \\(k\\)-ideal of \\(S\\). A subdirect product \\(H\\) of a semiring \\(S\\) and a ring \\(R\\) is called inverse iff \\((e,r)\\in H\\) implies \\((e,-r)\\in H\\) for every additively idempotent \\(e\\) of \\(S\\) and \\(r\\in R\\). A Boolean semiring is a semiring in which each element is already multiplicatively idempotent.   In this paper the author defines a strong distributive lattice of semirings and he proves that a semiring \\(S\\) is a subdirect product of a distributive lattice and a ring if \\(S\\) is an \\(E\\)-inversive strong distributive lattice of halfrings. Further a Clifford semiring which is, in fact, an inversive subdirect product of a distributive lattice and a ring, is characterized as a strong distributive lattice of rings. Finally, a semiring \\(S\\) is a subdirect product of a distributive lattice and a Boolean ring iff \\(S\\) is a commutative Boolean semiring satisfying \\(a+2ab=a\\) for all \\(a,b\\in S\\). A semiring \\(S\\) is a direct product of a distributive lattice and a Boolean ring iff \\(S\\) is a subdirect product and for any \\(a,b\\in S\\), there exists \\(c\\in S\\) such that \\(a+c=2(a+c)\\) and \\(2b=2c\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300541$098567A4-3D2F-4A9F-BA09-A5AAF27C1E98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300541$3D001717-6046-43BD-BB74-C85DAD3EB388","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fc10b4a0f390e7c20220d1512ac865cf2107974","datavalue":{"value":"1330655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300541$8A132E2F-A448-4089-89F8-60A8A48E606C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3a6b28706d72e31c003ae9a5f1cddb4e776c4a0","datavalue":{"value":"semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300541$CDAADE56-FB02-4AE7-AFB1-CF23A184957A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7514129ddeeb8eebb8e6103d24c41b978b321eb4","datavalue":{"value":"additively cancellative hemirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300541$A3E981E2-33B5-4ECD-AB3E-24A82E7D7465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cdc83bfce3acb676ae25bdece7ef7c009dd0557","datavalue":{"value":"\\(E\\)-inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300541$AC2162F1-26CC-447A-9716-FCEFD35F0BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7d1a9a06b0c005233c9d4a67e4bffecf76b4552","datavalue":{"value":"inverse semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300541$CE363159-B7CB-4166-9D51-2A3C4A5E2753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300541$0C2D024A-1106-4A44-8C4F-04BE7B7F8CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c3c3ccc07561ace068008031b5c4e1ae7641c5f","datavalue":{"value":"Boolean semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300541$14AF8E39-CF9F-423A-8E13-AB5009053D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfecca31f9baad5f1c1ebd1068008ae6137845de","datavalue":{"value":"strong distributive lattices of semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300541$16A9070A-5330-45A7-8DF7-A5AFCFB6E631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b592d57d5b8f6c2ca256a200a84383662b18a1","datavalue":{"value":"subdirect products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300541$D5F3411F-A7E3-45DF-84E1-EE590F67C2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b566ccbefaf3693e05834a12a5e1137754c60815","datavalue":{"value":"Clifford semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300541$4B3CFA9F-ED59-4A59-A018-F535D8FCDB96","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":"Q1300541$B3BA0731-F42D-40C7-B640-DD5E36098FD7","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":"Q1300541$90B3A7E6-365A-4E9B-9E40-EF3198D10285","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc9470cd50983d2d4fc188fbc6058fae53d7f2ca","datavalue":{"value":{"entity-type":"item","numeric-id":4484682,"id":"Q4484682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"706bfdaad3e2cad9e0d347bb58a337078d41e772","datavalue":{"value":{"amount":"+0.8727439045906067","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":"Q1300541$472FCDAA-BBC1-4BF0-9D14-EA12031F146C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dfd0307f7a6ae4cfc178f1a3a1b6ebcb17f8fba","datavalue":{"value":{"entity-type":"item","numeric-id":5954633,"id":"Q5954633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9583103062c36afdd28a8b8b9443416e26c6f751","datavalue":{"value":{"amount":"+0.855108916759491","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":"Q1300541$6668B457-9946-4F6F-9FCE-6DE9C1E4BB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ecb8065497857f2a26e7c3413b5da1dbb8b3a8","datavalue":{"value":{"entity-type":"item","numeric-id":5083040,"id":"Q5083040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8421be9ea068b4e2e15a499ba64c4f5ee14b09a","datavalue":{"value":{"amount":"+0.8213238716125488","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":"Q1300541$5F0CA13A-334C-42D2-B96F-A3387D32D91B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A characterization of semirings which are subdirect products of a distributive lattice and a ring","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_characterization_of_semirings_which_are_subdirect_products_of_a_distributive_lattice_and_a_ring"}}}}}