离散数学 06.06 环_离散数学环的定义-CSDN博客

本文链接：https://blog.csdn.net/longji/article/details/79131718

$\color{blue}{\S 6.6 环}$

$\color{blue}{6.6.1 环的定义}$

$定义6.6.1.设R是一个非空集合，其中有加法乘法两种运算，R叫做一个环，如果:\\ 1) a + b = b + a, \\ 2) a + (b + c) = (a + b) + c, \\ 3) R中有一个元素0，适合a + 0 = a, \\ 4) 对于R中任意a，有-a,适合a + (-a) = 0, \\ 5) a(bc) = (ab)c, \\ 6) a(b + c) = ab + bc, (a + b) c = ac + bc。\\ 以上1)到4)说明了R对于加法构成一个Abel群，5)表示乘法结合律，6)表示乘法对\\ 加法有分配律；由于乘法不见得适合交换律，所以分配律有两个。$

$例6.6.1.所有整数在整数的加法与乘法下做成一个环，叫做整数环。$
$例6.6.2.所有矩阵在矩阵的加法与乘法下做成一个环，叫做矩阵环。$
$例6.6.3.实数域上的所有多项式在多项式加法与乘法下做成一个环，叫做多项式环。$
$例6.6.4.整数模n的所有剩余类集合在剩余类加法与乘法下做成一个环。$
$例6.6.5.所有有理数、所有实数、所有复数在数的加法与乘法下都分别做成环，\\ 常称为有理数域、实数域、复数域。$

$\color{blue}{6.6.2 环的性质}$

$性质6.6.1.用数学归纳法，分配律可以推广如下：\\ a(b_1 + \cdots + b_n) = ab_1 + \cdots + ab_n, \\ (a_1 + \cdots + a_m) b = a_1 b + \cdots + a_m b, \\ \sum \limits _ {i=1}^m a_i \sum \limits _ {j=1}^n b_j = \sum \limits _ {i,j} a_ib_j.$

$性质6.6.2. a(c-b) = ac - ab, (c-b)a = ca - ba。$
$证明：因为a(c-b) + ab = a(c-b+b) = ac,所以a(c-b) = ac - ab。\\ 同理，(c-b)a = ca - ba。$

$性质6.6.3.a0 = 0, 0a = 0。$
$证明：由性质6.6.2,令b = c = 0,得a(0 - 0) = a0 - a0 = 0,\\ (0-0)a = 0a - 0a = 0,即a0 = 0, 0a = 0。$

$性质6.6.4.a(-b) = -(ab), (-a)b = -(ab), (-a)(-b) = ab。$
$证明：由性质6.6.2，令c = 0,即得a(-b) = -(ab), (-a)b = -(ab)。\\ 因此，(-a)(-b) = -(-(ab)) = ab。$

$性质6.6.5.对任意整数m,都有a(mb) = (ma)b = m(ab)。$

$性质6.6.6.a^{m+n} = a^m a^n, (a^m)^n = a^{mn}.$
$定义6.6.2.如果乘法适合交换律：ab = ba,则称R是一个交换环。$
$性质6.6.7.在交换环中，有第三指数律：(ab)^n = a^nb^n。$
$例6.6.6.整数环，多项式环都是交换环；矩阵环不是交换环。$
$性质6.6.8.在交换环中二项式定理成立:\\ (a+b)^n = a^n + na^{n-1}b + \dfrac{n(n-1)}{1 \ast 2}a^{n-2}b^{2} + \cdots + b^n.$
$该性质可用数学归纳法证明.$

$定义6.6.3.如果R不只有一个元素而且有一个元素1适合 1a = a1 = a,\\ 则称R为含壹环。$
$例6.6.7.整数环为含壹环，所有偶数在数的加法和乘法下做成的环不是含壹环。$

$性质6.6.9.含壹环R的壹是唯一确定的。$
$证明：若1,1^{\prime}为R的两个壹，则1^{\prime} = 1 1^{\prime} = 1.$

$性质6.6.10.设环R有1，则1 \neq 0.$
$证明：取a \in R,且a \neq 0,则a 0 = 0, 而a 1 = a,故 1 \neq 0。$

$性质6.6.11.任意环R均可扩充为一个含壹环R^{+}.$
$证明：令R^{+} = \lbrace a+m | a \in R, m \in Z(整数环) \rbrace. \\ 规定R^{+}上的加法和乘法分别为:\\ (a + m) + (b + n) = (a + b) + (m + n); \\ (a + m) (b + n) = (ab + na + mb) + mn. \\ 则R^{+}为环，其壹为0 + 1,而且，R^{+} \supseteq \lbrace a + 0 | a \in R \rbrace = R + 0, \\ R^{+}的加法和乘法运算是R的运算的扩充。$

