This site is supported by donations to The OEIS Foundation.

Multiplicative arithmetic functions

From OeisWiki
Jump to: navigation, search

This article page is a stub, please help by expanding it.

Not to be confused with multiplicative functions, a term used in algebra.[1]

In number theory, multiplicative arithmetic functions are arithmetic functions such that

where means is coprime to . Obviously, must be 1.

For example, Euler's totient function is multiplicative: note that and thus However, as ; instead we should do . Functions where the identity holds even when the numbers are not coprime are called completely multiplicative.

Erdős proved[2] that if a function is multiplicative and increasing then there is some such that for [3] In fact an analogous result holds for decreasing functions,[4] so if a function is multiplicative and monotone then either it is for some or for

See also


  1. Outside of number theory, the term multiplicative function usually means "completely" multiplicative function, and the domain is not restricted to the positive integers.
  2. Paul Erdős (1946). “On the distribution function of additive functions”. Annals of Mathematics 47 (2): pp. pp. 1–20. 
  3. For , it is trivial, so he meant .
  4. Everett Howe (1986). “A new proof of Erdős's theorem on monotone multiplicative functions”. The American Mathematical Monthly 93 (8): pp. pp. 593–595.