[論文レビュー] Modules induced from a normal subgroup of prime index

S. P. Glasby|arXiv (Cornell University)|Jan 17, 2021

Finite Group Theory Research参考文献 8被引用数 4

ひとこと要約

本稿は、$H \triangleleft G$ かつ $|G/H| = p$（$p$ は素数）であるとき、不可約 $mathbb{F}H$-加群からの誘導加群 $V{\uparrow}$ の構造を特徴づけている。$text{char}(mathbb{F}) \neq p$ のとき $V{\uparrow}$ は半単純であり、$text{char}(mathbb{F}) = p$ のとき単系列的であることが示され、その単純成分の自己準同型代数はねじれ多項式環と巡回代数を用いて完全に記述されている。

ABSTRACT

Let $G$ be a finite group and $H$ a normal subgroup of prime index $p$. Let $V$ be an irreducible ${\mathbb F}H$-module and $U$ a quotient of the induced ${\mathbb F}G$-module $V\kern-3pt\uparrow$. We describe the structure of $U$, which is semisimple when ${ m char}({\mathbb F}) e p$ and uniserial if ${ m char}({\mathbb F})=p$. Furthermore, we describe the division rings arising as endomorphism algebras of the simple components of $U$. We use techniques from noncommutative ring theory to study ${ m End}_{{\mathbb F}G}(V\kern-3pt\uparrow)$ and relate the right ideal structure of ${ m End}_{{\mathbb F}G}(V\kern-3pt\uparrow)$ to the submodule structure of $V\kern-3pt\uparrow$.

研究の動機と目的

• 不可約 $mathbb{F}H$-加群 $V$ からの誘導 $\mathbb{F}G$-加群 $V{\uparrow}$ の部分加群構造を特定すること。$H \triangleleft G$ かつ $|G/H| = p$ のとき。
• 誘導加群 $V{\uparrow}$ の単純成分の自己準同型代数、特に $V{\uparrow}$ の商 $U$ に対する $\text{End}_{\mathbb{F}G}(U)$ を記述すること。
• 特性 $\text{char}(\mathbb{F}) \neq p$ を仮定しないように一般化することで、$G$-安定な設定における新たなケースを明らかにすること。
• 計算応用を想定し、部分加群および自己準同型の行列およびベクトルレベルの明示的記述を提供すること。
• 自己準同型代数 $\text{End}_{\mathbb{F}G}(V{\uparrow})$ のイデアル構造と、ねじれ多項式環 $\Delta[t;\alpha]$ を通じた加群構造の関係を明らかにすること。

提案手法

• 非可換環論を用いて $\Gamma = \text{End}_{\mathbb{F}G}(V{\uparrow})$ を分析し、それをねじれ多項式環 $\Delta[t;\alpha]$ の商とみなす。
• $\Gamma$ を一般の巡回 $\mathbb{F}$-代数 $(\Delta, \alpha, \lambda)$ に同型として特徴づける。ここで $\lambda \in Z(\Delta)$ である。
• $\Delta[t;\alpha]$ は単項イデアル整域であるから、$t^p - \lambda$ の因数分解を実行し、$V{\uparrow}$ の分解を分類する。
• Wedderburn-Artin理論を適用して $V{\uparrow}$ を、$Z$ 上の $s^p - \eta$ の首項の既約因数 $\mu(s)$ で添字付けられた Wedderburn 成分 $W_\mu$ に分解する。
• 理想化子構成 $B = \{\delta(s) \in \Delta[s] \mid \delta(s)\nu_n(s) \in \nu_n(s)\Delta[s]\}$ を用いて $\text{End}_{\mathbb{F}G}(W_{\nu_n}) \cong B / \nu_n(s)\Delta[s]$ を計算する。
• $a \in G \setminus H$ の作用を用いて、$V{\uparrow}$ 内の部分加群 $V$ と $Va^i$ 間の $\mathbb{F}H$-同型 $\alpha^{-i}a^i$ を定義する。

実験結果

リサーチクエスチョン

• RQ1 特性 $\text{char}(\mathbb{F})$ に依存する、不可約 $mathbb{F}H$-加群 $V$ からの誘導 $\mathbb{F}G$-加群 $V{\uparrow}$ の構造はどのように変化するか？
• RQ2 $\text{char}(\mathbb{F}) = p$ のとき、$\text{End}_{\mathbb{F}G}(V{\uparrow})$ は何か？ また、$\Delta[t;\alpha]$ のイデアル構造とはどのように関係するか？
• RQ3 $V$ が $G$-安定で $\text{char}(\mathbb{F}) \neq p$ のとき、$V{\uparrow}$ の単純成分はどのように分解され、その同型型は何かが決定するか？
• RQ4 $\Delta$ に原始 $p$ 乗根が存在しない場合、$V{\uparrow}$ の分解は $Z[s]$ および $\Delta[s]$ 上の因数分解を用いてどのように記述できるか？
• RQ5 誘導加群 $V{\uparrow}$ の既約成分 $W_{\nu_n}$ に対する $\text{End}_{\mathbb{F}G}(W_{\nu_n})$ の正確な構造は何か？ また、理想化子を用いてどのように計算されるか？

主な発見

• 特性 $\text{char}(\mathbb{F}) \neq p$ のとき、$V{\uparrow}$ は半単純であり、$Z$ 上の $s^p - \eta$ の首項の既約因数 $\mu_i(s)$ で添字付けられた $r$ 個の Wedderburn 成分 $W_{\mu_i}$ の直和に分解される。
• 特性 $\text{char}(\mathbb{F}) = p$ のとき、$V{\uparrow}$ は単系列的であり、長さ $p$ の一意な合成列を持つ。また、$\text{End}_{\mathbb{F}G}(V{\uparrow})$ は局所環である。
• $V{\uparrow}$ の既約成分 $W_{\nu_n}$ の自己準同型代数 $\text{End}_{\mathbb{F}G}(W_{\nu_n})$ は、右イデアル $\nu_n(s)\Delta[s]$ の理想化子 $B$ を用いて $B / \nu_n(s)\Delta[s]$ に同型である。
• 各 Wedderburn 成分 $W_\mu$ は、$\Delta[s]$ 内の既約因数 $\nu_n(s)$ の次数を $n$ として、$W_{\nu_n}^{\oplus n}$ に同型である。
• $\Gamma = \text{End}_{\mathbb{F}G}(V{\uparrow})$ の構造は、ねじれ多項式環 $\Delta[t;\alpha]$ 内での $t^p - \lambda$ の因数分解によって完全に決定され、この環は単項イデアル整域である。
• $W_{\nu_n}$ の同型型は、ガロア作用ではなく、$\Delta$ 内の根の共轭類に依存する。例として $\Delta$ が有理数クaternion数体で $\omega$ が原始立方根のとき、その事実が示されている。