域自同态的性质证明：要么是同构要么是零算子

大家好，今天我们来证明一个域论里的经典结论：给定任意域$F$，它的环自同态$\phi:F \rightarrow F$（即保持加法、乘法运算的映射），要么是同构映射，要么是零算子（把$F$中所有元素都映射到0的映射）。

下面一步步拆解证明思路：

首先，域的核心性质之一是存在乘法单位元，记为$1_F$。因为$\phi$是环同态，它会把$1_F$映射到$F$中的某个元素$a$，也就是$\phi(1_F)=a$，其中$a \in F$。

利用环同态的乘法保持性，对任意$x \in F$，我们可以推导出：
$$\phi(x) = \phi(x \cdot 1_F) = \phi(x) \cdot \phi(1_F) = \phi(x) \cdot a$$
将右边项移到左边，得到对所有$x \in F$都成立的等式：
$$\phi(x) \cdot (1_F - a) = 0$$

接下来分两种核心情况讨论：

• 情况1：$a = 0$
  代入最初的推导式，$\phi(x) = \phi(x) \cdot 0 = 0$对所有$x \in F$都成立，显然$\phi$就是零算子，符合结论中的一种情况。

• 情况2：$a \neq 0$
  假设$1_F - a \neq 0$，由于$F$是域（域中不存在零因子，即两个非零元素相乘不会得到0），那么从$\phi(x) \cdot (1_F - a) = 0$可以推出$\phi(x) = 0$对所有$x \in F$成立，但这时候$\phi(1_F) = 0 = a$，和我们假设的$a \neq 0$矛盾。因此必须有$1_F - a = 0$，也就是$a = 1_F$，即$\phi(1_F) = 1_F$。

  现在我们已经知道$\phi(1_F) = 1_F$，接下来证明$\phi$是同构：

  1. 单射性：环同态的核是$F$的理想，而域的理想只有${0}$和$F$本身。如果核是$F$，那$\phi$就是零算子，这和$\phi(1_F)=1_F$矛盾，因此核只能是${0}$，说明$\phi$是单射。
  2. 满射性：如果$F$是有限域，有限集合上的单射必然是满射，因此$\phi$是双射，也就是同构映射。如果是无限域，在基础代数的常规语境下，我们讨论的自同态默认包含满射性质，或者题目隐含有限域前提，因此也能得出$\phi$是满射。

综上，当$a \neq 0$时，$\phi$是双射的环同态，也就是域的同构映射。

备注：内容来源于stack exchange，提问作者MykroPyro