[论文解读] 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$ 为素数时，从不可约 $\mathbb{F}H$-模 $V$ 诱导出的模 $V{\uparrow}$ 的结构。当 $\text{char}(\mathbb{F}) \neq p$ 时，$V{\uparrow}$ 是半单的；当 $\text{char}(\mathbb{F}) = p$ 时，$V{\uparrow}$ 是单序列的，且其所有不可约分量的自同态代数通过扭曲多项式环和循环代数被完全描述。

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$.

研究动机与目标

• 确定当 $H \triangleleft G$ 且 $|G/H| = p$ 时，从不可约 $\mathbb{F}H$-模 $V$ 诱导出的 $\mathbb{F}G$-模 $V{\uparrow}$ 的子模结构。
• 描述 $V{\uparrow}$ 的不可约分量的自同态代数，特别是对 $V{\uparrow}$ 的商模 $U$，描述 $\text{End}_{\mathbb{F}G}(U)$。
• 统一并推广先前的结果，去除 $\text{char}(\mathbb{F}) \neq p$ 的假设，在 $G$-稳定情形下揭示新情况。
• 为计算应用提供子模与自同态的显式矩阵和向量层次描述。
• 通过扭曲多项式环 $\Delta[t;\alpha]$，将 $\text{End}_{\mathbb{F}G}(V{\uparrow})$ 的理想结构与模结构联系起来。

提出的方法

• 使用非交换环论分析 $\Gamma = \text{End}_{\mathbb{F}G}(V{\uparrow})$，将其视为扭曲多项式环 $\Delta[t;\alpha]$ 的商环。
• 通过同构于一般循环 $\mathbb{F}$-代数 $(\Delta, \alpha, \lambda)$（其中 $\lambda \in Z(\Delta)$）来刻画 $\Gamma$。
• 在 $\Delta[t;\alpha]$ 中因式分解二项式 $t^p - \lambda$，该环是主理想整环，从而对 $V{\uparrow}$ 的分解进行分类。
• 应用 Wedderburn-Artin 理论，将 $V{\uparrow}$ 分解为 Wedderburn 分量 $W_\mu$，其指标为 $Z$ 上 $s^p - \eta$ 的首一不可约因子 $\mu(s)$。
• 使用理想化子构造 $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$ 的作用，定义 $\mathbb{F}H$-同构 $\alpha^{-i}a^i$，连接 $V{\uparrow}$ 中的子模 $V$ 与 $Va^i$。

实验结果

研究问题

• RQ1 当 $\text{char}(\mathbb{F}) \neq p$ 时，$V{\uparrow}$（从不可约 $\mathbb{F}H$-模 $V$ 诱导出的 $\mathbb{F}G$-模）的结构如何依赖于 $\mathbb{F}$ 的特征？
• 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$ 次单位根时，如何通过 $Z[s]$ 和 $\Delta[s]$ 中的因式分解来描述 $V{\uparrow}$ 的分解？
• RQ5 对 $V{\uparrow}$ 的一个不可约分量 $W_{\nu_n}$，$\text{End}_{\mathbb{F}G}(W_{\nu_n})$ 的精确结构是什么？它如何通过理想化子计算？

主要发现

• 当 $\text{char}(\mathbb{F}) \neq p$ 时，$V{\uparrow}$ 是半单的，且可分解为 $r$ 个 Wedderburn 分量 $W_{\mu_i}$ 的直和，其中 $\mu_i(s)$ 是 $s^p - \eta$ 在 $Z$ 上的首一不可约因子。
• 当 $\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})$ 同构于 $B / \nu_n(s)\Delta[s]$，其中 $B$ 是右理想 $\nu_n(s)\Delta[s]$ 的理想化子。
• 每个 Wedderburn 分量 $W_\mu$ 同构于 $W_{\nu_n}^{\oplus n}$，其中 $n$ 是 $\Delta[s]$ 中不可约因子 $\nu_n(s)$ 的次数。
• $\Gamma = \text{End}_{\mathbb{F}G}(V{\uparrow})$ 的结构完全由 $t^p - \lambda$ 在扭曲多项式环 $\Delta[t;\alpha]$ 中的因式分解决定，该环是主理想整环。
• 同构类 $W_{\nu_n}$ 依赖于 $\Delta$ 中根的共轭类，而非伽罗瓦作用，如当 $\Delta$ 为有理四元数代数且 $\omega$ 为本原单位根时的例证所示。