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

域满足

  • 为交换群
  • 为交换群
  • 满足分配律

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