P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？ 第1页
1
zhai-sen-8 网友的相关建议:
【记号说明】
表示第 行第 列为 ，其他地方为 的矩阵
表示单位矩阵
这里 是指n阶矩阵构成的环吧，普通加法和乘法理解为矩阵的加法和乘法。
假设 是 的一个理想，很容易验证 是 上的线性空间（想想为什么对数乘封闭）。如果 ，则至少有一个非零矩阵 使得 。假设 的第 行第 列的元素 非零，则由
知道 （由理想的定义），这里 的第 列是 的第 列，其余为 。
对称地可进一步知道 ，由 知 （理想的定义）
然后由
知道 （理想的定义），取遍 就知道第 行所有这样的基矩阵都在理想中 。对称地可以知道，第 列所有这样的基矩阵都在理想中 。
既然由 能推出所有的第 列的基矩阵 ，那么由刚才证明过的任何 就能推出所有的第 列的基矩阵 ，取遍 就表明 中所有的 个基向量都在理想 中，因此 。
这样，我们论证了 没有非平凡的理想
1
相关话题
综合除法的数学依据是什么？4≤5，这个不等式是否正确？
如何把微信群/QQ群构造成一个阿贝尔群？
实系数多项式之所有根为实数，如何证明其相应 n 阶导数之所有根为实数？
平面几何用代数法解几何的原理是什么？
平面几何用代数法解几何的原理是什么？
为什么要用文字定义多项式，而不是直接将多项式函数定义为多项式？
交错群An(n大于等于5)是单群理解上有个小问题，大家怎么看？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
自学交换代数（atiyah），却无能力自己证明书中的很多定理，是否表明完全不具备继续学习数学的潜力？
前一个讨论
线性空间，对偶基，过渡矩阵。这道题这样做正确吗？
下一个讨论
在微分流形上如何证明单位球面可定向?
相关的话题
Z^n的所有子群怎么求？求指教一道数列方程组问题如何做？
1×0＝0 是因为 0 乘以任何数字都等于 0，还是因为 1 乘任何数字都等于那个数？
S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？
高斯的博士论文是不是太简单了？
如何理解 Van-Kampen 定理？
为什么-1的4/6次方不等于-1的2/3次方？
一个多项式在满足什么条件时可以因式分解？能否给出证明（证法随意）?
分母（除数）为什么不能为 0？
如果 n 个向量线性无关，则其中 n-1 个向量线性相关吗？
如果引进新的运算，一元五次方程会不会有通用的求根公式？
对于抽象代数中的这个互素后的怎么证明比较合适?
国内的数学系本科是不是代数的训练不够？
为什么7×5=5×7？
7^1919 的末三位数字是多少？
如何证明f(A∩B) ⊆ f(A)∩f(B) 而不是f(A∩B) = f(A)∩f(B) ？
如果使 1÷0 有意义，那么应该等于多少？
柯斯特利金的《代数学引论》写的怎么样？是否值得一看？
学习数论图论有必要先学抽代和高代吗？
所有数学表达式都有几何含义吗？
超越函数能因式分解吗？
如何利用群论的知识解决三阶魔方？
离散数学求帮忙？
如果引进新的运算，一元五次方程会不会有通用的求根公式？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」，你会如何介绍它？
关于p进数域？
所有集合的势都可比较大小吗？为什么？
以π指代圆周率是偶然的约定俗成还是特别的另有深意？
为什么四则运算规定 × / 的优先级比 + - 高？