Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/ii/paper-3/1g/solution
Past exam of the mathematics course of the University of Cambridge 2018 ii Paper 3 1G Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-03
An arithmetic function is multiplicative if whenever and are coprime integers. If and , every positive integer divisor of is uniquely with and . Henceso is multiplicative.
The Möbius function is defined by , if the square of a prime number divides , and if is a product of distinct prime numbers. Coprime integers have disjoint sets of prime factors, so this definition immediately gives when .
For , only the square-free divisors contribute, and thereforeFor the sum is . Thus in the language of Dirichlet convolution. Convolving with gives the Möbius inversion formula
If , its divisor sum is the sum-of-divisors function. Conversely, if , Möbius inversion givesusing the standard divisor identity for the Euler totient function. Therefore the two requested answers are
New to topics? Read the docs here!