环

环

1. 环的定义：在非空集合R中，若定义了两种代数运算+和乘（不一定为加与乘），且满足集合R在+运算下构成阿贝尔群，* 满足结合律且+对乘满足分配率，即a*（b+c）=ab+ac成立。那么称<R,+,*>是一个环。
2. 若一个环R中含有一个非零元素e≠θ，使对每个x∈R有ex=xe=x，则e称为R的一个单位元素。一个环若有单位元素，则它必然是唯一的。设R是一个含有单位元素的环，α是R中一个元素，若R中有元素b，使αb=bα=e，则b称为α的一个逆元素。当α有逆元素时，其逆元素必然是唯一的，记为α-1，α-1也有逆元素，而且就是α，即（α-1）-1=α。R的零元素θ必无逆元素。若R的每个非零元素都有逆元素，则R称为一个体或可除环。四元数代数就是典型的体。在体的定义中再规定其乘法适合交换律，就是域的定义。