概念，并证明了着名的库默尔同余。
性质.formula_2 次分圆域是多项式 formula_7 的分裂域，因此是有理数域的伽罗瓦扩域。这个扩张的次数：formula_8 等于 formula_9，其中formula_10 是欧拉函数。formula_3 的所有伽罗瓦共轭是formula_12，其中 a 遍历模 n的简化剩余系（所有与 n 互质的剩余类）。同样地，formula_2 次分圆域的伽罗瓦群同构于模 n 的乘法群 formula_14，其元素为
与