{"entities":{"Q1006337":{"pageid":1008185,"ns":120,"title":"Item:Q1006337","lastrevid":66000690,"modified":"2026-04-12T06:51:39Z","type":"item","id":"Q1006337","labels":{"en":{"language":"en","value":"On countable completions of quotient ordered semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5530532"}},"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":"Q1006337$5E341B52-4317-4E3B-A257-7364739C9DD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fd8330904a32c7c0489ec1ef68ba2bccc1aedd7","datavalue":{"value":{"text":"On countable completions of quotient ordered semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1006337$03C1062D-9250-48C9-9211-D74EE3CC230E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce1c3eeed68993f53a1feb77f5997a027b2dd49c","datavalue":{"value":"1165.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006337$E78E9EAD-9122-4C7A-AA7E-9F82DAA0D736","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9771f42939998584d7ca5ade21ef8459a8c4bdc","datavalue":{"value":{"entity-type":"item","numeric-id":491976,"id":"Q491976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006337$F9BCBB5B-1A60-4E66-B8A1-69AAEA50BEFF","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":"Q1006337$47BE16B0-762D-45A8-ABA3-A20FFB5169E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e445d425c43514397255c49f46fa0ce50aeefde1","datavalue":{"value":{"time":"+2009-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1006337$76DFB58F-FC21-435D-AC9D-532ED3346C88","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"23103a3fe8e9e7f42feae4d6b65ce83970daa942","datavalue":{"value":"A poset is called \\(\\omega\\)-chain complete if each of its chains that is isomorphic to \\(\\omega\\) (equivalently, each countable chain or even each countable directed subset) has a supremum. As shown by \\textit{G. Markowsky} [``Chain-complete  posets and directed sets with applications'', Algebra Univers. 6, 53--68 (1976; Zbl 0332.06001)], any poset has a universal \\(\\omega\\)-completion. The author calls a poset \\(P\\) strict if each element of the completion  is a directed join of an \\(\\omega\\)-chain in \\(P\\), and all elements of \\(P\\) are \\(\\omega\\)-compact in the completion. By an easy example it is demonstrated that in this setting, the formation of quotients does not always commute with the \\(\\omega\\)-completion. In contrast to that negative observation, the author proves a positive result for what he calls naturally ordered semigroups. These are monoids for which the preorder given by  \\(x\\sqsubseteq y \\Leftrightarrow \\exists\\,z \\, (y = x\\cdot z)\\) is a partial order. More generally, he means by a preordered (resp. partially ordered) semigroup one with an extra preorder (resp. partial order) such that the neutral element is the least element and the left translations preserve the order relation.      [Reviewer's remark. This one-sided approach causes some difficulties; for example, the statement that ``there is an  obvious adjunction between \\textsf{POSG}, the category of partially ordered semigroups, and \\textsf{PreOSG}, the category  of preordered semigroups, obtained by restriction'' of the adjunction between the categories of  posets and of preordered sets, is obscure: certainly one cannot speak of a ``restriction'',  and why is the equivalence relation obtained by symmetrization of the preorder a (two-sided!) semigroup congruence? This would be crucial for the intended adjunction between \\textsf{POSG} and \\textsf{SG}, the category of semigroups with neutral element (monoids).]      The study of the interplay between order and semigroup structures culminates in the statement that  the \\(\\omega\\)-completion of any quotient of a strict naturally ordered semigroup \\(S\\) coincides with the so-called pseudo-completion.  Roughly speaking, the latter is obtained by canonically extending the given congruence on \\(S\\) to its \\(\\omega\\)-completion and then forming the \\textsf{POSG}-quotient with respect to the extended congruence.  Hence, in this case one might say that the completion commutes with the formation of quotients. Moreover, there is a natural action of the ground semigroup on its \\(\\omega\\)-completion.  In particular, these results apply to quotients of free semigroups.  More transparent and technically simpler is the last part, dealing with (two-sided) partially ordered monoids, for which not only the left but also the right translations are order-preserving. The author speaks here of strongly ordered semigroups. After some instructive examples he shows that the \\(\\omega\\)-completion of a strict and strongly ordered semigroup carries a unique semigroup structure extending the given one and making the completion a topological semigroup with the \\(\\omega\\)-Scott topology, an obvious variant of the usual Scott topology: the \\(\\omega\\)-Scott open subsets are those upper sets which contain with the supremum of any \\(\\omega\\)-chain \\(C\\) already some element of \\(C\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006337$B06A3BBF-66C3-4EA4-B7C2-BD59F9F6BF4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006337$ACFEDF2A-66E2-4090-8829-48516FB11D17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54ab2d674b9faea20fdbb3d5642e661226aeed3a","datavalue":{"value":"5530532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006337$9673ACA0-0082-4389-B7C9-0AB1ABCC00DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb941830005109997c3b5a1c41d544a8f41eed76","datavalue":{"value":"ordering completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006337$EA30A9B9-444B-45FD-B6A7-9AB8B8E1EA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe4bf7091bb3deee642c809c971ae31b92be1938","datavalue":{"value":"quotient semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006337$BD2919C5-7E3B-4B49-8AE9-682D601CD472","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":"Q1006337$5C13EB85-BFC4-40F7-A877-32D37F916BF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6a491cb62afd6a75bbbecb5aba82ba682c12250","datavalue":{"value":"https://doi.org/10.1007/s00233-008-9111-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1006337$CBF3DEB5-1652-4DB9-A0D4-C64C253CFF9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec16a255cfbb96953c622f604cd54258126fafb7","datavalue":{"value":"W2083283668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006337$67DDDB5D-C346-4250-B964-B6FE04D20097","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006337$74422B4A-41D4-45B0-8439-E6E7E831EA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f982803b5894a948ec5beb347b6582a76af16","datavalue":{"value":{"entity-type":"item","numeric-id":1821128,"id":"Q1821128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006337$84B1B716-3ED4-4EE7-B117-4E1656DF0BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da56bd0d05ab42fafba15cd925788e166c9d0d9","datavalue":{"value":{"entity-type":"item","numeric-id":3915036,"id":"Q3915036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006337$55863C98-A818-488D-84FA-CB414138EC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006337$14E30069-E9F9-405D-9563-7A0588E3C541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006337$91B0C186-4CCA-4110-9248-1E9BFF173EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1db7dcd2da9fc394dcd951ad62461c4f9bd451","datavalue":{"value":{"entity-type":"item","numeric-id":1227632,"id":"Q1227632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006337$79D58CDD-1C2C-4C71-95DD-61E863B6CC84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1f0694a0995d637b0b1b0d3bc6c7607f8a5d841","datavalue":{"value":"10.1007/S00233-008-9111-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006337$594B07E7-9A52-44E6-9225-84BBE5524BE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe48573455b100ba5722e805dd99ae0d278b633e","datavalue":{"value":{"entity-type":"item","numeric-id":3021297,"id":"Q3021297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b9ee2ef3f5a5c2086286e8fd5a961a16a331c7f","datavalue":{"value":{"amount":"+0.7617242932319641","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":"Q1006337$5339AB71-8FE7-426C-90DF-B50D42750212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af753453a94326f98b80edc34f6130266fe5cadf","datavalue":{"value":{"entity-type":"item","numeric-id":3131342,"id":"Q3131342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d857fa4153b6b6079dcbd3c62d0661ebed1c78","datavalue":{"value":{"amount":"+0.7438241243362427","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":"Q1006337$406FBFF6-E544-4E9F-BC60-C7BD33734A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f3f2506f5120392e7367a18933246a58988b7dd","datavalue":{"value":{"entity-type":"item","numeric-id":1821128,"id":"Q1821128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b8cf5a62eec31d5f3929bbb4742ad016d7c875","datavalue":{"value":{"amount":"+0.7424951791763306","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":"Q1006337$5EAF083C-53A4-40BE-86EB-0F2BA070D348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011e8ecd8e55f9693578fd64244f7a3269a5cf24","datavalue":{"value":{"entity-type":"item","numeric-id":3780091,"id":"Q3780091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ceaf31a637b881717b19f97f3b0b5bdf5ecc674","datavalue":{"value":{"amount":"+0.7213736772537231","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":"Q1006337$82B5A432-FD48-4FCA-B5D4-A20052693FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5776668902d5623b44a11b3602857feecec52f77","datavalue":{"value":{"entity-type":"item","numeric-id":5319584,"id":"Q5319584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2684e9f18fb7ca418393b2c37163b9f824697535","datavalue":{"value":{"amount":"+0.7207749485969543","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":"Q1006337$BDAE9BD0-51E1-4AA6-B35B-15CCFB0F0B5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On countable completions of quotient ordered semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_countable_completions_of_quotient_ordered_semigroups"}}}}}