The Moebius Function of number theory seems to be defined in a rather artificial way:
if
is the product of an even number of distinct primes,
if
is the product of an odd number of distinct primes and
otherwise, i.e. if
is not squarefree.
James Tanton gives a playful approach to in his article “An Illuminating Introduction to the Moebius Function”, MAA Focus, March 2007, P. 16-17. It starts with the following game: Imagine a row of 100 coins — all equal and all with heads up. Also imagine 100 players. The first player flips every coin. The second player flips every other coin, the third player every third coin, …, the
th player flips every
th coin. Now, the question arises: Which coins show tails up after 100 rounds? Amazingly, it is all those whose position is a perfect square.
This game is then generalized to a row of light bulbs where every light bulb can cycle through different states:
and returns to state 0 after state
. Imagine an infinite row of such light bulbs and face the following task: Which of the players (characterized above) do you have to send down the row (several ones certainly repeatedly) to set the first bulb into state
and all others into state 0? Tanton then proves the following claim:
If the th player works the row
times (where we read
as
), then bulb 1 will be in state 1 and all others will be in state 0.
This approach also gives access to the multiplicity of the Moebius function and the Moebius inversion formula.