Some Extensions to Touchard's Theorem on Odd Perfect Numbers

Abstract

The multiplicative structure of an odd perfect number $n$, if any, is $n=π^αM^2$, where $π$ is prime, $\gcd(π,M)=1$ and $π\equiv α\equiv1\pmod{4}$. An additive structure of $n$, established by Touchard, is that "$\bigl(n\equiv 9\pmod{36}\bigr )$ OR $\bigl (n\equiv1\pmod{12}\bigr )$". A first extension of Touchard's result is that the proposition "$\bigl(n\equiv x^2\pmod{4 x^2}\bigr )$ OR $\bigl (n\equiv π\equiv1\pmod{4 x}\bigr )$" holds for $x=3$ (the extension is due to the fact that the second congruence contains also $π$). We further extend the proof to $x=α+2$, $α+2$ prime, with the restriction that the congruence modulo $4 x$ does not include $n$. Besides, we note that the first extension of Touchard's result holds also with an exclusive disjunction, so that $π\equiv 1\pmod{12}$ is a sufficient condition because $3\nmid n$.