们被称做次单位根，具体可以写作：在formula_1中添加formula_27得到的扩域称为次分圆域，记作formula_31。可以证明formula_31是有限维formula_1向量空间，维数为formula_34（formula_35是数论中的欧拉函数），即formula_36实数域formula_37、复数域formula_38和进数域formula_39都不是formula_1的有限扩张，因此都不是代数数域。任何有限域都不是formula_1的扩域，因此也不是代数数域。全体规矩数构成的域