证明ker(θ)⊆A时R/A≅S/θ(A)的方法咨询

咱们一步步来拆解这个证明，先把已知条件理清楚：

已知前提 #

• ( \theta: R \rightarrow S ) 是满环同态（这意味着( \theta(R)=S )，这个点后面会用到）
• ( A ) 是 ( R ) 的理想，且 ( \ker(\theta) \subseteq A )
• 已经证明过 ( \theta(A) ) 是 ( S ) 的理想（这是商环 ( S/\theta(A) ) 存在的前提）
• 第一同构定理的基础结论：( R/\ker(\theta) \cong \theta(R) )（因为θ是满射，所以其实就是 ( R/\ker(\theta) \cong S )）

教材给出的关键映射构造 #

教材提示我们定义一个映射 ( \alpha: R \rightarrow S/\theta(A) )，具体规则是：

α(r) = θ(r) + θ(A) （对任意 r ∈ R）

接下来咱们就围绕这个映射，用第一同构定理来完成证明——毕竟第一同构定理的核心就是“满同态的商环与像同构”，只要我们验证α满足三个条件就行。

证明步骤 #

1. 先证α是环同态 #

要确认α是环同态，得分别验证加法、乘法的保持性：

• 加法保持：
  ( \alpha(r_1 + r_2) = \theta(r_1 + r_2) + \theta(A) = (\theta(r_1) + \theta(r_2)) + \theta(A) = (\theta(r_1) + \theta(A)) + (\theta(r_2) + \theta(A)) = \alpha(r_1) + \alpha(r_2) )
• 乘法保持：
  ( \alpha(r_1 r_2) = \theta(r_1 r_2) + \theta(A) = \theta(r_1)\theta(r_2) + \theta(A) = (\theta(r_1) + \theta(A))(\theta(r_2) + \theta(A)) = \alpha(r_1)\alpha(r_2) )
• 如果环带单位元的话，还要验证单位元：( \alpha(1_R) = \theta(1_R) + \theta(A) = 1_S + \theta(A) )，这正是商环 ( S/\theta(A) ) 的单位元。

2. 再证α是满射 #

因为θ是满同态，所以对任意 ( s \in S )，都能找到 ( r \in R ) 使得 ( \theta(r) = s )。那对于商环 ( S/\theta(A) ) 里的任意元素 ( s + \theta(A) )，我们都能找到对应的r，让 ( \alpha(r) = \theta(r) + \theta(A) = s + \theta(A) )，所以α肯定是满射。

3. 最后求ker(α)，并证明它等于A #

这是关键的一步，我们需要找到α的核，然后证明它就是A：

• 首先，根据核的定义：
  ( \ker(\alpha) = { r \in R \mid \alpha(r) = \theta(A) } = { r \in R \mid \theta(r) + \theta(A) = \theta(A) } = { r \in R \mid \theta(r) \in \theta(A) } )
• 接下来双向证明 ( \ker(\alpha) = A )：
  • 正向：A⊆ker(α)：对任意 ( a \in A )，显然 ( \theta(a) \in \theta(A) )，所以a必然属于ker(α)
  • 反向：ker(α)⊆A：假设 ( r \in \ker(\alpha) )，也就是 ( \theta(r) \in \theta(A) )，那一定存在某个 ( a \in A ) 使得 ( \theta(r) = \theta(a) )，变形一下就是 ( \theta(r - a) = 0 )，这说明 ( r - a \in \ker(\theta) )。而题目已经给了 ( \ker(\theta) \subseteq A )，所以 ( r - a \in A )，那么 ( r = a + (r - a) ) 自然也属于A。

应用第一同构定理 #

现在我们已经确认：α是满环同态，且 ( \ker(\alpha) = A )。根据第一同构定理，直接可得：
( R/\ker(\alpha) \cong \text{Im}(\alpha) )
因为α是满射，Im(α)=S/θ(A)，所以最终结论就是：
( R/A \cong S/\theta(A) )

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