《近世代数课件--第三章环与域》教学课件.pptVIP

定理3 假设R与 是两个环，且 若R是整环，则 也是整环； 若R是除环，则 也是除环； 若R是域，则 也是域。 § 5 子环、环的同态 § 5 子环、环的同态 定理4（挖补定理）设S是环R的一个子环，S在R里的补足集合与另一个环 没有共同元，并且 ，则存在一个与R同构的环 而 是 的子环。 证明思路：令 因 所以有同构映射 R中不属于S的元为a,b,c,… 则 规定一个映射 则可以证明 。 § 5 子环、环的同态 * § 6、多项式环 定义 一个可以写成 形式的R0的元叫做R上的一个多项式，ai叫做多项式的系数。其中 系数是R上的所有多项式构成 一个集合记为 定义加法与乘法运算如下： 加法 其中 结论：1、加法与乘法封闭。 2、 是一个环（包含R0和 的最小子环）。 定义 叫做R上的 的多项式环。 乘法 § 6、多项式环 定义 R0的一个元x叫做R上的一个未定元，若R中找不到不都等于0的元a0,a1,…an，使得 § 6、多项式环 定义 令 是环R上的多项式，则n称为为个多项式的次数，0多项式没有次数。 定理1 有单位元交换一定有未定元x存在。 证明思路：1、利用交换环R构造一环 其中只有有限个ai不等于零.则定义加法和乘法可证明其为交换环。 2、利用 可以得到一个包含R的环P 3、证明P包含R上的未定元。 § 6、多项式环 定义 一个有形式 的元叫做R上的 的多项式。 多项式环记作 则R上的所有 的多项式构成一个环称为 定义 R上的x1,x2,…,xn任何一个系数不全为零的多项式不等于0，则称x1,x2,…,xn为R上的无关未定元。 § 6、多项式环 定理2 R为一个交换环，n为一个正整数，则一定有R上的无关未定元x1,x2,…,xn存在。 证明思路：由定理1和数学归纳法得到。 定理3 设 和 是R上的多项式环， x1,x2,…,xn是无关未定元则 与 同态。 § 6、多项式环 证明思路： 则定义映射： 可以证明其为一个同态映射。 § 6、多项式环 * § 7 理想 定义环R的一个非空子集 叫做一个理想子环（理想）若： 1、 2、 显然：只包含零元的集合，是R的理想，称为R的零理想。 R自己也是R的理想，称为R的单位理想。 定理1 除环R中有零理想和单位理想。 证明：设 是R的一个理想，且不是零理想，则由 得 所以对任意 所以 注：理想对除环和域没有用处。 § 7 理想 例1 设R是整数环，n为是0，1的整数，则所有倍数rn作成一个理想。 例2 环R上的一元多项式环R[x]则所有次数不超过n次的多项式构成的集合是R[x]的理想。 § 7 理想 设R一个环，若a为R的一个非0元，则所有形式为 的元构成一个集合是R的一个理想记作 。 结论： 是包含a的最小理想。 § 7 理想 定义 上面得到的理想叫做由a生成的主理想，记作(a). 当R为交换环时 当R有单位元时 当R有单位元且为交换环时 § 7 理想 设R是一个环，若 是R的m个元，则 是R的一个理想。 证明：因为 则 所以是R的理想。 § 7 理想 注： 是包含 的最小理想。 定义 称为由 生成的理想。 记作 § 7 理想 例3 设R[x]整数环R上的一元多项式环，则 1、可以证明 2、可以证明 不是R[x]主理想。 因为若 则 则 矛盾。 § 7 理想 * § 8 剩余环、同态与理想 设R为一个环， 为其一个理想，则对加法运算 是R的一个不变子群，所以 的陪集 是R的一个分类，称为R的模 的剩余类。 显然 § 8 剩余环、同态与理想 把R的所有剩余类作成的集合记作 在其上规定 加法 乘法 则有结论： 定理1 设R是一个环， 是它的一个理想， 是所有模 的剩余类作成的集合，则 是一个环且与R同态。 证明 映射 是R到 的同态满射，所以 与R同态，所以 是一个环。 定义 叫做环R的模 的剩余类环记作 § 8 剩余环、同态与理想 定理2 设R与 是两个环，并且同态，则同态满射的核 是R的一个理想，并且 证明：1、证明 是R的一个理想。 § 8 剩余环、同态与理想 假设 那么 则有 即 假设 那么 则有 即 所以 是R的一个理想. § 8 剩余环、同态与理想 2、证明 规定一个法则 则由 得 是一个映射，且是一个满射。 而 所以 是一个一一映射。 由于 所以 谢谢！ 第三章 环与域 加群、环的定义 交换律、单位元、零因子、整环 除环、域 无零因子环的特征 子环、环的同态 多项式环 理想 剩余类环、同态与理想 最大理想 商域 * §1加群、环的定义 定义：一个交换群叫做一个加群，假如将群的