Nonvanishing of a nonprincipal Dirichlet L-function at one

ID: nonvanishing-of-a-nonprincipal-dirichlet-l-function-at-one

For every nonprincipal Dirichlet character ,
Multiply the Dirichlet L-functions over every character modulo . The resulting Euler product has nonnegative coefficients. A zero at one would cancel the principal factor's pole and contradict the Landau theorem for a Dirichlet series with nonnegative coefficients.

New to topics? Read the docs here!