3
$\begingroup$

This might be related to an open problem.

For odd natural $n$ define the Euler quotient:

$$ a(n)=\frac{(2^{\phi(n)}-1) \bmod n^2}{n}=\frac{2^{\phi(n)}-1}{n} \bmod n$$

Q1 Are there infinitely many $n$ with unbounded smallest prime factor for which $a(n)$ is non-zero?

Q2 Are there infinitely many $n$ for which $a(n)$ is non-zero?

$a(n)=0$ is OEIS Wieferich numbers (1)

$a(n)=1$ for prime $n$ is OEIS A125854

$a(n)=3$ for prime $n$ is OEIS A175866

Conditional results are welcome, but we believe abc implies positive answers.

$\endgroup$

1 Answer 1

8
$\begingroup$

Let $p$ be any odd prime. Suppose that $2^{p-1}-1=p^ku$ for some integer $u$ with $(p,u)=1$. Then by Lifting The Exponent Lemma for all integer $K\geq 0$ we have $$ 2^{p^K(p-1)}-1=p^{K+k}u_K $$ For some integer $u_K$ such that $(p,u_K)=1$. Therefore, for all $K>k$ the number $n=p^{K+1}$ satisfies $$ 2^{\varphi(n)}-1\not\equiv 0\pmod {n^2} $$

$\endgroup$
2
  • 3
    $\begingroup$ Please rewrite “For some integer $(p,u_K)=1$” since it looks like a crucial word is missing before the equation. The sentence doesn’t make sense, like “For some integer $a=b$.” $\endgroup$
    – KConrad
    Commented Jul 16, 2022 at 12:51
  • $\begingroup$ @KConrad sorry, edited $\endgroup$ Commented Jul 16, 2022 at 21:00

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .