子域

如果域 元素的一个子集 在与 相同的运算下满足域公理，则 称为 的子域。 在阶为 的有限域中（ 为素数），对于每个整除 的 ，都存在一个阶为 的子域。