In number theory, the Dedekind psi function is the multiplicative function on the positive integers defined by where the product is taken over all primes
, which is the empty product, has value 1.)
The function was introduced by Richard Dedekind in connection with modular functions.
is: The function
is a square-free number then
ψ ( n ) = σ ( n )
is the sum-of-divisors function.
function can also be defined by setting
for powers of any prime
, and then extending the definition to all integers by multiplicativity.
This also leads to a proof of the generating function in terms of the Riemann zeta function, which is This is also a consequence of the fact that we can write as a Dirichlet convolution of
μ
There is an additive definition of the psi function as well.
Quoting from Dickson,[1] R. Dedekind[2] proved that, if
is decomposed in every way into a product
ranges over all divisors of
over the prime divisors of
is the totient function.
The generalization to higher orders via ratios of Jordan's totient is with Dirichlet series It is also the Dirichlet convolution of a power and the square of the Möbius function, If is the characteristic function of the squares, another Dirichlet convolution leads to the generalized σ-function,