En la teoría analítica de números y ramas relacionadas de las matemáticas, una función aritmética de valor complejo es un carácter de módulo de Dirichlet (donde es un número entero positivo) si para todos los números enteros y : [1]
El carácter más simple posible, llamado el carácter principal , generalmente denotado , (ver Notación a continuación) existe para todos los módulos: [2]
es la función totient de Euler .
es una raíz n-ésima primitiva compleja de la unidad :
es el grupo de unidades mod . tiene orden
es el grupo de personajes de Dirichlet mod .