{"entities":{"Q1597727":{"pageid":1608467,"ns":120,"title":"Item:Q1597727","lastrevid":72292524,"modified":"2026-04-14T03:55:44Z","type":"item","id":"Q1597727","labels":{"en":{"language":"en","value":"Idempotent semirings with a commutative additive reduct"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1747982"}},"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":"Q1597727$8161CFE6-7D6C-4301-901B-699601C3151A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43de0067b5ea7b6dd0363ad79cb05d5c34c274a4","datavalue":{"value":{"text":"Idempotent semirings with a commutative additive reduct","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1597727$2039F7A0-FB03-4D47-B931-955AF71D2ECB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b3f46d863ecdc6f0df1832d81ac0d4805717b35","datavalue":{"value":"1017.16040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1597727$1C3323FA-514B-4CD5-A8B4-812D65920B07","rank":"normal"}],"P16":[{"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":"Q1597727$0456364B-3365-4814-A1DF-2768C9BE699D","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":"Q1597727$EF6A2728-1168-4158-87EB-EFDBF263D592","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f3781b87cca30345c17a97ee9dd536b7bd7d842","datavalue":{"value":{"time":"+2002-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1597727$558376BD-4A97-4713-A9D8-5D224285A7B5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"df267efeb7b75f5a5bccaf5559a4e86b4056aeb7","datavalue":{"value":"Let \\(\\mathbf I\\) be the variety of all additively and multiplicatively idempotent semirings, and \\({\\mathbf S}^+\\ell\\) the subvariety of all \\((S,+,\\cdot)\\in{\\mathbf I}\\) for which \\((S,+)\\) is a semilattice. Then for any nonempty set \\(X\\) a free semiring \\((\\overline P_f(F_X),+,\\cdot)\\in{\\mathbf S}^+\\ell\\) is constructed in the following way. A subsemigroup \\(C\\) of the semigroup \\((S,\\cdot)\\) is called closed if \\(sat,sbt\\in C\\) implies \\(sabt\\in C\\) for all \\(a,b\\in S\\), \\(s,t\\in S^1\\). For any nonempty subset \\(A\\) of \\(S\\) denote by \\(\\overline A\\) the intersection of all closed subsemigroups of \\(S\\) containing \\(A\\). If \\(P(S)\\) is the set of all nonempty subsets of \\(S\\) and a multiplication on \\(P(S)\\) is defined by \\(A\\circ B=\\{ab\\mid a\\in A,\\;b\\in B\\}\\), then \\((P(S),\\cup,\\circ)\\) is an additively commutative and idempotent semiring. Moreover, \\(A\\varrho B\\Leftrightarrow\\overline A=\\overline B\\) yields a congruence on \\((P(S),\\cup,\\circ)\\) such that \\(P(S)/\\varrho\\in{\\mathbf S}^+\\ell\\) if \\(S\\) is a band. Choosing \\(S=F_X\\), the free band on \\(X\\), and \\(\\overline P_f(F_X)\\) as the set of all finite closed subbands of \\(F_X\\), and defining \\(A+B=\\overline{A\\cup B}\\) and \\(A\\cdot B=\\overline{A\\circ B}\\), the author gets the free semiring mentioned above as a subsemiring of \\(P(F_X)/\\varrho\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1597727$45D9AC1B-5517-4E17-82EE-BC34B0D9F9BF","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":"Q1597727$AEA2490F-0D96-4881-A91E-DAA5A40DBD1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1597727$3720D04C-ACC7-4D1A-93B3-E16EDD260B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1597727$4348A29C-E703-4991-B147-61E8D521CF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c30bc25742c91e863e72e793103d6e0955029fb","datavalue":{"value":"16R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1597727$1456DBB2-CD1D-41EF-B9EB-F2C2ADA95907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1597727$762FBD08-1E07-4C85-B93C-8DC758C42A16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5140db9a4a8e54c20f3edfb903ef61fc821a6763","datavalue":{"value":"1747982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1597727$7ACA2E7A-F5C5-4BE7-8307-5D982AD3D650","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f88fc890dc5a61b72996b3cbab9d1ab92de0829","datavalue":{"value":"idempotent semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1597727$CC7C9C3E-406D-4E0C-B824-D6FD7FC3AAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"002f4689690f66ff5ab6361d3264545d4cc2cf88","datavalue":{"value":"semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1597727$15875144-19F1-4DB5-B20B-8479BBDCFFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64f5ffa1159821b61a12fa37793dcfa8b57840ef","datavalue":{"value":"free semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1597727$E8D5F5F4-A4F0-4670-9068-7C4E0E8C45A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09f5a4f82c5508a62da7a13edf70c9d7faedef77","datavalue":{"value":"varieties of semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1597727$3C82CF85-10CE-467D-A170-903BC9FF61E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"142698fcb38438a5e7b4ba889fedfea94390d2c0","datavalue":{"value":"free bands","type":"string"},"datatype":"string"},"type":"statement","id":"Q1597727$3093EA27-B9D8-4242-A606-C8D87089B86F","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":"Q1597727$1C66570C-69C0-49A9-86F8-BA7337B6F895","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ced1fce3b68e77cb135ae6cfaf1b455b9071de2","datavalue":{"value":"https://doi.org/10.1007/s002330010048","type":"string"},"datatype":"url"},"type":"statement","id":"Q1597727$5EFF90FA-BA61-4265-B134-F69161CDCCF6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce565637f58053c10464d9fba79c72091c2e1c6f","datavalue":{"value":"W2079372452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1597727$3B2A9A07-B0EA-42A6-ACD6-BC5C476151AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac5ac3298aa054c416f7b7fd9dc5e94f16d94dfc","datavalue":{"value":"10.1007/S002330010048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1597727$E06EE629-951E-42E6-AB8D-73B475C3DE80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d66843a2d967fa75fb559f2c9469ff12db1ff09","datavalue":{"value":{"entity-type":"item","numeric-id":1644741,"id":"Q1644741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65691dcb3567c763abe241ce0a3d3437ee6fe106","datavalue":{"value":{"amount":"+0.8525187969207764","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":"Q1597727$7EACAB7A-2FFA-42C6-A0F4-461A33E2759D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a5f1d311d60f28e466f396b63da9b5a85bcd82c","datavalue":{"value":{"entity-type":"item","numeric-id":3057657,"id":"Q3057657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dde6f5ed8adafb4fd876aa153d9ff59fca9d115","datavalue":{"value":{"amount":"+0.831848680973053","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":"Q1597727$29F5EA12-2B84-4327-A003-A2EFFCDBC863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"200fbdb75cdd1718ef93135ca8016b7ceb745295","datavalue":{"value":{"entity-type":"item","numeric-id":4458010,"id":"Q4458010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b712420597aac9b2b740399a99bc8ddaab01d49","datavalue":{"value":{"amount":"+0.8232833743095398","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":"Q1597727$60B3096A-B41F-4EEB-A658-F2FF5923897A","rank":"normal"},{"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":"0c66590e7208f3efc946f750666fd700bd1ef213","datavalue":{"value":{"amount":"+0.8221878409385681","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":"Q1597727$B9D8845C-66DB-456A-B92F-9972A296388E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Idempotent semirings with a commutative additive reduct","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Idempotent_semirings_with_a_commutative_additive_reduct"}}}}}