For a positive integer n, let ζ be a primitive n-th root of unity: then
The degree of is given by the Euler totient function .
Since any n-th root of unity is a primitive d-th root of unity for some factor d of n, we have
By the Möbius inversion formula we have
where μ is the Möbius function.