Definition:Primitive Dirichlet Character