从域F到非零环R的同态φ必单射：Artin代数证明细节解析

嘿，我来帮你补全这个证明，同时拆解每一步的逻辑依据：

完整补全后的证明 #

φ的核是F的理想，根据★，核要么是(0)要么是(1)。若核为单位理想(1)，则φ是零映射，但当R非零时零映射不是同态，因此核只能是零理想(0)。而环同态的核为零理想当且仅当该同态是单射，由此可得φ是单射。

逐步骤逻辑依据解析 #

• 域的理想性质（★）的核心作用：
  域F的定义要求每个非零元素都有乘法逆元。假设I是F的非零理想，那么I中存在某个非零元a∈F，而a有逆元a⁻¹∈F。因为理想满足“吸收性”——对任意r∈F、x∈I，rx∈I，所以a⁻¹a=1∈I，进而所有F中的元素r=r1∈I，即I=F（也就是单位理想(1)）。所以域确实只有零理想(0)和单位理想(1)这两个理想，这是整个证明的基础前提。

• 环同态的核必然是理想：
  对于环同态φ:F→R，其核kerφ={x∈F | φ(x)=0_R}，它天然满足理想的两个条件：

  1. 对加法封闭：若x,y∈kerφ，则φ(x+y)=φ(x)+φ(y)=0_R+0_R=0_R，故x+y∈kerφ；
  2. 对乘法吸收：若x∈kerφ，r∈F，则φ(rx)=φ(r)*φ(x)=φ(r)*0_R=0_R，故rx∈kerφ。
     所以kerφ一定是F的理想，这一步是环同态的基本性质推导出来的。

• 零映射为何被排除：
  Artin的《代数学》中，环同态的定义通常要求保持乘法单位元，即φ(1_F)=1_R。如果kerφ=(1)=F，那么φ把所有F中的元素都映射到0_R，自然φ(1_F)=0_R，但R是非零环，所以0_R≠1_R，这就违反了同态的定义。退一步说，即使不要求单位元，题目里明确限定了是“从域F到非零环R的每个同态φ”，这里的同态指的是非零同态，零映射不符合这个范畴，因此核不能是(1)。

• 核为零理想等价于单射：
  这是环同态的核心等价命题：

  1. 若φ是单射，假设x∈kerφ，则φ(x)=0_R=φ(0_F)，由单射性得x=0_F，故kerφ=(0)；
  2. 若kerφ=(0)，如果φ(a)=φ(b)，则φ(a-b)=φ(a)-φ(b)=0_R，所以a-b∈kerφ=(0)，即a=b，故φ是单射。
     这一步把“核为零”和“单射”直接关联起来，完成了最终结论的推导。

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