9-3实系数多项式根的分布 9.3.1复系数多项式的根的绝对值的上界 命题设f(x)=axn+a1xn+…+an∈C[x],其中a≠0而n≥1。令 a=max{ 则对f(x)的任一复根a,有|ak1+A/a 证明如果A=0,则a=0,命题成立。下面设A>0 如果|a1+A/a,那么,因为f(a)=0,故有 la Haa++aa a+…+an ≤A(ar-++1)=a(la--1)/(a-1) 现在|a>1,故从上式立刻得到 la a\ Ala\ /(al-1) 两边消去|a,得|ak1+A/a|,矛盾

9.2.2Qx]内多项式的因式分解 定义9.12定义Z[x]={axn+a1x+…+∈Z,i=01n}。 假设f(x)∈Z[x],f(x)≠0及±1。如果g(x)h(x)∈[x],使得f(x)=g(x)h(x), 且g(x)≠±1,h(x)≠±1,则称f(x)在Z[x]内可约,否则称f(x)在Z[x]内不可约 定义9.13设 f(x)=ax+axn+…+an∈Z[x], 这里n≥1。如果(aa1an)=1,则称f(x)是一个本原多项式。 命题Q[x]内一个非零多项式f(x)可以表成一个有理数k和一个本原多项式f(x)的

9-2C,R,Q上多项式的因式分解 9.2.1复数域、实数域上多项式的因式分解 定理(高等代数基本定理)复数域C上任意一个次数≥1的多项式在C内必有一个 根。 这个定理的证明是放在复变函数课程中完成的。 由高等代数基本定理,我们得到C[x]内多项式的因式分解的重要结论: 命题C[x]内一个次数≥1的多项式p(x)是不可约多项式的充分必要条件为它是一次 多项式。 证明在任一数域K上的一次多项式f(x)都是K[x]内的不可约多项式(因为 (f(x),f(x)=1)。现在假设p(x)是C[x]内的一个不可约多项式

北京大学：《高等代数》课程教学资源（讲义）第九章 一元多项式环 9.1 一元多项式环的基本理论（9.1.7-9.1.11）

9.1.7用形式微商判断多项式是否有重因式 定义9.10设f(x)=ax+a1x+…+an-1x+an∈K[x],定义 f\(x)=na\+(n-1)\-+..+[], 称f(x)为f(x)的一阶形式微商。 设f(x)的k-1阶形式微商已定义,记作f((x)则定义它的k阶形式微商fx)为 f(x)的一阶形式微商:f((x)=(f((x)另外我们约定f(x)=f(x) 命题设f(x)∈K[x],如果K[x]内的不可约多项式p(x)是f(x)的k重因式,则 p(x)是f(x)的k-1重因式

第九章元多项式环 9-1一元多项式环的基本理论 911域上的一元多项式环的定义 定义91设K是一个数域,x是一个不定元。下面的形式表达式 f(x) (其中an3a1,a2属于K,且仅有有限个不是0)称为数域K上的一个不定元x的一元多 式。数域K上一个不定元x的多项式的全体记作K[x] 下面定义K[x]内加法、乘法如下 加法设

8-3模m的剩余类环 8.3.1模m的剩余类环的定义 定义8.7设m设一个正整数,定义 /(m)={a+(m)a∈} 将模m的剩余类a+(m)记作a,现定义Z/m)中的加法和乘法如下: 此两种运算满足8.1.1中除第9)条以外的其余八条性质(其中0称为Z/(m)的零元素,1 称为Z/(m)的单位元素),于是Z/(m)构成一个代数系统,称为Z模理想(m)的剩余类环 或乙模理想(m)的商环

8-2同余式 8.2.1有理整数环中的同余的定义 定义8.5设m是一个正整数,若a,b∈Z,且ba∈(m),亦即m(b-a),则 称b与a模m同余,记作b=a(modm)。不难得到,b与a模m同余就是它们用m做带 余除法所得的余数相同。整数模m同余为一等价关系,验证如下: 1、反身性:a=a(modm) 2、对称性:若b=a(modm),则a=b(modm) 3、转递性:若a=b(modm),b=c(modm),则

8-1有理整数环的基本概念 8.1.1有理整数环的基本概念 全体整数所组成的集合中有两种运算:加法和乘法,而且它们满足下面运算法则: 1)加法满足结合律; 2)加法满足加换律 3)有一个数0,是对任意整数a,0+a=a; 4)对任意整数a,存在整数b,使b+a=0 5)乘法满足结合律 6)有一个数1,是对任意整数a,la=a 7)加法与乘法满足分配律:a(b+c)=ab+ac

北京大学：《高等代数》课程教学资源（讲义）第七章 线性变换的Jordan标准型 7.2 一般线性变换的 Jordan标准型（2/2）