域

• 定义：交换的除环。
• 关系链：域 $\subset$ 除环 $\subset$ 环；域 $\subset$ 整环 $\subset$ 交换环。
• 有限域 ($GF(p)$)
  • 结论：当 $p$ 为素数时，模 $p$ 剩余类环 ${\mathbb{Z}}_p$ 是一个域。