教案近世代数基础.pptVIP

宜春学院数计学院近世代数课程建设小组 显然是R到 的一个同态满射。R的零元是（0，0），而 注：R是有零因子环， 是一个无零因子。 例4 R={所有整数对(a,b)}，对于代数运算 R是一个环，用 表示整数环，则 § 5 子环、环的同态 宜春学院数计学院近世代数课程建设小组 定理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的所有剩余类作成的集合记作 在其上规定