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

news/2024/7/8 10:45:11 标签: 笔记, 学习, 抽象代数

定理: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.niftyadmin.cn/n/5537035.html

相关文章

第二十九天 第八章 贪心算法 part03 134. 加油站 135. 分发糖果 860.柠檬水找零 406.根据身高重建队列

134. 加油站 两种情况讨论,(容量-消耗量)的累加和小于0时不可环绕一周,反之即可,同时如果当前容量-消耗量小于0,那么当前加油站也不是加油站,往后推一站,但是我们一定能找到一个加油站作为开始加油站环绕…

字节跳动 AML 前端 一面

时长55mins 1. 自我介绍 1. 怎么接触的前端?学了多久? 1. 问项目 1. 为什么要做组件库? 1. 问到我的组件库和AntD之类的有什么区别,我说区别可能就是我的功能更少?hhhh 1. 设计一个组件的思路&#x…

LeetCode:3047. 求交集区域内的最大正方形面积(Java 枚举)

目录 3047. 求交集区域内的最大正方形面积 题目描述: 原理思路: 3047. 求交集区域内的最大正方形面积 题目描述: 在二维平面上存在 n 个矩形。给你两个下标从 0 开始的二维整数数组 bottomLeft 和 topRight,两个数组的大小都是…

(PADS学习)第三章:PCB基础知识 第四部分

第三章:PCB基础知识 五、PCB设计流程创建新设计流程布局设计电路分类通用器件布局器件布局注意事项时钟布局注意事项以太网布局注意事项光口布局注意事项滤波器件布局注意事项 布局拓扑设计点对点拓扑星型拓扑远端簇拓扑菊花链拓扑fly-by拓扑T型拓扑 叠层设计叠层设…

项目中上传功能过段时间就报错,解决方案

实际项目中,发现过段时间上传功能就报错,报错如下: 排查问题: 在服务器的 /tmp目录下发现并没有 /tomcat目录,也就验证了上面找不到这个文件的报错 那么这个临时给tomcat的上传目录怎么就没有了呢? 其实临…

银河麒麟高级服务器操作系统(通用)安装和编译指定的python3版本

银河麒麟高级服务器操作系统(通用)安装和编译指定的python3版本 一 系统环境二 安装python3.12.42.1 安装编译需要的依赖包2.2 下载官网目前最新的python源码包2.3 解压Python-3.12.4.tar.xz2.4 配置python-3.12.42.5 编译安装2.6 配置环境变量使其生效2…

实现Java Web应用的高性能负载均衡方案

实现Java Web应用的高性能负载均衡方案 大家好,我是微赚淘客系统3.0的小编,也是冬天不穿秋裤,天冷也要风度的程序猿! 在高并发的网络环境中,负载均衡是确保Web应用程序高性能和可靠性的关键策略之一。本文将探讨如何…

基于机器学习的零售商品销售数据预测系统

1 项目介绍 1.1 研究目的和意义 在电子商务日益繁荣的今天,精准预测商品销售数据成为商家提升运营效率、优化库存管理以及制定营销策略的关键。为此,开发了一个基于深度学习的商品销售数据预测系统,该系统利用Python编程语言与Django框架&a…