子域

如果域 元素的一個子集 在與 相同的運算下滿足域公理，則 稱為 的子域。 在階為 的有限域中（ 為素數），對於每個整除 的 ，都存在一個階為 的子域。