第十六章 环和域（代数结构）

第十六章 环和域

半群，含幺半群，群，子群：一个二元运算

环，域：两个二元运算

16.1 环 Ring

• 定义：含两个二元运算的代数系统 $<R,+,\ast >$ 满足

  1. $<R,+>$ 是交换群
  2. $<R,\ast >$ 是半群
  3. 第二种运算 $\ast$ 在第一种运算 $+$ 上可分配，即 $a,b,c\in R$，有 $a\ast (b+c)=(a\ast b)+(a\ast c),(b+c)\ast a=(b\ast a)+(c\ast a)$

  则称 $<R,+,\ast >$ 是一个环。

  • 常见环：

    1. 加法和乘法运算下，

       $<Z,+,\times >$	整数环 Zahlen
       $<R,+,\times >$	实数环 Real
       $<Q,+,\times >$	有理数环 Quotient
       $<E,+,\times >$	偶数环 Even
       $<C,+,\times >$	复数环 Complex

    2. $<Z_k,\otimes >$ 为剩余类加群，$<Z_k,\oplus >$ 为剩余类乘半群时，

       $<Z_k,\oplus ,\otimes >$	(模 $k$)剩余类环
       $<Z_2,\oplus ,\otimes >$	布尔环

• 性质：

  • 移项法则：设环 $<R,+,\ast >$ 中 $\theta$ 是加法幺元，对 $\forall a,b,c\in R$ 有 $a+b=c⟺a+b-c=\theta$，其中 $-c$ 代表 $+c$ 的逆元。

  • 加法幺元是乘法零元：$a\ast \theta =\theta \ast a=\theta$

    证明：$\because a\ast \theta =a\ast (\theta +\theta )=(a\ast \theta )+(a\ast \theta )\therefore \theta =a\ast \theta$

• 零因子：环 $<R,+,\ast >$ 中，若 $a\ne \theta ,b\ne \theta ,a\ast b=\theta$，则称 $a,b$ 是 $R$ 的零因子

  $实例$：

  1. 模 $m$ 剩余类环 $<Z_m,\oplus ,\otimes >$ 有零因子 $⟺m$ 为合数
  2. $n$ 阶矩阵环 $<Z_n,+,\cdot >$ 存在零因子，例 $\left[\begin{array}{cc}1& 1\\ -1& -1\end{array}\right]\cdot \left[\begin{array}{cc}1& 1\\ -1& -1\end{array}\right]=\left[\begin{array}{cc}0& 0\\ 0& 0\end{array}\right]$

16.2 整环与域

• 特殊环：设 $<R,+,\ast >$ 是环

  • 交换环：$\ast$ 可交换

  • 含幺环：$<R,\ast >$ 有幺元

  • 整环：是交换环和含幺环但没有零因子

    $实例$：整环有：整数环 $<Z,+,\ast >$，质数剩余类环 $<Z_p,\oplus ,\otimes >$，$n$ 阶满秩阵环 $<M_n,\oplus ,\otimes >$

• 可约律(无零因子与消去律等价)：设 $<R,+,\ast >$ 是环，$R$ 无零因子 $⟺\forall a\ne 0,x,y\in R$，有 $a\ast x=a\ast y⟹x=y$

  证明：

  1. 必要性：若 $R$ 无零因子，则当 $a\ast x=a\ast y$ 时，$a\ast (x-y)=\theta$。由于 $a\ne \theta$，因而 $x-y=\theta$，即 $x=y$
  2. 充分性：设 $a\ast x=a\ast y⟹x=y$，则若存在 $b,c\in R$，使得 $b\ast c=\theta$，则 $b\ast c=\theta =b\ast \theta$，即得 $c=\theta$.说明 $R$ 无零因子。

• 子环：设 $<R,+,\ast >$ 是环，$S$ 是 $R$ 的非空子集，若 $<S,+,\ast >$ 也是环，则称 $S$ 是 $R$ 的子环。

• 环的同态与同构：设两个环 $<S,+,\ast >$ 和 $<T,\oplus ,\otimes >$，$f:S\to T$ 是映射。若对 $\forall a,b,\in S$，有 $f(a+b)=f(a)\oplus f(b),f(a\ast b)=f(a)\otimes f(b)$， 则 $f$ 是环 $<S,+,\ast >$ 到环 $<T,\oplus ,\otimes >$ 的环同态映射。

  1. $f$ 为满同态：$f$ 为满射
  2. $f$ 为环同构映射：$f$ 为双射

• 域：设 $<R,+,\ast >$ 是环，若 $<R,+>$ 和 < R − { θ } , ∗ > <R-\{\theta\},*> <R−{θ},∗> 都是交换群，则称 $<R,+,\ast >$ 是域。

  域：除加法幺元(乘法零元) $\theta$ 外每个元都有乘法逆元的整环

  • 性质：有限整环必是域