P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？ 第1页
1
zhai-sen-8 网友的相关建议:
【记号说明】
表示第 行第 列为 ，其他地方为 的矩阵
表示单位矩阵
这里 是指n阶矩阵构成的环吧，普通加法和乘法理解为矩阵的加法和乘法。
假设 是 的一个理想，很容易验证 是 上的线性空间（想想为什么对数乘封闭）。如果 ，则至少有一个非零矩阵 使得 。假设 的第 行第 列的元素 非零，则由
知道 （由理想的定义），这里 的第 列是 的第 列，其余为 。
对称地可进一步知道 ，由 知 （理想的定义）
然后由
知道 （理想的定义），取遍 就知道第 行所有这样的基矩阵都在理想中 。对称地可以知道，第 列所有这样的基矩阵都在理想中 。
既然由 能推出所有的第 列的基矩阵 ，那么由刚才证明过的任何 就能推出所有的第 列的基矩阵 ，取遍 就表明 中所有的 个基向量都在理想 中，因此 。
这样，我们论证了 没有非平凡的理想
1
相关话题
999的99次方是什么概念？环中任何一个非空子集都可以生成理想吗？
如果使 1÷0 有意义，那么应该等于多少？
这个组合恒等式怎么代数证明？
乘法分配律是公理吗，是能证明的吗？
“黎曼猜想在公元2030年之前（含2030年）被证明的概率大于等于60%”这个陈述是不是命题？
全体质数的倒数和是发散的还是收敛的？如果收敛，收敛到多少？（多重问题预警）?
有理数域加减乘除都是封闭的，那为什么部分无理数可以表示为有理数加减后的无穷级数呢？
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
前一个讨论
线性空间，对偶基，过渡矩阵。这道题这样做正确吗？
下一个讨论
在微分流形上如何证明单位球面可定向?
相关的话题
如果把行列式定义中的(-1)^(逆序数)去掉，这种新的运算能用在哪里呢？是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
这个多项式问题从何入手进行求解？
(-1)^(0.4) 是否等于 (-1)^(2/5)？
一个范畴问题?
向量有除法吗？高中数学人教版选修2-1的思考题?
如何更加系统地学习代数？
这个多项式问题从何入手进行求解？
阶乘的概念能否推广到全体实数，甚至是全体复数？
李代数为何要满足 Jacobi Identity？
如何构造一个向量空间，它的元素是向量空间？
问一下，这几个群是什么群，有什么性质？
这个命题是错的吗？
负数有没有阶乘，0 的阶乘为什么是 1？
是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)（其中 k∈Q）的形式？
为什么不能用 0 做除数？
量子力学的Dirac符号系统优越性在哪，为什么不使用张量作为量子力学的数学语言基础？
如何理解群表现？
这个多项式问题从何入手进行求解？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
114514 阶的群有哪几类？
为什么负负得正，正正不能得负？
请列出一个最难相信但确实有根式解的一元五次方程？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
114514↑↑114514 的后三位数是什么？
如何利用群论的知识解决三阶魔方？
请问能给出一个例子，使一个向量空间的子集只满足包含0且对加法封闭但不对标量乘法封闭吗？