【抽代复习笔记】25-群(十九):一个关于循环群的重要定理以及三道证明例题

news2024/7/8 2:04:51

定理:G = (a)是n阶循环群,则:

(1)|a^r| = n/(r,n)((r,n)是r和n的最大公因数);

(2)当(r,n) = 1时,a^r也是一个生成元;

(3)G中有欧拉函数φ(n)个生成元(φ(n)表示小于n且与n互素的非负整数的个数)。

(证明过程暂无,后续可能会补充)

证:(1)设G = (a),|a^r| = t,令d = (r,n),

要证|a^r| = n/(r,n) = n/d,只需证t = n/d,即只需证t|(n/d),且(n/d)|t(t整除n/d,且n/d整除t),

因为(r,n) = d,所以存在整数r1,n1,满足r = dr1,n = dn1,且(r1,n1) = 1,

①由于|a| = n,所以(a^r)^(n/d) = (a^n)^(r/d) = (a^n)^r1 = e^r1 = e,从而有t|(n/d);

②a^(rt) = (a^r)^t = e,因为|a| = n,所以n|(rt),

从而(dn1)|(dr1t),又因为d ≠ 0,所以有n1|r1t,而又(n1,r1) = 1,所以n1|t,即(n/d)|t。

这样我们就证明了t|(n/d)且(n/d)|t,因此t = n/d,即|a^r| = t = n/d = n/(r,n)。

(2)因为|G| = n,所以要证a^r也能生成G,只需证|a^r| = n,

因为|a| = n,所以由(1)知|a^r| = n/(r,n) = n/1 = n = |G|,

所以a^r也是G的生成元。

(3)暂无,后续有的话会补充。

 

例1:证明,一个循环群一定是一个交换群。

证:设G = (a),对任意的a^m,a^n∈G,有a^m o a^n = a^(m+n) = a^n o a^m,

因此G是一个交换群。

 

例2:(G,o)是一个循环群,(G,o)∼(G1,o1),证明,(G1,o1)也是一个循环群。

证:设G = (a),定义Φ:G→G1是满同态映射,

要证G1是一个循环群,只需要找出G1中的一个生成元,

因Φ是满射,所以对任意Φ(b)∈G1,都存在b∈G与之对应,

又因G是循环群,所以存在m∈Z,满足a^m = b,

从而Φ(b) = Φ(a^m) = Φ(a o a o ... o a)(m个a) = Φ(a) o1 Φ(a) o1 ... o1 Φ(a)(m个Φ(a)) = [Φ(a)]^m,

也就是说,对于任意的Φ(b)∈G1,都存在m∈Z,使得Φ(b) = [Φ(a)]^m,

且由于Φ是从G到G1的映射,所以Φ(a)∈G1,

因此Φ(a)是G1的生成元,G1中任意元素都可以由其生成,所以(G1,o1)是循环群。

 

例3:设(G,o)为无限阶循环群,(G1,o1)为任一循环群,证明,(G,o)∼(G1,o1)。

证:设G = (a),G1 = (a1),定义Φ:G→G1为Φ(a^m) = a1^m,

因为G是无限阶循环群,所以G = {...,a^(-3),a^(-2),a^(-1),a^0,a^1,a^2,a^3,...}(见第23篇文章循环群基本定理的证明),

对任意的a^m∈G,存在唯一的a1^m∈G1与之对应,因此Φ是映射,

而对任意的a1^m∈G1,存在a^m∈G与之对应(未必唯一,因为(G1,o1)也许是有限循环群),因此Φ是满射,

对任意的a^m,a^n∈G,有Φ(a^m o a^n) = Φ(a^(m+n)) = a1^(m+n) = a1^m o1 a1^n = Φ(a^m) o1 Φ(a^n),所以Φ是同态映射,

综上所述,(G,o)∼(G1,o1)。

 

(待续……)

 

 

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1895475.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

下载安装MySQL

1.软件的下载 打开官网下载mysql-installer-community-8.0.37.0.msi 2.软件的安装 mysql下载完成后,找到下载文件,双击安装 3.配置环境变量 4.自带客户端登录与退出

CSS filter(滤镜)属性,并实现页面置灰效果

