{"title":"广义强单项式群的有理群代数:原始幂等数和单位","authors":"Gurmeet Bakshi, Jyoti Garg, Gabriela Olteanu","doi":"10.1090/mcom/3937","DOIUrl":null,"url":null,"abstract":"<p>We present a method to explicitly compute a complete set of orthogonal primitive idempotents in a simple component with Schur index 1 of a rational group algebra <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper Q upper G\"> <mml:semantics> <mml:mrow> <mml:mrow> <mml:mi mathvariant=\"double-struck\">Q</mml:mi> </mml:mrow> <mml:mi>G</mml:mi> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\mathbb {Q}G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> for <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper G\"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding=\"application/x-tex\">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> a finite generalized strongly monomial group. For the same groups with no exceptional simple components in <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper Q upper G\"> <mml:semantics> <mml:mrow> <mml:mrow> <mml:mi mathvariant=\"double-struck\">Q</mml:mi> </mml:mrow> <mml:mi>G</mml:mi> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\mathbb {Q}G</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, we describe a subgroup of finite index in the group of units <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"script upper U left-parenthesis double-struck upper Z upper G right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mrow> <mml:mi mathvariant=\"script\">U</mml:mi> </mml:mrow> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mrow> <mml:mi mathvariant=\"double-struck\">Z</mml:mi> </mml:mrow> <mml:mi>G</mml:mi> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\mathcal {U}(\\mathbb {Z}G)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> of the integral group ring <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper Z upper G\"> <mml:semantics> <mml:mrow> <mml:mrow> <mml:mi mathvariant=\"double-struck\">Z</mml:mi> </mml:mrow> <mml:mi>G</mml:mi> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">\\mathbb {Z}G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> that is generated by three nilpotent groups for which we give explicit description of their generators. We exemplify the theoretical constructions with a detailed concrete example to illustrate the theory. We also show that the Frobenius groups of odd order with a cyclic complement are a class of generalized strongly monomial groups where the theory developed in this paper is applicable.</p>","PeriodicalId":2,"journal":{"name":"ACS Applied Bio Materials","volume":null,"pages":null},"PeriodicalIF":4.6000,"publicationDate":"2024-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Rational group algebras of generalized strongly monomial groups: Primitive idempotents and units\",\"authors\":\"Gurmeet Bakshi, Jyoti Garg, Gabriela Olteanu\",\"doi\":\"10.1090/mcom/3937\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>We present a method to explicitly compute a complete set of orthogonal primitive idempotents in a simple component with Schur index 1 of a rational group algebra <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"double-struck upper Q upper G\\\"> <mml:semantics> <mml:mrow> <mml:mrow> <mml:mi mathvariant=\\\"double-struck\\\">Q</mml:mi> </mml:mrow> <mml:mi>G</mml:mi> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">\\\\mathbb {Q}G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> for <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"upper G\\\"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding=\\\"application/x-tex\\\">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> a finite generalized strongly monomial group. For the same groups with no exceptional simple components in <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"double-struck upper Q upper G\\\"> <mml:semantics> <mml:mrow> <mml:mrow> <mml:mi mathvariant=\\\"double-struck\\\">Q</mml:mi> </mml:mrow> <mml:mi>G</mml:mi> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">\\\\mathbb {Q}G</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, we describe a subgroup of finite index in the group of units <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"script upper U left-parenthesis double-struck upper Z upper G right-parenthesis\\\"> <mml:semantics> <mml:mrow> <mml:mrow> <mml:mi mathvariant=\\\"script\\\">U</mml:mi> </mml:mrow> <mml:mo stretchy=\\\"false\\\">(</mml:mo> <mml:mrow> <mml:mi mathvariant=\\\"double-struck\\\">Z</mml:mi> </mml:mrow> <mml:mi>G</mml:mi> <mml:mo stretchy=\\\"false\\\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">\\\\mathcal {U}(\\\\mathbb {Z}G)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> of the integral group ring <inline-formula content-type=\\\"math/mathml\\\"> <mml:math xmlns:mml=\\\"http://www.w3.org/1998/Math/MathML\\\" alttext=\\\"double-struck upper Z upper G\\\"> <mml:semantics> <mml:mrow> <mml:mrow> <mml:mi mathvariant=\\\"double-struck\\\">Z</mml:mi> </mml:mrow> <mml:mi>G</mml:mi> </mml:mrow> <mml:annotation encoding=\\\"application/x-tex\\\">\\\\mathbb {Z}G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> that is generated by three nilpotent groups for which we give explicit description of their generators. We exemplify the theoretical constructions with a detailed concrete example to illustrate the theory. We also show that the Frobenius groups of odd order with a cyclic complement are a class of generalized strongly monomial groups where the theory developed in this paper is applicable.</p>\",\"PeriodicalId\":2,\"journal\":{\"name\":\"ACS Applied Bio Materials\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":4.6000,\"publicationDate\":\"2024-01-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACS Applied Bio Materials\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1090/mcom/3937\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATERIALS SCIENCE, BIOMATERIALS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACS Applied Bio Materials","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/mcom/3937","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATERIALS SCIENCE, BIOMATERIALS","Score":null,"Total":0}
引用次数: 0
摘要
对于有限广义强单项式群 G G,我们提出了一种明确计算有理群代数 Q G \mathbb {Q}G 中舒尔指数为 1 的简单分量中完整的正交原始幂级数的方法。对于 Q G \mathbb {Q}G 中没有特殊简单成分的相同群,我们描述了积分群环 Z G \mathbb {Z}G 的单位群 U ( Z G ) \mathcal {U}(\mathbb {Z}G) 中的有限指数子群,该子群由三个零能群生成,我们给出了它们的生成子的明确描述。我们用一个详细的具体例子来举例说明理论构造。我们还证明了具有循环补集的奇阶弗罗贝纽斯群是一类广义强单项式群,本文所建立的理论适用于这类群。
Rational group algebras of generalized strongly monomial groups: Primitive idempotents and units
We present a method to explicitly compute a complete set of orthogonal primitive idempotents in a simple component with Schur index 1 of a rational group algebra QG\mathbb {Q}G for GG a finite generalized strongly monomial group. For the same groups with no exceptional simple components in QG\mathbb {Q}G, we describe a subgroup of finite index in the group of units U(ZG)\mathcal {U}(\mathbb {Z}G) of the integral group ring ZG\mathbb {Z}G that is generated by three nilpotent groups for which we give explicit description of their generators. We exemplify the theoretical constructions with a detailed concrete example to illustrate the theory. We also show that the Frobenius groups of odd order with a cyclic complement are a class of generalized strongly monomial groups where the theory developed in this paper is applicable.