When does $2^n-1$ divide $3^n-1$?

1.3k Views Asked by At

Is it possible for some integer $n>1$ that $2^n-1\mid 3^n-1$ ?

I have tried many things, but nothing worked.

1

There are 1 best solutions below

0
On

When $2^n-1$ is a Mersenne prime,this can be resolved ( although this isn't very helpful, because we only know of 49 Mersenne primes and we don't know if they are finitely many.However, it sure is nice to know that $ 2^{74,207,281} − 1$ does not divide $3^{74,207,281} − 1$).

Let $q = 2^p-1$ be prime, therefore $F_q$ is a field. We know that polynomials of degree k must have at most k solutions in a field.Applying this to $x^p-1$, which has the solution 2 mod q, we see that this must have at most p solutions.But the set $A=(1,2,...,2^{p-1})$ obviously consists of different solutions, therefore it is the complete solution set. Since $q|3^p-1$ , we see that 3 is a solution, therefore $3 \in A $, but all the elements of the set $A-3$ have modulus less than q (obviously) and are different from 0, so no such solution may exist.

When n is a prime, but $2^n-1$ is not necessarily a Mersenne prime, we can employ the same reasoning for a prime divisor $q$ of $2^n-1$ :3 must be congruent to some power of 2 modulo q. Therefore q divides a number of the form $2^i-3$.I don't know what the prime divisors of the sequence $2^i-3$ are, but a very weak corollary is this : either $3$ or $6$ is a quadratic residue mod q, therefore, by toying with quadratic reciprocity a bit, we get this : $q \equiv \pm 1, \pm 5, \pm 13\pmod{24}$.So when n is prime, the prime divisors of $2^n-1$ must be of this specific form (note that this is a very weak corollary).