Množina zbytkových tříd
Z Wikipedie, otevřené encyklopedie
Množinu zbytkových tříd značíme ℤn={[a]n|a∈ℤ}, kde [a]n={b|b∈ℤ, b-a mod n = 0}. Operace + je definována: [a]n+[b]n=[a+b]n. Operace · je definována: [a]n·[b]n=[a·b]n.
[editovat] Příklady
- ℤ2={{…,-4,-2,0,2,4,…},{…,-3,-1,1,3,…}}={[0]2,[1]2}.
- Ověření korektnosti definice: [0]2+[1]2=[1]2=[-50]2+[131]2.