P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？ 第1页
1
zhai-sen-8 网友的相关建议:
【记号说明】
表示第 行第 列为 ，其他地方为 的矩阵
表示单位矩阵
这里 是指n阶矩阵构成的环吧，普通加法和乘法理解为矩阵的加法和乘法。
假设 是 的一个理想，很容易验证 是 上的线性空间（想想为什么对数乘封闭）。如果 ，则至少有一个非零矩阵 使得 。假设 的第 行第 列的元素 非零，则由
知道 （由理想的定义），这里 的第 列是 的第 列，其余为 。
对称地可进一步知道 ，由 知 （理想的定义）
然后由
知道 （理想的定义），取遍 就知道第 行所有这样的基矩阵都在理想中 。对称地可以知道，第 列所有这样的基矩阵都在理想中 。
既然由 能推出所有的第 列的基矩阵 ，那么由刚才证明过的任何 就能推出所有的第 列的基矩阵 ，取遍 就表明 中所有的 个基向量都在理想 中，因此 。
这样，我们论证了 没有非平凡的理想
1
相关话题
离散数学色里的哈斯图怎么画？任何Abel群都能在其上赋予乘法，使其变成含幺环吗？
负数与负数相乘为什么会得正？
如何直观地理解群论？
4≤5，这个不等式是否正确？
S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？
有哪些神奇的数学巧合？
有哪些有趣的或者是反常识的数学问题？
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
复数是否包含实数？
前一个讨论
线性空间，对偶基，过渡矩阵。这道题这样做正确吗？
下一个讨论
在微分流形上如何证明单位球面可定向?
相关的话题
减一个负数，为什么是加这个数的相反数呢？对任意多项式P_m(x)，是否一定存在Qn(x)，使P_m(x)Q_n(x)=Ax^(m+n)+B？
勒让德多项式的意义？
为什么四则运算规定 × / 的优先级比 + - 高？
乘法分配律是公理吗，是能证明的吗？
关于整矩阵的一道题怎么解?
在本科数学阶段你学过最有趣的一门数学课是什么？为什么？
如何证明任何有限域中的任何元素均可写成两数的平方和？
是不是任意一个无理数都对应一个三角和描述？
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
用人话来解释下模空间是啥？
“等价”就是重言等值，“推出”就是重言蕴涵吗？
所有数学表达式都有几何含义吗？
请问这个关于全排列的图论结论如何证明？
为什么需要证明「1+1=2」？
可以留下一个优美的恒等式吗？
为什么用bernstein多项式，逼近[0,1]上的连续函数时，多项式超过60多次就不收敛了？
不可列个数的集合交集并集怎么定义？
1×0＝0 是因为 0 乘以任何数字都等于 0，还是因为 1 乘任何数字都等于那个数？
SU(4)和SO(6)的“自由度”都是15，它们具有同态关系吗?
如何证明哈代不等式?
如何证明哈代不等式?
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
用人话来解释下模空间是啥？
各位学霸，为什么这个直接就等于e的a次方了？
在集合的势的意义下，是否存在比实数集更大的全序集？
如何证明任何一复系数整式p(z)都可以分解成若干个(z-c)相乘的形式？
n整除Phi(p^n-1)，怎么证明？
请列出一个最难相信但确实有根式解的一元五次方程？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？