Dirichlet character
正の整数formula_13につきformula_15個のディリクレ指標があり、それらは群を成す。ディリクレ指標には直交性がある。