a_1中添加的平方根而得的扩域。与高斯有理数域类似，可以证明formula_20是formula_1向量空间，以formula_24为基，空间维数是2，即formula_25考虑多项式方程formula_26的个复根formula_27，它们被称做次单位根，具体可以写作：在formula_1中添加formula_27得到的扩域称为次分圆域，记作formula_31。可以证明formula_31是有限维formula_1向量空间，维数为formula_34（formula_35是数论中的欧拉函数），即f