
Mobius Inversion Formula
Prove that if f is multiplicative and the sum of f(d) (where the sum extends over all positive divisors of n) = n for all n, then f = Phi ( where the phi function is defined as the the number of positive integers not exceeding n that are relatively prime to n). As related to the Mobius Inversion Formula.
Can anyone get me going on this proof?

Well suppose you have a function such that . Then by the inversion formula you have , which is precisely .
You actually don't even need the hypothesis that is multiplicative.

I don't see how it is the same as phi(n). I understand the mechanics of the mobius inversion formula  but I'm not seeing the relationship to the phi function. Can you help me connect them?

Sure! Apply the inversion formula to . What do you get? (Giggle)

I get Phi=Summation of Mfunction(n/d) (d) which is also equal to n? Also, how do I access the math symbols?

To learn how to use LaTeX, click here.
If you apply the inversion formula you get (or , which is the same). Now compare this with above...

You're the best(Rofl) I can't express how thankful I am that you are willing to help me.

primes
Hi. I'm working on a few other questions as well. If you be so kind, I'd appreciate your input on this problem.
Suppose n>0, p/n, p is prime, p^2/n, Show that there exists integers a and b such that n=a^3b^2.
Now, it seems to me that all exponents of the prime factors of n have to be at least power of 2 which means that the odd exponents have power at least 3 which would satisfy the above statement. But I'm not sure how to show this symbolically  perhaps the explanation is enough?

Actually, you do not need to know Möbius formula for this.
If you think of it, having: for a given function , determines for all positive integers . (In fact is linear combination of for )
(THINK INDUCTIVELY)
Now since on the other post we proved that satisfies it follows that for all positive integers .
PS: But I have to say that proving the assertion above is as long (if not longer) than proving Möbius inversion formula. (Rofl)  although it seems a pretty obvious fact
