Learn more

We use the notation $\chi_{q}(n,\cdot)$ to identify Dirichlet characters $\Z\to \C$, where $q$ is the modulus, and $n$ is the index, a positive integer coprime to $q$ that identifies a Dirichlet character of modulus $q$ as described below. The LMFDB label $\texttt{q.n}$, with $1\le n < \max(q,2)$ uniquely identifies $\chi_{q}(n,\cdot)$.

Introduced by Brian Conrey, this labeling system is based on an explicit isomorphism between the multiplicative group $(\Z/q\Z)^\times$ and the group of Dirichlet characters of modulus $q$ that makes it easy to recover the order, the conductor, and the parity of a Dirichlet character from its label, or to induce characters.

As an example, $\chi_q(1, \cdot)$ is always trivial, $\chi_q(m,\cdot)$ is real if $m^2=1\bmod q$, and for all $m,n$ coprime to $q$ we have $\chi_q(m,n)=\chi_q(n,m)$.

For prime powers $q=p^e$ we define $\chi_q(n,\cdot)$ as follows:

For general $q$, the function $\chi_q(n, m)$ is defined multiplicatively: $\chi_{q_1 q_2}(n, m) := \chi_{q_1}(n, m)\chi_{q_2}(n, m)$ for all coprime positive integers $q_1$ and $q_2$. The Chinese remainder theorem implies that this definition is well founded and that every Dirichlet character can be defined in this way. In particular, every Dirichlet character $\chi$ of modulus $q$ can be written uniquely as a product of Dirichlet characters of prime power modulus.