高等代数中环是一种代数结构，设R是一个非空集合，在R上定义两种运算“+"和"*"，且满足以下条件：

　　1、(R,+)是一个加法群；

　　2、(R,*)是一个半群；

　　3、有左右分配律，即任给a,b,c∈R

　　a*(b+c)=a*b+a*c

　　(a+b)*c=a*c+b*c

　　则（R，+，*）就构成了一个环。