定义与例子.pptVIP

第三章 环,域与模 ? 命题3.3 设R为无限整环, 则R[x]* ? R[x]. 第三章 环,域与模 §3 多项式环 R上的一元多项式函数环 R上的一元多项式形式环 证明: ?: R[x]* ? R[x]; 关键在于证明?是单射! a0+a1x+…+anxn a0+a1x+…+anxn 化为证明“?(p) = 0 ? p = 0”. ? 第三章 环,域与模 §3 多项式环 三. 多元多项式环 R[x1, …, xn, xn+1] = R[x1, …, xn][xn+1] 四. 域上的多项式代数 F[x]在F上的一组基: 1, x, x2, … xi·xj = xi+j 五. 域上的(半)群代数 F[S] ? 一. 整环的特征 §4 交换环 (1) (R, +)中所有非零元素具有相同的 命题4.1 设R为整环, 则 第三章 环,域与模 §4 交换环 阶, 要么是?要么是一个素数p. (2) 要么Z R, 要么Zp R. 定义4.2 整环R的特征 (2) 若域F的特征为p, 则Zp F. 命题4.3 (1) 若域F的特征为?, 则Q F. 定义4.4 素域: Q, Zp ? 第三章 环,域与模 §4 交换环 二. 素理想 定义4.5 交换环A的素理想I: I ? A, 且xy?I?x或y?I 例1 A = Z, I = (p), 其中p为一个素数. 例2 A = F[x], I = (p(x)), 其中p(x)不可约. 定理4.6 设A为有1的交换环, I为A的理想, 则 A/I为整环? I为A的素理想. 例3 A = Z, I = (6), A/I = Z6 = {[0], [1], …, [5]} 不是整环, [2]·[3] = [6] = [0]. ? 三. 极大理想 第三章 环,域与模 §4 交换环 A为域?A仅有(0)和A这两个理想. 命题4.7 设A为有1的交换环, 则 定义4.8 A的极大理想I: I ? A, 且不存在理想J满足I J A. ? = ? = 定理4.9 设A为有1的交换环, I为A的理想, 则 A/I为域? I为A的极大理想. 命题4.10 设A为有1的交换环, 则A的极大理想 必为A的素理想. 例4 (x) ? (2, x) ? Z[x]. ? §5 整环的整除理论 一. 基本概念 §5 整环的整除理论 定义5.1 在一个整环R中, 第三章 环,域与模 U(R) = {a?R | a关于乘法可逆} b=ac——a整除b, b被a整除, a|b 单位 注: 不要与单位元混淆! a|b且b|a——a与b相伴 注: a与b相伴??u?U(R) s.t. a = bu b的因子 a的平凡因子 非平凡的因子——真因子 非零,非单位,无真因子——既约元 ? 第三章 环,域与模 §5 整环的整除理论 c|a且c|b——c为a与b的公因子 —— d为a与b的极大公因子 d|a且d|b c|a且c|b?c|d 注: d?也是a与b的极大公因子?d?与d相伴. 记为(a, b) (a, b) = 1(或单位) ——a与b互素 定义5.2 素元p: ?a, b?R, p|ab? p|a或p|b p ? 0 p ? U(R) 注: 素元必为既约元. ? 第三章 环,域与模 §5 整环的整除理论 注: 元素a的性质?主理想(a)的性质. ① a|b ? b?(a) ? (b) ? (a); ② a?U(R) ? (a) = R; ③ a为b的相伴元? (a) = (b); ④ a为b的真因子? (b) ? (a) ? R; 命题5.3 在整环R中, ⑤ a为既约元?(a)为极大主理想; ⑤ p为素元?(p)为素理想. ? 第三章 环,域与模 §5 整环的整除理论 二. 主理想整环(PID) 命题5.5 (1) 整数环Z是PID. (2) 域F上的一元多项式环F[x]是PID. 定义5.4 主理想整环 命题5.6 设R为PID, 则 (1) R的(主)理想满足ACC. (3) R中的既约元都是素元. (2) (a, b) = d ? ({a, b}) = (d). = (a) + (b) = Ra + Rb ? 第三章 环,域与模 §5 整环的整除理论 定义5.5 唯一分解整环(UFD) D1) 分解的存在性 ?0?a?R\U(R), D2) 分解的唯一性 ?既约元p1, p2, …, ps ?R s.t. a = p