近世代数第19讲.docVIP

第19讲 §6. 多项式环 (Rings of polynomials ) 本讲的教学目的和要求:在高等代数中,已经建立了数域上的多项式环的一般理论,但是在处理某些问题时常会遇到诸如整系数多项式，矩阵系数多项式(譬如—矩阵)等环上的多项式,它们与数域的多项式相比,有很多本质上的差异。故此,有必要讨论环上多项式环的一般理论。 目的和要求: 1、明确代数元和超越元的概念以及什么是上的关于超越元的多项式环(本教材称超越元为半定元—与高等代数中的称呼一致)。 2、超越元(半定元)的存在性定理和多项式环存在性定理的证明需要弄懂。 3、对多元多项式的本质上的理论问题需要清楚。 本讲的重点和难点: 本讲是高等代数中多项式环(定义在数域上)的推广。由于环的定义不同，故研究的方法也不同，这是难点之一。如何清醒地认识到不能直接用“高代”的理理论直接套用，是关键。 一、多项式环的定义。 设是一个含有单位元的交换环。又设是的子环 且，取定元素。显然 . 记 定义3.6.1. 如上形式的叫做环上关于的一个多 项式,而每个都叫做该多项式的系数。记为 上关于的所有多项式做成的集合。 因为， ,当时 , 假设 . 其中 又 ， 可知 是一个环。 定义3.6.2. 上方得到的环叫做上的的多项式环。 显然是的一个子环。 但上的多项式的表达形式不是唯一的。 譬如,设,而. 那么 中的零元. 的表达式不唯一. 换句话说:上述定义的多项式环中会出一种现象: ,但系数 不全为零.这显然与高等代数中多项式的零多项式的定 义相矛盾.于是,我们有必要对做如下的讨论. 定义3.6.3. 设和如前所示,称为的一个未定元 (超越元)，若在中找不到不全为零的元素 使 ( 即 ) . 习惯上,记上的未定元为。否则称为上的代数元。 未定元的引入解决了多项式表示的唯一性问题。 若 则 因为是R的未定元，所以。 定义3.6.4. 设为环上 的一元多项式.那么 非负整数叫做多项式的次数. 若, 没有次数。 思考题1. 若是的未定元，有可能吗？ 由上，我们已看到未定元的重要性，但对给定的环 里未定元是否一定存在？ 例如： 设，则知是有 单位元的交换环，而为的子环，但的未定元不存在。事实上，若是未定元，则有。 这与是未定元矛盾。由的任意性，中没有的未定元。 二、未定元存在定理。 定理3.6.5. （定理1, p103） (未定元存在定理) 设是有单位元的交换环。那么必存在的扩环, 使得中含有的未定元. 证明: (1) 利用构造一个环. 设。规定: 现在中定义加法和乘法: 加法: 乘法: 其中 可以验证: 做成一个环,其中 (ⅰ) 中的零元为(这里) (ⅱ) 是交换环 ( 是可换的) (ⅲ) 中有单位元 () (2) 利用,构造一个能包含的扩环. 设 , 显然,且 是的一个子环. 现令 : 其中 可知, 是一个环同构,即 。 显然. 由“挖补定理”知，我们可得到一个新的环， 其中且 ，中的单位元就是中单位元. (3) 须证含有上的未定元 令 ，则。 又注意到, (证略) 下面证明: 就是的未定元. 令 …… (*) 在环同构中之下: 由(*)。 利用中元素乘法的定义和的特点上式变为: 。 是的上的未定元。 练习题: 设为整环,而是的子域,如果都 是上的代数元，那么本身就是一个域. 证明: (只需证中每个元都可逆即可),由题设知, 是上的代数元,即存在不全为零的 使 ， 不妨设 即零次项.(这是因为:由于不全为零,设是从 左数第一个不为零的元 但不是零因子不是零因子 零次项。所以上述假设是合理的) 可逆，于是 可逆. 由的任意性为域. 三、多元多项式环 设是交换的有单位元的环,而是的子环且. 现任取中个元素,我们可以依次做如下工作: 首先作上的的多项式环. 再作上的的多项式环 最后作上的的多项式环 其中, 其中, 系数只有有限个. 定义3.6.6 上述描述的每个称为上的 的多元多项式,而每个叫作的系数. 习惯上, 上的的多项式环写成 对于多元多环中加法和乘法的运算为: () ()() 其中, 同样,上多元多项式环中元素仍存在着表示不唯一的问题. 所以与一元多项式环一样,要定义无关未定元. 定义6. 设