ディリクレ指標
実際、ルジャンドル記号は 上で定義されているが、 を法とした剰余類上では一定なので の単数群上で矛盾なく定義できる。ルジャンドル記号はディリクレ指標なので単数群上で に値を取る群準同型を定める。