物以类聚，数以群分

1. 如果一个集合内的元素对某种运算满足结合律,并且有单位元素，每个元素都有对应的逆元素，那这个元素集合对这种运算就是群；

    加法群，乘法群就这么诞生了；

2. 如果群内元素对这种运算满足交换律，就是交换群；

    加法交换群，乘法交换群诞生了；

3. 如果一个加法交换群，对乘法满足结合律和交换律，并且对加法和乘法遵守分配律，那这个加法交换群就是交换环；

4. 如果一个交换环对乘法有单位元素和逆元素，这个交换环也是同时是乘法交换群，这个同时是加法乘法交换群的交换环就是域；

 

结论是：群交换群交换环域；

另外：

1. 域的理想即自身；

2. 理想即自身的环就是域；