P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？ 第1页
1
zhai-sen-8 网友的相关建议:
【记号说明】
表示第 行第 列为 ，其他地方为 的矩阵
表示单位矩阵
这里 是指n阶矩阵构成的环吧，普通加法和乘法理解为矩阵的加法和乘法。
假设 是 的一个理想，很容易验证 是 上的线性空间（想想为什么对数乘封闭）。如果 ，则至少有一个非零矩阵 使得 。假设 的第 行第 列的元素 非零，则由
知道 （由理想的定义），这里 的第 列是 的第 列，其余为 。
对称地可进一步知道 ，由 知 （理想的定义）
然后由
知道 （理想的定义），取遍 就知道第 行所有这样的基矩阵都在理想中 。对称地可以知道，第 列所有这样的基矩阵都在理想中 。
既然由 能推出所有的第 列的基矩阵 ，那么由刚才证明过的任何 就能推出所有的第 列的基矩阵 ，取遍 就表明 中所有的 个基向量都在理想 中，因此 。
这样，我们论证了 没有非平凡的理想
1
相关话题
是不是任意一个无理数都对应一个三角和描述？σ-代数为什么叫代数？它有代数结构吗？
对于抽象代数中的这个互素后的怎么证明比较合适?
“等价”就是重言等值，“推出”就是重言蕴涵吗？
为什么四则运算规定 × / 的优先级比 + - 高？
有限域上为什么有x的m次方=e的解的个数不超过m？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
有限域上为什么有x的m次方=e的解的个数不超过m？
前一个讨论
线性空间，对偶基，过渡矩阵。这道题这样做正确吗？
下一个讨论
在微分流形上如何证明单位球面可定向?
相关的话题
关于p进数域？请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？
我想了解一下：最小公倍数＝两数乘积 / 最大公因数，出自于哪里？
用人话来解释下模空间是啥？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
下面这个问题可以用李代数来解释吗？怎么解释？
由AB＝BA＝O可以得出什么结论？
请问这道代数不等式怎么证？
图形方面的函数的参数为什么多用浮点？
柯斯特利金的《代数学引论》写的怎么样？是否值得一看？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
能不能定义一个数 I，与 0 的乘积等于 1？
比开方更高级的运算能否扩充复数域？
用人话来解释下模空间是啥？
群论研究结构，「结构」一词是什么意思？跟数学有什么关系？
SU(4)和SO(6)的“自由度”都是15，它们具有同态关系吗?
如何构造一个向量空间，它的元素是向量空间？
加法交换律 a＋b＝b＋a 是怎么证明的？
线性映射为什么那么重要？
求指教一道数列方程组问题如何做？
圆周率已被算到31.4万亿位，科学家如此执着，到底为了什么？
为什么感觉群论学起来比数学分析之类难好多？
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
有理数的开方，是否能取遍实数？ 换句话说，是否存在无理数，不是某有理数的开方？
如何理解抽象代数的用途？
如果引进新的运算，一元五次方程会不会有通用的求根公式？
Hatcher的代数拓扑自学有无其他参考?
如果使 1÷0 有意义，那么应该等于多少？
为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？