半同态

贡献者： 叶月2_; addis

　　 证明：

　　 设 $r\in R_1$，$S_1=\{a\in R_1|f(ar)=f(a)f(r)\},S_2=\{a\in R_1|f(ar)=f(r)f(a)\}$，则 $R_1=S_1\cup S_2$。

　　 可证 $S_1$ 是 $R_1$ 的子群。设任意 $a_1,a_2\in S_1$，则 $f((a_1-a_2)r)=f(a_1r)-f(a_2r)=f(a_1-a_2)f(r)$，同理 $S_2$ 也是 $R_1$ 的子群。

　　 若 $a_1\in S_1-S_2,b_1\in S_2-S_1$，则 $a_1-b_1\in R_1-S_1-S_2$，矛盾，因而 $R_1=S_1$ 或 $S_2$。称 $R_1$ 是 $r$“生成” 的，使得 $f$ 要么保同态，要么保反同态的环。

　　 设 $l_1$ 为环上的集合，其内所有元素都能生成保同态关系不变的 $R_1$，$l_2$ 生成的 $R_1$ 保反同态关系不变，易证这两个集合也是环上的子群。同上述过程类似，可证 $R_1=l_1$ 或 $l_2$。