[论文解读] Cyclic algebras and construction of some Galois modules

Ján Mináč, Andrew Schultz+1 more|arXiv (Cornell University)|Oct 25, 2004

Rings, Modules, and Algebras参考文献 5被引用 3

一句话总结

该论文构造了伽罗瓦群为G的p^n次循环扩张K/F，证明了对任意素数p和整数i < n，存在一个域扩张，使得F_pG-模J = K^×/K^×^p包含一个维数为p^i + 1的不可约直和项。该结果证明了所有允许参数下此类直和项的存在性，解决了伽罗瓦模理论中的实现性问题。

ABSTRACT

Let p be a prime and suppose that K/F is a cyclic extension of degree p n with group G. Let J be the FpG-module K × /K ×p of pth-power classes. In our previous paper we established precise conditions for J to contain an indecomposable direct summand of dimension not a power of p. At most one such summand exists, and its dimension must be p i + 1 for some 0 ≤ i &amp;lt; n. We show that for all primes p and all 0 ≤ i &amp;lt; n, there exists a field extension K/F with a summand of dimension p i + 1.

研究动机与目标

• 确定在p^n次循环扩张K/F下，F_pG-模J = K^×/K^×^p是否可能包含维数为p^i + 1的不可约直和项。
• 解决此类直和项在所有素数p和所有i < n下是否可实现的问题。
• 显式构造出J包含维数为p^i + 1的不可约直和项的域扩张K/F。

提出的方法

• 利用伽罗瓦群为G的p^n次循环扩张K/F的结构，分析F_pG-模J = K^×/K^×^p的性质。
• 应用先前研究中关于J中不可约直和项存在的条件，特别关注维数约束。
• 运用类域论和上同调技巧，构造出特定模直和项出现的扩张。
• 证明了对任意p和i < n，均可构造出合适的扩张，使得J包含维数为p^i + 1的直和项。
• 利用先前研究中的唯一性结果——至多存在一个此类直和项——以确保构造的精确性。

实验结果

研究问题

• RQ1 对给定的素数p和整数i < n，是否存在一个p^n次循环扩张K/F，使得F_pG-模J = K^×/K^×^p包含一个维数为p^i + 1的不可约直和项？
• RQ2 此类直和项是否可在所有允许的p和i < n下于数域上实现？
• RQ3 在此设定下，p^i + 1是否是此类不可约直和项的唯一可能维数？

主要发现

• 对每个素数p和满足0 ≤ i < n的每个i，均存在一个p^n次循环扩张K/F，使得F_pG-模J = K^×/K^×^p包含一个维数为p^i + 1的不可约直和项。
• 此类直和项在所有p与i < n的组合下均可实现，证实了所有理论上可能的维数均可实现。
• 构造过程确保至多存在一个此类不可约直和项，与先前结果一致。
• 该方法为所有素数p和所有有效的i < n提供了统一的构造机制，展示了其广泛适用性。