Chinese Remainder theorem for 2 congruences

Click For Summary
SUMMARY

The discussion focuses on the Chinese Remainder Theorem (CRT) for two congruences involving integers a, b, m, and n, where gcd(m, n) = 1. It establishes that if c is defined as c ≡ (b-a)·m⁻¹ (mod n), then x = a + cn is a solution to the system of congruences x ≡ a (mod m) and x ≡ b (mod n). The participants identify a potential typo in the original problem statement regarding the form of x, suggesting it should be x = a + cm instead of x = a + cn, to satisfy both congruences correctly.

PREREQUISITES
  • Understanding of the Chinese Remainder Theorem (CRT)
  • Familiarity with modular arithmetic
  • Knowledge of integer properties and gcd calculations
  • Experience with congruences and their solutions
NEXT STEPS
  • Study the proof of the Chinese Remainder Theorem for multiple congruences
  • Learn about modular inverses and their applications in solving congruences
  • Explore examples of CRT applications in cryptography
  • Investigate common pitfalls in congruence problems and how to avoid them
USEFUL FOR

Mathematics students, educators, and anyone interested in number theory, particularly those studying modular arithmetic and the Chinese Remainder Theorem.

fishturtle1
Messages
393
Reaction score
82

Homework Statement


Let ##a, b, m, n## be integers with ##\gcd(m,n) = 1##. Let $$c \equiv (b-a)\cdot m^{-1} (\operatorname{mod} n)$$
Prove that ##x = a + cn## is a solution to ##x \equiv a (\operatorname{mod} m)## and ##x \equiv b (\operatorname{mod} n)##, (2.24).

and that every solution to (2.24) has the form ##x = a + cn + ymn## for some ##y \epsilon \mathbb{Z}##.

Homework Equations

The Attempt at a Solution


Since ##\gcd(m,n) = 1## I tried following CRT..

##x \equiv a (\operatorname{mod} m)##
##x = a + mk##, for some integer ##k##.

Substituting into second congruence,
##a + mk \equiv b (\operatorname{mod} n)##
##mk \equiv b - a (\operatorname{mod} n)##
##k \equiv (b-a)\cdot m^{-1} (\operatorname{mod} n)##
##k = (b-a) \cdot m^{-1} + nl##, for some integer ##l##.
Substituting ##k## into ##x##,
##x = a + mk##
##x = a + m((b-a)\cdot m^{-1} + nl)##

But we're given ##c = (b-a)\cdot m^{-1}##
So ##x = a + mc + mnl## but they have ##nc## instead of ##mc## as the second term of ##x##Also, I tried to check that this ##x## satisfied both congruences but i have a problem:

We have ##x \equiv a + mc \equiv a + m(b-a)\cdot m^{-1} \equiv a + b - a \equiv b (\operatorname{mod} mn)##.

So this satisifes ##x = b \equiv b (\operatorname{mod} n)##
But i don't see how ##x = b \equiv a (\operatorname{mod} m)## is true unless ##a \equiv b (\operatorname{mod} m)##...
 
Physics news on Phys.org
It's a typo. The solution should be x=a+cm.
Then the first equation is satisfied trivially, and c cancels neatly in the 2nd equation.

Alternatively the typo could be in the given equations, meaning m and n should be swapped.
 
Ok, thank you.
 
  • Like
Likes   Reactions: I like Serena

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
4
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
Replies
4
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K