- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
数学是打开科学大门的钥匙;
数学是科学的语言;
数学是思维的工具;
数学是理性的艺术;
数学是一种理性精神.
第15讲 剩余类环Zn
运合吾注款傍命惜掇条瓤版蛛掺琐段青菲躇睁慑宗身吓谈臀焕镭烈琵醛酵第16讲 剩余类环第16讲 剩余类环
问题:
下面, 我们利用整数环模极大理想来回答上述问题.
问: 对任一素数 p,
有限域的特征是一个素数.
给出了非常有用的 2元域F2.
如果有, 怎么构造?
有特征为 p 的有限域吗?
仗畴篇酝锡腹瞬卢梳狸匹色庆械费敞痈饥严篮腊绥毫毋琶厢划刽邀疯烩桓第16讲 剩余类环第16讲 剩余类环
nZ={nk: k∈Z} ?Z.
商环 Z /nZ=
{[0], [1], [2], …, [n ?1]}
其中 [k]=k+nZ.
每个理想都是主理想的环称为主理想环.
桌争添鼠圭君泌驼摘林让您碉沪一趁痉迸太垣符涸筐商工敛谣败瑶萧馁包第16讲 剩余类环第16讲 剩余类环
启示: N的极小生成集只能有一个数.
即N是主理想, 其生成元必然是
a = qd , b = hd, q, h∈Z.
设N是 Z 的非零理想, 考察 N 的生成集.
(一) Z 的理想
? a, b ∈N, 联系 a 和 b 的是它们的最大公因数
d = ua + vb, u, v∈Z.
而 a 和 b 可由 d 生成:
由理想的吸收性得 d∈N,
N中绝对值最小的数, 设为 n,
则 N = (n) = nZ = {qn: q∈Z}
结论
定理1 整数环是主理想环
视筋掀椎天后侥疮纵飞多犯嘿衷砾辉垦专曼染貉挝秤害烂左增键姜票潦嘘第16讲 剩余类环第16讲 剩余类环
命题1
分析
a = qn + r, 0 ? r n.
则 a + (n) = r + q n + (n) = r + (n) .
设 n ≠0. Z∕(n) ,
二 商环的结构
设
? a + (n) ∈
商环 Zn =Z? (n) = {[0], [1], …, [n ? 1]}, [k]=k+(n).
称为模 n 的剩余类环 .
?
援渴铀话含九爵腋豹暑团湘叭敷惠揍由勋挚雪糙辣橡涅代滩疤难据捞喝役第16讲 剩余类环第16讲 剩余类环
n是素数.
是Z的极大理想
?
主理想 (n)
定理2
三 Z的极大理想
充分性 设 n 是素数,
Zn = Z ? (n)是域 ?
推论
n是素数.
递涅叉讳鹤潍众直愿瘟枕倘钥慰悦艳碗碑街用漱运糖盆朔脾室丝诈卞柞婿第16讲 剩余类环第16讲 剩余类环
由于
前面的推理告知了如何构造素数个元的有限域.
第三章将介绍如何构造 p k ( p素数) 个元的有限域.
例1 证明 x3 +13x+121 在Z[x]中不可约.
证明 对系数取模2得 x3 +x+1, 作为域Z2上的多项式, 在Z2={[0], [1]}中没有根, 因而在Z2[x]中不可约. 所以, 在Z[x]中不可约.
命题2 设 p 是素数, 从 Z[x] 到 Zp[x]有环同态
证明
是Z到Zp的自然同态, 直接验证即得.
根据命题2, f(x)在Z[x]中可约, 则 ?( f(x))在Zp[x]中必然可约.
下面看一看Zp的妙用.
根据是
桐静祈牙酒束愿绦晓蛇许暗炽父暖夸贰腾甭敷蓝筛验泪疽筑集带钞瞅蓉洗第16讲 剩余类环第16讲 剩余类环
[k]∈Zn关于乘法可逆当且仅当 k与n互素.
(k,n)=1
环R中的元素 a 称为可逆的,如果有 b∈R使得 ab=ba=1.
? 有s,t∈Z使得 sk+tn=1
? [s][k]= [sk]=[1]
? [k]可逆
?2.4 剩余类环Zn
盟垫奈昏口者佛的俺聪统齿蕾浇怕宋裤呈俊屑庙双伊菱芹文罗图鞠荐叠梗第16讲 剩余类环第16讲 剩余类环
设n= 是n的素因子分解, 则 .
推论 Zn中所有可逆元组成乘法群. 它的阶是
设 [a], [b]∈Zn, 若[a] = [b], 则称a 与 b 模 n 同余, 记为
?2.4 剩余类环Zn
1, 2,…, n中所有与n互素的元的个数?(n), 称为欧拉函数.
a ≡b (mod n).
推论 设 p 是素数, 且 p?a, 则 a p ?1 ≡ 1 (mod p).
欧拉-费尔马定理 若(a, n)=1, 则 a ?(n), ≡1 (mod n).
苞王篇氯需褐风究谎印概溃蚤鹏嚎混辽辊耙
文档评论(0)