百科问答小站 logo
百科问答小站 font logo



P是任意数域,如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想? 第1页

  

user avatar   zhai-sen-8 网友的相关建议: 
      

【记号说明】

表示第 行第 列为 ,其他地方为 的矩阵

表示单位矩阵


这里 是指n阶矩阵构成的环吧,普通加法和乘法理解为矩阵的加法和乘法。

假设 是 的一个理想,很容易验证 是 上的线性空间(想想为什么对数乘封闭)。如果 ,则至少有一个非零矩阵 使得 。假设 的第 行第 列的元素 非零,则由

知道 (由理想的定义),这里 的第 列是 的第 列,其余为 。

对称地可进一步知道 ,由 知 (理想的定义)

然后由


知道 (理想的定义),取遍 就知道第 行所有这样的基矩阵都在理想中 。对称地可以知道,第 列所有这样的基矩阵都在理想中 。

既然由 能推出所有的第 列的基矩阵 ,那么由刚才证明过的任何 就能推出所有的第 列的基矩阵 ,取遍 就表明 中所有的 个基向量都在理想 中,因此 。

这样,我们论证了 没有非平凡的理想




  

相关话题

  如何分配砝码使天平尽可能平衡? 
  能否求出n次对称群中置换的最大阶? 
  如何看待全民代数几何的现象? 
  怎么样通俗易懂地向小学生介绍群论的思想? 
  如何理解(证明)不存在与自己的真子集等势的自然数? 
  请问这个抽象代数题怎么证明? 
  请问这个抽象代数题怎么证明? 
  如何正确理解群论中的同态基本定理? 
  负数与负数相乘为什么会得正? 
  有哪些适合初学微分几何,抽象代数,群论的note或者教材? 

前一个讨论
线性空间,对偶基,过渡矩阵。这道题这样做正确吗?
下一个讨论
在微分流形上如何证明单位球面可定向?





© 2025-05-18 - tinynew.org. All Rights Reserved.
© 2025-05-18 - tinynew.org. 保留所有权利