{"entities":{"Q706041":{"pageid":707890,"ns":120,"title":"Item:Q706041","lastrevid":63674463,"modified":"2026-04-11T14:47:01Z","type":"item","id":"Q706041","labels":{"en":{"language":"en","value":"On certain finite semigroups of order-decreasing transformations. I."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2134641"}},"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":"Q706041$5536DA36-4A2D-44CC-A2C7-E65C2F797F23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d6b671e94850b24550dc09bf24b41cb497c749b","datavalue":{"value":{"text":"On certain finite semigroups of order-decreasing transformations. I.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q706041$A81B1615-AB38-4B5E-9554-43498C69CB9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d071015106b76cce95e11930a518937d139bd3e3","datavalue":{"value":"1072.20080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706041$DD8389D3-428D-43C8-BC7D-835447CC24BC","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":"Q706041$6C2339F6-32B7-4565-AEFF-F983CB570206","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e1dc4e5d09058a4e51ff5aff35b48498fff31ce","datavalue":{"value":{"time":"+2005-02-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":"Q706041$5ECF256D-85D8-4A05-B55E-2A55711532C4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"47c73177d8b292351d14ba1d9bbd17e0469d68bf","datavalue":{"value":"Let \\(X_n=\\{1,2,\\dots,n\\}\\) and denote by \\(T_n\\) the full transformation semigroup on \\(X_n\\). A transformation \\(\\alpha\\in T_n\\) is `order-decreasing' if \\(x\\alpha\\leq x\\) for all \\(x\\in X_n\\) and it is `order-increasing' if \\(x\\alpha\\geq x\\) for all \\(x\\in X_n\\). The transformation \\(\\alpha\\) is `order-preserving' if \\(x\\alpha\\leq y\\alpha\\) whenever \\(x\\leq y\\) for all \\(x,y\\in X_n\\). The symbol \\(D_n\\) denotes the semigroup of all order-decreasing transformations on \\(X_n\\) and the symbol \\(C_n\\) denotes the semigroup of all order-preserving transformations on \\(X_n\\). For \\(1\\leq r\\leq n\\), let \\(D(n,r)=\\{\\alpha\\in D_n:|X_n\\alpha|\\leq r\\}\\) and let \\(C(n,r)=\\{\\alpha\\in C_n:|X_n\\alpha|\\leq r\\}\\). For \\(r\\geq 2\\), let \\(DP_r(n)=D(n,r)/D(n,r-1)\\) and let \\(CP_r(n)=C(n,r)/C(n,r-1)\\).   The authors prove that every element in \\(DP_r(n)\\) is a product of idempotents and, similarly, every element in \\(CP_r(n)\\) is a product of idempotents. Let \\(\\mathcal H\\), \\(\\mathcal L\\), \\(\\mathcal R\\), \\(\\mathcal D\\), and \\(\\mathcal J\\) denote the usual Green's relations. The authors show that \\({\\mathcal H}={\\mathcal R}\\) and \\({\\mathcal L}={\\mathcal D}={\\mathcal J}\\) on \\(DP_r(n)\\) and \\({\\mathcal H}={\\mathcal L}={\\mathcal R}={\\mathcal D}={\\mathcal J}\\) on \\(CP_r(n)\\). Recall that the relation \\({\\mathcal L}^*\\) on a semigroup \\(S\\) is defined by \\((a,b)\\in{\\mathcal L}^*\\) if and only if \\((a,b)\\in{\\mathcal L}\\) where \\({\\mathcal L}^*\\) is Green's \\({\\mathcal L}\\)-relation on some semigroup \\(T\\) which contains \\(S\\) as a subsemigroup. The \\({\\mathcal R}^*\\)-relation is defined dually and \\({\\mathcal H}^*\\) and \\({\\mathcal D}^*\\) are defined by \\({\\mathcal H}^*={\\mathcal L}^*\\cap{\\mathcal R}^*\\), and \\({\\mathcal D}^*={\\mathcal L}^*\\vee{\\mathcal R}^*\\). A subsemigroup \\(T\\) of \\(S\\) is referred to as an `inverse ideal' (which need not be an ideal) if for each element \\(a\\in T\\) there exists an element \\(b\\in S\\) such that \\(aba=a\\) and \\(ab,ba\\in T\\).   The authors prove that both \\(DP_r(n)\\) and \\(CP_r(n)\\) are inverse ideals of \\(P_r(n)\\). They go on to determine the \\({\\mathcal L}^*\\), \\({\\mathcal R}^*\\), and \\({\\mathcal H}^*\\) relations on both \\(DP_r(n)\\) and \\(CP_r(n)\\). They then show that \\(|CP_r(n)|=\\tfrac 1{n-r-1}{n-1\\choose r-1}{n\\choose r}+1\\).   The rank of a finite semigroup \\(S\\) is denoted by \\(\\text{rank\\,}S\\) and defined by \\(\\text{rank\\,}S=\\min\\{|A|: A\\subseteq S\\) and \\(\\langle A\\rangle=S\\}\\). Similarly, if \\(S\\) is generated by its set \\(E\\) of idempotents, the idempotent rank of \\(S\\) is denoted by \\(\\text{idrank\\,}S\\) and defined by \\(\\text{idrank\\,}S=\\min\\{|A|:A\\subseteq E\\) and \\(\\langle A\\rangle=S\\}\\). In the main result of the concluding section of the paper, the authors prove that if \\(1\\leq r\\leq n-1\\), then \\(\\text{rank\\,}C(n,r)=\\text{idrank\\,}C(n,r)=\\text{rank\\,}CP_r(n)= \\text{idrank\\,} CP_r(n)={n-1\\choose r-1}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q706041$1B3D8563-987F-458A-BFC8-FA2F05A6DD6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706041$E4AEE24D-C165-4B7F-8878-AF2ABCD298AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706041$6BD8E20C-9EFF-48E9-A633-3E3B76C8A8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706041$EC91C408-D6B1-4EA6-9089-CECB09BBE08D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"005500c3fd9dda6cd75ac0e96a13df33efdacc8a","datavalue":{"value":"2134641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706041$030A1B33-6DA3-44B9-9014-D94B555E1B70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4a9016a796d20e6d55fde65b10dfbf35ef5755c","datavalue":{"value":"transformation semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q706041$B39CDCE0-5430-4A79-8DE8-A9349959A625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f49505e4e2c976866b17f504a4a2917c9677f07","datavalue":{"value":"Green relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q706041$1BBCD3B8-8F81-4973-967E-D138EF96E0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a165be4f81e15a644f9ff89e87713495af4aaa2","datavalue":{"value":"products of idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q706041$AE494A81-9A82-4228-A27B-2B768FC4B543","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4f883c2d52b9aff6c6add90c7185307e7cfcd5e","datavalue":{"value":{"entity-type":"item","numeric-id":442463,"id":"Q442463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706041$49C0DF76-6D42-41C9-BEA1-93315261E8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87f15460dff9bed05fe4a76122e9d3d4296fce74","datavalue":{"value":{"entity-type":"item","numeric-id":1300537,"id":"Q1300537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q706041$B11100F7-90C9-4A7F-B803-9E843C1044F5","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":"Q706041$B236FF68-AFBF-4BFE-B60B-FBFF28CC69D1","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":"Q706041$A69188CD-06F1-4769-BE3B-87B037DD5D78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5b2396e5b5eeb83f22604d13e9814a4feb6321a","datavalue":{"value":"https://doi.org/10.1007/s00233-004-0101-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q706041$292EEB08-0CEE-4497-9278-CA7FD3BA40BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"255cadc213633ae17301ecd1c145789f1cf8fd24","datavalue":{"value":"W2056225449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706041$77F0341A-15E0-4BAC-A784-DD94E02CB51C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b17d13168c272d4b547c2d901acc1c2d8acec4c2","datavalue":{"value":"10.1007/S00233-004-0101-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q706041$67C3A6C4-EB22-481A-99D1-8C29CA7E026D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9884c545dc700593b5babf09dd1463f5b9a3f3bd","datavalue":{"value":{"entity-type":"item","numeric-id":5422163,"id":"Q5422163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99808ee7ad09d7329df991c8e4bc98f78d268895","datavalue":{"value":{"amount":"+0.8963527679443359","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":"Q706041$F15509B6-859D-48A7-BAF0-AC526FC14A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4153fd4006f2b1693049a81ef406ae2a9f46d6ea","datavalue":{"value":{"entity-type":"item","numeric-id":3991038,"id":"Q3991038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70f004c58c0d96f61a37b7f8473274ed87e0ca3","datavalue":{"value":{"amount":"+0.8931311368942261","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":"Q706041$EBDA902D-D8C6-4B8F-B5BE-92AE72F40E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fd0e7c507c1d3c830ab31478b95e3631656a29c","datavalue":{"value":{"entity-type":"item","numeric-id":4876868,"id":"Q4876868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6becb8207ee8083ddccc91039f58fd5230ba504f","datavalue":{"value":{"amount":"+0.8864113688468933","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":"Q706041$6756C5FA-E0B5-437D-95BD-94A13DF07C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf2b921316250ebb42997b6fbc738accf3a887a","datavalue":{"value":{"entity-type":"item","numeric-id":4351710,"id":"Q4351710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e9d4dc33fc93a51f24bacf570f2b5add9a97781","datavalue":{"value":{"amount":"+0.8846921920776367","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":"Q706041$8716E522-5E32-4327-8DDE-67815BAECC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f6d9ec9e6cc2f3f5414b94cfc49d4f0d0b63387","datavalue":{"value":{"entity-type":"item","numeric-id":1204136,"id":"Q1204136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d45ad70c7e2f4051d043f026077e3d1304359f","datavalue":{"value":{"amount":"+0.881345272064209","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":"Q706041$4ADF4370-50D8-41F9-AC60-975910B28F5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On certain finite semigroups of order-decreasing transformations. I.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_certain_finite_semigroups_of_order-decreasing_transformations._I."}}}}}