{"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":18456,"journal":{"name":"Mathematics of Computation","volume":"147 1","pages":""},"PeriodicalIF":2.2000,"publicationDate":"2024-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematics of Computation","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/mcom/3937","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 0
Abstract
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.
对于有限广义强单项式群 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) 中的有限指数子群,该子群由三个零能群生成,我们给出了它们的生成子的明确描述。我们用一个详细的具体例子来举例说明理论构造。我们还证明了具有循环补集的奇阶弗罗贝纽斯群是一类广义强单项式群,本文所建立的理论适用于这类群。
期刊介绍:
All articles submitted to this journal are peer-reviewed. The AMS has a single blind peer-review process in which the reviewers know who the authors of the manuscript are, but the authors do not have access to the information on who the peer reviewers are.
This journal is devoted to research articles of the highest quality in computational mathematics. Areas covered include numerical analysis, computational discrete mathematics, including number theory, algebra and combinatorics, and related fields such as stochastic numerical methods. Articles must be of significant computational interest and contain original and substantial mathematical analysis or development of computational methodology.