AI 中文总结
该研究针对纯子群乘积的伽罗瓦群，引入分歧适配分解概念，证明初等阿贝尔$p$-扩张中所有分歧理想主性等价于各次数$p$扩张无缺陷，揭示分歧理想与纯因子理想的不一致性。
AI 中文摘要
设$\boldsymbol{\textit{E}}=(L/K,v)$是一个有限亨泽尔赋值域的伽罗瓦扩张。当伽罗瓦群是子群$H_i$的乘积，且满足$L/K_{H_i}$是纯（深度为1）扩张时，我们研究对应于子群$H \triangleleft {\rm Gal}(L/K)$的分歧理想$I_H$。我们首先回顾纯扩张分歧理想的显式公式，并利用该公式得到纯子群乘积的任意子群对应的理想的下界。一个自然的问题是：是否每个$I_H$都与来自纯因子的某个理想一致？我们证明这并不成立，对于伽罗瓦群为$C_p \times C_p$的无缺陷扩张，就存在反例。该反例是两个具有不同分歧断点的Artin–Schreier扩张的复合；这种不一致性源于选择的分解与分歧滤层不兼容。受此例子启发，我们引入了分歧适配分解的概念，并为初等阿贝尔$p$-扩张中的猜想陈述证明了一个滤层理论替代结果。由于每个$\boldsymbol{\textit{F}}_p$-向量空间的旗都存在适配基，因此每个初等阿贝尔$p$-扩张都存在这样的分解，且每个子群理想都可由一个适配循环因子表示。若适配因子是纯的，则该表示可写成原猜想中出现的距离集形式。我们还证明，对于适配分解$\boldsymbol{\textit{G}}=H_1 \times \boldsymbol{\textit{\textellipsis}} \times H_r$，所有分歧理想均为主理想当且仅当每个次数为$p$的扩张$L/K_{H_i}$都是无缺陷的。最后，我们讨论了Kuhlmann在文献[\textit{Topics}第3.5节]中构造的次数为$p^2$的例子。因此，每个基都是分歧适配的，而所有分歧理想的主性仍不能刻画无缺陷性。
英文摘要
Let $\mathcal E=(L/K,v)$ be a finite Galois extension of henselian valued fields. We study the ramification ideals $I_H$, for subgroups $H\leq {\rm Gal}(L/K)$, when the Galois group is a product of subgroups $H_i$ such that $L/K_{H_i}$ is pure (depth one). We first recall an explicit formula for ramification ideals of pure extensions and use it to obtain a lower bound for the ideals attached to arbitrary subgroups of a product of pure subgroups. A natural question is whether every $I_H$ coincides with one of the ideals coming from the pure factors. We show that this is not true, already for a defectless extension with Galois group $C_p\times C_p$. The counterexample is a compositum of two Artin--Schreier extensions with different ramification breaks; the failure comes from choosing a decomposition which is not compatible with the ramification filtration. Motivated by this example, we introduce ramification-adapted decompositions and prove a filtration-theoretic substitute for the conjectural statement in elementary abelian $p$-extensions. Since every flag of $\mathbb F_p$-vector spaces admits an adapted basis, every elementary abelian $p$-extension admits such a decomposition, and every subgroup ideal is represented by one adapted cyclic factor. If the adapted factors are pure, this representation can be written in the distance-set form occurring in the original conjecture. We also prove that, for an adapted decomposition $\mathcal G=H_1\times\cdots\times H_r$, all ramification ideals are principal if and only if every degree-$p$ extension $L/K_{H_i}$ is defectless. Finally, we discuss the degree-$p^2$ example constructed by Kuhlmann in \cite[Section 3.5]{Topics}. Consequently every basis is ramification-adapted, while principality of all ramification ideals still does not characterize defectlessness.
