11:
Tak. Z Małego Twierdzenia Fermata wynika, że:
\(\displaystyle{ a^p \equiv a\pmod{p}\\
a^q \equiv a\pmod{q}}\)
Stąd i z założenia (i z tego, że \(\displaystyle{ p,q}\) są względnie pierwsze) wynika, że:
\(\displaystyle{ a^p \equiv a\pmod{pq}\\
a^q \equiv a\pmod{pq}}\)
a zatem:
\(\displaystyle{ a^{pq}=(a^p)^q}\equiv a^q \equiv a \pmod {pq}}\).
\(\displaystyle{ a^p \equiv a\pmod{p}\\
a^q \equiv a\pmod{q}}\)
Stąd i z założenia (i z tego, że \(\displaystyle{ p,q}\) są względnie pierwsze) wynika, że:
\(\displaystyle{ a^p \equiv a\pmod{pq}\\
a^q \equiv a\pmod{pq}}\)
a zatem:
\(\displaystyle{ a^{pq}=(a^p)^q}\equiv a^q \equiv a \pmod {pq}}\).



