Field

域是环的一种, 区别在于域要求它的非零元素可以做除法, 且域的乘法有交换律.

域满足

• $(K,+)$为交换群
• $(K-\{0\},\times )$为交换群
• 满足分配律

每个非零元素都可逆的整环 是域 一个交换除环 是域