P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？ 第1页
1
zhai-sen-8 网友的相关建议:
【记号说明】
表示第 行第 列为 ，其他地方为 的矩阵
表示单位矩阵
这里 是指n阶矩阵构成的环吧，普通加法和乘法理解为矩阵的加法和乘法。
假设 是 的一个理想，很容易验证 是 上的线性空间（想想为什么对数乘封闭）。如果 ，则至少有一个非零矩阵 使得 。假设 的第 行第 列的元素 非零，则由
知道 （由理想的定义），这里 的第 列是 的第 列，其余为 。
对称地可进一步知道 ，由 知 （理想的定义）
然后由
知道 （理想的定义），取遍 就知道第 行所有这样的基矩阵都在理想中 。对称地可以知道，第 列所有这样的基矩阵都在理想中 。
既然由 能推出所有的第 列的基矩阵 ，那么由刚才证明过的任何 就能推出所有的第 列的基矩阵 ，取遍 就表明 中所有的 个基向量都在理想 中，因此 。
这样，我们论证了 没有非平凡的理想
1
相关话题
零测集的子集是否可测？如何看待几何数论（geometry of numbers）这一数论分支？
多项式由系数唯一决定，在中学或大学数学课上证明过吗？
为什么不能用 0 做除数？
矩阵最小多项式的几何意义是什么?
该n元不等式如何解？（张端阳的题）?
Z^n的所有子群怎么求？
是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)（其中 k∈Q）的形式？
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
integral domain为啥叫整环？
前一个讨论
线性空间，对偶基，过渡矩阵。这道题这样做正确吗？
下一个讨论
在微分流形上如何证明单位球面可定向?
相关的话题
为什么负负得正，正正不能得负？抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？
如何看待《华裔教授发现二次方程「极简」解法：丢掉公式，全球教科书可能都要改了》？
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
模糊层次分析法的三角模糊值含意？
如何证明Q[³√5]是域？
以π指代圆周率是偶然的约定俗成还是特别的另有深意？
自然数和非负整数有什么区别？
有哪些不借助变换群的观点就很难解答的欧氏几何问题？
代数学莫宗坚的这道题怎么做?
为什么 SO(2) 群只有一个角度自由度就能表示，SO(3) 群却需要三个独立参数？
请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？
为什么7×5=5×7？
对于抽象代数中的这个互素后的怎么证明比较合适?
乘法分配律是公理吗，是能证明的吗？
设H包含n个非零复数，关于复数乘法组成n阶群，证明H＝{n个n次单位根}，怎么证明呢，谢谢大家了？
一个范畴问题?
如何更加系统地学习代数？
1×0＝0 是因为 0 乘以任何数字都等于 0，还是因为 1 乘任何数字都等于那个数？
S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
自增运算这道题怎么解？
i 的平方为什么等于 -1？
怎么评价北大版的《高等代数》？
模糊层次分析法的三角模糊值含意？
实系数多项式之所有根为实数，如何证明其相应 n 阶导数之所有根为实数？
能不能定义一个数 I，与 0 的乘积等于 1？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
n! 和 n²，哪个更大呢？