[问题2014S07]  解答  (本解答由沈启帆同学提供)

由复旦高代教材 P265 引理 7.4.1 知 \(F(P_i(\lambda)^{e_i})\) 的不变因子组为 \[1,\cdots,1,P_i(\lambda)^{e_i}.\] 因此分块对角阵 \(F=\mathrm{diag}\{F(P_1(\lambda)^{e_1}),F(P_2(\lambda)^{e_2}),\cdots,F(P_k(\lambda)^{e_k})\}\) 经过 \(\lambda\)-矩阵的初等变换可化为如下对角 \(\lambda\)-矩阵: \[\mathrm{diag}\{1,\cdots,1,P_1(\lambda)^{e_1};1,\cdots,1,P_2(\lambda)^{e_2};\cdots;1,\cdots,1,P_k(\lambda)^{e_k}\}.\] 由复旦高代教材 P271 引理 7.6.2 知 \(F\) 的初等因子组等于上述对角 \(\lambda\)-矩阵主对角元素的准素因子的集合. 注意到每个 \(P_i(\lambda)^{e_i}\) 都是准素的, 因此 \(F\) 的初等因子组为 \(P_1(\lambda)^{e_1},P_2(\lambda)^{e_2},\cdots,P_k(\lambda)^{e_k}\), 即 \(F\) 与 \(A\) 在数域 \(\mathbb{K}\) 上有相同的初等因子组. 由复旦高代教材 P269 定理 7.5.1 知 \(A\) 与 \(F\) 在数域 \(\mathbb{K}\) 上相似.  \(\Box\)

第三届全国大学生数学竞赛初赛一道试题的解答

设 \(A\) 在数域 \(\mathbb{K}\) 上的初等因子组为 \[P_1(\lambda)^{e_1},P_2(\lambda)^{e_2},\cdots,P_k(\lambda)^{e_k};\lambda^{t_1},\lambda^{t_2},\cdots,\lambda^{t_r},\] 其中 \(P_i(\lambda)\) 是 \(\mathbb{K}\) 上的不可约多项式且 \(P_i(0)\neq 0\), \(e_i>0,\,i=1,2,\cdots,k\); \(t_j>0,\,j=1,2,\cdots,r\). 注意到 \(F(P_i(\lambda)^{e_i})\) 为相伴于多项式 \(P_i(\lambda)^{e_i}\) 的友阵, 从而它的特征多项式恰为 \(P_i(\lambda)^{e_i}\). 特别地, \(\det\Big(F(P_i(\lambda)^{e_i})\Big)=(-1)^{n_i}P_i(0)^{e_i}\neq 0\), 其中 \(n_i=\deg P_i(\lambda)^{e_i}\), 即 \(F(P_i(\lambda)^{e_i})\) 是非异阵. 令 \[B=\mathrm{diag}\{F(P_1(\lambda)^{e_1}),F(P_2(\lambda)^{e_2}),\cdots,F(P_k(\lambda)^{e_k})\},\] 则 \(B\) 是数域 \(\mathbb{K}\) 上的非异阵. 由友阵的定义容易验证 \(F(\lambda^{t_j})\) 是幂零阵. 令 \[C=\mathrm{diag}\{F(\lambda^{t_1}),F(\lambda^{t_2}),\cdots,F(\lambda^{t_r})\},\] 则 \(C\) 是数域 \(\mathbb{K}\) 上的幂零阵. 由 [问题2014S07] 知 \(A\) 在数域 \(\mathbb{K}\) 上相似于\[\left( \begin{array}{cc} B & 0 \\ 0 & C \end{array} \right),\] 故结论得证.  \(\Box\)

最新文章

  1. 玩转Windows服务系列——使用Boost.Application快速构建Windows服务
  2. firefox怎么修改tls协议号
  3. popUpWindow 动画无法超出窗体的解决方案
  4. WPF:将HTML RGB颜色值转化为Color对象的两种方式
  5. gdb之watch命令
  6. LINQ 101——分区、Join、聚合
  7. linux用户创建删除以及文件权限查看修改
  8. BZOJ 3444: 最后的晚餐( )
  9. SQLite数据转换成sql server数据
  10. C# webBrowser操作 javascript
  11. IE网页js语法错误2行字符1,FF中正常
  12. 使用text-overflow: ellipsis 处理文本溢的一个小问题
  13. 【JS】 Javascript 入门
  14. Android开发简易教程
  15. spring的事务配置方法
  16. php中获取用户登陆的IP地址以及常规处理
  17. Scrapy框架-CrawlSpider
  18. TeamView工具在提示“似乎用于商用环境”的处理方式
  19. jupyter使用
  20. windows下vbs脚本隐藏控制台

热门文章

  1. Lambda表达式公共拼接函数(原创)
  2. 除了白名单外的IP每秒最多处理 8 个请求 limit_conn_zone
  3. java 关于hashcode和equals的测试
  4. Adding supplementary tables and figures in LaTeX【转】
  5. P4实验问题 解决python模块导入
  6. Interface => IDataErrorInfo
  7. UIView常见属性设置汇总
  8. backbone event 事件订阅 和发布 源码小读
  9. 怎样实现excel隔行隔列变色效果的方法
  10. cat <<EOF用法