Dirichlet Characters
Dirichlet characters are the multiplicative characters of the group , extended to arithmetic functions on . They are the key ingredient in Dirichlet L-functions and the study of primes in arithmetic progressions.
Definition and Basic Properties
A Dirichlet character modulo is a function satisfying: (1) (periodicity), (2) (complete multiplicativity), (3) iff . There are exactly Dirichlet characters mod , forming a group under pointwise multiplication isomorphic to . The principal character satisfies for .
A character mod is primitive if it is not induced from a character mod for any proper divisor . The conductor is the smallest modulus from which can be induced. Every character mod is induced from a unique primitive character mod : where is primitive mod and is principal mod .
Orthogonality Relations
The Dirichlet characters satisfy two orthogonality relations:
First:
Second:
The first relation extracts arithmetic progressions: for .
Gauss Sums
The Gauss sum associated to mod is . For a primitive character : and . Gauss sums play the role of "Fourier transforms" for characters and appear in the functional equation of .
For the Legendre symbol (a real primitive character mod ): . This evaluation of the quadratic Gauss sum is closely related to the proof of quadratic reciprocity.