今晚如果我可以成功钻研完抽象代数,下周六晚上我就去电音party!!!所以小李加油啦!!!
在学习的过程中,发现原根与欧拉函数的关联较为紧密,而欧拉函数对于我来说又是一个全新的命题,希望这篇笔记也可以帮助到正在看的你。
( Z / n Z \mathbb Z/\mathnormal n\mathbb Z Z/nZ)*是 Z \mathbb Z Z/n Z \mathbb Z Z中可逆元全体构成的乘法群,同时群是由全部与n互素的陪集 i + n Z , ( i , n ) = 1 \mathnormal i +\mathnormal n\mathbb Z,(\mathnormal i,n)=1 i+nZ,(i,n)=1 所组成。
性质:
(
Z
/
n
Z
\mathbb Z/\mathnormal n\mathbb Z
Z/nZ)*阶为
φ
(
n
)
,
\varphi(n),
φ(n),也就是欧拉函数
那
φ
(
n
)
\varphi(n)
φ(n)又代表着什么呢?
φ
(
n
)
\varphi(n)
φ(n)还代表着小于等于n且与n互质的正整数的个数(更常用的想法)
接着引导出——欧拉费马定理
设 ( a , n ) = 1 , N = φ ( n ) , 则 a N ≡ 1 ( m o d n ) (a,n) = 1,N = \varphi(n),则a^N\equiv 1(mod \ n) (a,n)=1,N=φ(n),则aN≡1(mod n)
也就是 a φ ≡ 1 ( m o d n ) a^\varphi\equiv 1(mod \ n) aφ≡1(mod n)
此定理另外一种表达:
对任意素数p和任意整数a,恒有
a p ≡ a ( m o d p ) a^p \equiv a(mod \ p) ap≡a(mod p)
由此引出指数的概念并且可以做有关同余的例题。
有关欧拉函数的性质和一些计算技巧,详见教材P16
题外话:(一个发现的小重点: 极大理想是环的真子集!)
下面引出原根的有关~
先看定义:
我们将 ( Z / n Z ) (\mathbb Z/\mathnormal n\mathbb Z) (Z/nZ)*中阶为 φ ( n ) \varphi(n) φ(n)的元素成为模 n n n的原根
害,吐了,看了定义之后还是啥都不知道呜呜呜!!
诶诶!突然在教材中发现: a a a模 n n n的指数 m m m应该是 φ ( n ) \varphi(n) φ(n)的因子,而当这个 a a a的 m m m就是 φ ( n ) \varphi(n) φ(n)时,这个 a a a就叫 n n n的原根!
那这个指数又是啥呢?
def指数(教材P15)
设 a , n 为 互 素 的 一 对 整 数 , n ≥ 1 , 则 存 在 一 个 最 小 的 正 整 数 m 使 得 设a,n为互素的一对整数,n\ge1, 则存在一个最小的正整数m使得 设a,n为互素的一对整数,n≥1,则存在一个最小的正整数m使得 a m ≡ 1 ( m o d n ) a^m \equiv 1(mod \ n) am≡1(mod n),
m 叫 做 a 模 n 的 指 数 。 m叫做a模n的指数。 m叫做a模n的指数。
原根的存在性很有用处:这等价于(Z/pZ)*的乘法群是循环群。
继续更新ing…