定义 16.1 一个交换环称为域(field)，如果 R−{0}R-\{0\}R−{0} 在乘法下是一个群。
例 16.1 R,Q,C\mathbb{R}, \mathbb{Q}, \mathbb{C}R,Q,C 是域，因为每个非零元素都有一个乘法逆元。
例 16.2 Z\mathbb{Z}Z 不是一个域，因为任何不是 ±1\pm 1±1 的整数都没有乘法逆元。
