rmula_1向量空间，以formula_24为基，空间维数是2，即formula_25考虑多项式方程formula_26的个复根formula_27，它们被称做次单位根，具体可以写作：在formula_1中添加formula_27得到的扩域称为次分圆域，记作formula_31。可以证明formula_31是有限维formula_1向量空间，维数为formula_34（formula_35是数论中的欧拉函数），即formula_36实数域formula_37、复数域formula_38和进数域f