Teorema de Wilson: si $p$ es primo, entonces $(p-1)! \equiv -1(mod$ $ p)$
Enfoque: $$(p-1)!=1*2*3*....*p-1$$
Mi profesor dijo en clase que el gcd de todo entero menor que p y p es 1, por lo que todo entero tiene un inverso multiplicativo $(mod$ $ p)$ . También dijo que los inversos multiplicativos de cada entero menor que p están en el mismo conjunto de enteros menores que p (Esta idea parece correcta, pero ¿hay que demostrarlo?). los inversos multiplicativos de 1 y p-1 son autoinversos (Dibujando diferentes cuadrículas mod, parece correcto, pero de nuevo ¿cómo es eso cierto?). Concluyó lo siguiente:
$$1*(p-1)*(a_1a_1^{-1}*.....*a_{{p-3}/2}*{a_{{p-3}/2}}^{-1}) \equiv -1(mod\text{ } p)$$
Así que está agrupando todos los elementos con inverso multiplicativo distinto. Esto tiene sentido porque hay p-3 elementos con inversos multiplicativos distintos y p-3 es par, así que podemos agruparlos de dos en dos. ¿Cómo sabemos que un inverso multiplicativo corresponde a un solo número, por lo que podemos agruparlos de una manera tan fácil?.
0 votos
La última pregunta es una sutileza que a menudo se pasa por alto. Mostrar la relación $\,x\sim y\,$ si $\, x=y\,$ o $\,x = y^{-1}$ es una relación de equivalencia, por lo que particiones los residuos no nulos (en clases de equivalencia de tamaño $1$ o $\,2\,)$ . Si está familiarizado con las permutaciones, entonces las clases son las ciclos de la permutación $\,x\mapsto x^{-1},\,$ es decir, las órbitas de este mapa de inversión.
0 votos
En $\mathbb F_p$ tienes $a^{p-1}$ para todos $a\ne 0$ por lo que tiene $a^{p-2}$ es la inversa (única) de $a$ . Por lo tanto $$1\cdot(2\cdot 2^{p-2})\cdot(3\cdot 3^{p-2})\cdot .....(\frac{p-1}{2})\cdot (\frac{p-1}{2})^{p-2}\cdot (p-1)=(p-1)!=1\cdot(p-1)=-1$$
0 votos
¿Responde esto a su pregunta? Intuición del teorema de Wilson