U ovom poglavlju očekuje se znanje predavanja kongruencije.
Skup
ćemo nazivati potpuni sustav ostataka modulo n ako elementi
svi daju različite ostatke pri dijeljenju s
, i svi ostatci će pojavljuju.
Za razmisliti: koliko elemenata ima svaki potpuni sustav ostataka modulo
, za neki fiksni
?
Skup
ćemo nazivati reducirani sustav ostataka modulo n ako svi elementi
daju različite ostatke pri dijeljenju s
i pojavljuju se svi ostaci koji su relativno prosti s
.
Primjer:
Potpuni sustav ostataka modulo
je 
Reducirani sustav ostataka modulo
je 
Primjetimo da je za prost broj
potpuni sustav ostataka
, a reducirani sustav ostataka
. Ovo vrijedi jer je
relativno prost sa svim brojevima manjima od sebe.
Inverz
Sada se vratimo na pitanje koje smo ostavili otvoreno u poglavlju kongruencije. Pitanje dijeljenja.
Zapazimo da dijeljenje s
nije ništa drugo nego množenje s
, to jest ako želimo podijeliti neki broj s
, zapravo ga želimo pomnožiti s nekim
takvim da
.
Ovako odabrani
zovemo inverz broja
(primijetimo i da je
inverz od
).
Sada se postavlja prirodno pitanje, ako promatramo neki fiksni modul
, ima li svaki broj
svoj inverz modulo
?
Tu odmah vidimo da je odgovor ne, jer primjerice
očito nema inverz.
No može se pokazati da ako vrijedi
da
ima jedinstveni inverz modulo
. To će biti direktna posljedica zadatka
iz ovog područja.
Što to zapravo znači?
Ono što to za nas znači u praktičnom smislu je da, ako imamo kongruencijsku jednadžbu, i neki
relativno prost s
, tada možemo čitavu jednadžbu podijeliti s
.
Skup



Za razmisliti: koliko elemenata ima svaki potpuni sustav ostataka modulo


Skup




Primjer:
Potpuni sustav ostataka modulo


Reducirani sustav ostataka modulo


Primjetimo da je za prost broj




Inverz
Sada se vratimo na pitanje koje smo ostavili otvoreno u poglavlju kongruencije. Pitanje dijeljenja.
Zapazimo da dijeljenje s





Ovako odabrani




Sada se postavlja prirodno pitanje, ako promatramo neki fiksni modul



Tu odmah vidimo da je odgovor ne, jer primjerice

No može se pokazati da ako vrijedi




Što to zapravo znači?
Ono što to za nas znači u praktičnom smislu je da, ako imamo kongruencijsku jednadžbu, i neki


