数学建模社区-数学中国

标题: 抽象代数环方面的问题,求高手指教! [打印本页]

作者: 康斯丁    时间: 2012-1-3 22:14
标题: 抽象代数环方面的问题,求高手指教!
设R是交换环,M为R的极大理想,R/M不为域,证明:(R/M)^2=0
7 o+ I/ [  a! |书上写的证明(R/M)^2=0,但我证不出来,也不知道题目有没有错误……
作者: lilianjie    时间: 2012-1-4 13:00
不为域,就是没单位元的交换环,就是要证没单位元的交换环的幂等元一定为零,你找个可逆矩阵、幂等矩阵看看就明白了# x- V  J1 h7 C) D: f) Q
幂等矩阵的特征值只可能是0,1
( k/ o5 A  d& B4 S" T
3 [/ a3 g) F! e2 @+ U& d6 s% m4 `- i
作者: 康斯丁    时间: 2012-1-4 22:40
lilianjie 发表于 2012-1-4 13:00 2 U- N: N5 K# E  S7 ~$ I1 \7 z+ N
不为域,就是没单位元的交换环,就是要证没单位元的交换环的幂等元一定为零,你找个可逆矩阵、幂等矩阵看看就 ...
- U. ?1 x* _. K. D, V5 f5 o) U& E
为什么不为域,就是没单位元的交换环呢?也可能含有零因子呢
作者: lilianjie    时间: 2012-1-5 10:17
零因子单位元不一样,两者没联系,虽然有时相同,Z环零因子和Zm环零因子不同,零因子就是为了区分这两类环,0 A$ d8 k  q3 w7 G$ ~/ L
/ B5 z" M. |+ p3 e" R5 Q, z$ u! U( u
你多找点2阶距阵环学,连子环、零因子,左右理想都列出来。天天看,一两周就懂了,将来还有局部环,这才开始入门。。。。。
+ X5 F$ z0 {: R; S# Q
9 Y1 T8 N2 R- y先学模(主要是距阵)再学群环最好懂,因为模能统一群环向量空间,Z模就群,R模就环
作者: 孤寂冷逍遥    时间: 2012-1-5 16:04

作者: xiang1990    时间: 2012-8-21 08:06
楼上没有说证明,我也不会。学过的东西都还给老师了




欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) Powered by Discuz! X2.5