{"entities":{"Q818935":{"pageid":820783,"ns":120,"title":"Item:Q818935","lastrevid":64572264,"modified":"2026-04-11T20:47:47Z","type":"item","id":"Q818935","labels":{"en":{"language":"en","value":"On varieties of semilattice-ordered semigroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5014166"}},"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":"Q818935$E821F0BA-84AD-4BBA-8640-C8FC8535C082","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"367393fe223cb06723b4fddaa0bad0472996bb83","datavalue":{"value":{"text":"On varieties of semilattice-ordered semigroups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q818935$50DD050B-9394-48F3-8634-8BAC266F1110","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"610e910256f79fa56b669d06e64d55316b1b9ef2","datavalue":{"value":"1090.20028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818935$EDC8790D-B635-4ECD-8760-9B845CB080EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de15f03abc35b45ef1c727d3e71918591877e70c","datavalue":{"value":{"entity-type":"item","numeric-id":818934,"id":"Q818934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818935$81C26872-1582-410C-A50A-7F9DBBDCEEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4913da48f5ba38e8fa55dfbc807f9e32d04f31fe","datavalue":{"value":{"entity-type":"item","numeric-id":168365,"id":"Q168365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818935$6E99A61A-EA07-4506-9C20-8630D9DB9BE7","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":"Q818935$323276B6-77AF-4A4A-BE1E-5913E6B3946B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b0fcdb7772aa9430d25813b6d3153f89c3c8a89","datavalue":{"value":{"time":"+2006-03-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":"Q818935$01EF6B78-0E51-4D00-BAA1-CF964B86EE4E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fd7411e6e38bb9bcbfaa3dfd5328a3ca1f996163","datavalue":{"value":"\\((S,\\cdot,\\vee)\\) is a semilattice ordered semigroup if \\((S,\\cdot)\\) is a semigroup, \\((S,\\vee)\\) a semilattice and \\(a(b\\vee c)=ab\\vee ac\\), \\((a\\vee b)c=ac\\vee bc\\) hold for all \\(a,b,c\\in S\\). Section 2 gives examples which provide motivation. For any semigroup \\(S\\), \\(F(S)\\) consists of the finite nonempty subsets of \\(S\\) and then \\((F(S),\\cdot,\\cup)\\) is a semilattice ordered semigroup. If \\(X^+\\) is the free semigroup on the set \\(X\\), then \\((F(X^+),\\cdot,\\cup)\\) is the free semilattice ordered semigroup on \\(X\\).   Section 3 of the paper brings a case study for what will be established more in general in the main results of Section 4. If \\(S_r\\) is the semigroup free on the set \\(X\\) in the semigroup variety determined by \\(x^r=x\\), then the authors find the fully invariant congruence \\(\\rho\\) on \\((F(S_r),\\cdot,\\cup)\\) such that \\(F(S_r)/\\rho\\) is free on \\(X\\) in the variety of semilattice ordered semigroups satisfying \\(x^r=x\\). Here \\(\\rho\\) is obtained in terms of a transparently defined closure operation on the set of subsets of \\(S_r\\). More in general, given a fully invariant congruence \\(\\rho\\) on \\(X^+\\), the authors define so-called \\(\\rho\\)-admissible closure operations on \\(F(X^+)/\\rho\\) which in turn determine fully invariant congruences on \\((F(X^+),\\cdot,\\cup)\\). Proceeding this way, they find all fully invariant congruences on \\((F(X^+),\\cdot,\\cup)\\), \\(X\\) countably infinite, which correspond to semilattice ordered semigroup varieties whose semigroup reducts belong to the semigroup variety corresponding to \\(\\rho\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q818935$7C7380E6-9404-4A82-9124-5746B61908BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818935$2360B861-C40F-4555-B8EB-C54482ED0062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818935$E1E0DC66-E18B-4D75-A05D-BD6583944AD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"200c6daf956321253b053f766bdbf8c081ba5574","datavalue":{"value":"5014166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818935$3BC10E0A-A709-4952-B989-5AAA01AA1A20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64f83fd56d249d6d363816b7a259ae0ea10f185c","datavalue":{"value":"semilattice ordered semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q818935$1CC9F31F-16E3-45E4-81B0-9BB1F9C62C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"954597857ebd2b4f1b14dab13197add72b8a804b","datavalue":{"value":"free semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q818935$5014175A-B159-4D17-9099-2605C1D11135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77aa39a453056bf57cb855f01b7554092a313eab","datavalue":{"value":"semigroup varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q818935$6F10BE08-5456-463F-8B43-6C2C7AAD8827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a90be51a1b0e0d6a88c9f2d2044918a077130783","datavalue":{"value":"fully invariant congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q818935$5D46890F-BF0B-4353-A034-A2E276C374F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e835c0eeef4b2bd43d63f9582f61618fd6f1fcf","datavalue":{"value":"closure operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q818935$FA70D0DF-4169-4917-A24A-1C29C01F0C73","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"eee9bd9c9ab6ed5b7dd1e7910ae950215efafcc9","datavalue":{"value":{"entity-type":"item","numeric-id":744857,"id":"Q744857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q818935$1F7AB2D3-4BD3-47DE-AF77-7CC574A2906B","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":"Q818935$453D04E8-DF02-40E9-B3CF-00091A51BBD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5874d04838d3af0b05e21fdb0557a2d60c0ba6f","datavalue":{"value":"https://doi.org/10.1007/s00233-004-0176-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q818935$6242BF5F-5D93-4541-93B6-FEA367CB0EBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82f4e3f7e3ff389cd972c332579f439e1c3ec084","datavalue":{"value":"W1977440510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818935$F389BF31-8B5E-49BD-AFEF-64E7F8B71964","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6befa0ef38dead5d778a1b85b3ff14a00485c48b","datavalue":{"value":"10.1007/S00233-004-0176-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q818935$53E6E36E-9B3D-4D98-B426-F8059246CA8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4739d47e930d79e71832a32422de81890a147571","datavalue":{"value":{"entity-type":"item","numeric-id":2350949,"id":"Q2350949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d789d94cefb912304251b1e90bd64758fc3e31e","datavalue":{"value":{"amount":"+0.8154420256614685","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":"Q818935$0389650E-F206-4DF8-B2DE-BCA4FC741DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22ab9dccc47a7941d14f35c8fe1cb4c297c52b98","datavalue":{"value":{"entity-type":"item","numeric-id":2510379,"id":"Q2510379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063fe8df918ca7d87ec1dcb43f5074719a968ca6","datavalue":{"value":{"amount":"+0.8079589605331421","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":"Q818935$016EF9D2-B621-4B6D-B44B-C8883EE2FD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7b7cd2730be6721b52d9839685080cb4a063766","datavalue":{"value":{"entity-type":"item","numeric-id":1677543,"id":"Q1677543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4109ce83dddea6f5aa1da7e6180208d03eddd794","datavalue":{"value":{"amount":"+0.7964347004890442","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":"Q818935$8A245D22-41C1-44CB-B782-A0193B47D311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c05bb7842a7d93ccd0710571167b5026931ec44","datavalue":{"value":{"entity-type":"item","numeric-id":2267777,"id":"Q2267777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d473ba55e834d172c220c26149d28fcf8330d7d","datavalue":{"value":{"amount":"+0.7879101037979126","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":"Q818935$28A6C591-B64D-4C11-B8A0-47C6152D15FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe6ab23d0b07d250f2dc4853a35fe05af2fdbbf","datavalue":{"value":{"entity-type":"item","numeric-id":795072,"id":"Q795072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15f510093b336341186b824dc737a17a78a26ba1","datavalue":{"value":{"amount":"+0.7855132222175598","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":"Q818935$6BC7FE74-AF8A-4E72-B2FC-254E16EBF69C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On varieties of semilattice-ordered semigroups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_varieties_of_semilattice-ordered_semigroups."}}}}}