Below are some interesting properties of Modular Multiplication
(a x b) mod m = ((a mod m) x (b mod m)) mod m
Attention reader! Don’t stop learning now. Practice GATE exam well before the actual exam with the subject-wise and overall quizzes available in GATE Test Series Course.
Learn all GATE CS concepts with Free Live Classes on our youtube channel.
(a x b x c) mod m = ((a mod m) x (b mod m) x (c mod m)) mod m
The same property holds for more than three numbers.
The above formula is the extended version of the following formula:
Find the remainder of 15 x 17 x 19 when divided by 7.
On dividing 15 by 7 we get 1 as remainder.
On dividing 17 by 7 we get 3 as remainder.
On dividing 19 by 7 we get 5 as remainder.
Remainder of the expression (15 x 17 x 19)/7 will be equal to (1 x 3 x 5)/7.
Combined remainder will be equal to remainder of 15/7 i.e. 1.
Find the remainder of 1421 x 1423 x 1425 when divided by 12.
On dividing 1421 by 12 we get 5 as remainder.
On dividing 1423 by 12 we get 7 as remainder.
On dividing 1425 by 12 we get 9 as remainder.
Rem [(1421 x 1423 x 1425)/12] = Rem [(5 x 7 x 9)/12]
Rem [(35 x 9)/12] = Rem [(11 x 9)/12]
Rem [99/12] = 3.
How is it useful?
If we need to find remainder of multiplication of two large numbers, we can avoid doing the multiplication of large numbers, especially helpful in programming where multiplication of large numbers can cause overflow.
Proof: If we prove for two numbers, then we can easily generalize it. Let us see proof for two numbers.
Let a % m = r1 and b % m = r2 Then a and b can be written as (using quotient theorem). Here q1 is quotient when we divide a by m and r1 is remainder. Similar meanings are there for q2 and r2 a = m x q1 + r1 b = m x q2 + r2 LHS = (a x b) % m = ((m x q1 + r1 ) x (m x q2 + r2) ) % m = (m x m x q1 x q2 + m x q1 x r2 + m x q2 x r1 + r1 x r2 ) % m = (m x (m x q1 x q2 + q1 x r2 + q2 x r1) + r1 x r2 ) % m We can eliminate the multiples of m when we take the mod m. LHS = (r1 x r2) % m RHS = (a % m x a % m) % m = (r1 x r2) % m Hence, LHS = RHS