什么是域？温故群：一个集合G，一种二元运算∗，满足群公理（封闭，结合，单位元，逆元）。阿贝尔群（交换群）：任意a,b∈G，a∗b=b∗a。（交换律）环：一个集合R，两种二元运算加法和乘法（+,·），满足（加法构成阿贝尔群，乘法构成半群，分配律）。含幺环（单位环）：环，乘法单位元。交换环：环，乘法交换律。含幺交换环：环，乘