ここで、は素元によって生成される巡回群、はの剰余体の元の個数、はの  乗根全体のなす群、は単数群、は主単数群である。