Is $(3^p-1)/2$ always squarefree?

This is even unknown for the usual Mersenne numbers $M_p=2^p-1$. All such numbers, where the factorisation is known, are squarefree. However, Guy (1994) believes that there are $M_p$ which are not squarefree. As far as I know, a similar conjecture holds for $N_p=3^p-1$ and $N_p/2$.


If $q^2$ divides $3^p-1$ with an odd prime $p$ , then $q$ must be a Wieferich-prime to base $3$. The only known Wieferich-primes to base $3$ are $11$ and $1006003$ (https://oeis.org/A014127). There is no other example below about $10^{15}$.

The example $11^2|3^5-1$ was ruled out by your condition $p>5$. There is no prime $p>5$ with $11^2|3^p-1$ because the order of $3$ modulo $11^2$ is $5$.

The order of $3$ modulo $1006003^2$ is $1006002$. Since this is not prime, $3^p-1$ cannot be divisible by $1006003^2$.

So, $3^p-1$ is almost certain squarefree for $p>5$.