P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？ 第1页
1
zhai-sen-8 网友的相关建议:
【记号说明】
表示第 行第 列为 ，其他地方为 的矩阵
表示单位矩阵
这里 是指n阶矩阵构成的环吧，普通加法和乘法理解为矩阵的加法和乘法。
假设 是 的一个理想，很容易验证 是 上的线性空间（想想为什么对数乘封闭）。如果 ，则至少有一个非零矩阵 使得 。假设 的第 行第 列的元素 非零，则由
知道 （由理想的定义），这里 的第 列是 的第 列，其余为 。
对称地可进一步知道 ，由 知 （理想的定义）
然后由
知道 （理想的定义），取遍 就知道第 行所有这样的基矩阵都在理想中 。对称地可以知道，第 列所有这样的基矩阵都在理想中 。
既然由 能推出所有的第 列的基矩阵 ，那么由刚才证明过的任何 就能推出所有的第 列的基矩阵 ，取遍 就表明 中所有的 个基向量都在理想 中，因此 。
这样，我们论证了 没有非平凡的理想
1
相关话题
自增运算这道题怎么解？矩阵最小多项式的几何意义是什么?
为何乘法比加法具有运算优先权？或者说加减乘除的本质是什么？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
这个恒等式咋来的？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
为何中学阶段不系统讲授一元三次四次方程？总感觉高中数学的很多内容在初中数学上没有根基，完全是空降的？
线性代数里面的矩阵是不是向量？假如是的话，为什么感觉这样的向量和几何里的向量有点不一样？
如何证明dimQ（R）=dimQ（C）？
114514↑↑114514 的后三位数是什么？
前一个讨论
线性空间，对偶基，过渡矩阵。这道题这样做正确吗？
下一个讨论
在微分流形上如何证明单位球面可定向?
相关的话题
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？女生问我99加1等于10是什么意思？
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
为什么-1的4/6次方不等于-1的2/3次方？
n整除Phi(p^n-1)，怎么证明？
如何证明任何一复系数整式p(z)都可以分解成若干个(z-c)相乘的形式？
各位学霸，为什么这个直接就等于e的a次方了？
哈密尔顿-凯莱定理的本质是什么？
求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?
求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?
请问这个抽象代数题怎么证明？
柯斯特利金的《代数学引论》写的怎么样？是否值得一看？
请问σ-代数（sigma-algebra）的含义是什么，能否举例说明？
分母（除数）为什么不能为 0？
分母（除数）为什么不能为 0？
如何看待几何数论（geometry of numbers）这一数论分支？
不使用范畴论，如何刻画一个线性映射是“自然”的？
如何把微信群/QQ群构造成一个阿贝尔群？
n整除Phi(p^n-1)，怎么证明？
关于整矩阵的一道题怎么解?
各位学霸，为什么这个直接就等于e的a次方了？
想请问平坦模、投射模这些的几何意义是什么，感觉atiyah这本书的定义有些干巴巴的.......？
4≤5，这个不等式是否正确？
为什么大学数学主要学习代数，而不是几何呢？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
复数是否包含实数？
负数有没有阶乘，0 的阶乘为什么是 1？
“黎曼猜想在公元2030年之前（含2030年）被证明的概率大于等于60%”这个陈述是不是命题？
如何简要解释为什么五次多项式方程没有根式解？
分母（除数）为什么不能为 0？