初等数论 整数的唯一分解定理(第1章)2 素数,麦什涅数,费马数

一.素数(1.4)
1.定义:

2.整数的唯一分解定理

(1)相关引理:

引理1:设$1<a\in Z$,则$a$的除1以外的最小正因数$q$是素数,并且当$a$是合数时$$q\le \sqrt{a}$$

引理2:若$p$是素数,$a\in Z$,则有$p|a$或$(p,a)=1$

引理3:若$p$是素数,$p|ab$,则$p|a$或$p|b$

引理4:如果对某个确定的$1<b\in Z$,分解是唯一的,且$p$是$b$的1个素因子,则$p$必定出现在$b$分解为素数乘积的分解式中

(2)整数的唯一分解定理:

定理1(整数的唯一分解定理):任一大于1的整数都能表示成素数的乘积,即对$\forall 1<a\in Z$,有$$a=p_1{p}_2...p_n(p_1\le p_2\le ...\le p_n)(1)$$其中$p_i(i=1,2...n)$是素数.并且若$$a=q_1{q}_2...q_m(q_1\le q_2\le ...\le q_m)(2)$$其中$q_i(i=1,2...m)$是素数,则$m=n,q_i=p_i(i=1,2...n)$

(3)标准分解式:

(4)应用:


3.寻找素数(1.5)
(1)厄拉多塞筛法:

(2)素数(集)的性质:

定理1:素数的个数是无穷的

定理2:存在无穷多个形如$4n-1$的素数

拓展(狄利克雷定理):存在无穷多个形如$kn+l(k,l>0,(k,l)=1)$的素数

定理3:对$\forall x_0\in Z$,不存在整系数多项式$$f(x)=a_n{x}^n+a_{n-1}{x}^{n-1}+...+a_{1}x+a_0(a_n\ne 0,n>0)$$使得$x_0\le x\in Z$时,$f(x)$都表示素数

二.麦什涅数与费马数(1.6)
1.麦什涅数
(1)定义:

(2)相关结论:

引理:设$a>0,b>0,s>1$,则$$(s^a-1,s^b-1)=s^{(a,b)}-1$$

定理1:设$p$是1个奇素数,$q$是$M_p$的1个素因数,则$q$形如$$q=2kp+1$$

(3)应用:

2.费马数
(1)定义:

(2)性质:

定理2:任给2个费马数$F_m,F_n(m\ne n)$,则$$(F_m,F_n)=1$$

(3)应用: