ディリクレ指標
A Dirichlet character is a completely multiplicative function formula_63 that satisfies a linear recurrence relation: that is, if