$定义6.6.4.若R是环，S是R的非空子集，若S在R的加法和乘法下仍是环，\\ 则称S是R的子环。$
$R本身以及\lbrace 0 \rbrace是R的两个平凡子环。$
$定理6.6.2.环R的子集S做成子环，必要而且只要，\\ (1) S非空;\\ (2) 若a \in S, b \in S, 则 a-b \in S; \\ (3) 若a \in S, b \in S, 则ab \in S。$
$注意，对于乘法群，其壹恒与子群的壹一致；但对于环，其壹却未必与子环的壹一致。$

$例6.6.8.任意域F上的所有n(>1)阶方阵做成的环，有壹\\ I_n = \begin{pmatrix} 1 & 0 & \cdots & 0 \\ 0 & 1 & \cdots & 0 \\ \vdots & & \ddots & \vdots \\ 0 & \cdots & 0 & 1 \end{pmatrix}, \\ 其中，所有如下形状的n阶矩阵\\ \begin{pmatrix} a & 0 & \cdots & 0 \\ 0 & 0 & \cdots & 0 \\ \vdots & & \ddots & \vdots \\ 0 & 0 & \cdots & 0 \end{pmatrix}, a \in F 做成一个子环，\\ 有壹\begin{pmatrix} 1 & 0 & \cdots & 0 \\ 0 & 0 & \cdots & 0 \\ \vdots & & \ddots & \vdots \\ 0 & 0 & \cdots & 0 \end{pmatrix}, 但\\ \begin{pmatrix} 1 & 0 & \cdots & 0 \\ 0 & 0 & \cdots & 0 \\ \vdots & & \ddots & \vdots \\ 0 & 0 & \cdots & 0 \end{pmatrix} \neq \begin{pmatrix} 1 & 0 & \cdots & 0 \\ 0 & 1 & \cdots & 0 \\ \vdots & & \ddots & \vdots \\ 0 & \cdots & 0 & 1 \end{pmatrix} 。$

$定义6.6.5.若R是环，a, b \in R,如果a \neq 0, b \neq 0,但ab = 0，则称a, b为零因子。\\ 如果R没有这样的元素，则说R无零因子。无零因子的环叫消去环。$
$例6.6.9.整数环是消去环，矩阵环不是消去环，有零因子。比如，n = 2时,\\ \begin{pmatrix} 1 & 0 \\ 1 & 0 \end{pmatrix}\begin{pmatrix} 0 & 0 \\ 1 & 1 \end{pmatrix} = \begin{pmatrix}0 & 0 \\ 0 & 0 \end{pmatrix}。$

$性质6.6.12.R是消去环当且仅当R中消去律成立。$
$证明：设R是消去环，即R无零因子。如果a \neq 0,且ab = ac,\\ 那么ab - ac = 0,即a(b-c) = 0。\\ 因环R中无零因子，而a \neq 0,故必有b-c = 0，即b = c,\\ 因此，消去律成立。\\ 反之，设消去律成立，即由a \neq 0, ab = ac 可推出b = c。\\ 若ab = 0,而a \neq 0,则ab = a0,因而由消去律可得b = 0。\\ 故R无零因子，R是消去环。$

$性质6.6.13.在消去环R中，不为0的元素在加法下的周期相同。$
$证明:(1)如果不为0的元素在加法下的周期都为0，则得证。\\ (2)否则，任取R中非零元素a,b，设a的周期为m,b的周期为n,故ma = 0, nb = 0。\\ 一方面，a(mb) = (ma)b = 0b = 0, 又由a \neq 0,且R无零因子知，mb = 0.\\ 而b的周期为n，故n |m.\\ 另一方面，(na)b = a(nb) = a0 = 0,又由b \neq 0,且R无零因子知，na = 0.\\ 而a的周期为m,故m | n。因此，m = n。$

$性质6.6.14.在消去环R中，不为0的元素在加法下的周期或为0或为质数。$
$证明：设aR,a \neq 0,且a的周期为n,故na = 0。\\ (1)若n = 0，则得证。\\ (2)否则，只需证n是质数。用反证法。\\ 设n不是质数，则n = n_1n_2,且n_1 \neq 1, n_2 \neq 1。\\ 故1 < n_1 < n, 1 < n_2 < n。n_1a, n_2 a \in R,\\ 由a 的周期为n知，n_1a \neq 0, n_2 a \neq 0。\\ 而(n_1a)(n_2 a) = (n_1 n_2)(a a) = (na) a = 0 a = 0,\\ 故n_1a, n_2a为零因子，与R无零因子矛盾。\\ 因此，原假设不对，n是质数。$

$定义6.6.6.有壹无零因子的交换环叫做整区。$
$例6.6.10.所有整数，所有有理数，所有实数，所有复数在数的加法和乘法下做成\\ 的环都是整区。$
$定义6.6.7.如果去掉0，R的其余元素做成一个乘法群，则称环R为体。$
$体有壹而且无零因子，其中任意非零元素有逆。$
$定义6.6.8.域是交换体。在域中，ab^{-1}可以写成a/b。\\ 有理数域、实数域、复数域都是域。$