[論文レビュー] 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$ の単位群には、3つの冪零部分群によって生成され、明示的な生成元をもつ有限指数部分群が存在することを示し、行列単位の構成から得られる特定の単位を用いて、ランク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$.

研究の動機と目的

• 有限冪零群 $G$ に対して、有理数群代数 $\mathbb{Q}G$ における完全な正規直交原始べき等元の集合を、文字理論に依存しない方法で構成すること。
• 強いショーダ対と中心的要素 $e(G,H,K)$ を用いて、有限冪零群 $G$ に対する $\mathbb{Q}G$ の完全なウェダーバルン分解を記述すること。
• 単位群 $\mathcal{U}(\mathbb{Z}G)$ の構造的性質を導出し、特に明示的な生成元をもつ3つの冪零群によって生成される有限指数部分群を示すこと。
• 行列単位の構成から得られる特定の単位を用いて、$\mathcal{U}(\mathbb{Z}G)$ にランク2の自由部分群を構成すること。
• 任意の有限群に対して、$\mathbb{Q}G$ の原始的中心的べき等元が、部分群内の強いショーダ対から得られる $e(G,H,K)$ 要素の有理数線形結合として表されることを示すこと。

提案手法

• $K \triangleleft H$、$H/K$ がアーベル群であり、$H$ の一様な特徴から誘導される表現が無限大であるような、部分群対 $(H,K)$ を用いて、中心的べき等元 $e(G,H,K)$ を定義する。
• 各原始的中心的べき等元 $e(G,H,K)$ に対して、$\mathbb{Q}Ge(G,H,K)$ における完全な行列単位の集合を構成し、完全なウェダーバルン分解を可能にする。
• ブレイザーの誘導特徴に関する定理を適用し、$\mathbb{Q}G$ のすべての原始的中心的べき等元が、$G$ の部分群内の強いショーダ対に対応する $e(G,H,K)$ の有理数線形結合であることを証明する。
• 単位 $1 + |G|t^{-1}\beta_e a^j t'$ の形をとる、$t,t' \in T_e$ かつ $\beta_e$ が対 $(H,K)$ に関連する中心的要素であるような単位によって生成される、$\mathcal{U}(\mathbb{Z}G)$ の冪零部分群 $V^+$ と $V^-$ を定義する。
• $n$ を $G$ の冪零クラスとするとき、バースの巡回単位 $B_{(n)}(G)$ を用いて、$\mathcal{U}(\mathbb{Z}G)$ の中心の有限指数部分群を生成する。
• 除法環 $D$ に対して $\mathbb{Q}Ge \simeq M_n(D)$ であるという同型を活用し、単位を $\mathrm{SL}_n(\mathcal{O})$ および $\mathrm{GL}_n(\mathcal{O})$ に射影することで、$\mathbb{Q}Ge$ の整数環の単位群における有限指数を保証する。

実験結果

リサーチクエスチョン

• RQ1 有限冪零群 $G$ に対して、複素数特徴に依存せずに、$\mathbb{Q}G$ における完全な正規直交原始べき等元の集合を構成できるか？
• RQ2 有限冪零群 $G$ に対する $\mathbb{Q}G$ の完全なウェダーバルン分解は何か？ そして、強いショーダ対を用いてどのように明示的に記述できるか？
• RQ3 $\mathcal{U}(\mathbb{Z}G)$ が、明示的な生成元をもつ3つの冪零群によって生成される有限指数部分群を有することを示せるか？
• RQ4 行列単位の構成を用いて、$\mathcal{U}(\mathbb{Z}G)$ にランク2の自由部分群を明示的に構成できる条件は何か？
• RQ5 任意の有限群 $G$ に対して、$\mathbb{Q}G$ のすべての原始的中心的べき等元が、部分群内の強いショーダ対に対応する $e(G,H,K)$ 要素の有理数線形結合として表されるか？

主な発見

• 強いショーダ対と中心的要素 $e(G,H,K)$ を用いて、有限冪零群 $G$ に対して $\mathbb{Q}G$ における完全な正規直交原始べき等元の集合が、文字理論を用いずに構成された。
• 有限冪零群 $G$ に対する $\mathbb{Q}G$ のウェダーバルン分解が完全に記述され、各単純成分 $\mathbb{Q}Ge(G,H,K)$ が除法環上の行列代数に同型であることが示された。
• 単位群 $\mathcal{U}(\mathbb{Z}G)$ には、$B_{(n)}(G)$、$V^+$、$V^-$ の3つの冪零群によって生成され、明示的な生成元をもつ有限指数部分群が存在する。
• 任意の強いショーダ対 $(H,K)$ に対して、$\mathbb{Q}Ge(G,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$ のすべての原始的中心的べき等元が、$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$ の整数環の単位群における有限指数を保証する。