第三次近世代数笔记——欧拉函数与原根

今晚如果我可以成功钻研完抽象代数,下周六晚上我就去电音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)aN1(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) apa(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,n1,m使 a m ≡ 1 ( m o d   n ) a^m \equiv 1(mod \ n) am1(mod n),
m 叫 做 a 模 n 的 指 数 。 m叫做a模n的指数。 man

原根的存在性很有用处:这等价于(Z/pZ)*的乘法群是循环群。

继续更新ing…

你可能感兴趣的:(抽象代数)