{"entities":{"Q1336459":{"pageid":1347198,"ns":120,"title":"Item:Q1336459","lastrevid":70746201,"modified":"2026-04-13T16:28:33Z","type":"item","id":"Q1336459","labels":{"en":{"language":"en","value":"Amenable orders on orthodox semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 665855"}},"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":"Q1336459$E06A1A60-6693-4857-83F2-85841AF83311","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d1f13ba650455be82b9e0454c764dff2e67bb84","datavalue":{"value":{"text":"Amenable orders on orthodox semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1336459$EDD0EC59-E2A3-4955-8179-4B7A0F5FF1D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"080e6112b3be822486685a414ccbd25efa6e2cae","datavalue":{"value":"0811.06015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336459$E88A6E37-2577-480A-990E-8168CF9C959E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"312c4a1ea47cbd86b923ee849824e3aefffd64b0","datavalue":{"value":{"entity-type":"item","numeric-id":192075,"id":"Q192075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336459$CCF38FCF-E0E7-429B-8E56-F862E6795302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75198f79e6fea3064f26523920f7d404c86a50de","datavalue":{"value":{"entity-type":"item","numeric-id":192076,"id":"Q192076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1336459$C1B48BCE-D85F-4073-9761-3C9BA0C39895","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":"Q1336459$4018C6DC-4366-4812-8D2F-958A94AB980F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64afd5286bda703a97795aa41850266462310863","datavalue":{"value":{"time":"+1994-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1336459$597F4152-B22E-418B-9737-A0D88A3D861F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bd1dfa9bc77799de9a6e7d33d3a36287f0204198","datavalue":{"value":"From the authors' introduction. ``Let \\(S\\) be a semigroup. An inverse transversal of a regular semigroup \\(S\\) is an inverse subsemigroup \\(T\\) with the property \\(| T\\cap V(x)|=1\\) for every \\(x\\in S\\), where \\(V(x)\\) denotes the set of inverses of \\(x\\in S\\). We write the unique element of \\(T\\cap V(x)\\) as \\(x^ 0\\), and \\(T\\) as \\(S^ 0= \\{x^ 0\\): \\(x\\in S\\}\\). Then in \\(S\\) we have \\((x^ 0)^{-1}= x^{00}\\). If \\(E(S^ 0)\\) is the semilattice of idempotents of \\(S^ 0\\) then the inverse transversal \\(S^ 0\\) is said to be multiplicative if \\(x^ 0 xyy^ 0\\in E(S^ 0)\\) for all \\(x,y\\in S\\). We show that every cone relative to a multiplicative inverse transversal defines a left-amenable order on \\(S\\), and that every order is obtained from a cone in this way. [A compatible order \\(\\leq\\) on \\(S\\) is said to be amenable if \\(x\\leq y\\) implies \\(x^{-1} x\\leq y^{-1} y\\), \\((x,y\\in S)\\)]. In this situation we can define a closure \\(\\vartheta: Q\\to\\widetilde {Q}\\) on the set of cones that has the property that \\(\\vartheta\\)-equivalent cones define the same left-amenable order. The locally maximal cones (those such that \\(Q= \\widetilde {Q}\\)) are shown to be independent of the inverse transversal chosen, as are the orders that they define. We then prove that the set of locally maximal cones forms an \\(\\cap\\)-semilattice LMC with a smallest element, namely \\(E\\), and establish an order-preserving bijection from the set LMC to the set of left- amenable orders definable on \\(S\\). Finally, we show the usefulness of the results by applying them, together with their duals, to a symmetric situation. Specifically, we prove that if \\(S\\) is an orthodox semigroup that has a multiplicative inverse transversal then \\(S\\) can be amenably ordered. We also give a description of all the amenable orders definable on \\(S\\)''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336459$6F31BB77-459F-4E56-B324-2F103AC070BE","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":"Q1336459$B1A7450F-D5D2-4681-8EAD-29A7B671303C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336459$D5BE9427-520C-413B-9F7E-A76512942D84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e7867e4a8b9c93336345e3333e92afab51de850","datavalue":{"value":"665855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336459$58CF1C99-8012-4992-A528-DAF1FDBDA7E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"088107b30bf3b25881979251fa955ff1475ed5f3","datavalue":{"value":"right inverse semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336459$5B1E926D-BD4C-4FC3-B303-0F83DF9E4305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f146d4313d0c5ed9872b49f850b6bc9ac3c0339a","datavalue":{"value":"inverse transversal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336459$4852AB02-F756-4446-A82A-7606BF03B06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d23682aa2c4118d609febd6b814e44746a0f8702","datavalue":{"value":"cone","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336459$5286BB0B-CF8A-446C-B3D5-25B074A54857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d403a2e2a0ba6a0bac4822bf78887d57e9b48f16","datavalue":{"value":"left-amenable order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336459$80F73C3E-00F9-4DA8-9A66-F20D79A85F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a97a9c176977d16983a5870263dfddde07c71c78","datavalue":{"value":"multiplicative inverse transversal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1336459$FAA5F2FE-23E7-4716-8E0F-8A966D2DD528","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":"Q1336459$CE066DCB-78D6-46FD-AFE0-EBAB11AC6BED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0761ce19c266f2dac1943096b76d355d145ef7e7","datavalue":{"value":"https://doi.org/10.1006/jabr.1994.1271","type":"string"},"datatype":"url"},"type":"statement","id":"Q1336459$6E1D5368-7C48-459A-AD63-E5EEEA7BDADF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb79a4a9c445c3e772898833a43daf72b8828645","datavalue":{"value":"W2058723707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336459$14223088-AC7C-4999-8AC9-1DFCDE31EC2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c373c33a3d3e11d8f929cba9c20febe58fd3641a","datavalue":{"value":"10.1006/JABR.1994.1271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1336459$71879323-F715-483D-B846-0A0BF599E947","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf441fb869e967dfd48cdba1ae1e7b2ab4b0e41","datavalue":{"value":{"entity-type":"item","numeric-id":1910643,"id":"Q1910643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2c2cbb7b20067f6c8de6fcc1f26125945180412","datavalue":{"value":{"amount":"+0.9077644348144532","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":"Q1336459$BAF1E56A-6E77-4A61-973C-A071DF558A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24329a7b035be5e3b5cb2764e7762d79810f50d7","datavalue":{"value":{"entity-type":"item","numeric-id":2998577,"id":"Q2998577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b13befcd095f7cca196b8c088c70fad4576cde7","datavalue":{"value":{"amount":"+0.9074424505233764","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":"Q1336459$58843325-6F7E-4580-B199-C990D2174777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f29f0e5486d5c0e92e4a33618c5a120c93d1b5","datavalue":{"value":{"entity-type":"item","numeric-id":5938604,"id":"Q5938604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e70783b37306ebaf3936aeea25c6bb8f67da877","datavalue":{"value":{"amount":"+0.9049481749534608","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":"Q1336459$50C14B25-3DAD-4D11-8945-62679A8BD2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"291fdbc880deee21e29a0d5a0fd19166062a2111","datavalue":{"value":{"entity-type":"item","numeric-id":5165932,"id":"Q5165932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"068a464f47fb34ab76a953cd48b6564364cc24e5","datavalue":{"value":{"amount":"+0.9049480557441713","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":"Q1336459$8C17F64E-EF17-4070-B20D-3D891BC97600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f8649d5b4a37d3a158ed917ade1807f046439b3","datavalue":{"value":{"entity-type":"item","numeric-id":3094832,"id":"Q3094832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1537e22d6c25986edfa37f0e03512e29ba1cee1d","datavalue":{"value":{"amount":"+0.9020987153053284","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":"Q1336459$A7223689-3709-47FF-9806-AA895024261C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Amenable orders on orthodox semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Amenable_orders_on_orthodox_semigroups"}}}}}