离散数学---几个典械耐的代数系统6.2-3.pptVIP

6.2 环与域 环的定义与实例 特殊的环 交换环 含幺环 无零因子环 整环 域 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 环的定义 定义 设R,+,·是代数系统，+和·是二元运算. 如果满足以下条件:（1）R,+构成交换群（2）R,·构成半群（3）·运算关于+运算适合分配律 则称R,+,·是一个环. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 环中的术语 通常称+运算为环中的加法，· 运算为环中的乘法. 环中加法单位元记作 0 乘法单位元（如果存在）记作 1. 对任何元素 x，称 x 的加法逆元为负元，记作x. 若 x 存在乘法逆元的话，则称之为逆元，记作 x1. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 环的实例 (1) 整数集、有理数集、实数集和复数集关于普 通的加法和乘法构成环，分别称为整数环Z，有 理数环Q，实数环R 和 复数环C.(2) n(n≥2)阶实矩阵的集合Mn(R)关于矩阵的加 法和乘法构成环，称为n阶实矩阵环. (3) 集合的幂集P(B)关于集合的对称差运算和 交运算构成环.(4) 设Zn＝{0,1,...,n－1}，和分别表示模n的 加法和乘法，则Zn,,构成环，称为模n的整 数环. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 特殊的环 定义 设R,+,·是环， (1) 若环中乘法·适合交换律，则称 R是交换环.(2) 若环中乘法·存在单位元，则称 R是含幺环.(3) 若a, b∈R，a b=0  a=0∨b=0，则称R是无零因子环.(4) 若 R 既是交换环、含幺环，也是无零因子环，则称 R 是整环. (5) 若 R为整环，|R|1, 且aR*=R{0}，a1R, 则称 R 为域. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 零因子的定义与存在条件 设R,+,是环，若存在 ab =0, 且 a0, b0, 称 a 为左零因子，b为右零因子，环 R 不是无零因子环. 实例 Z6,,，其中 23=0，2 和 3 都是零因子. 无零因子环的条件： 可以证明：ab = 0  a=0  b=0  消去律 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 特殊环的实例 (1)整数环Z、有理数环Q、实数环R、复数环C都是交换环、含幺环、无零因子环和整环. 其中除Z之外都是域 (2)令2Z={ 2z | z∈Z }，则2Z,+,·构成交换环和无零因子环. 但不是含幺环和整环. (3)设nZ, n2, 则 n 阶实矩阵的集合 Mn(R)关于矩阵加法和乘法构成环，它是含幺环，但不是交换环和无零因子环，也不是整环. (4)Z6,,构成环，它是交换环、含幺环，但不是无零因子环和整环. 注意：对于一般的 n, Zn是整环且是域  n是素数. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例题 判断下列集合和给定运算是否构成环、整环和域. (1) A={a+bi |a,bQ}, i2= 1, 运算为复数加法和乘法. (2) A={2z+1 | zZ}, 运算为普通加法和