目录 一、filter(滤镜)属性 二、准备工作 三、常用的filter属性值 1、blur(px) 2、brightness(%) 3、contrast(%) 4、grayscale(%) 5、opacity(%) 6、saturate(%) 7、sepia(%) 8、invert(%) 9、hue-rotate(deg) 10、drop-shadow(h-shadow v…

前端JS 插件实现下载【js-tool-big-box,下载大文件(fetch请求 + 下载功能版)

上一节,我们添加了下载大文件的纯功能版,意思就是需要开发者,在自己项目里发送请求,请求成功后,获取文件流的blob数据,然后 js-tool-big-box 帮助下载。 但考虑到,有些项目,可能比较…

装饰模式解析:基本概念和实例教程

目录 装饰模式装饰模式结构装饰模式应用场景装饰模式优缺点练手题目题目描述输入描述输出描述题解 装饰模式 装饰模式,又称装饰者模式、装饰器模式,是一种结构型设计模式,允许你通过将对象放入包含行为的特殊封装对象中来为原对象绑定新的行…

面试篇-Redis-1缓存三兄弟+数据一致性

文章目录 前言一、你们项目中使用Redis都做了什么:二、使用过程中遇到缓存穿透,缓存击穿,缓存雪崩你们如何处理:2.1 缓存穿透:2.1.1 通过缓存key值为null 进行处理:2.1.2 使用布隆过滤器:2.1.3 …

OpenCV基础(2)

目录 滤波处理 均值滤波 基本原理 函数用法 程序示例 高斯滤波 基本原理 函数用法 程序示例 中值滤波 基本原理 函数用法 程序示例 形态学 腐蚀 膨胀 通用形态学函数 前言:本部分是上一篇文章的延续,前面部分请查看:OpenCV…

深入理解如何撤销 Git 中不想提交的文件

个人名片 🎓作者简介:java领域优质创作者 🌐个人主页:码农阿豪 📞工作室:新空间代码工作室(提供各种软件服务) 💌个人邮箱:[2435024119qq.com] &#x1f4f1…

图增强LLM + 可穿戴设备实时数据,生成个性化健康见解

图增强LLM 可穿戴设备实时数据,生成个性化健康见解 提出背景图增强LLM 子解法1(使用层次图模型) 子解法2(动态数据整合) 子解法3(LLM引导评估) 提出背景 论文:https://arxiv.or…

【js正则】去除文本中的a标签及其内容

场景&#xff1a;有时候服务端返回的文本中&#xff0c;包含a标签&#xff0c;前端不需要展示。 // 示例 const inputText 【提醒&#xff1a;XXXX】\nXXXXXX: 1\n\n<a href"https://export.shobserver.com/baijiahao/html/767805.html">详情</a>;JS正…

【营销策划模型大全】私域运营必备

营销策划模型大全&#xff1a;战略屋品牌屋、电商运营模型、营销战略、新媒体运营模型、品牌模型、私域运营模型…… 该文档是一份策划总监工作模型的汇总&#xff0c;包括战略屋/品牌屋模型、营销战略模型、品牌相关模型、电商运营模型、新媒体运营模型和私域运营模型等&…

JavaScript基础-函数(完整版)

文章目录 函数基本使用函数提升函数参数arguments对象&#xff08;了解&#xff09;剩余参数(重点)展开运算符(...) 逻辑中断函数参数-默认参数函数返回值-return作用域(scope)全局作用域局部作用域变量的访问原则垃圾回收机制闭包 匿名函数函数表达式立即执行函数 箭头函数箭头…

全自动内衣洗衣机什么牌子好?四大热门内衣洗衣机多角度测评

内衣洗衣机是近几年新兴的一种家用电器产品&#xff0c;正日益引起人们的重视。但是&#xff0c;面对市面上品牌繁多、款式繁多的内衣洗衣机&#xff0c;使得很多人都不知道该如何选择。身为一个数码家电博主&#xff0c;我知道这类产品在挑选方面有着比较深入的了解。为此&…

AIGC对设计师积极性的影响

随着科技的迅猛发展&#xff0c;生成式人工智能&#xff08;AIGC&#xff09;工具正逐渐深入设计的每个角落&#xff0c;对设计师的工作方式和思维模式产生了深远的影响。AIGC不仅极大提升了设计师的工作效率&#xff0c;更激发了他们的创新思维&#xff0c;为设计行业带来了翻…

好文阅读-日志篇

https://mp.weixin.qq.com/s/jABbG4MKvEiWXwdYwUk8SA 这里直接看最佳实践。 Maven 依赖 <dependencyManagement><dependencies><dependency><groupId>org.slf4j</groupId><artifactId>slf4j-api</artifactId><version>1.7.36…

聊聊 CTO 和 技术总监的区别

前言 CTO&#xff08;Chief Technology Officer&#xff09;&#xff0c;是首席技术官的意思。 技术总监&#xff0c;顾名思义&#xff0c;就是负责指导和监督公司的技术团队&#xff0c;确保技术和产品的开发与创新顺利进行。 有的软件公司同时有 CTO 和技术总监&#xff0…

第二届计算机、视觉与智能技术国际会议(ICCVIT 2024)

随着科技的飞速发展&#xff0c;计算机、视觉与智能技术已成为推动现代社会进步的重要力量。为了汇聚全球顶尖专家学者&#xff0c;共同探讨这一领域的最新研究成果和前沿技术&#xff0c;第二届计算机、视觉与智能技术国际会议&#xff08;ICCVIT 2024&#xff09;将于2024年1…

JAVA高级进阶11多线程

第十一天、多线程 线程安全问题 线程安全问题 多线程给我们带来了很大性能上的提升,但是也可能引发线程安全问题 线程安全问题指的是当个多线程同时操作同一个共享资源的时候,可能会出现的操作结果不符预期问题 线程同步方案 认识线程同步 线程同步 线程同步就是让多个线…

swiftui中几个常用的手势控制单击点击,双击和长按事件

简单做了一个示例代码&#xff0c;包含三个圆形形状&#xff0c;配置了不同的事件&#xff0c;示例代码&#xff1a; // // RouterView.swift // SwiftBook // // Created by song on 2024/7/4. //import SwiftUIstruct RouterView: View {State var isClick falsevar bod…

中实新材料:领航绿色建材新纪元,北京创新力量再攀高峰!

近期,北京中实新材料有限责任公司(以下简称“中实新材料”)以一系列耀眼的成果,彰显了其在绿色建材领域的卓越领导地位,不仅在生产效能、技术创新、市场拓展上取得了显著突破,更在社会责任与荣誉表彰上赢得了广泛赞誉。作为中关村科技发展(控股)股份有限公司旗下的璀璨明珠,中实…

Java - 程序员面试笔记记录 实现 - Part3

4.1 线程与进程 线程是程序执行的最小单元&#xff0c;一个进程可以拥有多个线程&#xff0c;各个线程之间共享程序的内存空间以及一些进程级资源&#xff0c;但拥有自己的栈空间。 4.3 Java 多线程 方法一&#xff1a;继承 Thread 类&#xff0c;重写 run 方法&#xff1b;…