P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？ 第1页
1
zhai-sen-8 网友的相关建议:
【记号说明】
表示第 行第 列为 ，其他地方为 的矩阵
表示单位矩阵
这里 是指n阶矩阵构成的环吧，普通加法和乘法理解为矩阵的加法和乘法。
假设 是 的一个理想，很容易验证 是 上的线性空间（想想为什么对数乘封闭）。如果 ，则至少有一个非零矩阵 使得 。假设 的第 行第 列的元素 非零，则由
知道 （由理想的定义），这里 的第 列是 的第 列，其余为 。
对称地可进一步知道 ，由 知 （理想的定义）
然后由
知道 （理想的定义），取遍 就知道第 行所有这样的基矩阵都在理想中 。对称地可以知道，第 列所有这样的基矩阵都在理想中 。
既然由 能推出所有的第 列的基矩阵 ，那么由刚才证明过的任何 就能推出所有的第 列的基矩阵 ，取遍 就表明 中所有的 个基向量都在理想 中，因此 。
这样，我们论证了 没有非平凡的理想
1
相关话题
为何乘法比加法具有运算优先权？或者说加减乘除的本质是什么？哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
比开方更高级的运算能否扩充复数域？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
线性代数对于计算机专业的作用是什么呢？
为什么数学中一定要强调加法交换律？
在线性代数中如何用几何表示非方阵矩阵相乘？
线性代数里面的矩阵是不是向量？假如是的话，为什么感觉这样的向量和几何里的向量有点不一样？
所有数学表达式都有几何含义吗？
可以留下一个优美的恒等式吗？
前一个讨论
线性空间，对偶基，过渡矩阵。这道题这样做正确吗？
下一个讨论
在微分流形上如何证明单位球面可定向?
相关的话题
请列出一个最难相信但确实有根式解的一元五次方程？从正整数 1~N 中任意取两数 m、n，设 P 为 m/n 可约分的概率，问 N→∞ 时，P为多少？
若两个正整数互质，如何证明它们的平方也互质？
Z^n的所有子群怎么求？
线性代数对于计算机专业的作用是什么呢？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
数学教材的题做多少合适？
“黎曼猜想在公元2030年之前（含2030年）被证明的概率大于等于60%”这个陈述是不是命题？
自学交换代数（atiyah），却无能力自己证明书中的很多定理，是否表明完全不具备继续学习数学的潜力？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？
如图题，如何不用“强拆”的方式证明？
为什么用bernstein多项式，逼近[0,1]上的连续函数时，多项式超过60多次就不收敛了？
实数中乘法不是加法的复合么？为什么乘法与加法并列提及？
如何理解有限单群分类定理？
如何证明Q[³√5]是域？
7 x 8 + 14 x 18 + 42 × 13 的简便运算方法？
为什么数学中一定要强调加法交换律？
S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？
999的99次方是什么概念？
怎么样通俗易懂地向小学生介绍群论的思想？
为何乘法比加法具有运算优先权？或者说加减乘除的本质是什么？
(G/H)×H是否同构于G？
一个范畴问题?
圆周率已被算到31.4万亿位，科学家如此执着，到底为了什么？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
如何证明 √2 + √3 + √5 是无理数？
为什么用bernstein多项式，逼近[0,1]上的连续函数时，多项式超过60多次就不收敛了？
求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?
为什么会有 i 这一虚数？可以求出 i 的值吗？