定義
K を可換体とする。
n ≧ 1 を整数とする。
X^n - 1 ∈ K[X] の K 上の最小分解体（過去スレpart4の541）を
K 上の位数 n の円分体(cyclotomic field)と言う。