P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？ 第1页
1
zhai-sen-8 网友的相关建议:
【记号说明】
表示第 行第 列为 ，其他地方为 的矩阵
表示单位矩阵
这里 是指n阶矩阵构成的环吧，普通加法和乘法理解为矩阵的加法和乘法。
假设 是 的一个理想，很容易验证 是 上的线性空间（想想为什么对数乘封闭）。如果 ，则至少有一个非零矩阵 使得 。假设 的第 行第 列的元素 非零，则由
知道 （由理想的定义），这里 的第 列是 的第 列，其余为 。
对称地可进一步知道 ，由 知 （理想的定义）
然后由
知道 （理想的定义），取遍 就知道第 行所有这样的基矩阵都在理想中 。对称地可以知道，第 列所有这样的基矩阵都在理想中 。
既然由 能推出所有的第 列的基矩阵 ，那么由刚才证明过的任何 就能推出所有的第 列的基矩阵 ，取遍 就表明 中所有的 个基向量都在理想 中，因此 。
这样，我们论证了 没有非平凡的理想
1
相关话题
为什么用bernstein多项式，逼近[0,1]上的连续函数时，多项式超过60多次就不收敛了？一个范畴问题?
数学系课程中，《解析几何》到底有什么用？
关于整矩阵的一道题怎么解?
σ-代数为什么叫代数？它有代数结构吗？
数学书上这种是什么字体，以及应该如何手写？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
为什么负负得正，正正不能得负？
平面几何用代数法解几何的原理是什么？
N为自然数集，（N×N）×（N×N）是不是可数集？如果是，它到N的双射函数是什么？如果不是，它和什么等势？
前一个讨论
线性空间，对偶基，过渡矩阵。这道题这样做正确吗？
下一个讨论
在微分流形上如何证明单位球面可定向?
相关的话题
如何看待几何数论（geometry of numbers）这一数论分支？为何要引入同伦群，同伦群可以解决什么问题？
为什么7×5=5×7？
在离散数学中偏序关系和偏序集是什么意思？
S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？
如何证明 √2 + √3 + √5 是无理数？
交错群An(n大于等于5)是单群理解上有个小问题，大家怎么看？
有没有对于各种榫卯结构，在数学上的研究?
如何从数学角度证明魔方复原存在必可解策略？
比开方更高级的运算能否扩充复数域？
为什么多项式的根是系数的连续函数？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
4≤5，这个不等式是否正确？
S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
如果引进新的运算，一元五次方程会不会有通用的求根公式？
在集合的势的意义下，是否存在比实数集更大的全序集？
我想了解一下：最小公倍数＝两数乘积 / 最大公因数，出自于哪里？
为什么实系数多项式方程的虚数解总是成对出现？
如何理解代数中的极限和余极限？
有人在p-adic数域Qp上研究过类似球堆积这样的几何数论问题吗？
若两个正整数互质，如何证明它们的平方也互质？
如何证明下面的近世代数问题？
是不是任意一个无理数都对应一个三角和描述？
偏序集与完备格？
为什么A的行列式不等于0 A满秩?
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？
环中任何一个非空子集都可以生成理想吗？
用人话来解释下模空间是啥？
如何看待《华裔教授发现二次方程「极简」解法：丢掉公式，全球教科书可能都要改了》？