P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？ 第1页
1
zhai-sen-8 网友的相关建议:
【记号说明】
表示第 行第 列为 ，其他地方为 的矩阵
表示单位矩阵
这里 是指n阶矩阵构成的环吧，普通加法和乘法理解为矩阵的加法和乘法。
假设 是 的一个理想，很容易验证 是 上的线性空间（想想为什么对数乘封闭）。如果 ，则至少有一个非零矩阵 使得 。假设 的第 行第 列的元素 非零，则由
知道 （由理想的定义），这里 的第 列是 的第 列，其余为 。
对称地可进一步知道 ，由 知 （理想的定义）
然后由
知道 （理想的定义），取遍 就知道第 行所有这样的基矩阵都在理想中 。对称地可以知道，第 列所有这样的基矩阵都在理想中 。
既然由 能推出所有的第 列的基矩阵 ，那么由刚才证明过的任何 就能推出所有的第 列的基矩阵 ，取遍 就表明 中所有的 个基向量都在理想 中，因此 。
这样，我们论证了 没有非平凡的理想
1
相关话题
能不能定义一个数 I，与 0 的乘积等于 1？在离散数学中偏序关系和偏序集是什么意思？
自增运算这道题怎么解？
在集合的势的意义下，是否存在比实数集更大的全序集？
求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?
为什么大学数学主要学习代数，而不是几何呢？
能不能定义一个数 I，与 0 的乘积等于 1？
n整除Phi(p^n-1)，怎么证明？
有“数学公式”编程吗？如维基百科粘贴一个LaTeX公式，赋初值后，就能计算出结果？
矩阵特征值与矩阵本身的关系是什么？
前一个讨论
线性空间，对偶基，过渡矩阵。这道题这样做正确吗？
下一个讨论
在微分流形上如何证明单位球面可定向?
相关的话题
为何乘法比加法具有运算优先权？或者说加减乘除的本质是什么？该n元不等式如何解？（张端阳的题）?
为什么要用文字定义多项式，而不是直接将多项式函数定义为多项式？
S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？
114514 阶的群有哪几类？
李代数为何要满足 Jacobi Identity？
乘法分配律是公理吗，是能证明的吗？
5⁴³²¹ 与 4⁵³²¹ 哪个更大？
为什么要用文字定义多项式，而不是直接将多项式函数定义为多项式？
代数、几何能否联系一起？
线性代数里的合同关系在空间中代表了什么呢？
114514 阶的群有哪几类？
离散数学求帮忙？
如何利用群论的知识解决三阶魔方？
n维向量空间V中向量的维数是否为n维？
在本科数学阶段你学过最有趣的一门数学课是什么？为什么？
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
线性代数里的合同关系在空间中代表了什么呢？
图形方面的函数的参数为什么多用浮点？
如何证明任何有限域中的任何元素均可写成两数的平方和？
黄金分割数1.618的6次方及更高次幂为什么如此接近整数？
如何直观地理解群论？
模糊层次分析法的三角模糊值含意？
请问如何把所有自然数均分成三类？
无理数是否真的存在？
请问“重根按重数计算”如何理解呢？
能否求出n次对称群中置换的最大阶？
如果使 1÷0 有意义，那么应该等于多少？
［代数学］矩阵的概念最多可以推广到什么代数结构上？
这个代数题怎么解？