1. 证明:命题9.1 .
    命题9.1:

设 ϕ : G → H 从群 G 到群 H 的一种同构映射,则以下命题为真:

  1. ϕ −1 : H → G 也是同构;

  2. |G| = |H|;

  3. 如果 G 是阿贝尔群,则 H 也是阿贝尔群;

  4. 如果 G 是循环群,则 H 也是循环群;

  5. 如果 G 有阶为 n 的子群,则 H 也有阶为 n 的子群。
    证明:

(1)即证明ϕ−1\phi ^{-1}ϕ−1 保持群操作:∀x,y∈H\forall x,y \in \mathbb{H}∀x,y∈H ,ϕ−1(x∘y)=ϕ−1(x)⋅ϕ−1(y)\phi^{-1}(x\circ y) = \phi^{-1}(x)\cdot \phi^{-1}(y)ϕ−1(x∘y)=ϕ−1(x)⋅ϕ−1(y) 。
ϕ(ϕ−1(x∘y))=x∘y=ϕ(ϕ−1(x))∘ϕ(ϕ−1(y))=ϕ(ϕ−1(x)⋅ϕ−1(y))\phi(\phi^{-1}(x \circ y)) = x \circ y = \phi(\phi^{-1} (x)) \circ \phi(\phi^{-1}(y)) = \phi(\phi^{-1}(x) \cdot \phi^{-1}(y))ϕ(ϕ−1(x∘y))=x∘y=ϕ(ϕ−1(x))∘ϕ(ϕ−1(y))=ϕ(ϕ−1(x)⋅ϕ−1(y)) ,
由于ϕ\phiϕ 为双射,所以ϕ−1(x∘y)=ϕ−1(x)⋅ϕ−1(y)\phi^{-1}(x\circ y) = \phi^{-1}(x)\cdot \phi^{-1}(y)ϕ−1(x∘y)=ϕ−1(x)⋅ϕ−1(y) 。证毕。
(2)证明:因为ϕ\phiϕ 为双射,G\mathbb{G}G 与H\mathbb{H}H 中的元素一一对应,所以∣G∣=∣H∣|\mathbb{G} | = | \mathbb{H} |∣G∣=∣H∣ 。
(3)证明:因为G\mathbb{G}G是阿贝群,群运算满足交换律,∀a,b∈G,a⋅b=b⋅a\forall a,b \in \mathbb{G} ,a \cdot b = b\cdot a∀a,b∈G,a⋅b=b⋅a .
ϕ(a⋅b)=ϕ(a)∘ϕ(b)\phi(a\cdot b) = \phi(a) \circ \phi(b)ϕ(a⋅b)=ϕ(a)∘ϕ(b) ,ϕ(b⋅a)=ϕ(b)∘ϕ(a)\phi(b\cdot a ) = \phi(b) \circ \phi (a)ϕ(b⋅a)=ϕ(b)∘ϕ(a) ;
所以ϕ(a)∘ϕ(b)=ϕ(b)∘ϕ(a)\phi(a) \circ \phi(b) = \phi(b) \circ \phi (a)ϕ(a)∘ϕ(b)=ϕ(b)∘ϕ(a) 。H\mathbb{H}H 也是阿贝尔群。
(4)证明:射ggg 为G\mathbb{G}G 的生成元,对于GGG 中的任意元素gmg^mgm ,有:
ϕ(gm)=ϕ(g)m\phi(g^m)=\phi(g)^mϕ(gm)=ϕ(g)m ,因为ϕ\phiϕ 为双射,所以ϕ(g)m\phi(g)^mϕ(g)m为H\mathbb{H}H 中的任意元素,所以H\mathbb{H}H 是循环群。
(5)证明:设G′\mathbb{G} 'G′ 为G\mathbb{G}G 的nnn 阶子群,∀a,b∈G′\forall a ,b \in \mathbb{G}'∀a,b∈G′ ,a−1,b−1,ab∈G′a^{-1} ,b^{-1} ,ab \in \mathbb{G}'a−1,b−1,ab∈G′ 。通过映射ϕ\phiϕ ,可得ϕ(a),ϕ(b),ϕ(a−1),ϕ(b−1),ϕ(ab)=ϕ(a)ϕ(b)\phi(a),\phi(b),\phi(a^{-1}),\phi(b^{-1}) ,\phi(ab) =\phi(a)\phi(b)ϕ(a),ϕ(b),ϕ(a−1),ϕ(b−1),ϕ(ab)=ϕ(a)ϕ(b) ,此外,对于单位元eee 有ϕ(e)\phi(e)ϕ(e) 。这些元素的集合构成H\mathbb{H}H 的子群H′\mathbb{H}'H′,满足群公理。且由(2) 可知H′\mathbb{H}'H′ 的阶为nnn 。

  1. 命题9.2:所有无限阶的循环群都同构于群 Z。
    证明:设群 G 是一个无限阶的循环群,g ∈ G 是生成元。定义 ϕ : Z → G 为 ϕ : n → gn

    则 ϕ(m + n) = g m+n = g mgn = ϕ(m)ϕ(n)。 然后,证明 ϕ 是双射。
    (1)证明单射:任取a,b∈Za,b \in \mathbb{Z}a,b∈Z ,若ϕ(a)=ϕ(b)\phi(a) = \phi(b)ϕ(a)=ϕ(b) ,即ga=gbg^a = g^bga=gb ,因为G\mathbb{G}G 为无限循环群 ,所以a=ba =ba=b ,则ϕ\phiϕ是单射。

    (2)证明满射:任取gx∈Gg^x \in \mathbb{G}gx∈G ,则存在x∈Zx \in \mathbb{Z}x∈Z ,使得ϕ(x)=gx\phi(x) = g^xϕ(x)=gx ,所以ϕ\phiϕ 是满射。
    有(1)(2)可知,ϕ\phiϕ 是双射,命题得证。

