¿Cómo resolver $7^x -5x^3 \equiv 0 \quad \pmod{11}?$

Question

Tengo que estudiar la solubilidad de la ecuación $$ 7^x -5x^3 \equiv 0 \quad \pmod{33} $$ y determinar sus soluciones enteras $ x $ con $ 0 \le x \le 110 $.

Empecé dividiendo esta ecuación en dos ecuaciones $$\cases {7^x -5x^3 \equiv 0 \quad \pmod{3} \\ 7^x -5x^3 \equiv 0 \quad \pmod{11}}.$$ Para la primera intenté sustituir los valores $0,1,2 $ y encontré que $2$ es la única solución posible.

Luego intenté resolver la segunda con el método de índices: $$ x \cdot\mbox{ind}_{11}(7)-\mbox{ind}_{11}(5)-3\cdot\mbox{ind}_{11}(x) \equiv 0 \pmod{\phi(11)}.$$ Noté que $2$ es una raíz primitiva $\pmod{11}$ y calculé sus potencias que llevaron a $$2^4 \equiv 5 \pmod{11} \\2^7 \equiv 7 \pmod{11}.$$ La ecuación se convirtió en $$ x \cdot 7 - 4- 3 \cdot \mbox{ind}_{11}(x) \equiv 0 \pmod{\phi(11)} \quad \longrightarrow \quad 7 x - 3 \cdot \mbox{ind}_{11}(x) \equiv 4 \quad \pmod{\phi(11)}.$$

Luego me detuve porque no tenía pistas sobre cómo continuar. ¿Tienes alguna idea?

Gracias de antemano.

Answer 1

En lugar de usar la raíz primitiva $2$, note que $7$ es una raíz primitiva módulo 11, porque $7^2\equiv 5$ y $7^5\equiv -1$. Por lo tanto, usar índices de 7 es un movimiento sensato. Listamos los valores: $$ \begin{array}{c|c|c} \hline x\pmod{11} & 5x^3\equiv 7^x\pmod{11} & x\pmod{10} \\\hline 1 & 5&2\\ 2 & 7&1\\ 3 & 3&4\\ 4 & 1&0\\ 5 & 9&8\\ 6 & 2&3\\ 7 &10&5\\ 8 & 8&9\\ 9 & 4&6\\ 10& 6&7\\\hline \end{array} $$ Por lo tanto, combinando las columnas exteriores, conoces diez soluciones $x\pmod{110}$ y sabes que $x\equiv 2\pmod{3}$. Por lo tanto, puedes escribir las diez soluciones módulo 330 y determinar las soluciones entre 0 y 110.

Answer 2

Numéricamente en pari-gp:

? for(x=0,110,a=Mod(7,33)^x;b=Mod(5*x^3,33);if(a-b==0,print1(x", ")))
14, 38, 83, 86, 95, 101,

Teóricamente usando orden multiplicativo, logaritmo discreto y teorema del resto chino:

? znorder(Mod(7,33))
%1 = 10
?
? for(r=0,32,z=znlog(r,Mod(7,33),10);print(r"    "z))
0    []
1    0
2    []
3    []
4    6
5    []
6    []
7    1
8    []
9    []
10    5
11    []
12    []
13    3
14    []
15    []
16    2
17    []
18    []
19    9
20    []
21    []
22    []
23    []
24    []
25    4
26    []
27    []
28    7
29    []
30    []
31    8
32    []
?
? R=A=[];for(r=0,32,z=znlog(r,Mod(7,33),10);if(#z,R=concat(R,r);A=concat(A,Mod(z,10))))
? R
%4 = [4, 7, 10, 13, 16, 19, 25, 28, 31]
? A
%5 = [Mod(6, 10), Mod(1, 10), Mod(5, 10), Mod(3, 10), Mod(2, 10), Mod(9, 10), Mod(4, 10), Mod(7, 10), Mod(8, 10)]
?
? B3=[];for(i=1,#R,r=R[i];w=polrootsmod(5*x^3-r,3)[1];B3=concat(B3,w))
? B3
%7 = [Mod(2, 3), Mod(2, 3), Mod(2, 3), Mod(2, 3), Mod(2, 3), Mod(2, 3), Mod(2, 3), Mod(2, 3), Mod(2, 3)]
?
? B11=[];for(i=1,#R,r=R[i];w=polrootsmod(5*x^3-r,11)[1];B11=concat(B11,w))
? B11
%9 = [Mod(9, 11), Mod(2, 11), Mod(7, 11), Mod(6, 11), Mod(1, 11), Mod(8, 11), Mod(3, 11), Mod(10, 11), Mod(5, 11)]
?
? B=chinese(B3,B11)
%10 = [Mod(20, 33), Mod(2, 33), Mod(29, 33), Mod(17, 33), Mod(23, 33), Mod(8, 33), Mod(14, 33), Mod(32, 33), Mod(5, 33)]
?
? X=chinese(A,B)
%11 = [Mod(86, 330), Mod(101, 330), Mod(95, 330), Mod(83, 330), Mod(122, 330), Mod(239, 330), Mod(14, 330), Mod(197, 330), Mod(38, 330)]
?
? S=Set();for(i=1,#X,x=lift(X[i]);if(x<=110,S=setunion(S,[x])))
? S
%15 = [14, 38, 83, 86, 95, 101]