5- Si p es un número primo, demuestre que para cualquier

entero a, se cumple que: a p  a (modp)

solución:
Si mcd(a,p)1 tenemos que son primos relativos y que [a] ∈ Z p
es distinto de cero y [a] p-1  1, esto porque hay un p primo y
un elemento a distinto de cero en Z p . Ahora con esto vemos
que [a] p-1  1 si y solo si a p-1  1(modp), por un teorema que
establece lo siguiente : a  cmod n  a  c. Ahora vemos
que aplicandolo tenemos a p-1  1(modp).
Ya a p-1  1(modp), entonces 1[a] y podemos hacer lo siguiente:
al multiplicar a a ambos lados vemos que sigue siendo
congruente, a p−1 a  a. 1mod p entonces de eso tenemos
a p  amod p .