{"entities":{"Q1416730":{"pageid":1427470,"ns":120,"title":"Item:Q1416730","lastrevid":71837772,"modified":"2026-04-14T00:52:27Z","type":"item","id":"Q1416730","labels":{"en":{"language":"en","value":"Partial orders on transformation semigroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2018279"}},"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":"Q1416730$1E5DADAB-F143-425A-86F7-181C9C614904","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7414352050469c9234b03ec0827c97151e352608","datavalue":{"value":{"text":"Partial orders on transformation semigroups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1416730$140771C2-5FD1-4CEB-906D-1E425A1491A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f530e31b504230b058acf81131ec65a6aba2cbf5","datavalue":{"value":"1036.20057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1416730$F9244C4A-D8B4-4480-9322-38EA25AD6A21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b2074f623ce6aed43bf92ac3927ef7d92c48b1","datavalue":{"value":{"entity-type":"item","numeric-id":1416729,"id":"Q1416729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1416730$CF69EA29-7725-4A94-8FE3-31F30D63B804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"212678b04092f77014cd2781f4cb9acda7169dfc","datavalue":{"value":{"entity-type":"item","numeric-id":632254,"id":"Q632254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1416730$740B27AC-C47A-433F-9D9D-A47E0BA8B220","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"018a0053bd359d34d6fee8f280c31e982361eda4","datavalue":{"value":{"entity-type":"item","numeric-id":175158,"id":"Q175158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1416730$D89F88B0-34B8-4E6D-8ED8-AEECBF4C0E6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a15526a466ac56a4cd2e715a1209b7ff01addaf6","datavalue":{"value":{"time":"+2003-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1416730$6F524A3B-76A2-4D7C-9E01-60BA810FF8AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13d24f5037bc4b0f243e2369a1301e5a6212cedc","datavalue":{"value":"http://hdl.handle.net/1822/7451","type":"string"},"datatype":"url"},"type":"statement","id":"Q1416730$334B4166-FF0E-490F-A29C-50E70FC929AD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"47b533da02c69f3171914b422b22918b3f97f1cc","datavalue":{"value":"Denote by \\(P(X)\\) the semigroup, under composition, of all partial transformations of the set \\(X\\). Denote by \\(\\text{dom\\,}\\alpha\\) the domain of \\(\\alpha\\in P(X)\\) and denote its range by \\(\\text{ran\\,}\\alpha\\). Define a partial order \\(\\leq\\) on \\(P(X)\\) by \\(\\alpha\\leq\\beta\\) if \\(\\alpha=\\gamma\\beta=\\beta\\mu\\) and \\(\\alpha=\\alpha\\mu\\) for some \\(\\gamma,\\mu\\in P(X)\\). Regard \\(\\alpha\\) and \\(\\beta\\) as subsets of \\(X\\times X\\). Then a very natural order on \\(P(X)\\) is \\(\\alpha\\subseteq\\beta\\). Define another relation \\(\\Omega\\) on \\(P(X)\\) by \\((\\alpha,\\beta)\\in\\Omega\\) if and only if \\(\\text{dom\\,}\\alpha\\subseteq\\text{dom\\,}\\beta\\), \\(\\text{ran\\,}\\alpha\\subseteq\\text{ran\\,}\\beta\\), and \\((\\alpha\\cup\\beta)\\beta^{-1}\\cap(\\text{dom\\,}\\alpha\\times\\text{dom\\,}\\alpha)\\subseteq\\alpha\\alpha^{-1}\\). The authors show that \\(\\Omega\\) is a partial order on \\(P(X)\\) and, indeed, that \\(\\Omega=\\subseteq\\circ\\leq\\). They show that the partial order \\(\\omega=\\leq\\cap\\subseteq\\) is both left and right compatible on \\(P(X)\\) and they go on to determine the nonzero minimal elements and the nonzero maximal elements of \\(P(X)\\) with respect to each of the partial orders \\(\\leq\\), \\(\\subseteq\\), \\(\\Omega\\), and \\(\\omega\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1416730$70693964-248F-42FE-95F3-3591221707E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1416730$75C9795E-EA26-497A-B16D-1C677F18DAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1416730$809FEDFF-D01F-4892-8C64-AD06C0B11FAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbe3d49d600391b623195fffe1d873665c8dc510","datavalue":{"value":"2018279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1416730$38970FF4-6F18-48B6-B48F-70F16D02F959","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4a9016a796d20e6d55fde65b10dfbf35ef5755c","datavalue":{"value":"transformation semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1416730$1DA25014-1299-4EA9-B16B-16A9AC9041D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbd3ab7bf1fbafed768194a39eff6e0454fe108","datavalue":{"value":"partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1416730$5265D784-BDBF-45EE-BFE3-C99ABD0C0027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e35f6b490ac92deea30ca80978daf5a6ff14dd8a","datavalue":{"value":"minimal elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1416730$B6C9EA4C-20C2-4F64-8356-89BAAA6537E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5052c3f6c62873eabc44cf2905cf1b33029c221c","datavalue":{"value":"maximal elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1416730$276AF513-0B18-482A-8CD6-EE697846EA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29d2daa3ea08f38e55719c41fb9ace3b73e6ef78","datavalue":{"value":"partial transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1416730$396CA151-945A-4752-AB58-BC68144B0E21","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4880fd1a9270e5b25133de71f895948a3bdbbc68","datavalue":{"value":{"entity-type":"item","numeric-id":233325,"id":"Q233325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1416730$4ECC5040-CBC7-4286-9AD8-1D7ACBCFBD1C","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":"Q1416730$E7618C5C-6434-42FC-A3C4-EA147A46BD3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"383f454d26d704ad84d92442c9feacfe357d89fd","datavalue":{"value":"W2109705792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1416730$49207FE2-1E64-42EA-A185-80761ACD0887","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c179987c9021a5663b8e6174b7bead4acbbf692e","datavalue":{"value":"10.1007/S00605-002-0546-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1416730$4B9CBEB0-48FA-4978-9529-B12EFB06D837","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b870a674fd66b9fbdc00734722d558244d6e164","datavalue":{"value":{"entity-type":"item","numeric-id":2196449,"id":"Q2196449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a02c3af624603bb2272f41c60feca2175e5bc77e","datavalue":{"value":{"amount":"+0.8863750100135803","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":"Q1416730$8F08FAE8-01F4-436D-8E2E-479E067D1E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e598b270e800fe2b0503fb571d731e5239e7db","datavalue":{"value":{"entity-type":"item","numeric-id":5409879,"id":"Q5409879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ef1fe807debabdaf19ccf7f0e3d1b0467a1344","datavalue":{"value":{"amount":"+0.8787519335746765","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":"Q1416730$9CC34C5A-F9D9-44F5-9A70-0CB107C36547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109d1783ed22064f96d906f0a88ba497880c2901","datavalue":{"value":{"entity-type":"item","numeric-id":2907026,"id":"Q2907026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9c2f0d81ccddb60200f48eb251b7f92a84b9ee9","datavalue":{"value":{"amount":"+0.8782520294189453","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":"Q1416730$BD326B38-0CE3-4397-9969-8F3681D66224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849df18e257a4a8fcb02321a755a39ac5789c480","datavalue":{"value":{"entity-type":"item","numeric-id":4681978,"id":"Q4681978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142cd1828db5ac9a972c7db92a7c1353dae894fd","datavalue":{"value":{"amount":"+0.876149594783783","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":"Q1416730$6995C024-2C26-4040-8522-8047F662EED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eaf2a5f99598e37293a9027b47f5a6992c09a5d","datavalue":{"value":{"entity-type":"item","numeric-id":1076816,"id":"Q1076816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a847470d969cf23da9daae5b11ce694e2b35e235","datavalue":{"value":{"amount":"+0.8617040514945984","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":"Q1416730$4B363489-59CB-4EBE-A803-C64547C0048D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial orders on transformation semigroups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_orders_on_transformation_semigroups."}}}}}