[论文解读] Galois Module Structure of $p$th-Power Classes of Extensions of Degree p

Ján Mináč, John Swallow|ArXiv.org|Feb 21, 2002

Rings, Modules, and Algebras被引用 4

一句话总结

本文确定了当 $F$ 为特征不等于 $p$ 且包含本原 $p$ 次单位根的域时，对次数为 $p$ 的循环扩张 $K/F$，$p$ 次幂类群 $J = K^\times / K^{\times p}$ 的伽罗瓦模结构。利用库默尔理论、希尔伯特定理90以及在 $\mathbb{F}_p[\operatorname{Gal}(K/F)]$ 上的线性代数，本文证明了 $J$ 可唯一分解为由范数子群 $N(K^\times)$、$\xi_p$ 是否属于 $N(K^\times)$ 以及 $F^\times / N(K^\times)$ 的结构所决定的不可约模的直和，从而对奇素数 $p$ 和 $p=2$ 的情形给出了完整的分类。主要贡献在于，仅使用初等工具，给出了 $J$ 的伽罗瓦模结构的完整、显式且简洁的描述，其依据是基域与扩张的不变量。

ABSTRACT

For fields F of characteristic not p containing a primitive $p$th root of unity, we determine the Galois module structure of the group of $p$th-power classes of K for all cyclic extensions K/F of degree p.

研究动机与目标

• 确定所有满足 $F$ 包含本原 $p$ 次单位根的 $p$ 次循环扩张 $K/F$ 下，群 $J = K^\times / K^{\times p}$ 的伽罗瓦模结构。
• 在基域与扩张的不变量的术语下，提供 $\mathbb{F}_p[\operatorname{Gal}(K/F)]$-模结构的完整且显式分类。
• 证明该结构仅依赖于范数子群 $N(K^\times)$、$\xi_p$ 是否属于 $N(K^\times)$ 以及商群 $F^\times / N(K^\times)$，且仅使用初等工具。
• 建立 $J$ 到不可约 $\mathbb{F}_p[G]$-模的分解的唯一性，利用克鲁尔-施密特定理。

提出的方法

• 利用库默尔理论将 $J = K^\times / K^{\times p}$ 识别为伽罗瓦上同调群 $H^1(G, \mu_p)$，其中 $G = \operatorname{Gal}(K/F)$。
• 应用希尔伯特定理90分析范数映射 $N: K^\times \to F^\times$ 及其像 $N(K^\times)$。
• 通过 $G = \langle \sigma \rangle$ 的阶为 $p$ 的作用，将 $J$ 的伽罗瓦模结构约化为在群环 $\mathbb{F}_p[G]$ 上的线性代数。
• 将 $J$ 分解为三部分：$X$（根据 $\xi_p \in N(K^\times)$ 的情况，维数为1或2的不可约模），$Y$（满足 $Y^G = N(J)$ 的自由 $\mathbb{F}_p[G]$-模），以及 $Z$（平凡模）。
• 将范数映射 $N$ 视为 $\mathbb{F}_p[G]$ 中的元素以及 $G$-同态，以分析 $J$ 及其固定子模 $J^G$ 的结构。

实验结果

研究问题

• RQ1 当 $F$ 包含本原 $p$ 次单位根时，对次数为 $p$ 的循环扩张 $K/F$，$J = K^\times / K^{\times p}$ 的完整伽罗瓦模结构是什么？
• RQ2 作为 $\mathbb{F}_p[G]$-模，$J$ 的结构如何依赖于范数子群 $N(K^\times)$ 和 $\xi_p$ 是否属于 $N(K^\times)$？
• RQ3 能否仅使用库默尔理论和线性代数的初等工具，显式且唯一地实现 $J$ 到不可约 $\mathbb{F}_p[G]$-模的分解？
• RQ4 $F^\times / N(K^\times)$ 和 $N(K^\times)$ 的哪些条件决定了 $J$ 是否包含自由或平凡的直和项？

主要发现

• 当 $p > 2$ 时，$\mathbb{F}_p[G]$-模 $J$ 分解为 $X \oplus Y \oplus Z$，其中若 $\xi_p \in N(K^\times)$，则 $X$ 的维数为1；否则维数为2；$Y$ 为满足 $Y^G = N(J)$ 的自由模；$Z$ 为平凡模。
• 当 $p = 2$ 时，若 $-1 \in N(K^\times)$，则 $X$ 为1维；否则为平凡模；$Y$ 为满足 $Y^G = N(J)$ 的自由模；$Z$ 为平凡模。
• 任何 $J$ 中最大自由 $\mathbb{F}_p[G]$-子模的秩等于 $N(J)$ 的 $\mathbb{F}_p$-维数，其值为：当 $p > 2$ 时为 $\dim_{\mathbb{F}_p}(F^\times / N(K^\times)) + 2\Upsilon(K)$；当 $p = 2$ 时为 $\dim_{\mathbb{F}_2}(F^\times / N(K^\times)) + \Upsilon(K)$，其中 $\Upsilon(K)$ 计数某些 $p$-刚性元素。
• 由于每个循环直和项都是不可约的且其自同态环为局部环，满足克鲁尔-施密特定理，因此 $J$ 到不可约 $\mathbb{F}_p[G]$-模的分解是唯一的。
• 当且仅当 $N(J)$ 平凡且 $\xi_p \in N(K^\times)$ 时（$p > 2$ 情形），或当 $-1 \notin N(K^\times)$ 时（$p = 2$ 情形），且 $F^\times / N(K^\times)$ 的结构满足附加条件时，$J$ 为自由模。
• 对于扩张 $K_1/F_1$ 和 $K_2/F_2$ 的两个此类模 $J_1$ 和 $J_2$，它们作为 $\mathbb{F}_p[G]$-模同构，当且仅当 $\dim_{\mathbb{F}_p}(F_1^\times / N(K_1^\times)) = \dim_{\mathbb{F}_p}(F_2^\times / N(K_2^\times))$ 且两者中 $|\mathfrak{K}_2|$ 相等，其中 $\mathfrak{K}_2$ 索引 $F^\times / F^{\times p}$ 中的 $p$-刚性元素。