{"entities":{"Q1402904":{"pageid":1413644,"ns":120,"title":"Item:Q1402904","lastrevid":70341381,"modified":"2026-04-13T14:07:51Z","type":"item","id":"Q1402904","labels":{"en":{"language":"en","value":"Terseness: minimal idempotent generating sets for \\(K(n,r)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1972509"}},"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":"Q1402904$72D5B32C-CA28-4F02-9369-487E27EA5851","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d071073f89e318b84fa3645739e4bd326404fdaa","datavalue":{"value":{"text":"Terseness: minimal idempotent generating sets for \\(K(n,r)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1402904$2112966D-8AB8-4C41-A7F9-0B744635FFC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf2f6cae1dce08875aa50e6f5226553a2a7c434b","datavalue":{"value":"1027.20047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402904$A5996543-D424-43C2-ACA2-09A17993F25A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79e88666855a22bc165f3713b3b7dbbe2e8f99f6","datavalue":{"value":{"entity-type":"item","numeric-id":583380,"id":"Q583380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402904$80821E47-3A99-4D56-A76E-22C2416EFB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32add50ea5d67ba42260848a9d3b68a26c01b100","datavalue":{"value":{"entity-type":"item","numeric-id":953263,"id":"Q953263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402904$A6D75752-D23A-48C7-85B5-4A0CFB0C9BD0","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":"Q1402904$29CCCE90-281B-4A39-B886-0A4BE35A1BE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cba42c15b60f86e885dacaa10fdf6728507ff845","datavalue":{"value":{"time":"+2003-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1402904$CD5EDF72-F044-4750-B283-627CC0DB049A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a2474289744c73af5113a239b148f3eb566274e","datavalue":{"value":"Let \\(T_n\\) be the full transformation semigroup on the set \\(X_n=\\{1,2,\\dots,n\\}\\). For \\(\\alpha\\in T_n\\), let \\(\\text{ran}(\\alpha)\\) denote the range of \\(\\alpha\\) and for \\(1\\leq r\\leq n\\), define a subsemigroup \\(K(n,r)\\) of \\(T_n\\) by \\(K(n,r)=\\{\\alpha\\in T_n:|\\text{ran}(\\alpha)|\\leq r\\}\\). If \\(U\\) is a generating set of a semigroup \\(S\\), the `terseness' of \\(U\\) is defined to be the minimum positive integer \\(k\\) such that \\(S=U^k\\). It is known that \\(K(n,r)\\) is idempotent generated and the authors show that if \\(1<r<n\\), then there exist rank-\\(r\\) elements of \\(K(n,r)\\) which cannot be expressed as the product of two idempotents of \\(K(n,r)\\). As a consequence, any idempotent generating set of \\(K(n,r)\\) must have terseness at least three. In the main theorem, the authors prove that if \\(r>1\\) and if \\(n\\) is sufficiently large, then there is a minimal idempotent generating set of \\(K(n,r)\\) whose terseness is three. They also show that for any \\(r\\), if \\(n>r\\) and \\(n>3\\), then there exists a minimal idempotent generating set of \\(K(n,r)\\) whose terseness is greater than three.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402904$236DA58E-CF68-4DC8-A6A3-95487AF78D66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402904$D21FAD6B-8FF9-46BF-939D-5C37606360D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402904$65DC00EF-A234-41D1-BC60-70BDD0A17378","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c6522fcafc15790cbf1301a38af9eece8fd700f","datavalue":{"value":"1972509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402904$BEA6AA16-C59B-4D0C-B49C-B1C227C0D28C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02a7d5e6977b4cb4b1de6b7c73c5343c66025c8","datavalue":{"value":"full transformation semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402904$2FC47807-99F7-44D7-BD04-7C8E45C0D845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3aa6522e047169b34ec4f93542b4603c95683517","datavalue":{"value":"idempotent generated semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402904$D9E48C60-F000-4C97-818F-385950F632EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402904$68EA9DBC-4C38-4B0A-AF16-CE98F6DF5619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adea4e31c94c268db9e17876be0113a0d6ee3e0d","datavalue":{"value":"terseness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402904$61CE268E-BD85-4440-B8E6-5A429BDE1A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03d71fabe0ea4302bbc54c6a11f24509ed446c73","datavalue":{"value":"minimal idempotent generating sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402904$72F077F8-275D-4D89-8C2C-C9AE8335F3F2","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":"Q1402904$39F303A7-889C-49B4-BE86-86EE5513BC72","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":"Q1402904$49BB1C58-E661-408F-8EA3-4E4E283160EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56b0ec0492484fb47864f1de85e705712250f4ba","datavalue":{"value":"https://doi.org/10.1007/s00233-001-0001-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1402904$7572CC4F-B9D5-4EB5-9873-5A6F6D088EE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44345fa4cd80911bcaac38634351d1a8c64be110","datavalue":{"value":"W2027630969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402904$479F3403-A5BE-47AC-A152-A835F50A737F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbd090c8f2a2789c8cf1bec2349c0881f7819f1d","datavalue":{"value":"10.1007/S00233-001-0001-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402904$0EF115B5-BBAF-41AC-926A-B04544986A99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16a614c9d9190034172b74b193ee4d7749fe2d26","datavalue":{"value":{"entity-type":"item","numeric-id":5245138,"id":"Q5245138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec308098dcb43d0e4e0f326a1080dfc2e48d044b","datavalue":{"value":{"amount":"+0.8100122809410095","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":"Q1402904$01DE7E39-078F-4C82-93C8-5BB104D653B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7f3cc884aa68bff1e3139cc48aae49e83a6f23b","datavalue":{"value":{"entity-type":"item","numeric-id":3483478,"id":"Q3483478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40fc0023158f89f2a21cb42e4af4bd75d5983ce4","datavalue":{"value":{"amount":"+0.8055304884910583","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":"Q1402904$DE2F896F-1078-4219-9CBA-4A524B04D941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9300439715ba41e71bf838b6c7c341e172d81d9f","datavalue":{"value":{"entity-type":"item","numeric-id":1611025,"id":"Q1611025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5be58804b6e5c3213875b94afe7b068f48fae895","datavalue":{"value":{"amount":"+0.7819361090660095","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":"Q1402904$4B72951A-0D5B-4AEE-8DC4-A8F2031A55F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97549525630811a9d1ed6f2c3a10178aa88668c8","datavalue":{"value":{"entity-type":"item","numeric-id":1597724,"id":"Q1597724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb834e1c58afba4afecf158679ea2d11f6fb5a63","datavalue":{"value":{"amount":"+0.772596538066864","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":"Q1402904$349F851A-8B8C-426D-81A5-C2D03A25E38D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Terseness: minimal idempotent generating sets for \\(K(n,r)\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Terseness:_minimal_idempotent_generating_sets_for_%5C(K(n,r)%5C)"}}}}}