OliForum Matematico

Sia p un primo e a un intero positivo. Sia poi $ \{ r_1, \ldots, r_{\phi(p^a)} \} $ un sistema ridotto di residui $ \pmod{p^a} $
Dimostrare che
$ (x^{p-1} - 1)^{p^{a-1}} \equiv _x (x - r_1)(x - r_2) \cdots (x - r_{\phi(p^a)}) \pmod{p^a} $.

Cos'è un sistema ridotto di residui?

Prendi un interno n, un insieme $ S = \{a_1, ..., a_{\phi(n)} \} $ è un sistema ridotto di residui (mod n) se per ogni $ a \in Z $ t.c. $ (a, n) = 1 $ esiste un unico $ a_i \in S $ t.c. $ a \equiv a_i (mod n) $.
Per esempio, un si.ri.re. (mod p primo) è $ \{1, 2, ..., p-1 \} $