CINTA作业六

  1. 根据命题9.5,H是G的正规子群当且仅当对任意g∈G,有 gHg 1 = H。实 际上,条件可以放松到只证明 gHg 1 H。请给出证明。

∵ ∀ g ∈ G , g H g − 1 ⊂ H , ∴ g H ⊂ H g , ∴ H ⊂ g − 1 H g ∴ H ⊂ g − 1 H ( g − 1 ) − 1 即 H ⊂ g H g − 1 ∵ g H g − 1 ⊂ H ∴ g H g − 1 = H ∴ g H = H g ∴ H 是 G 的 正 规 子 群 . \because\forall g\in G,gHg^{-1}\subset H,\\ \therefore gH\subset Hg,\\ \therefore H\subset g^{-1}Hg\\ \therefore H\subset g^{-1}H(g^{-1})^{-1}\\ 即H\subset gHg^{-1}\\ \because gHg^{-1}\subset H\\ \therefore gHg^{-1}=H\\ \therefore gH=Hg\\ \therefore H是G的正规子群. gG,gHg1H,gHHg,Hg1HgHg1H(g1)1HgHg1gHg1HgHg1=HgH=HgHG.

  1. 定义映射 ϕ : G G 为:g g 2。请证明 ϕ 是一种群同态当且仅当 G 是阿贝尔群。
    ⇒ : ∵ ϕ 是 一 种 群 同 态 , ∴ ∀ a , b ∈ G , ϕ ( a ⋅ b ) = ϕ ( a ) ∘ ϕ ( b ) = a 2 ∘ b 2 , ∵ ϕ : G → H : g → g 2 , ∴ ϕ ( a ⋅ b ) = ( a ⋅ b ) 2 = b 2 ∘ a 2 , ∵ a 2 ∘ b 2 = b 2 ∘ a 2 , ∴ G 是 阿 贝 尔 群 ⇐ : ∵ G 是 阿 贝 尔 群 ∴ ∀ a , b ∈ G , ϕ ( a ⋅ b ) = ( a ⋅ b ) 2 = b 2 a 2 = a 2 b 2 = ϕ ( a ) ∘ ϕ ( b ) ∴ ϕ 是 一 种 群 同 态 \Rightarrow:\\ \because \phi是一种群同态,\\ \therefore\forall a,b\in G,\phi(a\cdot b)=\phi(a)\circ\phi(b)=a^2\circ b^2,\\ \because \phi:G\rightarrow H:g\rightarrow g^2,\\ \therefore\phi(a\cdot b)=(a\cdot b)^2=b^2\circ a^2,\\ \because a^2\circ b^2=b^2\circ a^2,\\ \therefore G是阿贝尔群\\ \Leftarrow:\\ \because G是阿贝尔群\\ \therefore \forall a,b\in G,\phi(a\cdot b)=(a\cdot b)^2=b^2a^2\\ =a^2b^2=\phi(a)\circ\phi(b)\\ \therefore \phi是一种群同态 :ϕ,a,bG,ϕ(ab)=ϕ(a)ϕ(b)=a2b2,ϕ:GH:gg2,ϕ(ab)=(ab)2=b2a2,a2b2=b2a2,G:Ga,bG,ϕ(ab)=(ab)2=b2a2=a2b2=ϕ(a)ϕ(b)ϕ

  2. ϕ : G H 是一种群同态。请证明:如果 G 是循环群,则 ϕ(G) 也是循环群;如果 G 是交换群,则 ϕ(G) 也是交换群。

