Commit 2024-04-03 22:32 fdb986a8
View on Github →feat(NumberTheory/LSeries/Dirichlet): new file, material on specific L-series (#11712)
This PR adds a new file NumberTheory.LSeries.Dirichlet
that contains results on L-series of specific functions:
- the Möbius function
- Dirichlet characters, with the constant function
1
as a special case - the arithmetic function
ζ
(which has the same L-series as the constant function1
) - the von Mangoldt function and its twists by Dirichlet characters
It also adds (L-series of zero and of the indicator function of
{1}
) and removes (convergence of the L-series of the constant function1
/ ofζ
; this is moved to the new file) some material to/fromNumberTheory.LSeries.Basic
. See this thread on Zulip.