1.阶及阶的性质(ord)

阶是数论的一大神器。

阶的定义：若 $r$ 是最小的满足$a^r\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}d)$ 的正整数。则称$or{d}_d(a)=r$。例如：$or{d}_3(5)=4,or{d}_3(11)=5$

阶的一些重要性质(以下默认阶存在，即 $(a,d)=1$，默认数是正整数)：
性质1：若 $or{d}_d(a)=r,$ 且 $a^q\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}d)$。则：$r|q$。

证：若 $r\nmid q$，设 $q=kr+l(0<l<r)$。则$a^{kr+l}\equiv {(a^r)}^k\ast a^l\equiv a^l\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}d)$。
$\because l<r,a^l\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}d)\therefore$ 与 $or{d}_d(a)=r$ 矛盾。$\therefore r|q$

推论1：$r|\phi (d)$。

推论2：若 $u|d,or{d}_u(a)=v,$则：$v|r$。
证：$\because a^r\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}d),r|d$。$\therefore a^r\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}u)\therefore$ 由性质1得：$v|r$。

性质2：若 $(a,m)=1，(a,n)=1，(n,m)=1$，设 $x=or{d}_n(a),y=or{d}_m(a),z=or{d}_{nm}(a)$，则$z=lcm(x,y)$。
证：$\because a^z\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}nm)\therefore a^z\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}n),a^z\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}m)$。
由性质1得：$x|z,y|z$。$\therefore lcm(x,y)|z$。
$\because x|lcm(x,y),y|lcm(x,y)\therefore a^{lcm(x,y)}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}n),a^{lcm(x,y)}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}m)$
$\because (n,m)=1\therefore$ 由同余性质得:$a^{lcm(x,y)}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}nm)$。由性质1得：$z|lcm(x,y)$。
$\therefore z=lcm(x,y)$。

可见性质1很重要。

题目：

1.设$M_n=2^n-1$。证明：若$p\nmid q$ ( $p$ 是素数),则 $(M_p,M_q)=1$。

证：若 $(M_p,M_q)=d>1$。则$d|M_p,d|M_q$。设$or{d}_d(2)=x$。由性质1得：$x|p,x|q$。
$\because p$ 是素数。 $\therefore x=1或p$。
若$x=1$，则$2\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}d)\Rightarrow d=1$。矛盾。
故$x=p$。$\therefore p|q$。矛盾。
$\therefore (M_p,M_q)=1$

2.求 $r=or{d}_{2^{2000}}(193)$。

由性质1推论得：$r|\phi (2^{2000})=2^{1999}$。设 $r=2^k(0<k\le 1999)$。
则$193^r-1\equiv 193^{2^k}-1\equiv (193-1)\ast \prod _{i=1}^{k-1}(193^{2^i}+1)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{2}^{2000})$
$\because 2^6\parallel 192,2\parallel 193^{2^i}+1$
$\therefore v_2(193^r-1)=6+2n$
$\because 6+k\ge 2000\therefore k_{min}=1994\therefore r=2^{1994}$

3.求 $or{d}_{10^n}(3)(n\ge 4)$。

由性质2得：$or{d}_{10^n}(3)=lcm(or{d}_{2^n}(3),or{d}_{5^n}(3))(n\ge 4)$。
设 $r=or{d}_{2^n}(3)|2^{n-1}$。若 $r$ 是偶数，则$2^n|3^r-1\iff v_2(3^r-1)=n$。
由$LTE$定理得：$v_2(3^r-1)=v_2(r)+v_2(3^2-1^2)-1$。故$r=2^{n-2}$，当 $n\ge 4$ 时 $r$ 是偶数，满足。
若 $r$ 是奇数，则 $r=1\Rightarrow n=1$，矛盾。
设 $u=or{d}_{5^n}(3)|4\ast 5^{n-1}$。通过归纳容易证明：$3^{5^x}\equiv 3^1(\mathrm{m}\mathrm{o}\mathrm{d}5),3^{2\ast 5^x}\equiv 3^2(\mathrm{m}\mathrm{o}\mathrm{d}5)$。
故$u=4\ast 5^k|4\ast 5^{n-1}$。由$LTE$定理得：$v_5(3^{4\ast 5^k}-1)=v_5(5^k)+v_5(3^4-1)=k+1$。故$u=4\ast 5^{n-1}$。
$\therefore or{d}_{10^n}=lcm(2^{n-2},4\ast 5^{n-1})=2^{n-2}\ast 5^{n-1}$
上述思路值得借鉴。

4.若奇素数 $p$,素数 $q,r$满足：$p|q^r+1$。证明：$2r|p-1$ 或 $p|q^2-1$。

证：设 $d=or{d}_q(p)$。又$q^{2r}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$，由性质1得： $d|2r$。又$q^d\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$。由性质1得：$d|p-1$。
显然，$d=1,2,r,2r$。
当$d=1,2$时，$q\equiv \pm 1(\mathrm{m}\mathrm{o}\mathrm{d}p)\Rightarrow p|q^2-1$。
当$d=r$时，$q^d\equiv q^r\equiv -1(\mathrm{m}\mathrm{o}\mathrm{d}p)$。矛盾。
当$d=2r$时，$d=2r|p-1$。
证毕。