A Concise Introduction to the Theory of Numbers- Baker A.笔记03

A Concise Introduction to the Theory of Numbers- Baker A
第3章

1.$对于一些自然数k,(k,n)=1,如果ka\equiv k{a}^{\prime }(modn),$
$那么a\equiv a^{\prime }(modn),所以$
$如果a_1,...a_n是一个模n的完全剩余系，$
$那么k{a}_1...k{a}_n也是一个模n的完全剩余系。$

更进一步，若自然数k满足$ka\equiv k{a}^{\prime }(modn),那么$

$a\equiv a^{\prime }(modn/(k,n))，因为k/(k,n)和n/(k,n)互质$

2.中国剩余定理
$ax\equiv b(modn)有解当且仅当(a,n)|b.$

必要性容易证明，下面证其充分性:

$假设d=(a,n),因为(a,n)|b$

$令a^{\prime }=a/d,b^{\prime }=b/d,n^{\prime }=n/d$

$转化为证明a^{\prime }x\equiv b^{\prime }(mod{n}^{\prime })有解$

$因为(a^{\prime },n^{\prime })=1,$

$所以a^{\prime }x可以取得模n的一个完全剩余系中的所有值。证毕。$

特别地，
$当a满足:1\le a\le n，且(a,n)=1时，$

$a组成了一个叫“areducedsetofresidues(modn)”的东西$
（在一个完全剩余系中与n互质的数，假设就叫它n的互质系）

$比如:n=12,那么a可以是1,5,7,11$

假设$(n,n^{\prime })=1$. 让$a和a^{\prime }分别取遍n与n^{\prime }的互质系$

$可以得出a{n}^{\prime }+a^{\prime }n取遍n{n}^{\prime }的互质系(\ast )$

$即\varphi (n)\varphi (n^{\prime })=\varphi (n{n}^{\prime })$

下面证明$(\ast )$式：
因 为 ( a , n ) = 1 , ( a ′ , n ′ ) = 1 , ( n , n ′ ) = 1 所 以 a n ′ + a ′ n 与 n , n ′ 互 质 ， 进 而 与 n n ′ 互 质 所 以 只 需 证 明 , 若 ( b , n n ′ ) = 1 , 则 b ≡ a n ′ + a ′ n ( m o d   n n ′ ) 对 a , a ′ 有 解 由 ( n , n ′ ) = 1 ， 有 ∃ m , m ′ 使 得 m n ′ + m ′ n = 1 ( 这 里 有 m , n 互 质 ) 所 以 ( b m , n ) = 1 , 进 而 ∃ a , a ≡ b m ( m o d   n )   ( 1 ) 同 理 ∃ a ′ , a ′ ≡ b m ′ ( m o d   n ′ )   ( 2 ) ( 1 ) ∗ n ′ + ( 2 ) ∗ n 证 毕 。 \begin{aligned} &因为(a,n)=1,(a',n')=1,(n,n')=1\\ &所以an'+a'n与n,n'互质，进而与nn'互质\\ &所以只需证明,\\ &若(b,nn')=1,则b\equiv an'+a'n(mod\ nn')对a,a'有解\\ &由(n,n')=1，有\exist m,m'使得\\ &mn'+m'n=1(这里有m,n互质)\\ &所以(bm,n)=1,进而\exist a,a\equiv bm(mod\ n)\ (1)\\ &同理\exist a',a'\equiv bm'(mod\ n')\ (2)\\ &(1)*n'+(2)*n证毕。 \end{aligned} ​因为(a,n)=1,(a′,n′)=1,(n,n′)=1所以an′+a′n与n,n′互质，进而与nn′互质所以只需证明,若(b,nn′)=1,则b≡an′+a′n(mod nn′)对a,a′有解由(n,n′)=1，有∃m,m′使得mn′+m′n=1(这里有m,n互质)所以(bm,n)=1,进而∃a,a≡bm(mod n) (1)同理∃a′,a′≡bm′(mod n′) (2)(1)∗n′+(2)∗n证毕。​

3.费马小定理
对于任意的自然数a,如果p是素数，那么

$a^p\equiv a(modp)$.

特别地，如果$(a,p)=1,$

$那么a^{p-1}\equiv 1(modp)$

欧拉给出了更一般的结论:
$如果自然数(a,n)=1,那么$
$a^{\varphi (n)}\equiv 1(modn)$

$证明欧拉的结论:$
$如果x跑遍了n的互质系，那么ax也可以跑遍一个n的互质系$

$所以\prod (ax)\equiv \prod (x)(modn)$

$(这里x取n的互质系里的所有值)$

$因为(x,n)=1,所以两边同时除掉x^{\varphi (x)}$

$即得:a^{\varphi (n)}\equiv 1(modn)$