[论文解读] Towards a Generalisation of Noether's Theorem to Nonclassical Hopf-Galois Structures

Paul J. Truman|arXiv (Cornell University)|Jan 11, 2010

Algebraic Geometry and Number Theory参考文献 10被引用 5

一句话总结

本文将诺特关于整数环在群环上自由性的定理推广至p进域和数域的可分扩张中的非经典霍普夫-伽罗瓦结构。证明了在无分支或阿贝尔霍普夫-伽罗瓦结构且p不整除扩张次数时，整数环在其霍普夫代数相关序上是自由的，将经典结果推广至非经典情形。

ABSTRACT

We study the nonclassical Hopf-Galois module structure of rings of algebraic integers in some extensions of $ p $-adic fields and number fields which are at most tamely ramified. We show that if $ L/K $ is an unramified extension of $ p $-adic fields which is $ H $-Galois for some Hopf algebra $ H $ then $ \OL $ is free over its associated order $ \AH $ in $ H $. If $ H $ is commutative, we show that this conclusion remains valid in ramified extensions of $ p $-adic fields if $ p $ does not divide the degree of the extension. By combining these results we prove a generalisation of Noether's theorem to nonclassical Hopf-Galois structures on domestic extensions of number fields.

研究动机与目标

• 将诺特定理推广至可分扩张中的非经典霍普夫-伽罗瓦结构，该定理原保证整数环在群环上自由。
• 研究当经典结构不成立时，代数整数环在非经典霍普夫-伽罗瓦结构中是否仍在其相关序上自由。
• 建立在非经典霍普夫代数中，相关序成为极大序并确保整数环自由性的条件。
• 通过在素数上的完备化分析，将p进域上的结果推广至数域，研究局部自由性。

提出的方法

• 利用霍普夫代数中的相关序，定义整数环可能自由的最大小环。
• 应用霍普夫-伽罗瓦理论，通过扭曲群代数将结构分类问题转化为群论问题。
• 利用无分支扩张中任意霍普夫代数的相关序均为霍普夫序的事实，确保自由性。
• 对于阿贝尔霍普夫代数，证明若p不整除扩张次数，则相关序为极大序，且整数环在其上自由。
• 使用在素数上的完备化技术，将p进域上的局部结果推广至全局数域。
• 结合无分支与可分扩张的结果，定义“国内”扩张，并在全局情形下证明局部自由性。

实验结果

研究问题

• RQ1 在p进域的可分扩张中，非经典霍普夫-伽罗瓦结构下，整数环在相关序上自由的条件是什么？
• RQ2 当扩张无分支时，经典诺特定理是否可推广至非经典霍普夫-伽罗瓦结构？
• RQ3 当素数p不整除扩张次数时，阿贝尔霍普夫代数中整数环在其相关序上是否仍自由？
• RQ4 如何通过完备化与局部化技术，将p进域上的局部结果推广至全局数域？
• RQ5 何种扩张条件可确保非经典霍普夫-伽罗瓦结构中相关序为极大序？

主要发现

• 在p进域的无分支扩张中，任意给出霍普夫-伽罗瓦结构的霍普夫代数中，整数环在其相关序上自由。
• 在p进域的可分扩张中，若霍普夫代数为阿贝尔且p不整除扩张次数，则整数环在其相关序上自由。
• 在数域的国内扩张上，非经典霍普夫-伽罗瓦结构的相关序为极大序，且整数环在其上局部自由。
• 对于阶为素数幂的阿贝尔伽罗瓦扩张且为可分扩张的情形，整数环在其任意阿贝尔霍普夫-伽罗瓦结构的相关序上局部自由。
• 在不整除扩张次数的素数上，对相关序进行局部化后，其为局部霍普夫代数中的唯一极大序。