{"entities":{"Q1891656":{"pageid":1902398,"ns":120,"title":"Item:Q1891656","lastrevid":71696319,"modified":"2026-04-13T23:57:02Z","type":"item","id":"Q1891656","labels":{"en":{"language":"en","value":"Pseudoorder in ordered semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 763803"}},"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":"Q1891656$21D8EBC6-CD19-4366-85A7-073CC1FEB2ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcf3e637a0b11e56f79624485af6fbc71b28feac","datavalue":{"value":{"text":"Pseudoorder in ordered semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1891656$DBDC1D21-80B7-4537-9059-7AB02FBC00AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0396e2e31f11f349cc11fe74dc0e4bee795e92a","datavalue":{"value":"0828.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891656$07E7F507-0B6C-44D1-851B-B527B84AF9F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d340024a7130564eed3e9be6be3cfb2b4e52712c","datavalue":{"value":"10.1007/BF02573534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891656$0C50EF2B-E38C-4645-9DF9-ADBB3D63BF3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"795053ce291a25b32a325e72ea90a1012426748e","datavalue":{"value":{"entity-type":"item","numeric-id":323591,"id":"Q323591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891656$5CDF284C-A29A-4D3B-9A5D-73573A5F2E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fe2ac444b61133352055174c7133ce289ac8df6","datavalue":{"value":{"entity-type":"item","numeric-id":444688,"id":"Q444688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891656$A2E02E4F-9013-4821-83CA-1DA85E3F2D1B","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":"Q1891656$0D4934CA-3504-4C5A-9F3E-C834BF5621E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"771c3d65e511c1c23ff132299f8716909a176f01","datavalue":{"value":{"time":"+1995-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1891656$4E455C7D-74CC-4DEE-9B5E-7E8EAEBBB522","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c53382a37921b60ed3baaaae286bae69d25a4e79","datavalue":{"value":"https://eudml.org/doc/135395","type":"string"},"datatype":"url"},"type":"statement","id":"Q1891656$42EBCBE2-694B-4FA7-9C0D-667F40FF06B1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"53f508462f2d07bd4e5c9093bf2bbe6e480aeb30","datavalue":{"value":"The notion of pseudoorder on a partially ordered (p.o.) semigroup \\((S, \\cdot, \\leq)\\) was introduced by the authors in an earlier paper [ibid. 50, No. 2, 161-177 (1995; Zbl 0823.06010)]. A transitive, left- and right- compatible relation \\(\\rho\\) on \\(S\\) is a pseudoorder if \\(a \\leq b\\) implies \\(a \\rho b\\) (consequently, \\(\\rho\\) is reflexive). Notice that for every homomorphism \\(\\varphi : (S, \\cdot, \\leq) \\to(T, *, \\preceq)\\) of p.o. semigroups the relation \\(\\rho\\) on \\(S\\) defined by: \\(a \\rho b \\Leftrightarrow \\varphi (a) \\preceq \\varphi (b)\\), is a pseudoorder. It allows to define for the congruence \\(\\overline \\rho = \\rho \\cap \\rho^{- 1}\\) on \\(S\\) a partial ordering on \\(S/ \\overline \\rho\\) which makes \\((S/ \\overline \\rho, *, \\preceq)\\) a p.o. semigroup: \\(a \\rho \\preceq b \\rho \\Leftrightarrow a \\rho b\\). This is the reason for replacing arbitrary congruences on \\((S, \\cdot)\\) by congruences \\(\\overline \\rho\\) containing th partial order \\(\\leq\\) of \\(S\\) \\((\\preceq\\) on \\(S\\overline \\rho\\) is in a certain sense induced by \\(\\leq\\) on \\(S)\\). Using the concept of pseudoorder the well-known homomorphism and isomorphism theorems for semigroups \\((S,\\cdot)\\) are extended to p.o. semigroups \\((S, \\cdot, \\leq)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891656$F4EDA8F4-16F5-442C-89E5-638A984033EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891656$9C135CAD-C638-443C-BE3F-7BDAA79F5637","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6da8301d0857250e4bb621f653e59086d7ee1058","datavalue":{"value":"763803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891656$9BA5E1BB-DA05-4F84-9D0B-54F2504FFE26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0fd0ef3a55cbb7a416fdaad3e95d8ae25e6d8ef","datavalue":{"value":"partially ordered semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891656$55BDE334-8507-4AAC-8994-F5331E487847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5674f2d307a5ae2182d570c893058077b7ddee44","datavalue":{"value":"homomorphism theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891656$C7D6AE2F-5CA6-4B9C-AB07-09380B020FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a23fc953e9d5ab841994783330f32218effc821","datavalue":{"value":"isomorphism theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891656$AD789B17-4BAC-48C8-9D1D-9E62164D9C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"722b3c9097ecc03448e944971d0168117c6eae66","datavalue":{"value":"pseudoorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891656$16BF3C38-F39C-4AF8-ACE4-B06E922E7DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891656$A4E1026C-1D72-4880-83E7-A15143F6A479","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":"Q1891656$D97FEF67-4956-492A-895D-99F377C43185","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":"Q1891656$994DCD05-4455-49A6-AC4E-C133ED01FF1E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891656$1574635F-3696-4F13-AAD0-60CF74CE15BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ff06408263e5f665ead85b39585c723ac6a5670","datavalue":{"value":{"entity-type":"item","numeric-id":1346300,"id":"Q1346300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891656$F65ED56D-55EF-440B-BEDA-60B3491B3150","rank":"normal"}],"P1643":[{"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":"99d81cef420b5ee1e95e3f62ef49dd21f6b00720","datavalue":{"value":{"amount":"+0.891925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891656$37D15E0E-71E8-4238-9368-F5AC4E66E951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"521c8e214d705598aae220ffba6f653c9e7c5a12","datavalue":{"value":{"entity-type":"item","numeric-id":3641456,"id":"Q3641456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22318d807a4a44183f726af509192f2f4d586340","datavalue":{"value":{"amount":"+0.83814836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891656$75734FEC-E025-429B-AD7F-D7EC8E5406D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baa00974ec41390c75324074253df9feae1b5d40","datavalue":{"value":{"entity-type":"item","numeric-id":2688667,"id":"Q2688667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"355798a8422e9960dc5fa749ebff5fae753c9d4a","datavalue":{"value":{"amount":"+0.8170767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891656$4905A2C4-7564-4DD8-B4D4-850215149B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b07f1e1eb00a172dcc4316512c56550a8ed04f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1434112,"id":"Q1434112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2616d95ff805e800369194ca1ba41aa86520c52a","datavalue":{"value":{"amount":"+0.81616956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891656$BB1DFF32-B2F7-4EF5-9B5C-2B1E9B75F0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5e3ba99fa30940c34a778caf829bc1363c4ec8","datavalue":{"value":{"entity-type":"item","numeric-id":3513412,"id":"Q3513412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"187b48329ae13177de4bedd53d74ef5c220c3ed7","datavalue":{"value":{"amount":"+0.81365716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891656$D879A9B6-5355-4618-B5D5-C6E6CCD06276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea4e5a62edf3fdd1ca8b115cad40c9cae0086b8","datavalue":{"value":{"entity-type":"item","numeric-id":5471462,"id":"Q5471462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b50511884541453089b6867c42f2b9e2974679b","datavalue":{"value":{"amount":"+0.813596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891656$01FD320E-CEAA-41DF-886E-DDD1CAB1FEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51977469f02561674789ce5d27bb4d2b3f5ec5f7","datavalue":{"value":{"entity-type":"item","numeric-id":1333187,"id":"Q1333187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4dd189e870c73013c1e857ce77405099b03a3fd","datavalue":{"value":{"amount":"+0.8087105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891656$F4AC644F-178F-44A8-BE06-8E24E7DBCD5A","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":"ea07c10314363d2dbbedc97fb4fd13eb296351a6","datavalue":{"value":{"amount":"+0.8077919","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891656$F5B420D4-2519-4F71-B2F7-FFCDFABCCEE0","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":"53bd67b5e30353ed3bfc03663f37e916acb7a433","datavalue":{"value":{"amount":"+0.8072816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891656$61529D54-27AF-49B0-93D1-843E4BA9BBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"573ac856d2e2724552d019df0ebcdbce55154828","datavalue":{"value":{"entity-type":"item","numeric-id":3119266,"id":"Q3119266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c743801398499a820217d6ea0e5dc40f7ede9388","datavalue":{"value":{"amount":"+0.8027041","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891656$6E038DCE-0DA5-4F4F-8EDD-255946BA284B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pseudoorder in ordered semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pseudoorder_in_ordered_semigroups"}}}}}