_7 和除法 formula_8
定义1.域是交换性除环。 
定义2.域是一种交换环("F", +, *)，当中加法单位元（0）不等于乘法单位元（1），且所有非零元素有乘法逆元。更简单讲就是：域是可交换除环。
定义3.域是个集合 formula_11 且带有加法和乘法两种运算，这里“运算”可以想成是种映射，对formula_12，这映射将此两元素对应到某元素，且这些运算满足如下性质：其中“元素0不同于元素1”的要求排除了平凡