{"entities":{"Q1434112":{"pageid":1444852,"ns":120,"title":"Item:Q1434112","lastrevid":67738236,"modified":"2026-04-12T19:33:44Z","type":"item","id":"Q1434112","labels":{"en":{"language":"en","value":"Decompositions and pseudo-orders of ordered semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2077992"}},"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":"Q1434112$EFBCFC43-976A-401B-9EFB-3991E4BB61DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e99e67e03af1fed230fe75b4b1ec48ff7245d32c","datavalue":{"value":{"text":"Decompositions and pseudo-orders of ordered semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1434112$27C10364-B82C-4D6B-A9C3-3D4F7A645EB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9525496b22cb2ef892655281f95d8c795ec45a9a","datavalue":{"value":"1052.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434112$E277E436-61E9-4C1F-9E09-A2D19A1AB9D0","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":"Q1434112$FF47E650-526C-4F18-8589-FFFDF3492950","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f1c91819e1068c0617e66c7ecdafdccd99ae8ff","datavalue":{"value":{"time":"+2004-07-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":"Q1434112$2E9088C8-81F5-46E3-9A54-877D918AE76F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"62b9ce540de36f83a1f2e819e6d0f40afbc7a5f7","datavalue":{"value":"Let \\((S,\\cdot,\\leq)\\) be a partially ordered semigroup. A semilattice congruence \\(\\eta\\) on \\((S,\\cdot)\\) is called ``natural ordered'' if \\(a\\leq b\\) \\((a,b\\in S)\\) implies \\(ab \\eta a\\). Following \\textit{N. Kahayopulu} and \\textit{M. Tsingelis} [Semigroup Forum 50, 392--398 (1995; Zbl 0828.06010)] a binary relation \\(\\omega\\) on \\(S\\) is called ``pseudo-order'' if \\(\\omega\\) is transitive, compatible with multiplication, and \\(a\\leq b\\Rightarrow a\\omega b\\). For any pseudo-order \\(\\omega\\), \\(\\overline\\omega= \\omega\\cap \\omega^{-1}\\) is a congruence on \\((S,\\cdot)\\) such that \\((S/\\overline\\omega,*, \\preccurlyeq)\\) is a partially ordered semigroup with respect to \\(a\\overline\\omega\\preccurlyeq b\\overline\\omega\\) iff \\(x\\omega y\\) for some \\(x\\in a\\overline\\omega\\), \\(y\\in b\\overline\\omega\\). A pseudo-order \\(\\omega\\) on \\(S\\) is called a ``natural ordered semilattice pseudo-order (nosp)'' if \\(\\omega\\) is a natural ordered semilattice congruence on \\(S\\). In such a case it follows that \\(S\\) is decomposed by \\(\\overline\\omega\\) into subsemigroups which form a semilattice in the above sense. If this decomposition is ``strong'', \\((S,\\cdot,\\leq)\\) is a subdirect product of partially ordered semigroups with minimum zero elements possibly adjoined. The main result of the paper generalizes the description of an arbitrary semilattice congruence on a semigroup by means of sets of filters. It is shown that a pseudo-order \\(\\omega\\) is a nosp on \\((S,\\cdot,\\leq)\\) iff \\(\\omega= \\bigcap\\omega_F\\) with \\(F\\in{\\mathcal F}\\), where \\({\\mathcal F}\\) is a set of proper ``filters'' and \\(\\omega_F= (S\\setminus F\\times S\\setminus F)\\cup(S\\setminus F\\times F)\\cup (F\\times F)\\). Also, the least nosp on \\(S\\) is characterized as the relation \\(\\rho^{-1}\\), where \\(\\rho= \\bigcup \\sigma^n\\) and \\(a\\sigma b\\Leftrightarrow b^2\\leq xay\\) for some \\(x,y\\in S^1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434112$42F2A3D6-5243-4282-93C6-35B66ABC1D78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434112$C207EDBC-FC96-487A-9C48-2D1E0CA250FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ee88633d2e32035177b7238b606e2d0cdc376e1","datavalue":{"value":"2077992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434112$1AD14174-5B76-466E-AFB5-001A42B39371","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0fd0ef3a55cbb7a416fdaad3e95d8ae25e6d8ef","datavalue":{"value":"partially ordered semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434112$C10F67E1-DB6D-435A-B711-DFC7B29EC37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e8ac4e457dd118390a396f4ff46ad220ffbe7fc","datavalue":{"value":"pseudo-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434112$07F2851E-18A1-4113-AEE1-71E8F1232AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3720097860307e6cae16a837222b859450809095","datavalue":{"value":"semilattice congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434112$5DF4AF3F-BC75-4F2E-AFD3-136919BCA264","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"723caff93ab35fb475c237d21e53ad83e0e503e0","datavalue":{"value":{"entity-type":"item","numeric-id":1775323,"id":"Q1775323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434112$4BEAE1C8-3E89-43BE-A55A-795D92D9869D","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":"Q1434112$43D7FBE5-6B30-4318-BEDA-962417EA7C8B","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":"Q1434112$8A2C2E38-068F-4725-B56E-FCA42463CCF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"feb061daac2f00e7afbb89f1fe9f53251b2c765d","datavalue":{"value":"https://doi.org/10.1007/s00233-000-0007-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1434112$0D50D106-9344-4CD9-A522-44ECCAC0A1DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56b5e584ff367a1bef74b1a2831c99491d686f4f","datavalue":{"value":"W2030869870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434112$470CC445-8A75-4B80-997B-CC27FDC143CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c9436fe36ff9f8edc57b8891cbb01b5a8295082","datavalue":{"value":"10.1007/S00233-000-0007-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434112$C9BA5607-EEF5-4B5E-B53B-8F77DC599F1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fbfa70e44be279cb98b5c75bd195aaf08426f6","datavalue":{"value":{"entity-type":"item","numeric-id":1891656,"id":"Q1891656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1e6ddde71af0049ced97888372071de78588de","datavalue":{"value":{"amount":"+0.8446418642997742","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":"Q1434112$0734C1EB-B8E0-461C-81D9-E8C6C04F7B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c22b20b84f67cc87cf3fade60e77b1950378d04","datavalue":{"value":{"entity-type":"item","numeric-id":1346300,"id":"Q1346300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f0a0621595ecb90a0dd3cd475774a6527f4a5ab","datavalue":{"value":{"amount":"+0.8436376452445984","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":"Q1434112$A32F960F-524F-4720-B5F5-B460A8407B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d2bfaf73a2613f86a82dd669bf6c0413997ced4","datavalue":{"value":{"entity-type":"item","numeric-id":1583902,"id":"Q1583902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aedc5d4f0d481bcbf675c145353f90337ad755e","datavalue":{"value":{"amount":"+0.8433035612106323","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":"Q1434112$55232826-A0C4-4342-A024-94DE3C5977BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7df40e50cca6fc850d1d3ec1574f6451e81e05","datavalue":{"value":{"entity-type":"item","numeric-id":1006994,"id":"Q1006994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b93675337a377865d867051dd8b396cb2546c22","datavalue":{"value":{"amount":"+0.8430324196815491","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":"Q1434112$A6278784-ACD8-4C3A-ABEE-2653D6928280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54bb4680e65a1d053250b36c91e9498da05143d","datavalue":{"value":{"entity-type":"item","numeric-id":1422279,"id":"Q1422279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c6910d564906541346b112db9c26683ab7eac3","datavalue":{"value":{"amount":"+0.8329001069068909","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":"Q1434112$C6AE75C8-CED1-4FA7-B818-D52041C6A951","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decompositions and pseudo-orders of ordered semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decompositions_and_pseudo-orders_of_ordered_semigroups"}}}}}