( 1 ) ∵ G 是 循 环 群 , ∴ ∃ g 是 G 的 生 成 元 , 且 ∀ c ∈ G , 都 有 a , b ∈ G , a ⋅ b = c ∵ ϕ : G → H 是 群 同 态 ∴ ϕ ( a ⋅ b ) = ϕ ( a ) ∘ ϕ ( b ) = ϕ ( c ) 即 ϕ ( g ⋅ g ) = ϕ ( g ) ∘ ϕ ( g ) = ϕ ( g 2 ) = ϕ ( g ) 2 同 理 有 ϕ ( g n ) = ϕ ( g ) n 即 ϕ ( G ) 中 的 元 素 都 可 由 由 ϕ ( G ) 中 的 生 成 元 ϕ ( g ) 形 成 ∴ ϕ ( G ) 也 是 循 环 群 。 ( 2 ) ∵ G 是 交 换 群 ∴ ∀ a , b ∈ G , 有 a ⋅ b = b ⋅ a ∵ ϕ : G → H 是 群 同 态 ∴ ϕ ( a ⋅ b ) = ϕ ( a ) ∘ ϕ ( b ) ϕ ( b ⋅ a ) = ϕ ( b ) ∘ ϕ ( a ) ∴ ϕ ( a ) ∘ ϕ ( b ) = ϕ ( b ) ∘ ϕ ( a ) ∴ ϕ ( G ) 是 阿 贝 尔 群 (1)\\ \because G是循环群,\\ \therefore \exist g是G的生成元,\\ 且\forall c\in G,都有a,b\in G,a\cdot b=c\\ \because \phi:G\rightarrow H是群同态\\ \therefore \phi(a\cdot b)=\phi(a)\circ\phi(b)=\phi(c)\\ 即\phi(g\cdot g)=\phi(g)\circ\phi(g)=\phi(g^2)=\phi(g)^2\\ 同理有\phi(g^n)=\phi(g)^n\\ 即\phi(G)中的元素都可由由\phi(G)中的生成元\phi(g)形成\\ \therefore\phi(G)也是循环群。\\ (2)\\ \because G是交换群\\ \therefore\forall a,b\in G,有a\cdot b=b\cdot a\\ \because \phi:G\rightarrow H是群同态\\ \therefore\phi(a\cdot b)=\phi(a)\circ\phi(b)\\ \phi(b\cdot a)=\phi(b)\circ\phi(a)\\ \therefore\phi(a)\circ\phi(b)=\phi(b)\circ\phi(a)\\ \therefore \phi(G)是阿贝尔群 (1)GgGcG,a,bG,ab=cϕ:GHϕ(ab)=ϕ(a)ϕ(b)=ϕ(c)ϕ(gg)=ϕ(g)ϕ(g)=ϕ(g2)=ϕ(g)2ϕ(gn)=ϕ(g)nϕ(G)ϕ(G)ϕ(g)ϕ(G)(2)Ga,bG,ab=baϕ:GHϕ(ab)=ϕ(a)ϕ(b)ϕ(ba)=ϕ(b)ϕ(a)ϕ(a)ϕ(b)=ϕ(b)ϕ(a)ϕ(G)

  1. 证明:如果 H 是群 G 上指标为 2 的子群,则 H 是 G 的正规子群。
    ( 1 ) 若 a ∉ H , 则 a H ≠ H , H a ≠ H , ∵ H 是 群 G 上 指 标 为 2 的 子 群 , 且 易 知 左 陪 集 和 右 陪 集 元 素 个 数 相 等 ∴ G = H ∪ H a = H ∪ a H , ∴ a H = H a ( 2 ) 若 a ∈ H , 则 a H = H a = H 综 上 , H 是 G 的 正 规 子 群 (1)若a\notin H,则aH\neq H,Ha\neq H,\\ \because H是群G上指标为2的子群,\\ 且易知左陪集和右陪集元素个数相等\\ \therefore G=H\cup Ha=H\cup aH,\\ \therefore aH=Ha\\ (2)若a\in H,则aH=Ha=H\\ 综上,H是G的正规子群 (1)a/H,aH=H,Ha=H,HG2,G=HHa=HaH,aH=Ha(2)aH,aH=Ha=HHG
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
完整版:https://download.csdn.net/download/qq_27595745/89522468 【课程大纲】 1-1 什么是java 1-2 认识java语言 1-3 java平台的体系结构 1-4 java SE环境安装和配置 2-1 java程序简介 2-2 计算机中的程序 2-3 java程序 2-4 java类库组织结构和文档 2-5 java虚拟机简介 2-6 java的垃圾回收器 2-7 java上机练习 3-1 java语言基础入门 3-2 数据的分类 3-3 标识符、关键字和常量 3-4 运算符 3-5 表达式 3-6 顺序结构和选择结构 3-7 循环语句 3-8 跳转语句 3-9 MyEclipse工具介绍 3-10 java基础知识章节练习 4-1 一维数组 4-2 数组应用 4-3 多维数组 4-4 排序算法 4-5 增强for循环 4-6 数组和排序算法章节练习 5-0 抽象和封装 5-1 面向过程的设计思想 5-2 面向对象的设计思想 5-3 抽象 5-4 封装 5-5 属性 5-6 方法的定义 5-7 this关键字 5-8 javaBean 5-9 包 package 5-10 抽象和封装章节练习 6-0 继承和多态 6-1 继承 6-2 object类 6-3 多态 6-4 访问修饰符 6-5 static修饰符 6-6 final修饰符 6-7 abstract修饰符 6-8 接口 6-9 继承和多态 章节练习 7-1 面向对象的分析与设计简介 7-2 对象模型建立 7-3 类之间的关系 7-4 软件的可维护与复用设计原则 7-5 面向对象的设计与分析 章节练习 8-1 内部类与包装器 8-2 对象包装器 8-3 装箱和拆箱 8-4 练习题 9-1 常用类介绍 9-2 StringBuffer和String Builder类 9-3 Rintime类的使用 9-4 日期类简介 9-5 java程序国际化的实现 9-6 Random类和Math类 9-7 枚举 9-8 练习题 10-1 java异常处理 10-2 认识异常 10-3 使用try和catch捕获异常 10-4 使用throw和throws引发异常 10-5 finally关键字 10-6 getMessage和printStackTrace方法 10-7 异常分类 10-8 自定义异常类 10-9 练习题 11-1 Java集合框架和泛型机制 11-2 Collection接口 11-3 Set接口实现类 11-4 List接口实现类 11-5 Map接口 11-6 Collections类 11-7 泛型概述 11-8 练习题 12-1 多线程 12-2 线程的生命周期 12-3 线程的调度和优先级 12-4 线程的同步 12-5 集合类的同步问题 12-6 用Timer类调度任务 12-7 练习题 13-1 Java IO 13-2 Java IO原理 13-3 流类的结构 13-4 文件流 13-5 缓冲流 13-6 转换流 13-7 数据流 13-8 打印流 13-9 对象流 13-10 随机存取文件流 13-11 zip文件流 13-12 练习题 14-1 图形用户界面设计 14-2 事件处理机制 14-3 AWT常用组件 14-4 swing简介 14-5 可视化开发swing组件 14-6 声音的播放和处理 14-7 2D图形的绘制 14-8 练习题 15-1 反射 15-2 使用Java反射机制 15-3 反射与动态代理 15-4 练习题 16-1 Java标注 16-2 JDK内置的基本标注类型 16-3 自定义标注类型 16-4 对标注进行标注 16-5 利用反射获取标注信息 16-6 练习题 17-1 顶目实战1-单机版五子棋游戏 17-2 总体设计 17-3 代码实现 17-4 程序的运行与发布 17-5 手动生成可执行JAR文件 17-6 练习题 18-1 Java数据库编程 18-2 JDBC类和接口 18-3 JDBC操作SQL 18-4 JDBC基本示例 18-5 JDBC应用示例 18-6 练习题 19-1 。。。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值