[论文解读] Rational group algebras of finite groups: from idempotents to units of integral group rings

Eric Jespers, Gabriela Olteanu+1 more|arXiv (Cornell University)|Jan 8, 2010

Finite Group Theory Research参考文献 21被引用 5

一句话总结

本文提供了有限幂零群的有理群代数中正交本原幂等元的无字符构造方法以及完整的魏德伯格分解，利用强沙达对和中心元素 $e(G,H,K)$。研究证明了整数群环 $\mathbb{Z}G$ 的单位群包含一个由三个幂零子群生成的有限指数子群，且给出了显式生成元；并通过从分解中导出的特定单位，构造了秩为2的自由子群。

ABSTRACT

We give an explicit and character-free construction of a complete set of orthogonal primitive idempotents of a rational group algebra of a finite nilpotent group and a full description of the Wedderburn decomposition of such algebras. An immediate consequence is a well-known result of Roquette on the Schur indices of the simple components of group algebras of finite nilpotent groups. As an application, we obtain that the unit group of the integral group ring $\Z G$ of a finite nilpotent group $G$ has a subgroup of finite index that is generated by three nilpotent groups for which we have an explicit description of their generators. Another application is a new construction of free subgroups in the unit group. In all the constructions dealt with, pairs of subgroups $(H,K)$, called strong Shoda pairs, and explicit constructed central elements $e(G,H,K)$ play a crucial role. For arbitrary finite groups we prove that the primitive central idempotents of the rational group algebras are rational linear combinations of such $e(G,H,K)$, with $(H,K)$ strong Shoda pairs in subgroups of $G$.

研究动机与目标

• 为有限幂零群的有理群代数 $\mathbb{Q}G$ 提供一种无字符方法，以构造一组完整的正交本原幂等元。
• 利用强沙达对和中心元素 $e(G,H,K)$，完全描述有限幂零群的 $\mathbb{Q}G$ 的魏德伯格分解。
• 推导 $\mathcal{U}(\mathbb{Z}G)$ 单位群的结构结果，包括一个由三个显式生成元的幂零子群生成的有限指数子群。
• 通过从矩阵单位构造中导出的特定单位，在 $\mathcal{U}(\mathbb{Z}G)$ 中构造秩为2的自由子群。
• 证明对任意有限群，$\mathbb{Q}G$ 的本原中心幂等元是子群中强沙达对所对应的 $e(G,H,K)$ 元素的有理线性组合。

提出的方法

• 使用强沙达对 $(H,K)$——即满足 $K \triangleleft H$，$H/K$ 为阿贝尔群，且从 $H$ 的线性特征标不可约诱导的子群对——来定义中心幂等元 $e(G,H,K)$。
• 为每个本原中心幂等元 $e(G,H,K)$ 构造一组完整的矩阵单位，从而实现完整的魏德伯格分解。
• 应用布拉乌尔的诱导特征标定理，证明 $\mathbb{Q}G$ 中的所有本原中心幂等元都是子群中强沙达对的 $e(G,H,K)$ 的有理线性组合。
• 定义 $\mathcal{U}(\mathbb{Z}G)$ 的幂零子群 $V^+$ 和 $V^-$，其生成元形式为 $1 + |G|t^{-1}\beta_e a^j t'$，其中 $t,t' \in T_e$，且 $\beta_e$ 是与对 $(H,K)$ 关联的中心元素。
• 利用巴斯循环单位 $B_{(n)}(G)$，其中 $n$ 为 $G$ 的幂零类，生成 $\mathcal{U}(\mathbb{Z}G)$ 的中心的有限指数子群。
• 利用同构关系 $\mathbb{Q}Ge \simeq M_n(D)$（$D$ 为除环）将单位投影到 $\mathrm{SL}_n(\mathcal{O})$ 和 $\mathrm{GL}_n(\mathcal{O})$，确保在 $\mathbb{Q}Ge$ 的整环单位群中具有有限指数。

实验结果

研究问题

• RQ1 能否在不依赖复特征标的情况下，为有限幂零群的 $\mathbb{Q}G$ 构造一组完整的正交本原幂等元？
• RQ2 有限幂零群的 $\mathbb{Q}G$ 的完整魏德伯格分解是什么？能否通过强沙达对显式描述？
• RQ3 能否证明有限幂零群的整数群环 $\mathbb{Z}G$ 的单位群 $\mathcal{U}(\mathbb{Z}G)$ 包含一个由三个幂零子群生成的有限指数子群，且其生成元显式给出？
• RQ4 在何种条件下，可通过矩阵单位构造在 $\mathcal{U}(\mathbb{Z}G)$ 中显式构造秩为2的自由子群？
• RQ5 对任意有限群，$\mathbb{Q}G$ 的每个本原中心幂等元是否都是与强沙达对相关的 $e(G,H,K)$ 元素的有理线性组合？

主要发现

• 通过强沙达对和中心元素 $e(G,H,K)$，为有限幂零群的 $\mathbb{Q}G$ 构造了一组完整的正交本原幂等元，且未使用特征标理论方法。
• 完全描述了有限幂零群的 $\mathbb{Q}G$ 的魏德伯格分解，其中每个单个分量 $\mathbb{Q}Ge(G,H,K)$ 同构于一个除环上的矩阵代数。
• $\mathcal{U}(\mathbb{Z}G)$ 的单位群包含一个有限指数子群，由三个幂零子群 $B_{(n)}(G)$、$V^+$ 和 $V^-$ 生成，其显式生成元来自巴斯单位和矩阵单位构造。
• 对于任意满足 $\mathbb{Q}Ge(G,H,K)$ 不是除环的强沙达对 $(H,K)$，若 $t \neq t'$，则群 $\langle 1 + |G|t^{-1}\beta_e t', 1 + |G|t'^{-1}\beta_e t \rangle$ 是一个秩为2的自由群。
• 对任意有限群 $G$，$\mathbb{Q}G$ 的每个本原中心幂等元都是子群中强沙达对 $(H,K)$ 对应的 $e(G,H,K)$ 元素的有理线性组合。
• 该构造确保单位 $1 + |G|t^{-1}\beta_e a^j t'$ 属于 $\mathcal{U}(\mathbb{Z}G)$，且在 $M_n(\mathcal{O})$ 中投影为初等矩阵，从而保证在 $\mathbb{Q}Ge$ 的整环单位群中具有有限指数。