Hola
Se tiene que \( x^2-1\equiv 0\pmod 7 \), luego, como \( 7 \) es primo, tienes que \( x-1\equiv 0\pmod 7 \) ó \( x+1\equiv 0\pmod 7. \) Luego, \( x\equiv 1\pmod 7 \) ó \( x\equiv -1\pmod 7. \)
Esto es correcto. Y hay que resaltar que como bien indicas, es clave que \( 7 \) sea primo.
En general si trabajando módulo \( m \) tenemos \( ab\equiv 0 \) significa que:
\( ab=km \)
si \( m \) es primo, necesariamente \( m \) divide a \( a \) ó a \( b \) y por tanto \( a\equiv 0 \) ó \( b\equiv 0 \).
Si \( m \) fuese compuesto no tendría porque ser así. Por ejemplo:
\( 2\cdot 3=6\equiv 0 \) mod \( 6 \)
pero sin embargo \( 2\not\equiv 6 \) mod \( 6 \) y \( 3\not\equiv 6 \) mod \( 6 \).
PD: Igual tanteando con numeros de 0 a 6 podemos ver que 0 y 6 son solucion
Cuando uno trabaja módulo \( m \) (para un valor concreto) es totalmente lícito resolver una ecuación por simple inspección, probando todas las posibilidades. Si uno necesita resolver esa ecuación como aplicación de las matemáticas, problema resuelto. En el ámbito académico dependerá del contexto y del profesor que te lo permitan resolver así o no.
Saludos.