4-5模n剩余类环课题.pptVIP

近世代数 第四章 环与域 §4 模n剩余类环 定义1（同余）整数a关于模正整数m同余于整数b，是指 m∣a－b, 并写a≡b (mod m). 整数模m同余类共有m个，他们分别为mk+0, mk+1, mk+2,…mk+(m-1); k∈z，每一个算一类，每一类都可以选一个代表元，一般选这一类中的最小的非负整数。于是称[0],[1],[2],…[m-1]为标准完全剩余系。 　定义2：模 m 的剩余类环Ｒ＝｛模 m的剩余类｝，规定 R中的加法和乘法如下： 如何证明 R 是一个环？：首先证明加法和乘法的定义是与代表元的选择无关。封闭性是显然的。然后证明R关于加法是一个Abel群，关于乘法是一个（含幺，可交换）半群。然后证明分配律成立 2. 剩余类环的性质 例 1 定理2 推论 定理1 设 ,则 为 的零因子 (1) (2) 为 的可逆元 证：(1)若 为 的零因子,则存在 ,使得 ,故 .若 ,则 ,所以 ,矛盾.于是 . 反之,如果 , 设 ,则 ,所以 ,但 ,于是 是零因子. (2)若 为 的可逆元,则 ,即 于是, ,使得 ,也就是 ，所以 反之, 如果 ,则 ,因此, ,故 可逆. 剩余类环中非零元不是可逆元就是零因子. 解 (1) (2) 直接计算可知,相应的逆元为 全部零因子: