命题在同构意义下张量积满足交换律、结合律以及与直和的分配律,即 VOV= V1(2V3)=(V1V2)V3 V1(2V3)=(V1V2)⊕(VV3) 证明利用张量积的定义性质。 12.2.2线性变换的张量积的定义 定义12.5线性变换的张量积 设V1,V2为K线性空间,A为V1上的线性变换,B为V2上的线性变换。定义A和 B的张量积(记为AB)为V1V2上的线性变换: AB:V1V2→V1V2

12.3.2用一个多项式的根和另一个多项式计算结式的公式 命题设 f(x)=ax+a1x-+…+an(a≠0 (x) box\+b- + (bo=0) 如果f(x),g(x)在C[x]中的分解式为 g()= bo (x-B) ).(x-)(1) 那么 R(f,g)=ag(a)=(-1)f(B)(*) 证明在数域K上的n+m+1元多项式环K[x,y1yn21m]中,令 f(x,y,yn)=a(x-y)…(x-yn)(2) g(x,z1,m)=b(x-z)…(x-m)(3)

北京大学：《高等代数》课程教学资源（讲义）第十章 10.2.2 定理、牛顿公式

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-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.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重因式

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-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形矩阵,而主对角线上的小块方阵J称为 Jordan块 定理设A是数域K上的n维线性空间V上的线性变换.如果A的特征值全属于K, 则A在V的某组基下的矩阵为 Jordan形,并且在不计 Jordan块的意义下 Jordan形是唯 一的. 证明:对n作数学归纳法

设A是n维酉空间V内的线性变换,如果V内的线性变换A满足a,BV,有 (Aa, B)=(a, B) 则称A是A的共轭变换.A为A的共轭变换当且仅当它们在标准正交基下的矩阵互为共轭 转置. 共轭变换的五条性质: 1)E=E 2)(A)=A 3)(kA)*=kA 4)(A+B)=a+B 5)(AB)'=B'A' 如果A=A,则称A是一个厄米特变换