A Dirichlet character modulo N is a completely multiplicative arithmetic function χ: Z -> C that is periodic of period N, vanishes on integers not coprime to N, and factors through the unit group (Z/NZ)^× via a group homomorphism to C^×.

Principle

Construct characters as extensions by zero of group homomorphisms from the multiplicative unit group modulo N to the nonzero complex numbers; use their orthogonality and multiplicativity to isolate arithmetic progressions and build L-series.

Demonstration

For modulus 4, the nonprincipal character χ with χ(1)=1, χ(3)=-1 and χ(even)=0 is a Dirichlet character; it distinguishes residues 1 and 3 modulo 4 and appears as coefficient weight in L(s,χ) to study primes ≡1 or 3 mod 4.

Misapplication

Using a periodic function modulo N that fails to be multiplicative or that does not vanish on non-coprime integers; confusing additive characters e^{2πikn/N} with Dirichlet characters or failing to check primitivity versus conductor.

Consequence

Dirichlet characters produce Dirichlet L-series with analytic properties and obey orthogonality relations that permit averaging over residues to prove results such as Dirichlet's theorem on primes in arithmetic progressions.

Reversal

The reversal would be an additive character or a general multiplicative function lacking periodicity modulo N; these do not factor through (Z/NZ)^× and thus lack the orthogonality relations of Dirichlet characters.

Boundary

Defined relative to a modulus N and with values in C; one must distinguish principal versus primitive characters (conductors) and note that not every completely multiplicative periodic function is a character unless it vanishes on non-coprime inputs and factors through the unit group.

Semantic Tension

Close to notions such as primitive character, real or complex character, and Hecke (or Grössen) characters; confusion can arise between these and other multiplicative coefficients used in L-series.

Synthesis

A Dirichlet character modulo N is a multiplicative, N-periodic map from integers to complex numbers induced by a homomorphism on (Z/NZ)^× and extended by zero on non-coprime integers, serving as a fundamental building block for Dirichlet L-series and residue-class orthogonality.