8
$\begingroup$

I have a tough one today.

Show that if $n$ is an odd perfect number, then not all of $3$, $5$, and $7$ are divisors of $n$.

Any and all help is appreciated. Thanks very much.

  • 2
    I don't think this is known.2012-11-14
  • 1
    Is this an exercise from somewhere? It's relatively well known that _if_ an odd perfect number $n$ is not divisible by $3,\ 5$ or $7$ then $n$ has a large amount of prime factors, but I'm not aware that your statement holds.2012-11-14
  • 2
    [Wikipedia](http://en.wikipedia.org/wiki/Perfect_number#Minor_results) says it's true and gives a reference to a [1949 paper by Kühnel](http://dx.doi.org/10.1007/BF02230691). [Wolfram MathWorld](http://mathworld.wolfram.com/OddPerfectNumber.html) says it's a result by Catalan from 1888.2012-11-14
  • 3
    @lhf Interesting. The reference provided is dead (even the doi link is broken) but luckily I found [this](http://www.fen.bilkent.edu.tr/~cvmath/Problem/0610a.pdf) reference which contains a surprisingly compact proof.2012-11-14
  • 0
    @EuYu, I've given a correct link now.2012-11-14
  • 0
    Sometimes Google is your best friend.2012-11-14
  • 4
    Oh, are we supposed to read the question as meaning that no odd perfect number is divisible by all of $3, 5, 7$? That's a rather perverse reading, but it does at least make the claim true.2012-11-14

1 Answers 1

8

I did look at the link, but of course the first thing I thought of was Euler's form of an odd perfect number from which this follows immediately. Euler proved that the prime decomposition $n=q^\alpha p_1^{2e_1}\cdots p_m^{2e_m}$ where $q\equiv \alpha\equiv 1\operatorname{mod} 4$, i.e. a perfect square times one extra prime to a power.

Taking this into account, if $n$ is divisible by $3, 5,$ and $7$, then $3$ and $7$ must occur to at least the power $2$.

The abundancy index $I(n)=\frac{\sigma(n)}{n}$ gets larger if you increase powers or number of primes (i.e. for any $k>1$, $I(kn)>I(n)$, see Laatsch's article).

Thus $2=I(n)>I(5\cdot 3^2\cdot 7^2)=\frac{1+5}{5}\cdot\frac{1+3+3^2}{3^2}\cdot\frac{1+7+7^2}{7^2}>2$, a contradiction.