{"entities":{"Q809108":{"pageid":810956,"ns":120,"title":"Item:Q809108","lastrevid":64534518,"modified":"2026-04-11T20:32:07Z","type":"item","id":"Q809108","labels":{"en":{"language":"en","value":"On a problem in poe-semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4210209"}},"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":"Q809108$8B54D7FD-8D2F-4F8F-87D8-F5B6AFECB929","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4df54e2633131bb61aacfea0a7fd77528980456f","datavalue":{"value":{"text":"On a problem in poe-semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q809108$163E6AE6-4ABD-49F4-87CB-C6D1590F292E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e32ec0d414b7de2748ea4f407c262d2da7ad24ca","datavalue":{"value":"0732.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809108$EC468016-605B-433F-AF97-2895E569720F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebf460aa8fd45fa88dc3e0edfbe338e23704d4ac","datavalue":{"value":"10.1007/BF02574270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809108$EC7880C7-395B-4B71-8AFA-9A20C7ECC4B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"022451bdb9c2250a93408dee9ba31b0a5250bd59","datavalue":{"value":{"entity-type":"item","numeric-id":749677,"id":"Q749677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809108$BCCE887A-211A-4185-B358-BEE8E465760A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1db54658c55b59f497ed30db0f1e17af4c06679a","datavalue":{"value":{"entity-type":"item","numeric-id":1068865,"id":"Q1068865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809108$E9DF9472-518F-4D81-95D4-96B82FA6A8A8","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":"Q809108$AB0C04DB-930B-440B-9513-AA6A63D14968","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q809108$EFB7EB44-C9E9-4C1E-9F41-0144B17C394D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"081efb4209fed884bd140198ef5a00735950c5aa","datavalue":{"value":"https://eudml.org/doc/135114","type":"string"},"datatype":"url"},"type":"statement","id":"Q809108$5CD51E0B-8707-4C6B-BB22-3506330B8D15","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"729943264ebef00356019841e77b5d930ac1b845","datavalue":{"value":"A poe-semigroup is a po-semigroup S containing an idempotent e such that \\(x\\leq e\\) for all \\(x\\in S\\) and such that if a,b,t\\(\\in S\\) and \\(a\\leq b\\), then ta\\(\\leq tb\\) and at\\(\\leq bt\\). A poe-semigroup S is said to be weakly commutative if for all x,y\\(\\in S\\), there exists a positive integer n such that \\((xy)^ n\\leq yex\\). S is called an Archimedean semigroup if for any a,b\\(\\in S\\), there exists a positive integer m such that \\(a^ m\\leq xby\\) for some x,y\\(\\in S\\). In his paper ``On weakly commutative poe- semigroups'' [Semigroup Forum 34, 367-370 (1987; Zbl 0613.06009)], \\textit{Niovi Kehayopulu} raised the following problem: Is each weakly commutative poe-semigroup S (uniquely) a semilattice of Archimedean subsemigroups? In the present paper it is shown that \\(\\mu =\\{(a,b)\\in S\\times S:\\) there exist positive integers m, n such that \\(a^ m\\leq xby\\), \\(b^ n\\leq x_ 1by_ 1\\) for some \\(x,y,x_ 1,y_ 1\\in S\\}\\) is a semilattice congruence such that each \\(\\mu\\)-class is an Archimedean subsemigroup of S.","type":"string"},"datatype":"string"},"type":"statement","id":"Q809108$D8DF1FEC-93E7-49F9-B848-E142FC046068","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"79a0428f8802df084cfde5d8d8d0e8293f1c31fa","datavalue":{"value":{"entity-type":"item","numeric-id":809107,"id":"Q809107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809108$130E435B-1E78-4780-A323-1C0D0B40CA9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809108$F9C18312-20D9-49F5-938E-FC468B4B1293","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a916b8fb7405943159d0f14fc02c8ed99d7899ef","datavalue":{"value":"4210209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809108$9DE3FEF0-4053-46F1-ABCD-1F4D3979077F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31b4f39329170e59e71cfb2f6c33a4f26f5bf8e6","datavalue":{"value":"poe-semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q809108$A9FEADAB-A1A5-4B70-87FA-F3684BA90592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63518bb5438763443d20dfb00f74087d07f78090","datavalue":{"value":"weakly commutative","type":"string"},"datatype":"string"},"type":"statement","id":"Q809108$045E83C9-C802-4445-A1C0-B4724877ABA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d8743c2daac5acb9988d5973d40149b4463c72f","datavalue":{"value":"Archimedean semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q809108$940FE1B0-2236-4386-8409-BD1B93561326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3720097860307e6cae16a837222b859450809095","datavalue":{"value":"semilattice congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q809108$0E5922F4-32E2-4065-9D15-53DB6F9E8BDF","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":"Q809108$8A187EB9-9A46-4E7B-9CC8-969E61B1C28B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0eff85fb806bb5066e3945cc503e0133783f409","datavalue":{"value":{"entity-type":"item","numeric-id":5903368,"id":"Q5903368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809108$AFE5E348-9B4B-48AF-9CA5-515151FDB894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3178c3d40d66f56d2d200dcb9a13a12b2140b77b","datavalue":{"value":{"entity-type":"item","numeric-id":4148155,"id":"Q4148155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809108$AE554CB5-0C3F-4318-8FED-CCE0DB5BE674","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e47a500197a7acf0bb8c4ab095ea4de0f7f41176","datavalue":{"value":"W2039209994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809108$5F4CD027-C9C2-4E11-A891-94C719676685","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edcb49c6a93e1473d3a083474cf89ba27e23e7f9","datavalue":{"value":{"entity-type":"item","numeric-id":5899945,"id":"Q5899945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"532d1a979288947e0a9bdf384dd4f616011ec50e","datavalue":{"value":{"amount":"+0.8977864980697632","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":"Q809108$BB0024BC-A88B-466B-A657-63B59B4E292F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ad3d8e48f6ed6ffc0e6101c3901710cec452afb","datavalue":{"value":{"entity-type":"item","numeric-id":3351406,"id":"Q3351406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5127f455ae39f2e406f37e9752b0d12d77a9aeb5","datavalue":{"value":{"amount":"+0.8977387547492981","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":"Q809108$1545B608-64F1-4E0C-B48A-7256F1B85C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee8fbb4f737ffa0dbe39770fb2b0c3e21ada3d62","datavalue":{"value":{"entity-type":"item","numeric-id":4867667,"id":"Q4867667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"024caeb915f8a749d74b51efb8d60c5f744e8952","datavalue":{"value":{"amount":"+0.8876753449440002","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":"Q809108$D75650BB-795C-45A6-8BBA-9F578F9015C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0948a25b5c3e5223df8831baa882f80e21a2a168","datavalue":{"value":{"entity-type":"item","numeric-id":3527470,"id":"Q3527470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2b2a87be7f4a7087f2d792879ceec63ebcb8bef","datavalue":{"value":{"amount":"+0.8876751661300659","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":"Q809108$A5B2B3F7-C190-4B36-81CE-4320F7FEAC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed347cb576df67a1820ceb1ace6103bfabc1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4849009,"id":"Q4849009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c89be4b94718de70061e968aa605215095226b36","datavalue":{"value":{"amount":"+0.882463812828064","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":"Q809108$3A3643AA-AB76-4036-9233-E991680C1A48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a problem in poe-semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_problem_in_poe-semigroups"}}}}}