Proof of CRT ( for two moduli) We must proue that f: Zm,m Zmx Zm given by m,) is a bijecdion.

Elements Of Modern Algebra
8th Edition
ISBN:9781285463230
Author:Gilbert, Linda, Jimmie
Publisher:Gilbert, Linda, Jimmie
Chapter8: Polynomials
Section8.2: Divisibility And Greatest Common Divisor
Problem 35E
icon
Related questions
Question

Write down the proof for the CRT in your own words.

Proof of CRT (for two moduli)
We must
prove
that f: Zm,ma s Zmx Zm given by
is a bijection.
Proof
O Fist check that f is well- delined, i.e. that ļ is indeperdennt
of the choice of representadive x for the class [x),m
Show that f is one-to-one
Show that ļ is onto
Thờs is trinsal if f is one-tonone, as ! Zmml= m,m = ! Zimy !:| Zma!.
For O: Suppose x' is another representadive of [x)m,m -
*,x e [x]m
x' = x (mod m,m2)
m, I cx?-x) and myl (x?-x)
mi,ma are Coprime
x 2 x (mod m,) and x'EX (mod m2)
For @: Suppose f( mamm) - f( Eyamm)
Dx)m, Cy Jom, and [xd me" [gJma
m,I (x-y) and ml (x-y)
m, m,I (xy)
as m,,m2 are coprime
*iy (mad m,m,)
[x) mima =[y]m, my
Transcribed Image Text:Proof of CRT (for two moduli) We must prove that f: Zm,ma s Zmx Zm given by is a bijection. Proof O Fist check that f is well- delined, i.e. that ļ is indeperdennt of the choice of representadive x for the class [x),m Show that f is one-to-one Show that ļ is onto Thờs is trinsal if f is one-tonone, as ! Zmml= m,m = ! Zimy !:| Zma!. For O: Suppose x' is another representadive of [x)m,m - *,x e [x]m x' = x (mod m,m2) m, I cx?-x) and myl (x?-x) mi,ma are Coprime x 2 x (mod m,) and x'EX (mod m2) For @: Suppose f( mamm) - f( Eyamm) Dx)m, Cy Jom, and [xd me" [gJma m,I (x-y) and ml (x-y) m, m,I (xy) as m,,m2 are coprime *iy (mad m,m,) [x) mima =[y]m, my
Expert Solution
steps

Step by step

Solved in 3 steps with 3 images

Blurred answer
Similar questions
Recommended textbooks for you
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,
Algebra & Trigonometry with Analytic Geometry
Algebra & Trigonometry with Analytic Geometry
Algebra
ISBN:
9781133382119
Author:
Swokowski
Publisher:
Cengage