Skip to main content
\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)
[ "article:topic-guide", "authorname:wraji", "showtoc:yes", "multiplicative functions" ]
Mathematics LibreTexts

4: Multiplicative Number Theoretic Functions

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    In this chapter, we study functions, called multiplicative functions, that are defined on integers. These functions have the property that their value at the product of two relatively prime integers is equal to the product of the value of the functions at these integers. We start by proving several theorems about multiplicative functions that we will use later. We then study special functions and prove that the Euler \(\phi\)-function that was seen before is actually multiplicative. We also define the sum of divisors and the number of divisors functions. Later define the Mobius function which investigate integers in terms of their prime decomposition. The summatory function of a given function takes the sum of the values of \(f\) at the divisors of a given integer \(n\). We then determine the Mobius inversion of this function which writes the values of \(f\) in terms of the values of its summatory function. We end this chapter by presenting integers with interesting properties and prove some of their properties.


    • Dr. Wissam Raji, Ph.D., of the American University in Beirut. His work was selected by the Saylor Foundation’s Open Textbook Challenge for public release under a Creative Commons Attribution (CC BY) license.