求证域F上形式幂级数环F[[X]]中(X)是极大理想

我整理了三种可行的证明思路，先把你提到的思路1补全，另外两种也给出完整的推导步骤：

思路1：利用「商环是域等价于极大理想」的结论 #

首先回忆环论中的核心结论：一个环R中的理想I是极大理想，当且仅当商环R/I是域。我们只需要证明F[[X]]/(X)同构于域F即可。

1. 先明确形式幂级数环的元素：F[[X]]中的任意元素都可以写成 f(X) = a₀ + a₁X + a₂X² + ...，其中每个aᵢ ∈ F。
2. 理想(X)的定义：所有形如X·g(X)的形式幂级数，也就是常数项为0的幂级数，即：

   (X) = { ∑_{i=1}^∞ aᵢXⁱ | aᵢ ∈ F }
   

3. 构造环同态：定义映射 φ: F[[X]] → F，作用是取形式幂级数的常数项，即φ(f(X)) = a₀。
   • 验证加法同态：若f(X)常数项为a₀，g(X)常数项为b₀，则φ(f+g) = a₀+b₀ = φ(f)+φ(g)。
   • 验证乘法同态：f(X)·g(X)的常数项是a₀b₀，因此φ(f·g) = a₀b₀ = φ(f)·φ(g)。
4. 确定同态的核：Ker(φ)就是所有常数项为0的幂级数，正好等于理想(X)。
5. 应用环同态基本定理：F[[X]]/Ker(φ) ≅ Im(φ)。而Im(φ)就是整个域F（因为任意c∈F，常数幂级数c在φ下的像就是c）。

由此可得F[[X]]/(X) ≅ F，F是域，因此根据结论，理想(X)是极大理想。

思路2：先证(X)是素理想，结合形式幂级数环的局部性 #

1. 证明(X)是素理想：
   假设f(X)g(X) ∈ (X)，即f(X)g(X)的常数项为0，也就是a₀b₀=0（a₀是f(X)的常数项，b₀是g(X)的常数项）。因为F是域，没有零因子，所以要么a₀=0（即f(X)∈(X)），要么b₀=0（即g(X)∈(X)），满足素理想的定义。
2. 利用形式幂级数环的局部性：
   F[[X]]是局部环，它只有一个极大理想。原因是：F[[X]]中的元素是单位当且仅当它的常数项非零（常数项非零的幂级数可以构造出逆元，比如f(X)=a₀+...，a₀≠0，存在g(X)=a₀⁻¹ + ...使得f(X)g(X)=1）。所有非单位元素都属于(X)，因此(X)是这个局部环唯一的极大理想。

思路3：反证法推导矛盾 #

假设(X)不是极大理想，那么存在一个真理想I，使得(X) ⊂ I ⊂ F[[X]]（I既不等于(X)，也不等于整个环）。

1. 因为I真包含(X)，所以存在f(X) ∈ I且f(X) ∉ (X)，即f(X)的常数项a₀ ≠ 0。
2. 考虑f(X) - a₀ = a₁X + a₂X² + ...，这个元素的常数项为0，因此属于(X)，而(X)⊂I，所以f(X)-a₀ ∈ I。
3. 因为I是理想，对减法封闭，所以a₀ = f(X) - (f(X)-a₀) ∈ I。
4. 又因为F是域，a₀有逆元a₀⁻¹ ∈ F ⊂ F[[X]]，而I是理想，对乘法封闭，所以1 = a₀·a₀⁻¹ ∈ I。
5. 若1∈I，则对于任意h(X)∈F[[X]]，h(X)=1·h(X)∈I，即I=F[[X]]，这与I是真理想矛盾。

因此假设不成立，(X)是极大理想。

内容的提问来源于stack exchange，提问作者Dr Richard Clare