Si, però le soluzioni non dovrebbero essere più di 3?
Guarda io l'esercizio lo risolvo in questo modo, poi dimmi se ti ci ritrovi.
\( \displaystyle {12}{x}\equiv{21}_{{\text{mod}{81}}} \) ha soluzione se e solo se \( \displaystyle {d}={\left({12},{81}\right)}={1} \) cioè sono coprimi.
Dato che \( \displaystyle {d}={\left({12},{81}\right)}={3} \) possiamo dividere ogni termine dell'equazione per \( \displaystyle {3} \), quindi abbiamo \( \displaystyle {4}{x}\equiv{7}_{{\text{mod}{27}}} \)
dove questa volta \( \displaystyle {d}={\left({4},{27}\right)}={1} \).
Di \( \displaystyle {4}{x}\equiv{7}_{{\text{mod}{27}}} \) calcolo l'inverso moltiplicativo al fine di semplificarlo che significa risolvere la seguente
equazione:
\( \displaystyle {4}{x}\equiv{1}_{{\text{mod}{27}}} \) cioè \( \displaystyle {27}{\mid}{4}{x}-{1}\Rightarrow\exists{y}\in\mathbb{Z} \) tale che \( \displaystyle {4}{x}-{1}={27}{y} \) e \( \displaystyle {4}{x}-{27}{y}={1} \) che ha soluzione per \( \displaystyle {x}={7} \) e \( \displaystyle {y}={1} \),
infatti \( \displaystyle {28}-{27}={1} \). Quindi \( \displaystyle {4}{x}\equiv{7}_{{\text{mod}{27}}} \) diventa \( \displaystyle {x}\equiv{49}_{{\text{mod}{27}}}\equiv{22}_{{\text{mod}{27}}} \); questo implica che
\( \displaystyle {27}{\mid}{x}-{22}\Rightarrow\exists{k}\in\mathbb{Z} \) tale che \( \displaystyle {x}-{22}={27}{k} \) e \( \displaystyle {x}={22}+{27}{k} \) che sono le (credo)infinite soluzione all'equazione congruenziale.
Ad esempio per \( \displaystyle {k}={0} \), \( \displaystyle {x}={22} \) e \( \displaystyle \frac{{81}}{{12}}\cdot{22}-{21}={3} \)
Per \( \displaystyle {k}={1} \), \( \displaystyle {x}={49} \) e \( \displaystyle {81}{\mid}{12}\cdot{49}-{21}={7} \)
Per \( \displaystyle {k}={2} \), \( \displaystyle {x}={76} \) e \( \displaystyle {81}{\mid}{12}\cdot{76}-{21}={11} \)
e così via (salvo smentite

)