同态映射是一种保持运算的单射,其必有逆映射
同态映射
a m o d r s → ( a m o d r , a m o d s ) b m o d r s → ( b m o d r , b m o d s ) a b m o d r s → ( a b m o d r , a b m o d s ) \begin{aligned} &a \mod rs \rightarrow (a \mod r,a \mod s)\\ &b \mod rs \rightarrow (b \mod r,b \mod s)\\ &ab \mod rs \rightarrow(ab \mod r,ab \mod s) \end{aligned} amodrs→(amodr,amods)bmodrs→(bmodr,bmods)abmodrs→(abmodr,abmods)
逆映射
a
m
o
d
r
s
→
(
a
m
o
d
r
,
a
m
o
d
s
)
→
(
v
,
w
)
\begin{aligned} &a \mod rs \rightarrow (a \mod r,a \mod s)\rightarrow(v,w) \end{aligned}
amodrs→(amodr,amods)→(v,w)
{
a
≡
v
m
o
d
r
a
≡
w
m
o
d
s
\begin{cases} a \equiv v \mod r\\ a \equiv w\mod s\\ \end{cases}
{a≡vmodra≡wmods
中 国 剩 余 定 理 可 可 其 数 a = t 1 M 1 r + t 2 M 2 s \begin{aligned} 中国剩余定理可可其数a=t_1M_1r+t_2M_2s \end{aligned} 中国剩余定理可可其数a=t1M1r+t2M2s
实例
a = 3141592 , b = 2718281 , r s = 2 24 − 1 a b m o d r s = ( 3141592 ∗ 2718281 ) m o d 2 24 − 1 r = 2 12 − 1 , s = 2 12 + 1 3141592 → ( 3141592 m o d ( 2 12 − 1 ) , 3141592 m o d ( 2 12 + 1 ) ) 2718281 → ( 2718281 m o d ( 2 12 − 1 ) , 2718281 m o d ( 2 12 + 1 ) ) 3141592 → ( 727 , 3290 ) 2718281 → ( 3296 , 1970 ) 3141592 ⋅ 2718281 → ( 727 ⋅ 3296 , 3290 ⋅ 1970 ) a = 2 11 ( 2 12 + 1 ) v + 2 11 ( 2 12 − 1 ) w \begin{aligned} &a=3141592,b=2718281,rs = 2^{24}-1\\ &ab \mod rs=(3141592*2718281) \mod 2^{24}-1\\ &r =2^{12}-1,s=2^{12}+1\\ &3141592\rightarrow(3141592 \mod (2^{12}-1),3141592 \mod (2^{12}+1))\\ &2718281\rightarrow(2718281\mod (2^{12}-1),2718281\mod (2^{12}+1))\\ &3141592\rightarrow (727 ,3290)\\ &2718281\rightarrow(3296,1970)\\ &3141592 \cdot 2718281 \rightarrow(727\cdot 3296,3290\cdot 1970)\\ &a= 2^{11}(2^{12}+1)v+2^{11}(2^{12}-1)w \end{aligned} a=3141592,b=2718281,rs=224−1abmodrs=(3141592∗2718281)mod224−1r=212−1,s=212+13141592→(3141592mod(212−1),3141592mod(212+1))2718281→(2718281mod(212−1),2718281mod(212+1))3141592→(727,3290)2718281→(3296,1970)3141592⋅2718281→(727⋅3296,3290⋅1970)a=211(212+1)v+211(212−1)w