环
定义
若<R,+>构成交换群,<R,⋅>构成半群(∀a,b,c∈R,(ab)c=a(bc)),⋅关于+适合分配律(∀a,b,c∈R,(a+b)c=ac+bc,a(b+c)=ab+ac),则<R,+,⋅>为环
交换环:∀a,b∈R,a⋅b=b⋅a
含幺环:∃e=1R,∀a∈R,a⋅1R=1R⋅a=a
非零元a为左零因子:∃b∈R,b=0,ab=0
零因子:a同时为左零因子和右零因子,R为零因子环
a为左逆元:∃b∈R,ab=1R
逆元:a同时为左逆元和右逆元
整环:R为交换环、含幺环、无零因子环
性质
∀a∈R,0a=a0=0
∀a,b∈R,(−a)b=a(−b)=−ab
∀a,b∈R,(−a)(−b)=ab
∀n∈Z,∀a,b∈R,(nab)=a(nb)=nab
最后更新于