{"entities":{"Q6567135":{"pageid":14178290,"ns":120,"title":"Item:Q6567135","lastrevid":55702678,"modified":"2026-02-17T21:19:09Z","type":"item","id":"Q6567135","labels":{"en":{"language":"en","value":"Bounding the order of complex linear groups and permutation groups with selected composition factors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876018"}},"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":"Q6567135$4E812FF4-8E72-48CF-8BBA-04757053BDB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"603a0017942b121a6add0cec4b853ea2aae5c710","datavalue":{"value":{"text":"Bounding the order of complex linear groups and permutation groups with selected composition factors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567135$499FE1EE-E116-486D-BD73-B70620E6F367","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d78956d8f1a50d4489fa47715466aca38fc7018","datavalue":{"value":"1543.20007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567135$0B0C5F77-533C-44A2-8FFA-307904BA6327","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"432971f08ebb391637994bca48c506a60435238c","datavalue":{"value":{"entity-type":"item","numeric-id":170581,"id":"Q170581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567135$5B9BC240-FC24-46BD-B297-68897D4E714E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567135$F6876999-F6C4-4DD2-B0D4-731CBA43A79D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9d89d4c3fa177f8059cbe089c01b9ca5f57bf56","datavalue":{"value":{"time":"+2024-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6567135$56A0937B-5CA2-4115-AF89-C15C5B389C8F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"139e5e0c7186f196b047b6b1f7898184b3daab11","datavalue":{"value":"In this interesting article, the author gets some general bounds on the order of finite subgroups of \\(\\mathrm{GL}(n, \\mathbb{C})\\). The work is originally motivated by some question of P. Etingof (related to growth rates of tensor powers in symmetric tensor categories, see [\\textit{K. Coulembier} et al., Pure Appl. Math. Q. 20, No. 3, 1141--1179 (2024; Zbl 1537.18020)]). The generality of the methods used lead the reviewer to provide a description of the main concepts developed and the main results obtained by the author.\\N\\NLet \\(G\\) be a finite group. A section of \\(G\\) is a group of the form \\(H/K\\) where \\(H \\leq G\\) and \\(K \\trianglelefteq H\\), a section \\(G/H\\) is normal if \\(H \\trianglelefteq G\\). Let \\(\\mathbf{P}\\) be a property of finite groups which is inherited by all sections (hereditary for brevity) and we let \\(\\mathbf{Q}\\) be a property which is inherited by all normal sections (normally hereditary for brevity). A normally hereditary property \\(\\mathbf{Q}\\) is extant if at least one finite group has property \\(\\mathbf{Q}\\) and an extant property \\(\\mathbf{Q}\\) is irredundant if there is at least one finite group which does not have property \\(\\mathbf{Q}\\). If \\(\\mathbf{Q}\\) is an extant normally hereditary property of finite groups and \\(G\\) is finite let\\N\\(A(\\mathbf{Q})= \\{ |G : F(G)|^{1/(n-1)}  \\mid n \\geq 2, G \\leq \\mathrm{GL}(n,\\mathbb{C}) \\text{ and } G \\text{ has } \\mathbf{Q} \\} \\),\\N\\(B(\\mathbf{Q})= \\{ |G|^{1/(n-1)}  \\mid n \\geq 2,  G \\leq \\mathrm{Sym}(n) \\text{ and } G \\text{ has } \\mathbf{Q} \\} \\),\\N\\(C(\\mathbf{Q})= \\{ |G : A|^{1/(n-1)}  \\mid n \\geq 2, G \\leq \\mathrm{GL}(n,\\mathbb{C}) \\text{ and } G \\text{ has } \\mathbf{Q} \\} \\),\\Nwhere \\(A\\) is a maximal normal subgroup of the finite group \\(G\\).\\N\\NThe first general result, which makes use of the \\textsf{CFSG}, is Theorem 1.1: Let \\(\\mathbf{P}\\) be an extant irredundant hereditary property of finite groups. Then the sets \\(A(\\mathbf{P})\\), \\(B(\\mathbf{P})\\) and \\(C(\\mathbf{P})\\) are all bounded above. Hence, letting \\(\\alpha(\\mathbf{P})\\), \\(\\beta(\\mathbf{P})\\) and \\(\\gamma(\\mathbf{P})\\) denote the least upper bounds of \\(A(\\mathbf{P})\\), \\(B(\\mathbf{P})\\) and \\(C(\\mathbf{P})\\), respectively, we have: (i) Whenever \\(n\\) is a positive integer and \\(G\\) is a finite subgroup with property \\(\\mathbf{P}\\) of \\(\\mathrm{GL}(n,\\mathbb{C})\\), then we have \\([G:F(G)]\\leq \\alpha(\\mathbf{P})^{n-1}\\). Furthermore, \\(\\alpha(\\mathbf{P})\\) is the smallest real number with this property. (ii) Whenever \\(n\\) is a positive integer and \\(G\\) is a subgroup with property \\(P\\) of the symmetric group \\(\\mathrm{Sym}(n)\\), then we have \\(|G| \\leq \\beta(\\mathrm{Sym}(n))^{n-1}\\). Furthermore, \\(\\beta(P)\\) is the smallest real number with this property. (iii) Whenever \\(n\\) is a positive integer and \\(G\\) is a finite subgroup with property \\(\\mathbf{P}\\) of \\(\\mathrm{GL}(n,\\mathbb{C})\\), then \\(G\\) has an abelian normal subgroup \\(A\\) with \\(|G : A| \\leq \\gamma(P)^{n-1}\\). Furthermore, \\(\\gamma(\\mathbf{P})\\) is the smallest real number with this property.\\N\\NTheorem 1.1 is a consequence of Theorem 1.2: Let \\(\\mathbf{Q}\\) be an extant normally hereditary property of finite groups. Then the sets \\(A(\\mathbf{Q})\\), \\(B(\\mathbf{Q})\\) and \\(C(\\mathbf{Q})\\) are all bounded above if and only if there are only finitely many alternating groups with property \\(\\mathbf{Q}\\). Furthermore, when these sets are all bounded above and we let \\(m\\) denote the largest integer such that \\(\\mathrm{Alt}(m)\\) has property \\(\\mathbf{Q}\\), then we have: (i) if \\(m \\leq 151\\), then \\N\\[\\max \\{\\alpha(\\mathbf{Q}), \\beta(\\mathbf{Q}), \\gamma(\\mathbf{Q}) \\} \\leq 60,\\] \\N(ii) if \\(m > 151\\), then\\N\\[\\N\\left( \\frac{m!}{2} \\right)^{1/(m-1)} \\leq \\min  \\{\\alpha(\\mathbf{Q}), \\beta(\\mathbf{Q}), \\gamma(\\mathbf{Q}) \\}\\N\\]\\Nand\\N\\[\\N\\max  \\{\\alpha(\\mathbf{Q}), \\beta(\\mathbf{Q}), \\gamma(\\mathbf{Q}) \\} \\leq  ( m! )^{1/(m-2)}.\\N\\]\\NThe questions of P. Etingof give two situations when Theorem 1.1 may be applied to obtain explicit bounds. Let \\(p\\) be a prime and let the property \\(\\mathbf{P}\\) be the property of having order prime to \\(p\\), then \\(\\mathbf{P}\\) is clearly hereditary, extant and irredundant. For \\(p\\) an odd prime, \\(p-1\\) is the largest integer \\(m\\) such that \\(\\mathrm{Alt}(m)\\) has property \\(\\mathbf{P}\\), while for \\(p=2\\), only the alternating groups \\(\\mathrm{Alt}(2)\\) and \\(\\mathrm{Alt}(3)\\) have property \\(\\mathbf{P}\\). If instead \\(\\mathbf{P}\\) is the property of having abelian Sylow \\(p\\)-subgroups, then the largest integer \\(m\\) such that the alternating group \\(\\mathrm{Alt}(m)\\) has property \\(\\mathbf{P}\\) is \\(p^{2}-1\\) if \\(p\\) is odd and \\(m=5\\) if \\(p=2\\). Hence, Theorem 1.2 is applied, obtaining (see Corollary 1.5): Let \\(p\\) be a prime and \\(G\\) be a finite subgroup of \\(\\mathrm{GL}(n, \\mathbb{C})\\) of order prime to \\(p\\), then \\(G\\) has an abelian normal subgroup \\(A\\) such that if \\(p \\leq 151\\), then \\N\\[|G:A| \\leq 60^{n-1}\\] \\Nand if \\(p>151 \\), then \\N\\[|G:A| \\leq \\big( (p-1)!\\big)^{\\frac{n-1}{p-3}}.\\N\\]\\NAnd (see Corollary 1.7): Let \\(H\\) be a finite subgroup of \\(\\mathrm{GL}(n,\\mathbb{C})\\). If \\(H\\) has any non-solvable alternating composition factor, let \\(m \\geq 5\\) be the largest integer such that \\(\\mathrm{Alt}(m)\\) is a composition factor of \\(H\\). Then either \\(H\\) has an abelian normal subgroup of index at most \\(60^{n-1}\\), or else \\(n+1 \\geq m > 151\\) and \\(H\\) has an abelian normal subgroup \\(A\\) with\\N\\[\\N\\frac{m!}{2} \\leq |H : A| \\leq \\big (m! \\big)^{\\frac{n-1}{m-2}} \\leq \\big (n+1 \\big)!\\N\\]\\NThe paper under review contains many other results of the same kind which are too long to report here.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6567135$6A0A1199-59AE-4CDE-A32E-FDC47383DFC8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5bfd82087b720927b1a296c318191d7cfc2aac2e","datavalue":{"value":{"entity-type":"item","numeric-id":284097,"id":"Q284097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567135$C54480D7-D8E1-4362-B10A-A94C0F8B1849","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb5d1e694a0c88d435d98289c9ff9b7eb400d6bb","datavalue":{"value":"20C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567135$3488F24E-28CA-4833-A487-BCD8C43553D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"63280e28b992d074f46b8f496b13ff58e558e99c","datavalue":{"value":"20C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567135$10E2AC97-78C3-400E-AFB2-8EEE808C0C1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f15d5e7ee641c35315af552676dd3717fbe85731","datavalue":{"value":"7876018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567135$1B10C152-3B88-4935-B665-4DB9E95425CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be6b8991d296fd07af8430198de2405767791402","datavalue":{"value":"subgroup of complex linear group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6567135$CC24084A-3381-462A-964B-2D6EA2E3EDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4227ea7aae5a264117ca84c914948623764fb7e9","datavalue":{"value":"subgroup of symmetric group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6567135$58378167-124C-48ED-AC38-B266E588971E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cb69ea4d128186e0fd976e0de6245ac630f23a4","datavalue":{"value":"bound for the order","type":"string"},"datatype":"string"},"type":"statement","id":"Q6567135$CD01E374-8D76-4872-B6D5-9FA868FCD7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e203093c30d6945fc9b0330744ff748530fff607","datavalue":{"value":"composition factor","type":"string"},"datatype":"string"},"type":"statement","id":"Q6567135$2EE338FC-455F-4EE3-B9E1-1D019CC71965","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":"Q6567135$A27CB427-A2BA-4EC7-B60E-3BA1E44B7CB0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdc5dfb71e6e52fac998d83ef797063cb5552883","datavalue":{"value":{"entity-type":"item","numeric-id":5755365,"id":"Q5755365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567135$561B1AF9-7703-4896-AD67-B776A146E3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e42e43eedb7add02aab93ce4686a5ff51c24966","datavalue":{"value":{"entity-type":"item","numeric-id":2474481,"id":"Q2474481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567135$F628B627-63FB-4678-ADD2-5524C5BD7E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efcc08bcc639721f2085dd6c33802fd980717d8a","datavalue":{"value":{"entity-type":"item","numeric-id":5634146,"id":"Q5634146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567135$314F2FCE-9999-47F5-AE64-9E0AF84ADEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d55dde3ec29266184a01b527c79599fe7703c28","datavalue":{"value":{"entity-type":"item","numeric-id":5697472,"id":"Q5697472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567135$460B31AA-4D70-4876-AE90-8974A2AD4D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecb7a20ef83052de21ea183e2483d65fc9550a53","datavalue":{"value":{"entity-type":"item","numeric-id":1225120,"id":"Q1225120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567135$215E7B82-8103-4583-B241-A62B9CE931EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"927e5a6f71ba697f46388b1fafa56b7e57c9bac7","datavalue":{"value":{"entity-type":"item","numeric-id":1858295,"id":"Q1858295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567135$3F20A34A-EC8F-4135-9C77-FC3710CEA2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a47d811ec4d57520fe9759de1866e5ae3784d4","datavalue":{"value":{"entity-type":"item","numeric-id":655394,"id":"Q655394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567135$DE8B93D6-481E-4FAB-9352-6FCC42788EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b620961264b1acb7e24782b91009ec88130299d4","datavalue":{"value":{"entity-type":"item","numeric-id":4426050,"id":"Q4426050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567135$FA9CC385-06E2-41A6-8FCA-E91FCB5DF208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a3b7dd4c5fe511b88d0827166aac7e32c5293c6","datavalue":{"value":{"entity-type":"item","numeric-id":3329645,"id":"Q3329645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567135$C1916E64-CB88-48CA-9B6E-48ABC6DC10F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6031eb608fa5115e6d12360e34e2bac873a059f9","datavalue":{"value":{"entity-type":"item","numeric-id":2926633,"id":"Q2926633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567135$4E23DDF6-BC0F-438B-86D2-A48A89809A97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff3b7f62e18e89caeedca9c71dd8e3529e30a311","datavalue":{"value":"10.1090/TRAN/9091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567135$7BC18750-268B-4FDA-955D-D7FD184092B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16b9e67db1efd5634c43661e0fe500bc420a9f44","datavalue":{"value":{"entity-type":"item","numeric-id":2474481,"id":"Q2474481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c1280134ed5922240ce8e2a178b1866883c810a","datavalue":{"value":{"amount":"+0.8182894587516785","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":"Q6567135$67E6989A-27CF-4666-BDB1-E762FA7CB280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f7cd9b89e26c915cb80939a65b78bc2ef72d99c","datavalue":{"value":{"entity-type":"item","numeric-id":655394,"id":"Q655394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a59580a5efcaaed5a4ee80406bdfdf9c63bccf3","datavalue":{"value":{"amount":"+0.8090976476669312","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":"Q6567135$A23B0A49-4850-413B-B4FE-CDF0FB171A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57d2da035677fd20dbbc058ffc7901c82dee27f5","datavalue":{"value":{"entity-type":"item","numeric-id":2352886,"id":"Q2352886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff0d3cf43333c57257e0b5e5107afa4c4190196b","datavalue":{"value":{"amount":"+0.7989822626113892","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":"Q6567135$706B515F-DBB8-42F1-9F5F-3E89004F904A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f15d6d44dfd240725d24d4550e6c2b8f2f899d2f","datavalue":{"value":{"entity-type":"item","numeric-id":3542085,"id":"Q3542085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a2110f915723c200878444e285f0192a8d3a08","datavalue":{"value":{"amount":"+0.7737326622009277","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":"Q6567135$F687FBA9-2D58-4244-A043-1B129C4CC6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3a4529775832abd80955e1d2e31d502b94e3843","datavalue":{"value":{"entity-type":"item","numeric-id":3329645,"id":"Q3329645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d82149e762f1d890931fc2e0b1c95dbb2918e68","datavalue":{"value":{"amount":"+0.7734560370445251","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":"Q6567135$CB7CB9FE-1A1F-476E-8DEF-E1B739784CFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6567135","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6567135"}}}}}