{"title":"关于花环积类型群的格鲁克猜想","authors":"Hangyang Meng, Xiuyun Guo","doi":"10.1515/jgth-2024-0042","DOIUrl":null,"url":null,"abstract":"A well-known conjecture of Gluck claims that <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mrow> <m:mo stretchy=\"false\">|</m:mo> <m:mi>G</m:mi> <m:mo lspace=\"0.278em\" rspace=\"0.278em\">:</m:mo> <m:mi mathvariant=\"bold\">F</m:mi> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>G</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> <m:mo stretchy=\"false\">|</m:mo> </m:mrow> <m:mo>≤</m:mo> <m:mi>b</m:mi> <m:msup> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>G</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> <m:mn>2</m:mn> </m:msup> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_jgth-2024-0042_ineq_0001.png\"/> <jats:tex-math>\\lvert G:\\mathbf{F}(G)\\rvert\\leq b(G)^{2}</jats:tex-math> </jats:alternatives> </jats:inline-formula> for all finite solvable groups 𝐺, where <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi mathvariant=\"bold\">F</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>G</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_jgth-2024-0042_ineq_0002.png\"/> <jats:tex-math>\\mathbf{F}(G)</jats:tex-math> </jats:alternatives> </jats:inline-formula> is the Fitting subgroup and <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>b</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>G</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_jgth-2024-0042_ineq_0003.png\"/> <jats:tex-math>b(G)</jats:tex-math> </jats:alternatives> </jats:inline-formula> is the largest degree of a complex irreducible character of 𝐺. In this paper, we prove that Gluck’s conjecture holds for all wreath product type groups of the form <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>G</m:mi> <m:mo lspace=\"0.222em\" rspace=\"0.222em\">≀</m:mo> <m:msub> <m:mi>H</m:mi> <m:mn>1</m:mn> </m:msub> <m:mo lspace=\"0.222em\" rspace=\"0.222em\">≀</m:mo> <m:msub> <m:mi>H</m:mi> <m:mn>2</m:mn> </m:msub> <m:mo lspace=\"0.222em\" rspace=\"0.222em\">≀</m:mo> <m:mi mathvariant=\"normal\">⋯</m:mi> <m:mo lspace=\"0.222em\" rspace=\"0.222em\">≀</m:mo> <m:msub> <m:mi>H</m:mi> <m:mi>r</m:mi> </m:msub> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_jgth-2024-0042_ineq_0004.png\"/> <jats:tex-math>G\\wr H_{1}\\wr H_{2}\\wr\\cdots\\wr H_{r}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, where 𝐺 is a finite solvable group acting primitively on <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mrow> <m:mrow> <m:mi mathvariant=\"bold\">F</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>G</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> <m:mo>/</m:mo> <m:mi mathvariant=\"normal\">Φ</m:mi> </m:mrow> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>G</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_jgth-2024-0042_ineq_0005.png\"/> <jats:tex-math>\\mathbf{F}(G)/\\Phi(G)</jats:tex-math> </jats:alternatives> </jats:inline-formula>, and each <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msub> <m:mi>H</m:mi> <m:mi>i</m:mi> </m:msub> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_jgth-2024-0042_ineq_0006.png\"/> <jats:tex-math>H_{i}</jats:tex-math> </jats:alternatives> </jats:inline-formula> is a solvable primitive permutation group of finite degree.","PeriodicalId":50188,"journal":{"name":"Journal of Group Theory","volume":"30 1","pages":""},"PeriodicalIF":0.4000,"publicationDate":"2024-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On Gluck’s conjecture for wreath product type groups\",\"authors\":\"Hangyang Meng, Xiuyun Guo\",\"doi\":\"10.1515/jgth-2024-0042\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A well-known conjecture of Gluck claims that <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\\\"http://www.w3.org/1998/Math/MathML\\\"> <m:mrow> <m:mrow> <m:mo stretchy=\\\"false\\\">|</m:mo> <m:mi>G</m:mi> <m:mo lspace=\\\"0.278em\\\" rspace=\\\"0.278em\\\">:</m:mo> <m:mi mathvariant=\\\"bold\\\">F</m:mi> <m:mrow> <m:mo stretchy=\\\"false\\\">(</m:mo> <m:mi>G</m:mi> <m:mo stretchy=\\\"false\\\">)</m:mo> </m:mrow> <m:mo stretchy=\\\"false\\\">|</m:mo> </m:mrow> <m:mo>≤</m:mo> <m:mi>b</m:mi> <m:msup> <m:mrow> <m:mo stretchy=\\\"false\\\">(</m:mo> <m:mi>G</m:mi> <m:mo stretchy=\\\"false\\\">)</m:mo> </m:mrow> <m:mn>2</m:mn> </m:msup> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" xlink:href=\\\"graphic/j_jgth-2024-0042_ineq_0001.png\\\"/> <jats:tex-math>\\\\lvert G:\\\\mathbf{F}(G)\\\\rvert\\\\leq b(G)^{2}</jats:tex-math> </jats:alternatives> </jats:inline-formula> for all finite solvable groups 𝐺, where <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\\\"http://www.w3.org/1998/Math/MathML\\\"> <m:mrow> <m:mi mathvariant=\\\"bold\\\">F</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\\\"false\\\">(</m:mo> <m:mi>G</m:mi> <m:mo stretchy=\\\"false\\\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" xlink:href=\\\"graphic/j_jgth-2024-0042_ineq_0002.png\\\"/> <jats:tex-math>\\\\mathbf{F}(G)</jats:tex-math> </jats:alternatives> </jats:inline-formula> is the Fitting subgroup and <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\\\"http://www.w3.org/1998/Math/MathML\\\"> <m:mrow> <m:mi>b</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\\\"false\\\">(</m:mo> <m:mi>G</m:mi> <m:mo stretchy=\\\"false\\\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" xlink:href=\\\"graphic/j_jgth-2024-0042_ineq_0003.png\\\"/> <jats:tex-math>b(G)</jats:tex-math> </jats:alternatives> </jats:inline-formula> is the largest degree of a complex irreducible character of 𝐺. In this paper, we prove that Gluck’s conjecture holds for all wreath product type groups of the form <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\\\"http://www.w3.org/1998/Math/MathML\\\"> <m:mrow> <m:mi>G</m:mi> <m:mo lspace=\\\"0.222em\\\" rspace=\\\"0.222em\\\">≀</m:mo> <m:msub> <m:mi>H</m:mi> <m:mn>1</m:mn> </m:msub> <m:mo lspace=\\\"0.222em\\\" rspace=\\\"0.222em\\\">≀</m:mo> <m:msub> <m:mi>H</m:mi> <m:mn>2</m:mn> </m:msub> <m:mo lspace=\\\"0.222em\\\" rspace=\\\"0.222em\\\">≀</m:mo> <m:mi mathvariant=\\\"normal\\\">⋯</m:mi> <m:mo lspace=\\\"0.222em\\\" rspace=\\\"0.222em\\\">≀</m:mo> <m:msub> <m:mi>H</m:mi> <m:mi>r</m:mi> </m:msub> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" xlink:href=\\\"graphic/j_jgth-2024-0042_ineq_0004.png\\\"/> <jats:tex-math>G\\\\wr H_{1}\\\\wr H_{2}\\\\wr\\\\cdots\\\\wr H_{r}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, where 𝐺 is a finite solvable group acting primitively on <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\\\"http://www.w3.org/1998/Math/MathML\\\"> <m:mrow> <m:mrow> <m:mrow> <m:mi mathvariant=\\\"bold\\\">F</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\\\"false\\\">(</m:mo> <m:mi>G</m:mi> <m:mo stretchy=\\\"false\\\">)</m:mo> </m:mrow> </m:mrow> <m:mo>/</m:mo> <m:mi mathvariant=\\\"normal\\\">Φ</m:mi> </m:mrow> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\\\"false\\\">(</m:mo> <m:mi>G</m:mi> <m:mo stretchy=\\\"false\\\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" xlink:href=\\\"graphic/j_jgth-2024-0042_ineq_0005.png\\\"/> <jats:tex-math>\\\\mathbf{F}(G)/\\\\Phi(G)</jats:tex-math> </jats:alternatives> </jats:inline-formula>, and each <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\\\"http://www.w3.org/1998/Math/MathML\\\"> <m:msub> <m:mi>H</m:mi> <m:mi>i</m:mi> </m:msub> </m:math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" xlink:href=\\\"graphic/j_jgth-2024-0042_ineq_0006.png\\\"/> <jats:tex-math>H_{i}</jats:tex-math> </jats:alternatives> </jats:inline-formula> is a solvable primitive permutation group of finite degree.\",\"PeriodicalId\":50188,\"journal\":{\"name\":\"Journal of Group Theory\",\"volume\":\"30 1\",\"pages\":\"\"},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2024-08-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Group Theory\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1515/jgth-2024-0042\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Group Theory","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1515/jgth-2024-0042","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
摘要
Gluck 的一个著名猜想声称 | G : F ( G ) | ≤ b ( G ) 2 \lvert G:\mathbf{F}(G)\rvert\leq b(G)^{2} 适用于所有有限可解群𝐺,其中 F ( G ) \mathbf{F}(G) 是 Fitting 子群,而 b ( G ) b(G) 是𝐺 的复不可约特征的最大度数。在本文中,我们将证明格鲁克猜想对于所有形式为 G ≀ H 1 ≀ H 2 ⋯ ≀ H r G\wr H_{1}\wr H_{2}\wr\cdots\wr H_{r} 的花环积类型群都成立、其中,𝐺 是有限可解的群,原始地作用于 F ( G ) / Φ ( G ) \mathbf{F}(G)/\Phi(G) , 每个 H i H_{i} 是有限度的可解原始置换群。
On Gluck’s conjecture for wreath product type groups
A well-known conjecture of Gluck claims that |G:F(G)|≤b(G)2\lvert G:\mathbf{F}(G)\rvert\leq b(G)^{2} for all finite solvable groups 𝐺, where F(G)\mathbf{F}(G) is the Fitting subgroup and b(G)b(G) is the largest degree of a complex irreducible character of 𝐺. In this paper, we prove that Gluck’s conjecture holds for all wreath product type groups of the form G≀H1≀H2≀⋯≀HrG\wr H_{1}\wr H_{2}\wr\cdots\wr H_{r}, where 𝐺 is a finite solvable group acting primitively on F(G)/Φ(G)\mathbf{F}(G)/\Phi(G), and each HiH_{i} is a solvable primitive permutation group of finite degree.
期刊介绍:
The Journal of Group Theory is devoted to the publication of original research articles in all aspects of group theory. Articles concerning applications of group theory and articles from research areas which have a significant impact on group theory will also be considered.
Topics:
Group Theory-
Representation Theory of Groups-
Computational Aspects of Group Theory-
Combinatorics and Graph Theory-
Algebra and Number Theory