前言:仅个人小记。
- 元素 a 的阶,即元素 a 形成的循环群的阶,即 ord(a)=|<a>|。
- 求 o r d ( a k ) ord(a^k) ord(ak)。
前要交代
- 已知 a , b 的 最 小 公 倍 数 = a ∗ b a , b 的 最 大 公 约 数 a,b的最小公倍数=\frac{a*b}{a,b的最大公约数} a,b的最小公倍数=a,b的最大公约数a∗b
- a,b的最小公倍数记为 [a,b]。
- a,b的最大公约数记为 (a,b)。
非严格证明(从最小公倍数入手)
o
r
d
(
a
k
)
=
[
o
r
d
(
a
)
,
k
]
k
=
o
r
d
(
a
)
∗
k
(
o
r
d
(
a
)
,
k
)
k
=
o
r
d
(
a
)
(
o
r
d
(
a
)
,
k
)
ord(a^k)=\frac{[ord(a),k]}{k}=\frac{\frac{ord(a)*k}{(ord(a),k)}}{k}=\frac{ord(a)}{(ord(a),k)}
ord(ak)=k[ord(a),k]=k(ord(a),k)ord(a)∗k=(ord(a),k)ord(a)
证明过程如下图
![](https://img-blog.csdnimg.cn/2019092110242889.png)