定义和含义

如果你已经认识了群和交换群的概念，那么你会发现，域不过就是一个集合上面有两种构成群的映射(加法构成的交换群和乘法构成的交换群)，然后还额外满足了两个群相容的性质^[1](在这里也就是乘法对加法的分配律)的集合。

层次标注

在这里，它属于第二层知识，即学科概念。

辅助理解的解释

你可能已经听说过类似于"实数域"这样的概念，这个概念其实就是在说由实数构成的集合以及作用在实数上的运算，我们将其称之为实数域。