cho1 第一节 环的定义和基本性质.pptVIP

《应用近世代数》 多媒体课件 孔荫莹 广东财经大学数学与统计学院 第一节 一、 环的定义 二、 环内的一些特殊元素和性质 三、 环的分类 四、 小结与思考 * * 数学可以把灵活引导到真理。 ―苏格拉底（Socrate,前469年—前399年） 数学是科学的大门和钥匙。 -R.培根(Roger Bacon, 1214-1294) Histories make men wise; poets, witty; the mathermatics, subtile; natural philosophy, deep; moral, grave; logic and rhetoric, able to contend… ---- F.培根（Francis Bacon 1561～1626） 第三章 二、环内一些特殊元素和性质 四、小结与思考 一、环的定义 机动 目录 上页 下页 返回 结束 环的定义和基本性质 三、环的分类 机动 目录 上页 下页 返回 结束 1、定义1 设 是一个非空集合，在 中定义 两种二元运算，一种是加法，记为+ ， 另一种 称为乘法，记为 .且满足： 是一个可换群； （1） （2） 是一个半群； （3） 左、右分配律成立，即对任何 有 机动 目录 上页 下页 返回 结束 则称代数系 是一个环（ring）. 即环是有两种运算，对加法是可换群， 对乘法 是半群，并适合分配律的代数系统. 2、定义2 如果环 对乘法也是可交换的, 则称是可换环(Commutative ring). 例1 都是环， 而且是可换环. 例2 设 对复数 加法和复数乘法构成环,称为Guass整数环. 机动 目录 上页 下页 返回 结束 例3 设 是整数模 的同余类 集合，定义模 的加法和乘法: 则 是环，称为整数模 的同余类环. 例4 设 则 对矩阵的加法和乘法构成环,称为数环 上的全矩阵环. 例5 都是相应数环上的多项式环. 机动 目录 上页 下页 返回 结束 1、设 是一个环，加群 中的单位元, 记为 ，称为零元. 加群中的元素 的逆元, 记为 ,称为 的负元. 而环中的单位元是指乘法 半群 中的单位元, 记为 环中元素 的逆元 是指乘法半群 中的逆元, 记为 机动 目录 上页 下页 返回 结束 2、环中可定义减法: 环中的零元和负元有如下性质: 此外,元素的倍数和幂可定义为 机动 目录 上页 下页 返回 结束 3、定义3 设 是一个环, 若 且 则称为 左零因子(left zero divisor)， 为右零因子(right zero divisor). 若一个元素既是左零因子又是右零因子,则称其 为零因子(zero divisor). 例6 在 中，由于 所以 是左零因子，而 是右零因子. 机动 目录 上页 下页 返回 结束 又如在 中,因为 所以 和 都是零因子. 4、定理1 环中无(右)左零因子的充分必要条件 是乘法消去律成立. 机动 目录 上页 下页 返回 结束 1、定义4 设 是一个环. 若 可交换,且无零因子,则称 是整环(domain). 若 满足:(1) 中至少有两个元 （2） 构成乘法群,则称 是一个除环(division ring). 若 是一个可换的除环,则称 是域(field). 机动 目录 上页 下页 返回 结束 2、定理2 是域的充要条件是 为素数. 3、具有有限个元素的域，称为有限域（finite field）, 是最简单的有限域. 显然,在一个除环中,由于非零元成群,乘法消去律 成立,因而除环中无零因子.域中也无零因子,且域