{"entities":{"Q1175715":{"pageid":1186464,"ns":120,"title":"Item:Q1175715","lastrevid":47044762,"modified":"2025-12-31T12:06:05Z","type":"item","id":"Q1175715","labels":{"en":{"language":"en","value":"Left orders in regular \\({\\mathcal H}\\)-semigroups. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 14400"}},"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":"Q1175715$DAAE8DB3-EDC8-4428-968D-60AABF6CC1BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df9fdd5713dd33369058b2a83786ee7a630f0b05","datavalue":{"value":{"text":"Left orders in regular \\({\\mathcal H}\\)-semigroups. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1175715$5CD0C49B-001E-4A37-89A1-9AF896AE82C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7ac1c3577451c411e2a0cd22954a70add9b4811","datavalue":{"value":"0735.20033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175715$E5274199-38A4-4FDC-B904-050299D8F0B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66748e64c02061eb01e572b07a892ade612076f4","datavalue":{"value":"10.1016/0021-8693(91)90202-J","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175715$876ED926-6EA8-4652-B990-C9F46BCDCAE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47bf248e9743c97a013f0458ed30a0664f014eb9","datavalue":{"value":{"entity-type":"item","numeric-id":244460,"id":"Q244460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175715$5492AC9D-2DA4-4B82-9137-23EA0CCA3A86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175715$65F9C586-73A4-4E96-94F5-D3F563D37AF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1175715$6C316B1D-5544-40B4-B2C4-B38EA7F95FF3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1aa0d052232e301008abe19b441b07952e447380","datavalue":{"value":"Let \\(S\\) be a semigroup. The relation \\({\\mathcal L}^*\\) (\\({\\mathcal R}^*\\)) is defined on \\(S\\) by the rule that if \\(a,b\\in S\\), then \\(a{\\mathcal L}^*b\\) (\\(a{\\mathcal R}^*b\\)) if and only if \\(a{\\mathcal L}b\\) (\\(a{\\mathcal R}b\\)) in some oversemigroup of \\(S\\). Denote \\({\\mathcal L}^*\\cap {\\mathcal R}^*\\) by \\({\\mathcal H}^*\\). An element \\(a\\in S\\) is square-cancellable if \\(a{\\mathcal H}^*a^ 2\\). If \\(a{\\mathcal H}a^ 2\\) then the inverse of \\(a\\) in \\(H_ a\\) is denoted by \\(a^{-1}\\). \\(S\\) is a left order in an oversemigroup \\(Q\\) of \\(S\\) (and \\(Q\\) is a semigroup of left quotients of \\(S\\)) if 1) given \\(q\\in Q\\), then \\(q=a^{-1}b\\), where \\(a,b\\in S\\), 2) for \\(a\\in S\\), \\(a{\\mathcal H}^*a^ 2\\) in \\(S\\) iff \\(a{\\mathcal H}a^ 2\\) in \\(Q\\). A semigroup is an \\({\\mathcal H}\\)- semigroup if Green's relation \\({\\mathcal H}\\) is a congruence on it. A suitable pair (\\({\\mathcal L}',{\\mathcal R}'\\)) for a semigroup \\(S\\) is an ordered pair of equivalence relations on \\(S\\) such that \\({\\mathcal L}'\\subseteq{\\mathcal L}^*\\), \\({\\mathcal R}'\\subseteq{\\mathcal R}^*\\), \\({\\mathcal L}'\\) is a right congruence, \\({\\mathcal R}'\\) is a left congruence, and for any \\(a\\in S\\), \\(a{\\mathcal H}^*a^ 2\\) iff \\(a{\\mathcal H}'a^ 2\\). Theorem. Let \\(S\\) be a semigroup and let (\\({\\mathcal L}',{\\mathcal R}'\\)) be a suitable pair for \\(S\\). Then \\(S\\) is a left order in a regular \\({\\mathcal H}\\)-semigroup \\(Q\\) such that \\({\\mathcal L}_ Q\\cap(S\\times S)={\\mathcal L}'\\), \\({\\mathcal R}_ Q\\cap(S\\times S)={\\mathcal R}'\\) if and only if \\(S\\) satisfies conditions (A), (B), (C), (D), (E) and the left-right duals of (C), (D), (E): (A) \\({\\mathcal H}'\\) is a congruence on \\(S\\) and \\(S/{\\mathcal H}'\\) is regular, (B) if \\(a\\in S\\) is square-cancellable, then \\(H_ a'\\) is right reversible, (C) if \\(a,b,c\\in S\\), \\(a\\) is square-cancellable, \\(a{\\mathcal R}'b{\\mathcal R}'c\\) and \\(ab=ac\\), then \\(b=c\\); (D) if \\(a,b\\in S\\) are square-cancellable and \\(a{\\mathcal R}'b\\), then \\(ab{\\mathcal H}'b\\); (E) if \\(a,b,c\\in S\\) and \\(a{\\mathcal R}'abc\\), then \\(a{\\mathcal R}'ab\\).   For the second part of this article see Glasg. Math. J. 32, 95-108 (1990; Zbl 0692.20049).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175715$5EB7BF40-CC6E-4962-B073-E46E94F135EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175715$2A026DF4-C724-4E20-A88A-FFC5B88520EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beff01b370fcff9d315b5f5618c62634d9218c19","datavalue":{"value":"20M17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175715$805C7FB6-C3BC-4EF0-97FB-DEDAEB9C9BAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"657e645be0ccbe92b5fd00a1167d549145cbe73d","datavalue":{"value":"14400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175715$4C9C6F39-D29E-4F60-93DF-C4E4371B3E5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4550710f0320e8b8d0f96a534d8887e192d2458","datavalue":{"value":"left order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175715$21D76961-EEA1-46DD-94CC-F94EDA3E5B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f893474a8a7a38dac69d718d1e80d1c56ba38c7","datavalue":{"value":"oversemigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175715$24FF215B-B7C4-4AE5-9B52-49FEA5A9977B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44d756cd6d87dc574a1eaa5f68ab5431176d1502","datavalue":{"value":"semigroup of left quotient","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175715$F565732E-546B-4122-ACF5-FAFCE046BE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d49bf7148f725f44399953260cf299788bfdad40","datavalue":{"value":"Green's relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175715$25AEBA46-B3BD-4494-839D-D06205EE6AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"280c8f9b5cab95a2a15b895bdb10674b8006f46a","datavalue":{"value":"equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175715$AC5B1BB3-3284-453F-A581-BB4D93923AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47dd53a1f0a6142da7b158894d63393860535dc2","datavalue":{"value":"left congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175715$DF4721E9-1AC5-4887-9D99-15AF26C3530B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba74fef73d50d224763a67bc4c6fff8da4e00fc2","datavalue":{"value":"right congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175715$A7C3F858-5C21-4EC9-B2C5-3466C5CE258E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fd5f244b9f9dd056b20a330476f9ba8808ff088","datavalue":{"value":"suitable pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175715$C8C5106A-F770-4E4E-8D79-B5A55DC8AB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"021c794815c66719fa3954cda569918b0ebe05a3","datavalue":{"value":"regular \\(H\\)-semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175715$DA371D95-DB2F-45B4-B133-A3AD70C924F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"258b053ebfa537c556881133b1e051f6405c4316","datavalue":{"value":"square-cancellable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175715$FE1672CA-2C10-4E53-968B-E658E3441D40","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af2af9f0b39002fbe531b18972cee790e88d2541","datavalue":{"value":{"entity-type":"item","numeric-id":579434,"id":"Q579434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175715$0124073D-DED2-4801-BC7B-6BBB31DCD470","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":"Q1175715$2E99BF8B-CFC1-49E0-8F8F-76A3EB7C96C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed85cd03af69b0b3414e61da74ab7e3d313c1c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5564342,"id":"Q5564342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175715$0340A868-7293-498E-9D5D-EF2A013D3A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a6ff1ffa5086b147d715c5f58284ce436c3b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3937578,"id":"Q3937578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175715$E207F847-FAB3-4CC7-89B6-6DE1169AC7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"336e50836a56d19a9ac8a9a7db18e894bf8a7d37","datavalue":{"value":{"entity-type":"item","numeric-id":5751028,"id":"Q5751028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175715$54DEEE4C-2FE1-4DB0-A6FD-C9DA74241EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3356a3d4fa4dd3bc41f61d247da4d54bb12c9901","datavalue":{"value":{"entity-type":"item","numeric-id":1073921,"id":"Q1073921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175715$7A00EA28-B9E2-4D2E-9901-83EC74F7C984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f5542409444543a9db7b07186c8d681098ec00","datavalue":{"value":{"entity-type":"item","numeric-id":4205651,"id":"Q4205651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175715$7ED4D0AC-5325-438F-AF71-74808145575C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25c94c7dae23bd5e2b6346bb4e09883951c7c5e7","datavalue":{"value":{"entity-type":"item","numeric-id":3735948,"id":"Q3735948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175715$A0B330D8-6D05-4FE9-A094-03B98DFA04B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d5bc9ce788e727bdb20e85cb92d4db2eb35c7fc","datavalue":{"value":{"entity-type":"item","numeric-id":1111704,"id":"Q1111704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175715$DFD07B49-31F9-4659-A862-60F940A70F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad60e5328ec166d05e0179ee26da8dc955b532a","datavalue":{"value":{"entity-type":"item","numeric-id":3033983,"id":"Q3033983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175715$25E7075F-9468-478D-9A1B-369D6DCBDF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb57af21bdd5d21f9fb84e8c3c6f160b02f57122","datavalue":{"value":{"entity-type":"item","numeric-id":913921,"id":"Q913921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175715$DECD86DE-844E-45A6-996F-CD19E91CFB53","rank":"normal"},{"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":"Q1175715$1EE418C2-AFB4-47CD-A394-530FFE0831E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"febbff193b2de5a6a44b51dc12ff5f3e294b88cb","datavalue":{"value":{"entity-type":"item","numeric-id":3033983,"id":"Q3033983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33a8d55ca743e469a38fcd5fc9534b85cff52e0a","datavalue":{"value":{"amount":"+0.9040518403053284","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":"Q1175715$509D1047-0341-4DF6-8FEA-8F6CD1BB2C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768cdec8ec06a1ac29de58ee2c4b89fabc351d2a","datavalue":{"value":{"entity-type":"item","numeric-id":5691324,"id":"Q5691324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"824dbac0e0867e8e79640123091e8583374cf400","datavalue":{"value":{"amount":"+0.8485475182533264","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":"Q1175715$B8A8FB46-5773-4C9F-A0B0-1F85A75F4370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85b268b818dbf9f1ff05eba0ac17d8695d2c4cd2","datavalue":{"value":{"entity-type":"item","numeric-id":3679395,"id":"Q3679395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"824dbac0e0867e8e79640123091e8583374cf400","datavalue":{"value":{"amount":"+0.8485475182533264","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":"Q1175715$2C4A0C5C-C423-4DED-9835-FADE52BF04A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55d029d01de781b2a9bb8a95001ed19ac5843b12","datavalue":{"value":{"entity-type":"item","numeric-id":3641534,"id":"Q3641534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aff02bb0beaf3570852fa4558477cdfa9137d39f","datavalue":{"value":{"amount":"+0.8425105214118958","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":"Q1175715$00EB8195-5A79-42C0-849E-25960BB300FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ec3e5e5997e5688c5789233b920dcabb2685e5","datavalue":{"value":{"entity-type":"item","numeric-id":3786645,"id":"Q3786645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc7a4aabad80d3815ddc6d91e98776c1eb1c06c4","datavalue":{"value":{"amount":"+0.8423694372177124","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":"Q1175715$317B7B10-E465-48CC-B315-7A8010A9636C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1175715","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1175715"}}}}}