Character sum of a Dirichlet character (source code)

= Character sum of a Dirichlet character

= Character sums of Dirichlet characters
{synonym}

A character sum of a <Dirichlet character> $\chi$ is a finite <sum> such as $\sum_{n\leq x}\chi(n)$ or the weighted <sum> $\sum_{n\leq x}a_n\chi(n)$. <Orthogonality of Dirichlet characters> converts <residue class> restrictions to these sums.