CINTA 作业六:拉格朗日定理
发布日期:2022-03-08 21:50:35
浏览次数:3
分类:技术文章
本文共 1492 字,大约阅读时间需要 4 分钟。
1. 设G是群,H是G的子群,任取 g 1 , g 2 ∈ G g_1,g_2∈G g1,g2∈G,则 g 1 H = g 2 H g_1H=g_2H g1H=g2H当且仅当 g 1 − 1 g 2 ∈ H g_1^{-1}g_2∈H g1−1g2∈H
充分性:
\quad 由于 g 1 H = g 2 H g_1H=g_2H g1H=g2H,故存在 h 1 , h 2 ∈ H h_1,h_2∈H h1,h2∈H使得 g 1 h 1 = g 2 h 2 g_1h_1=g_2h_2 g1h1=g2h2 \quad 由消去律可得 g 1 − 1 g 1 h 1 h 2 − 1 = g 1 − 1 g 2 h 2 h 2 − 1 g_1^{-1}g_1h_1h_2^{-1}=g_1^{-1} g_2h_2h_2^{-1} g1−1g1h1h2−1=g1−1g2h2h2−1,即 h 1 h 2 − 1 = g 1 − 1 g 2 ∈ H h_1h_2^{-1}=g_1^{-1} g_2∈H h1h2−1=g1−1g2∈H 必要性: \quad 因为 g 1 − 1 g 2 ∈ H g_1^{-1}g_2∈H g1−1g2∈H,由群的封闭性可得 g 1 − 1 ∈ H , g 2 ∈ H g_1^{-1}∈H,g_2∈H g1−1∈H,g2∈H, \quad 所以 g 1 − 1 g_1^{-1} g1−1的逆元 g 1 ∈ H g_1∈H g1∈H,由此可得 g 1 H = g 2 H g_1H=g_2H g1H=g2H2. 如果G是群,H是群G的子群,且[G:H]=2,请证明对任意的g∈G,gH=Hg
如果g∈H,则gH=Hg=H
如果g∉H,则gH,Hg≠H,由于[G:H]=2,故gH=Hg=G-H3.如果群H是群G的真子群,即存在g∈G但是g∉H。请证明|H|≤|G|/2。
因为存在g∈G但是g∉H,故H在G上不同的左陪集个数至少为2,即[G:H]≥2
所以|H|≤|G|/2。4. 设G是阶为pq的群,其中p和q是素数,请证明G的任意真子群是循环群
如果H是G的真子群,则任意h∈H,ord(h) | pq,所以h的阶为p或q,则H的阶为p或q,由推论8.2可得H是循环群
5. 使用群论的方法重新证明费尔马小定理和欧拉定理。
费尔马小定理:
设群G是整数模p乘法下的循环群,p为素数,a是整数且p不整除a,则 1≤a (mod p)<p,ord(a)= ϕ ( p ) \phi(p) ϕ(p)=p-1,所以 a o r d ( a ) ≡ 1 a^{ord(a)}\equiv1 aord(a)≡1 (mod p),即 a p − 1 ≡ 1 a^{p-1}\equiv1 ap−1≡1 (mod p) 欧拉定理: n是正合数,则 Z n ∗ Z_n^* Zn∗的阶为 ϕ ( n ) \phi(n) ϕ(n),a是正整数且gcd(a,n)=1,则a∈ Z n ∗ Z_n^* Zn∗,所以ord(a) | ϕ ( n ) \phi(n) ϕ(n), ϕ ( n ) \phi(n) ϕ(n)=k ord(a) ∴ a o r d ( a ) ≡ 1 a^{ord(a)}\equiv1 aord(a)≡1(mod n) ∴ a k ∗ o r d ( a ) ≡ 1 a^{k*ord(a)}\equiv1 ak∗ord(a)≡1(mod n) ∴ a ϕ ( n ) ≡ 1 a^{\phi(n)}\equiv1 aϕ(n)≡1(mod n)转载地址:https://blog.csdn.net/m0_55443969/article/details/121641170 如侵犯您的版权,请留言回复原文章的地址,我们会给您删除此文章,给您带来不便请您谅解!
发表评论
最新留言
表示我来过!
[***.240.166.169]2024年04月18日 23时56分14秒
关于作者
喝酒易醉,品茶养心,人生如梦,品茶悟道,何以解忧?唯有杜康!
-- 愿君每日到此一游!
推荐文章
C#用正则表达式去匹配被双引号包起来的中文
2019-04-27
lua table排序
2019-04-27
Unity发布的ios包在iphone上声音是从听筒里出来的问题
2019-04-27
UIScrollView复用节点示例
2019-04-27
Unity 5 AudioMixer
2019-04-27
Unity 代码混淆: CodeGuard的使用
2019-04-27
UGUI 列表循环使用
2019-04-27
使用命令行运行unity并执行某个静态函数(运用于命令行打包和批量打包)
2019-04-27
web.py框架
2019-04-27
web.py学习笔记
2019-04-27
python的代码缩进
2019-04-27
A* Pathfinding Project (Unity A*寻路插件) 使用教程
2019-04-27
bash学习笔记
2019-04-27
sqlite学习
2019-04-27
手把手教你实现Unity与Android的交互
2019-04-27
手把手教你使用Unity的Behavior Designer
2019-04-27
Unity3D摄像机裁剪——NGUI篇
2019-04-27
lua深拷贝一个table
2019-04-27
app运行提示Unable to Initialize Unity Engine
2019-04-27
spring boot 与 Ant Design of Vue 实现修改按钮(十七)
2019-04-27