Dirichlet character
整数から複素数への写像formula_23で下記の性質を満たすものを法formula_13のディリクレ指標という。