{"entities":{"Q5903825":{"pageid":8014544,"ns":120,"title":"Item:Q5903825","lastrevid":49235608,"modified":"2026-01-06T19:58:44Z","type":"item","id":"Q5903825","labels":{"en":{"language":"en","value":"Products of idempotents in finite full transformation semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4081850"}},"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":"Q5903825$396BCA4D-C660-4240-8BB4-88E39827D3F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3aa298645895e90cf0c9144abf3d7e3f31992ad5","datavalue":{"value":{"text":"Products of idempotents in finite full transformation semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5903825$699EC9D9-678E-4067-BBE7-1E15817B3A7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6da9028b8609758c9c87a1b677e58f664f5601b6","datavalue":{"value":"0662.20049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5903825$AC3C5A5C-109A-4394-9086-2982DDDBCB80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f2f97983b0c6b422f680b5c2ea10d250261d3ab","datavalue":{"value":"10.1007/BF02573303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5903825$A6B2F75E-7BEF-4BBF-8246-AECA3800B8A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6181ffde6e937abffdb952b02a464c88fe3e308","datavalue":{"value":{"entity-type":"item","numeric-id":762278,"id":"Q762278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5903825$31593A16-699F-4634-8935-EF9E52E7B16D","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":"Q5903825$3E59F98D-55FD-4D0B-8293-9637F824652B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5903825$B4C33FDA-75C2-4D4F-ACD4-646560C73CB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f4dd8aad5f357d664e2b7974d6beea14a0cbd50","datavalue":{"value":"https://eudml.org/doc/134992","type":"string"},"datatype":"url"},"type":"statement","id":"Q5903825$D45E767A-8D5E-4638-A68E-3FA1F4726AC5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"30c8131725c07f72d5a96d5f1d418083805a584b","datavalue":{"value":"Let X be the finite set \\(\\{1,2,...,n\\}\\) and let \\(S_ n\\) be the semigroup (under composition of mappings) of all singular mappings from X into itself. Let E be the set of all idempotents of \\(S_ n\\). It is known that E generates \\(S_ n\\), and one has the more exact result that \\(E^ k=S_ n\\), \\(E^{k-1}\\neq S_ n\\), where \\(k=[3/2(n-1)]\\). Thus every element in \\(S_ n\\) is expressible as a finite product of idempotents of \\(S_ n\\). For each \\(\\alpha \\in S_ n\\), there exists a unique positive integer \\(k(\\alpha)\\) such that \\(\\alpha \\in E^{k(\\alpha)}\\), \\(\\alpha \\not\\in E^{k(\\alpha)-1}\\). The purpose of this paper is to determine \\(k(\\alpha)\\) for any \\(\\alpha \\in S_ n.\\)  Let \\(\\alpha \\in S_ n\\). The gravity of \\(\\alpha\\) is defined by \\(g(\\alpha)=n+c(\\alpha)-f(\\alpha)\\), where c(\\(\\alpha)\\) is the number of cyclic orbits of \\(\\alpha\\) and \\(f(\\alpha)\\) is the number of fixed points of \\(\\alpha\\), and the rank of \\(\\alpha\\) and defect of \\(\\alpha\\) are defined by \\(r(\\alpha)=| im \\alpha |\\) and \\(d(\\alpha)=n-r(\\alpha)\\), respectively. Let \\(E_ 1\\) be the set of idempotents of defect 1 in \\(S_ n\\). Since an idempotent of defect d is a product of d idempotents of defect 1, \\(E_ 1\\) also generates \\(S_ n\\). Let \\(k_ 1(\\alpha)\\) be the least integer k for which \\(\\alpha \\in E^ k_ 1\\). N. Iwahori and J. M. Howie showed that \\(k_ 1(\\alpha)=g(\\alpha)\\) for any \\(\\alpha \\in S_ n\\). Thus, for any \\(\\alpha\\) of defect 1, k(\\(\\alpha)\\) is completely determined, that is, \\(k(\\alpha)=k_ 1(\\alpha)=g(\\alpha)\\). By using the method in the proof of the above result, we obtain: Theorem. For any \\(\\alpha \\in S_ n\\), \\(k(\\alpha)=(g(\\alpha)/d(\\alpha))^{\\#}\\) or \\(k(\\alpha)=(g(\\alpha)/d(\\alpha))^{\\#}+1\\), moreover \\(k(\\alpha)=(g(\\alpha)/d(\\alpha))^{\\#}\\) if \\(g(\\alpha)\\equiv 1 mod d(\\alpha)\\), where \\(x^{\\#}\\) for any real number x denotes the least integer m such that \\(m\\geq x\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5903825$BEFB5167-8B03-47D6-9391-EEE45509CBBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5903825$4C9CEFE2-2ADD-4470-AD25-710F01D71C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5903825$73D8FA8D-81F7-4EE6-A1AA-C2B9AB7DA766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5903825$2F5F32AD-E899-45C5-B540-FC81FC5CEC25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"225be6be4d11dd3c0c0690ecb42dadf8334bef5a","datavalue":{"value":"4081850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5903825$791FFCC0-09A5-4C6E-B182-C44DE0E72175","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"529398279542645eb66e9ec18b29a202d775b0d6","datavalue":{"value":"singular mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5903825$3E50CD67-09DB-4B07-BC55-8596754BD79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b271b57d16359d5f1d69c85b199f4a777b9a4044","datavalue":{"value":"product of idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q5903825$0413DC62-DCF3-444B-9DED-B88203186F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d1fd3febf6a8211c29afbc0b1c3c8a16380b459","datavalue":{"value":"gravity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5903825$638E46AD-0FD0-48A8-A29D-796B9AF5F0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"112800c1091e00e59bf2516545ee9e0cb2ad4eae","datavalue":{"value":"number of fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q5903825$A50DE474-CFEC-4259-9EB3-938274DC8DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85686c88b6675116cec177bbafff890f9021164","datavalue":{"value":"rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q5903825$77206301-EE97-4D5F-BEDD-8FAD4E36D2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f127d45a980854c5f039296a37b2b445f211d1","datavalue":{"value":"defect","type":"string"},"datatype":"string"},"type":"statement","id":"Q5903825$B7C37257-5A3E-4F28-AB48-29B3F096FDE8","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":"Q5903825$2F73901B-4C13-4063-8D9A-31FA81A39A19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c6cdf023295859f2c3ce5551b80872eb2c3535c","datavalue":{"value":{"entity-type":"item","numeric-id":5904565,"id":"Q5904565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5903825$B7394A6E-7370-4F13-8BE7-D96192682416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be659f691346cc2d1d4e02d050e4e58ac593725a","datavalue":{"value":{"entity-type":"item","numeric-id":5895501,"id":"Q5895501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5903825$D93F11DB-EB44-404D-A909-DED04F436B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"464191b18972a6eb6687018873229bf3d5f67488","datavalue":{"value":{"entity-type":"item","numeric-id":3800302,"id":"Q3800302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5903825$A20787A4-BC39-437E-AD8C-55B48E39A735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20324c6be87de596fc630844883dcf98fe076598","datavalue":{"value":{"entity-type":"item","numeric-id":4189455,"id":"Q4189455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5903825$E750C3B0-459E-4D44-B4CD-8EAF63BFEC75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d9447606499f5d309ca22f67b6a62de724fcaf5","datavalue":{"value":"W4238408326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5903825$AEB4FB18-7CA2-4650-B4D0-9CA418228F56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0717e8e7b4ae57c648be44002a62100d8cf0a5a","datavalue":{"value":{"entity-type":"item","numeric-id":1098942,"id":"Q1098942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f39f70b3a34148be7d5795682d3b8b139aa25c1","datavalue":{"value":{"amount":"+0.8997999429702759","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":"Q5903825$A3BFFF8E-0AA2-4422-9653-89A481CE7F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950a2f1199a55de129c4ecf88bb352e0a97cf710","datavalue":{"value":{"entity-type":"item","numeric-id":5895501,"id":"Q5895501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5ca3cb6f2adfe6612b0fe4f87c0e014c5371b52","datavalue":{"value":{"amount":"+0.8945777416229248","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":"Q5903825$4712916D-EF1F-47AE-8319-6A049EA9777B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d6be4eb7e61742c611f1946dea8c0ed84c52453","datavalue":{"value":{"entity-type":"item","numeric-id":5902951,"id":"Q5902951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d78c7572a069d10c3761f0431aa3766709ba8164","datavalue":{"value":{"amount":"+0.8692512512207031","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":"Q5903825$72644D14-230E-48FC-BCFE-FEDD3A47F6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7043f088f83313a26e172d29b1fabedf2a6a58","datavalue":{"value":{"entity-type":"item","numeric-id":5751072,"id":"Q5751072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1c0f9e939e60d0f100bb45bd30f9d2ad3c6bf62","datavalue":{"value":{"amount":"+0.8662301301956177","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":"Q5903825$74A86D31-1250-480B-9999-DB5B319942DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db1c3171c48cc912323d47d3098e53fbb7e9c372","datavalue":{"value":{"entity-type":"item","numeric-id":5751073,"id":"Q5751073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7017373a57cc7812d07ae49b36f73f66e4d375","datavalue":{"value":{"amount":"+0.8646345138549805","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":"Q5903825$A7D331E0-2FFF-4A0F-9DBF-91C001B8D2E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5903825","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5903825"}}}}}