HP 50g Graphing Calculator - Manual (Page 190)

Page 5-13
multiplying j times k in modulus n arithmetic is, in essence, the integer
remainder of j
⋅ k/n in infinite arithmetic, if j ⋅ k>n. For example, in modulus 12
arithmetic we have 7 ⋅ 3 = 21 = 12 + 9, (or, 7 ⋅ 3/12 = 21/12 = 1 + 9/12, i.e.,
the integer reminder of 21/12 is 9). We can now write 7 ⋅ 3 ≡ 9 (mod 12), and
read the latter result as “seven times three is congruent to nine, modulus twelve.”
The operation of division can be defined in terms of multiplication as follows, r/
k
≡ j (mod n), if, j ⋅ k ≡ r (mod n). This means that r must be the remainder of
j ⋅ k/n. For example, 9/7 ≡ 3 (mod 12), because 7⋅3 ≡ 9 (mod 12). Some
divisions are not permitted in modular arithmetic. For example, in modulus 12
arithmetic you cannot define 5/6 (mod 12) because the multiplication table of
6 does not show the result 5 in modulus 12 arithmetic. This multiplication table
is shown below:
Formal definition of a finite arithmetic ring
The expression a
≡ b (mod n) is interpreted as “a is congruent to b, modulo n,”
and holds if (b-a) is a multiple of n. With this definition the rules of arithmetic
simplify to the following:
If a ≡ b (mod n) and c ≡ d (mod n),
then
a+c ≡ b+d (mod n),
a-c ≡ b - d (mod n),
a ×c ≡ b ×d (mod n).
For division, follow the rules presented earlier. For example, 17 ≡ 5 (mod 6),
and 21 ≡ 3 (mod 6). Using these rules, we can write:
17 + 21 ≡ 5 + 3 (mod 6) => 38 ≡ 8 (mod 6) => 38 ≡ 2 (mod 6)
17 – 21 ≡ 5 - 3 (mod 6) => -4 ≡ 2 (mod 6)
17 Ч 21 ≡ 5 Ч 3 (mod 6) => 357 ≡ 15 (mod 6) => 357 ≡ 3 (mod 6)
6*0 (mod 12) 0 6*6 (mod 12) 0
6*1 (mod 12) 6 6*7 (mod 12) 6
6*2 (mod 12) 0 6*8 (mod 12) 0
6*3 (mod 12) 6 6*9 (mod 12) 6
6*4 (mod 12) 0 6*10 (mod 12) 0
6*5 (mod 12) 6 6*11 (mod 12) 6