关于Dedekind环素理想幂及其商环的性质问询：维度是否为n？

嘿，针对你提出的关于Dedekind环$A$和非零素理想$P$的问题，我来梳理一下关于$P^n$和$A/Pn$的核心结论，帮你理清思路：

一、关于$P^n$的基本性质 #

• 首先，Dedekind环的非零素理想都是极大理想，所以$P$是极大理想，商环$k = A/P$是一个域。
• $P^{n$是$A$的非零真理想，并且由于Dedekind环的理想具有唯一素分解性，$P}n$就是$P$自乘$n$次的结果，没有其他素因子。
• 对于任意$0 \leq m < n$，有严格包含关系$P^m \supsetneq P^{n$，并且每个商模$P}m/P^{n}$都是域$k$上的向量空间。
• 所有包含$P^{n$的理想都形如$P}m$（其中$0 \leq m \leq n$），这是Dedekind环理想分解唯一性的直接推论——只有$P$能整除$P^n$，所以包含它的理想只能是$P$的幂次。
• $P^{n$是可逆理想：Dedekind环中每个非零理想都可逆，$P}n$的逆理想是$(P^{-1})n$，其中$P^{-1}$是$P$的分式理想，满足$P \cdot P^{-1} = A$。

二、关于$A/P^n$的结构与维度问题 #

你最关心的**$A/P^n$作为$k$-向量空间的维度是否为$n$**，答案是肯定的，不管$P$是不是主理想，这个结论都成立，具体推导如下：

• 我们可以构造$A/P^n$的合成列：$A \supset P \supset P^2 \supset \dots \supset P^n = 0$。
• 每个商模$P^i/P{i+1}$（$0 \leq i < n$）都是$k$-向量空间，并且由于Dedekind环的局部化$A_P$是离散赋值环，$P_P/P_P^{2$是一维$k$-向量空间，而通过归纳可得$P}i/P^{i+1} \cong (P/P^2) \otimes_k (P^{i-1}/Pi)$，所以每个$P^i/P{i+1}$都是一维$k$-空间。
• 因此，$A/P^n$作为$k$-向量空间的维度等于合成列中每个商的维度之和，也就是$n \times 1 = n$。

除此之外，$A/P^n$还有这些性质：

• 它是一个Artinian局部环，唯一的极大理想是$P/P^n$（因为$P$是$A$的极大理想，商环中对应的理想自然也是极大的）。
• 作为$A$-模，$A/P^n$的长度有限，恰好等于$n$（和它作为$k$-向量空间的维度一致）。

内容的提问来源于stack exchange，提问作者user228960