数学建模社区-数学中国

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

作者: 康斯丁    时间: 2012-1-3 22:14
标题: 抽象代数环方面的问题,求高手指教!
设R是交换环,M为R的极大理想,R/M不为域,证明:(R/M)^2=0( A) }. `' Q2 ~( P- b. U4 |/ s
书上写的证明(R/M)^2=0,但我证不出来,也不知道题目有没有错误……
作者: lilianjie    时间: 2012-1-4 13:00
不为域,就是没单位元的交换环,就是要证没单位元的交换环的幂等元一定为零,你找个可逆矩阵、幂等矩阵看看就明白了
" j9 \" U8 O) S' K, e, `/ p幂等矩阵的特征值只可能是0,1- \; M1 n8 u4 w  I1 n' L" E+ Z' m( F

  @* `6 C" y: ]6 B! j5 b
作者: 康斯丁    时间: 2012-1-4 22:40
lilianjie 发表于 2012-1-4 13:00 " v3 G: e9 h) m5 `1 h( u% p- |
不为域,就是没单位元的交换环,就是要证没单位元的交换环的幂等元一定为零,你找个可逆矩阵、幂等矩阵看看就 ...

6 q9 p! _! c( e' z* `0 o! [; _- ]为什么不为域,就是没单位元的交换环呢?也可能含有零因子呢
作者: lilianjie    时间: 2012-1-5 10:17
零因子单位元不一样,两者没联系,虽然有时相同,Z环零因子和Zm环零因子不同,零因子就是为了区分这两类环,
1 U8 [9 {" v3 K5 C7 F
% l' Y' @% f. S2 r) M: z) I- \你多找点2阶距阵环学,连子环、零因子,左右理想都列出来。天天看,一两周就懂了,将来还有局部环,这才开始入门。。。。。' r8 Q: w) p6 u: s  F
6 p/ N3 E, B  D; E. {- t+ O
先学模(主要是距阵)再学群环最好懂,因为模能统一群环向量空间,Z模就群,R模就环
作者: 孤寂冷逍遥    时间: 2012-1-5 16:04

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




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