数学建模社区-数学中国

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

作者: 康斯丁    时间: 2012-1-3 22:14
标题: 抽象代数环方面的问题,求高手指教!
设R是交换环,M为R的极大理想,R/M不为域,证明:(R/M)^2=03 o! `( Q# V) A) N3 T6 L6 W2 X, K1 G
书上写的证明(R/M)^2=0,但我证不出来,也不知道题目有没有错误……
作者: lilianjie    时间: 2012-1-4 13:00
不为域,就是没单位元的交换环,就是要证没单位元的交换环的幂等元一定为零,你找个可逆矩阵、幂等矩阵看看就明白了
$ a( C0 ]( V5 E- ^幂等矩阵的特征值只可能是0,1
1 d7 F' O7 t, Y1 @" I
9 K7 l) N+ v. U: a2 F1 W
作者: 康斯丁    时间: 2012-1-4 22:40
lilianjie 发表于 2012-1-4 13:00 2 Q% t3 c* r$ S2 {
不为域,就是没单位元的交换环,就是要证没单位元的交换环的幂等元一定为零,你找个可逆矩阵、幂等矩阵看看就 ...
: [" I3 e2 ~' E% U" J
为什么不为域,就是没单位元的交换环呢?也可能含有零因子呢
作者: lilianjie    时间: 2012-1-5 10:17
零因子单位元不一样,两者没联系,虽然有时相同,Z环零因子和Zm环零因子不同,零因子就是为了区分这两类环,  T& Y  h2 X) Z9 _! O0 c4 I: C
- _* a. h5 o- H0 T0 a9 Q" v
你多找点2阶距阵环学,连子环、零因子,左右理想都列出来。天天看,一两周就懂了,将来还有局部环,这才开始入门。。。。。; ^! C+ v2 L: m% S1 O# w

' B- i9 [& Q! d- I, |- a先学模(主要是距阵)再学群环最好懂,因为模能统一群环向量空间,Z模就群,R模就环
作者: 孤寂冷逍遥    时间: 2012-1-5 16:04

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




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