P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？ 第1页
1
zhai-sen-8 网友的相关建议:
【记号说明】
表示第 行第 列为 ，其他地方为 的矩阵
表示单位矩阵
这里 是指n阶矩阵构成的环吧，普通加法和乘法理解为矩阵的加法和乘法。
假设 是 的一个理想，很容易验证 是 上的线性空间（想想为什么对数乘封闭）。如果 ，则至少有一个非零矩阵 使得 。假设 的第 行第 列的元素 非零，则由
知道 （由理想的定义），这里 的第 列是 的第 列，其余为 。
对称地可进一步知道 ，由 知 （理想的定义）
然后由
知道 （理想的定义），取遍 就知道第 行所有这样的基矩阵都在理想中 。对称地可以知道，第 列所有这样的基矩阵都在理想中 。
既然由 能推出所有的第 列的基矩阵 ，那么由刚才证明过的任何 就能推出所有的第 列的基矩阵 ，取遍 就表明 中所有的 个基向量都在理想 中，因此 。
这样，我们论证了 没有非平凡的理想
1
相关话题
负数有没有阶乘，0 的阶乘为什么是 1？为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了？
有限维线性空间的有限是怎么理解？
integral domain为啥叫整环？
有限维线性空间的有限是怎么理解？
如图题，如何不用“强拆”的方式证明？
请问这个一阶逻辑等值式如何理解，请举一个现实的例子?
比开方更高级的运算能否扩充复数域？
勒让德多项式的意义？
n*n的棋盘填上1，2，...，n^2，使任意相邻（有公共边）格子里的数字之和不大于S，求S最小值?
前一个讨论
线性空间，对偶基，过渡矩阵。这道题这样做正确吗？
下一个讨论
在微分流形上如何证明单位球面可定向?
相关的话题
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？如何确定下面三角恒等式中的系数？
如何证明 √2 + √3 + √5 是无理数？
负数与负数相乘为什么会得正？
“黎曼猜想在公元2030年之前（含2030年）被证明的概率大于等于60%”这个陈述是不是命题？
数学学习或研究中，你见过哪些有意思的反例？
如何证明dimQ（R）=dimQ（C）？
如何证明这个高等代数问题？
为何要引入同伦群，同伦群可以解决什么问题？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
如何证明Q[³√5]是域？
orbifold和groupoid有没有人了解？
不使用范畴论，如何刻画一个线性映射是“自然”的？
如果引进新的运算，一元五次方程会不会有通用的求根公式？
如果引进新的运算，一元五次方程会不会有通用的求根公式？
n! 和 n²，哪个更大呢？
为什么负负得正，正正不能得负？
数学学习或研究中，你见过哪些有意思的反例？
S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
能不能定义一个数 I，与 0 的乘积等于 1？
如何正确理解群论中的同态基本定理？
如何证明 √2 + √3 + √5 是无理数？
σ-代数为什么叫代数？它有代数结构吗？
C语言中按%d打印char会不会把相邻内存的也print出来？
如何把微信群/QQ群构造成一个阿贝尔群？
5⁴³²¹ 与 4⁵³²¹ 哪个更大？
求教一道代数证明题如何做？
黄金分割数1.618的6次方及更高次幂为什么如此接近整数？
加法交换律 a＋b＝b＋a 是怎么证明的？