{"entities":{"Q1386715":{"pageid":1397455,"ns":120,"title":"Item:Q1386715","lastrevid":68598210,"modified":"2026-04-13T00:49:39Z","type":"item","id":"Q1386715","labels":{"en":{"language":"en","value":"On the least property of the semilattice congruence on PO-semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1156725"}},"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":"Q1386715$1B1678F8-3828-4843-85A3-399E39440D36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc99895a44c0b4c47d3eee684cd5ff33b24ac3b3","datavalue":{"value":{"text":"On the least property of the semilattice congruence on PO-semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1386715$CF1A325F-9A5B-4296-BC38-F13E13B7B164","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f921b918e3b84195178a5481b1693ab11f9af910","datavalue":{"value":"0896.06014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386715$31DE52A5-AC98-4572-B610-573D9F82A5B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a9a2d4a29fbbb2e731cb8d25473a30894518c2f","datavalue":{"value":"10.1007/PL00005949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386715$7ECAD928-20B4-4B19-83C5-7572D23077C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10433707cf26101e95151d88473abb0f33d8391e","datavalue":{"value":{"entity-type":"item","numeric-id":401158,"id":"Q401158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386715$2417886A-49E7-464A-8295-4D4BFEEF6F08","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":"Q1386715$DC0FAE92-DBF8-45CD-96A9-1D9A8CC750F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b45602d520d2a372d4a35334391b31b407de877","datavalue":{"value":{"time":"+1998-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1386715$FA33ECE9-325B-4AD3-BE5B-699869134B32","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c447cb7aa30ebd9a199b31771f8a60a3b1c7fad7","datavalue":{"value":"The following relations are considered on an arbitrary partially ordered (p.o.) semigroup \\({(S,\\cdot,\\leq)}\\): \\(a {\\mathcal N} b\\) if \\(N(a)= N(b)\\), where \\(N(x)\\) denotes the ordered filter of \\((S, \\cdot, \\leq)\\) generated by \\(x\\in S\\); \\(a n b\\) if \\(n(a) =n(b)\\), where \\(n(x)\\) denotes the filter of \\((S,\\cdot)\\) generated by \\(x\\in S\\). For p.o. semigroups \\(S\\) with greatest element, \\textit{N. Kehayopulu}, \\textit{P. Kiriakuli}, \\textit{S. Hanumantha Rao} and \\textit{P. Lakshmi} [Semigroup Forum 41, 373-376 (1990; Zbl 0708.06011)] showed that \\({\\mathcal N}\\) is the least semilattice congruence with the property that \\(a{\\mathcal N}b\\), \\(a\\leq b\\) imply \\(a{\\mathcal N}ab\\), but that \\({\\mathcal N}\\) is not the least semilattice congruence. In the paper under review, it is proved that both statements hold also for p.o. semigroups without greatest element.   Remark: That \\(n\\) is the least semilattice congruence on \\((S, \\cdot, \\leq)\\) follows immediately from the description of the corresponding congruence on semigroups \\((S, \\cdot)\\) without ordering.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386715$0B6A818D-F773-4DEF-A655-7A9F3E34A995","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386715$B8B59DB4-78A3-42FF-8242-8A9535627B47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d029e6ef3f908cccc973a274724130ad73f41c8b","datavalue":{"value":"1156725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386715$F7F4B9B3-377B-4430-9CBD-998B7066FDB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0fd0ef3a55cbb7a416fdaad3e95d8ae25e6d8ef","datavalue":{"value":"partially ordered semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386715$B7764A5D-93CC-4F8C-B583-7DB1900AE7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3720097860307e6cae16a837222b859450809095","datavalue":{"value":"semilattice congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386715$AF5E6F72-686B-4F79-A867-261E194E8CE3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0e40a3870b32b18b840da0f31227db8fce409223","datavalue":{"value":{"entity-type":"item","numeric-id":731309,"id":"Q731309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386715$177928DB-7633-480E-B682-B7227A9B2293","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":"Q1386715$5647A230-B261-4BD4-AE68-0B959BF0B488","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9eedea29fc91c5dff2f72f8bc3b737035c63d7c9","datavalue":{"value":"https://doi.org/10.1007/pl00005949","type":"string"},"datatype":"url"},"type":"statement","id":"Q1386715$3524BCE7-191E-4B6F-9F1D-40BE5E70797F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f6401aff689dca9e17ca700508e87a239a89127","datavalue":{"value":"W2009529512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386715$44FA8EEA-3D45-45BF-9F21-6C222C3366F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85bec1c26011216da7ae31b0c9d9949b4908b06","datavalue":{"value":{"entity-type":"item","numeric-id":2719606,"id":"Q2719606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27bad77bc783bc4989b33efa3e71b4faa53a75d6","datavalue":{"value":{"amount":"+0.8816276788711548","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":"Q1386715$BFD23257-D3EF-4772-A172-F2C0422D94ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84931ce14212e8ad818d4abf121c8b38eabb60ae","datavalue":{"value":{"entity-type":"item","numeric-id":3495399,"id":"Q3495399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f842b3baedb8f590c33c301bcd94c8f424b9c4b","datavalue":{"value":{"amount":"+0.8456994295120239","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":"Q1386715$3FA074E8-326B-49C7-BA6E-BECE7E7DFA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e679347f22301b594715a26a0f957c6d6be976e","datavalue":{"value":{"entity-type":"item","numeric-id":4501285,"id":"Q4501285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c26673c14edfae8ea7801e8b0075c8078da286","datavalue":{"value":{"amount":"+0.8363987803459167","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":"Q1386715$F587FC9A-8626-4052-9EC3-C3CD5E479D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e9a6dffdd9d76d3ae7e76a4bc47dc3e299e66d","datavalue":{"value":{"entity-type":"item","numeric-id":3204516,"id":"Q3204516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b77dc0d0d6d2f36d029514897d78371eabd53464","datavalue":{"value":{"amount":"+0.8286964297294617","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":"Q1386715$E29D7DAC-32AB-469D-A392-F4E506A54F75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the least property of the semilattice congruence on PO-semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_least_property_of_the_semilattice_congruence_on_PO-semigroups"}}}}}