【高等代数教案】用形式微商判断多项式是否有重因式.docVIP

【高等代数教案】用形式微商判断多项式是否有重因式.doc

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第二学期第十九次课 用形式微商判断多项式是否有重因式 定义9.10 设定义 称为的一阶形式微商。 设的阶形式微商已定义,记作则定义它的阶形式微商为的一阶形式微商:。另外我们约定。 命题 设,如果内的不可约多项式是的重因式,则是的重因式。 证明 按假设有,且,于是。于是有 故。如果有,即,带入上式,消去,得 从上式推出,而,则,但矛盾。故,这表明是的重因式。 由这个命题,我们可以得到下面两个有用的推论: 推论1 不可约多项式是的重因式的充分必要条件是,但。 推论2 在的素因式标准分解式中仅出现不可约多项式的一次方幂的充分必要条件是 9.1.8 模多项式同余的定义 定义9.11 设是的一个理想,如果,且,则称与模同余,并记作。 现设为非平凡理想,则,其中且满足,这时,写作,称与模同余,易知这是一个等价关系。 我们易证明以下性质: 1)若则 2)若,又,则。 9.1.9 中国剩余定理 引理 设是内一组两两互素且次数的多项式,则对任一,存在多项式,使 证明 对任一,有,于是存在,使,令 我们有,而且 , 其中为展开式中提出公因式(除第一项1之外)后所剩的多项式。 定理(中国剩余定理) 设是内一组两两互素且次数的多项式,任给,必存在,使 证明 根据引理,每个,存在多项式,满足 令则对每个,有 , 而当时,故。 9.1.10 Lagrenge插值公式 这是中国剩余定理的一个简单应用:设是内一组两两不相等的元素,令,这是内一组互不相同的不可约多项式,显然两两互素。在内任给个数,令。按照中国剩余定理,存在,使,即。从中国剩余定理的证明过程,我们可以把的具体表达式找出来: 1)求,按引理的证明,因为有 故应取 。 2)令 。 多项式称为拉格朗日(Lagrenge)插值多项式。 9.1.11 Jordan-Chevally分解定理 (这是中国剩余定理的另一个重要应用) 引理 设是数域上的维线性空间, 是内一个线性变换,设的特征多项式在内有分解式 令,则分解为的不变子空间的直和: 且限制在内为幂零线性变换。(证明略) 定理(Jordan-Chevally分解定理)设是数域上的维线性空间,是内一个线性变换,且的特征多项式的根全属于。那么 存在内唯一的半单线性变换,幂零线性变换,使得,而且; 存在,,使得 证明 现在的特征多项式有分解式 按照引理,,其中。 现令(当中有0的时候,不要),则两两互素,按照中国剩余定理,有,使 令,现在,故。 现在取,显然有。由于 , 故 因为限制在内变为,故限制在内变为,亦即有,而,于是的矩阵可对角化,即为内的半单线性变换。另一方面, 因为限制在内变为,故为内的幂零线性变换,而,由此可知为内的幂零线性变换。 下面来证唯一性。 假如又有内的半单线性变换,幂零线性变换,满足条件。那么: (a)显然与可交换,而,故它们也可与,交换。对于任意有 故为的公共不变子空间。令,则也是的不变子空间,,均幂零且可交换,故也幂零,而内,故在内有 根据第七章关于Jordan标准型的讨论我们有:在内存在一组基,在该组基下的矩阵成Jordan形,其主对角线上的元素全为,把各中的基合并为的基,则在此基下的矩阵成Jordan形,主对角线元素为,即的特征多项式的根全属于。 (b)这样的矩阵可对角化,从而的矩阵也可对角化(见第四章)。但仅有一个特征值,于是 由于,所以又上式知,从而。唯一性得证。

文档评论(0)

精品资料 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档