Certain arithmetical functions, known as Dirichlet characters mod , are used extensively in analytic number theory. Given an arbitrary group
, a character of
is generally a complex-valued function
with domain
such that
has the multiplicative property
for all
, and such that
for some
. Dirichlet characters mod
are certain characters defined for a particular type of group
, namely the group of reduced residue classes modulo a fixed positive integer
. A reduced residue system modulo
is a set of
integers
which are incongruent modulo , and each of which is relatively prime to
(the function
is Euler’s totient function, which counts the number of positive integers not exceeding
which are coprime with
). For each integer
in this set, we define a residue class
as the set of all integers which are congruent to
modulo
. For example, for
, we have
and one reduced residue system mod
is
. The reduced residue classes mod
are then
What we are saying is that this set of reduced residue classes mod
form a group, and the Dirichlet characters mod
are certain characters defined for this group. In general, if we define multiplication of residue classes by
(i.e., the product of the residue classes of and
is the residue class of the product
), then the set of reduced residue classes modulo
forms a finite abelian group of order
with this operation. The identity is the residue class
. The inverse of
in the group is the residue class
such that
mod
. If we let
be the group of reduced residue classes mod
, with characters
, then we define the Dirichlet characters mod
as arithmetical functions of the form
There are distinct Dirichlet characters
modulo
, each of which is completely multiplicative and periodic with period
. Each character value
is a (complex) root of unity if
whereas
whenever
. We also have
for all Dirichlet characters. For each
, there is one character, called the principal character, which is such that
These facts uniquely determine the Dirichlet character table for each . For reference purposes, I will set out the first ten Dirichlet character tables in the present note and demonstrate their calculation in detail.
k = 2

We have so there is only one Dirichlet character in this case (the principal one), with values
and
.
k = 3

We have so there are two Dirichlet characters in this case. One of them will be the principal character which takes the values
,
and
. To work out the second Dirichlet character we consider the two roots of unity
and
Note that the set of least positive residues mod is generated by
:
mod(
)
mod(
)
Therefore the non-principal Dirichlet character will be completely determined by the values of . If we set
then
(though this calculation is superfluous here since anyway. This is a fundamental property of Dirichlet characters arising from the fact that they are completely multiplicative). We also have
. This completes the second character. (From now on we will omit the statements of the zero values of the Dirichlet characters, which as stated earlier arise whenever
).
k = 4

We have so there are two Dirichlet characters in this case. One of them will be the principal character. (From now on we will always denote the principal character by
). To work out the second Dirichlet character we again consider the two roots of unity
and
Note that the set of least positive residues mod is generated by
:
mod(
)
mod(
)
Therefore the non-principal Dirichlet character will be completely determined by the values of . If we set
then
(though again this second calculation is superfluous since anyway). This completes the second character.
k = 5

We have so there are four Dirichlet characters in this case. We consider the four roots of unity
Note that the set of least positive residues mod is generated by
:
mod(
)
mod(
)
mod(
)
mod(
)
Therefore the non-principal Dirichlet characters will be completely determined by the values of . If we set
then
(and we have ). This completes the second character.
To compute the third character we can set
then
(and we have ). This completes the third character.
To compute the fourth character we set
then
(and we have ). This completes the fourth character.
k = 6

We have so there are two Dirichlet characters in this case. We consider the two roots of unity
and
Note that the set of least positive residues mod is generated by
:
mod(
)
mod(
)
Therefore the non-principal Dirichlet character will be completely determined by the values of . If we set
then
(though again this second calculation is superfluous since anyway). This completes the second character.
k = 7

We have so there are six Dirichlet characters in this case. We consider the six roots of unity
Note that the set of least positive residues mod is generated by
:
mod(
)
mod(
)
mod(
)
mod(
)
mod(
)
mod(
)
Therefore the non-principal Dirichlet characters will be completely determined by the values of . If we set
then
(and we have ). This completes the second character.
To compute the third character we can set
then
(and we have ). This completes the third character.
To compute the fourth character we can set
then
(and we have ). This completes the fourth character.
To compute the fifth character we can set
then
(and we have ). This completes the fifth character.
Finally, to compute the sixth character we set
then
(and we have ). This completes the sixth character.
k = 8

We have so there are four Dirichlet characters in this case. We consider the four roots of unity
In this case, none of the four elements of the set of least positive residues mod generates the entire set. However, the characters must satisfy the following relations, which restrict the choices:
Each character’s values must be chosen in such a way that these three relations hold.
To compute the second character, suppose we begin by trying to set
and
Then we must have
but then
so this does not work. If instead we try to set
then we must have
but then
so this does not work either. Computations like these show that cannot appear in any of the characters mod
. All the characters must be formed from
. (Fundamentally, this is due to the fact that the group of least positive residues mod
can be subdivided into four cyclic subgroups of order 2, each of which has characters whose values are the two roots of unity,
and
).
To compute the second character we can set
and
then we must have
and this works.
To compute the third character we can set
and
then we must have
and this works too.
Finally, to compute the fourth character we can set
and
then we must have
and this works too.
k = 9

We have so there are six Dirichlet characters in this case. We consider the six roots of unity
Note that the set of least positive residues mod is generated by
:
mod(
)
mod(
)
mod(
)
mod(
)
mod(
)
mod(
)
Therefore the non-principal Dirichlet characters will be completely determined by the values of . If we set
then
(and we have ). This completes the second character.
To compute the third character we can set
then
(and we have ). This completes the third character.
To compute the fourth character we can set
then
(and we have ). This completes the fourth character.
To compute the fifth character we can set
then
(and we have ). This completes the fifth character.
Finally, to compute the sixth character we can set
then
(and we have ). This completes the sixth character.
k = 10

We have so there are four Dirichlet characters in this case. We consider the four roots of unity
Note that the set of least positive residues mod is generated by
:
mod(
)
mod(
)
mod(
)
mod(
)
Therefore the non-principal Dirichlet characters will be completely determined by the values of . If we set
then
(and we have ). This completes the second character.
To compute the third character we can set
then
(and we have ). This completes the third character.
Finally, to compute the fourth character we set
then
(and we have ). This completes the fourth character.
k = 11

We have so there are ten Dirichlet characters in this case. We consider the ten roots of unity
Note that the set of least positive residues mod is generated by
:
mod(
)
mod(
)
mod(
)
mod(
)
mod(
)
mod(
)
mod(
)
mod(
)
mod(
)
mod(
)
Therefore the non-principal Dirichlet characters will be completely determined by the values of . If we set
then
(and we have ). This completes the second character.
To compute the third character we can set
then
(and we have ). This completes the third character.
To compute the fourth character we can set
then
(and we have ). This completes the fourth character.
To compute the fifth character we can set
then
(and we have ). This completes the fifth character.
To compute the sixth character we can set
then
(and we have ). This completes the sixth character.
To compute the seventh character we can set
then
(and we have ). This completes the seventh character.
To compute the eighth character we can set
then
(and we have ). This completes the eighth character.
To compute the ninth character we can set
then
(and we have ). This completes the ninth character.
Finally, to compute the tenth character we set
then
(and we have ). This completes the tenth character.