【无标题】CINTA第五次作业 同构相关推荐

  1. 【无标题】计统大作业-hello

    计算机系统 大作业 题     目 程序人生-Hello's P2P 专       业 计算学部 学   号 120L022124 班   级 2003007 学       生 田茂尧 指 导 教 ...

  2. 《面向对象程序设计》c++第五次作业___calculator plus plus

    c++第五次作业 Calculator plusplus 代码传送门 PS:这次作业仍然orz感谢一位同学与一位学长的windows帮助,同时再次吐槽作业对Mac系统用户的不友好.(没朋友千万别用Ma ...

  3. 第五次作业——软件设计

    第五次作业--软件设计 在开始软件设计之前,首先确定软件设计中的各个模块需要考虑的任务,绘制概要图如下: 下面根据上述各个模块,逐层进行软件设计: 一.概要设计 首先,概要设计的目的是确定软件的结构以 ...

  4. PHP第五周答案,算法设计与分析第五周作业——Word Ladder

    算法设计与分析第五周作业--Word Ladder 上周找了一道深度搜索优先搜索的算法题来做,于是这周就选了一道广度优先搜索算法题来试试手. 本周所选题目:原题目链接 题目详情 题目大意:给出一个字符 ...

  5. 线性系统粗浅认识——第五次作业

    线性系统粗浅认识--第五次作业 题目 解答 一.串联RLC系统 二.串联LC系统 输入为直流电压源 输入为正弦波交流电压源 输入为sgn函数控制电压源 三.对并联的LC电路进行分析 声明:本人特别菜, ...

  6. Python第五周作业

    Python第五周作业 1. 一元二次方程求根 2. 百钱买百鸡 3. 鸡兔同笼 4. 最大公约数和最小公倍数 5. 判断三角形并计算面积 6. 判断IP地址合法性 7. 回文素数 8. 反素数 9. ...

  7. 学号20189220 2018-2019-2 《密码与安全新技术专题》第五周作业

    学号20189220 2018-2019-2 <密码与安全新技术专题>第五周作业 课程:<密码与安全新技术专题> 班级: 1892 姓名: 余超 学号:20189220 上课教 ...

  8. 深度学习与自然语言处理第五次作业——段落分析模型

    深度学习与自然语言处理第五次作业--段落分析模型 基于Seq2seq模型来实现文本生成的模型,输入可以为一段已知的金庸小说段落,来生成新的段落并做分析. 文章目录 深度学习与自然语言处理第五次作业-- ...

  9. 自媒体爆文标题的十五种独特写法

    做一个好的标题,也就是拉近与读者之间的距离.标题的核心操作技巧,新.奇.特.我们在做好一个标题的时候不用太注重形式受知识框架的影响,更好的表达你的核心传达的内容,吸引读者进一步点击阅读 IP概念 大家 ...

最新文章

  1. Curr Biol:间隔学习可巩固记忆的奥秘
  2. python pexpect 模块
  3. 不符合条件重新输入 c语言,2016年计算机考试上机应试技巧
  4. 一种新的url定向技术-使用@与/?
  5. apache php mysql下载_linux+apache+php+mysql 安装
  6. oracle insert两个关联表
  7. Cloud一分钟 | 阿里云将在英国大区设立数据中心
  8. 网页不显示样式的解决方向之一
  9. jQuery常用方法
  10. 一般别人去湖大找门,我都笑得半死
  11. 做web开发需要学习哪些技术--基础篇
  12. EventUtil——跨浏览器的事件对象
  13. linux的I/O多路转接select的fd_set数据结构和相应FD_宏的实现分析
  14. Hyperledger Fabric Transaction Proposal过程
  15. 视频转MP3音频格式在线工具
  16. 【软件技巧】Transmission跳过检验(跳检)方法,适用于全平台
  17. mysqllinux操作,万字解析!
  18. CSDN明星博主Leo新作——《程序员羊皮卷》即将隆重上市
  19. ArcPy - 入门学习
  20. DMPE-PEG-Mal,Maleimide-PEG-DMPE,二肉豆蔻酰磷脂酰乙醇胺-PEG-马来酰亚胺

热门文章

  1. 基于matlab异步电机 s函数,基于MATLAB/S-函数的三相异步电机建模与仿真
  2. linx版本微信安装方式
  3. nginx转发wss
  4. 2023最新SSM计算机毕业设计选题大全(附源码+LW)之java疫情社区管理系统4m30y
  5. 无界微前端(wujie):element-ui 弹框内使用select组件,弹出框位置异常解决方案
  6. PCI Express学习篇:Power Management(二)
  7. 黑马程序员—时间一点一点的过去+技术一点一点的增长=成功就业
  8. 【报告分享】中国音乐市场年度综合分析2021-易观智库(附下载)
  9. Java 8 Stream:遍历、筛选、指定、排序、统计等
  10. BMZ-MISC-哆啦A梦