群的结构

子群的生成

定义:设G是一个群,X是G的一个子集,设\(\{H_i \}_{i \in I}\)是G的包含X的所有子群,则\(\bigcap_{i\in I}H_i\)构成G的一个子群,叫做G的由X生成的子群,记为。

证明.
\(\forall a,b\in \bigcap_{i\in I}H_i, a,b\in H_i,for\space all\space i\in I\)
由于\(H_i\)是各自为一个群,则\(ab^{-1}\in H_i,for\space all\space i\in I\)
\(\therefore ab^{-1}\in\bigcap_{i\in I}H_i\)
\(\therefore \bigcap_{i\in I}H_i\)是G的一个子群

Notation: X的元素称为子群的生成元,如果X={\(a_1,\cdots,a_n\)},则可以将记为<\(a_1,\cdots,a_n\)>。如果G=<\(a_1,\cdots,a_n\)>,则称G是有限生成的,特别的,如果G=<\(a\)>,则称G为a生成的循环群。

下面给出生成子群中元素的显示表示:
设G是一个群,X=<\(a_1,\cdots,a_t\)>是G的一个子集则,
={\(a_1^{n_1}\cdots a_t^{n_t} | a_i\in X,n_i\in Z,1 \le i \le t\)},其中每个元素之间的运算都是群G上的运算。

元素的阶:设G是一个群,a\(\in\)G,则子群<\(a\)>的阶称为元素a的阶,记为ord<\(a\)>。

事实上,元素a的阶,ord<\(a\)>,就是满足\(a^n=e\)的最小正整数 n。

证明:满足ord(a) > 2的元素 a 的个数一定是偶数。
当\(a=a^{-1}\)时,\(a^2=e\),则 ord(a) = 2
所以满足 ord(a)>2 的元素a,都满足\(a\ne a^{-1}\)
设ord(a) = n
\((a^{-1})^n = (a^n)^{-1}=e^{-1}=e\)
假设\(\exists n', 1\le n' <n\)使得,\((a^{-1})^{n'}=e\)
则:\(a^{n'}=((a^{-1})^{-1})^{n'}=((a^{-1})^{n'})^{-1}=e^{-1}=e\)
而这与ord(a)=n的前提相违背
所以\(ord(a^{-1})=ord(a)=n\)
综上所述,一个群中的元素的阶如果大于2,那么这个元素与它的逆元一定是不相同的,并且与逆元的阶是相等的。
所以满足ord(a) > 2的元素都是成对存在的。

循环群

在讨论群的结构时,循环群是最为简单的一种群的结构。
由上面对循环群的描述,循环群可以用集合的形式表示为:<\(a\)>={\(a^n|n\in Z\)}
也就是说循环群中的每一个元素都可以写成a的n次幂的形式,其中a\(\in\)G,n是一个整数。

定理:由整数上的加法构成的群Z,它的每一个子群H都是循环群,并且有H=<0>或H=<\(m\)>=mZ={km|k\(\in\)Z},其中m是H中的最小正整数。并且如果H\(\ne\)<0>,则H是无限的。

证明.
当H=<0>={0}时,由于0是整数加法群的单位元,所以H是Z的一个子群。
当H\(\ne\)<0>时,设\(a\in H,a^{-1}=-a\in H\),所以H中存在正整数的,设H中的最小的正整数为m,不妨假设a>0,则\(\exists\)r\(\in\)Z,使得 a = qm + r,其中q\(\in\)Z,0\(\le\)r<m。
如果r$\ne\(0,则r= a - qm =a + q(-m)\)\in\(H(群的运算封闭性),这与m是H中最小的正整数的前提违背,所以r=0。而\)\forall a\in H,a=km,k\in Z$,所以H是循环群。

群的进一步性质:设G是一个群,a\(\in\)G,则
1.当<\(a\)>是无限群时,有:
i)\(a^k=e\),当且仅当k=0
ii)元素\(a^k(k\in Z)\)两两不等

证明.
考虑加群Z到群G的映射\(f:n\mapsto a^n\),不难证明 f 是同态。
则由同态分解定理可得:\(Z/ker(f)\cong f(Z)=<\)a\(>\)
而由前面的定理可知,ker(f)作为Z的子群要么是<0>要么是=mZ。
\(\because\)<\(a\)>是无限的
\(\therefore\)ker(f)=<0>,并且<\(a\)>与Z/ker(f)是一对一的关系

2.当<\(a\)>是有限群时,设ord(a)=m,此时有:
i)m是使得\(a^m=e\)的最小正整数
ii)\(a^k=e\),当且仅当 m | k
iii)\(a^r=a^k\),当且仅当r\(\equiv\)k(mod m)
iv)元素\(a^k(k\in Z/mZ)\)两两不等
v)<\(a\)>={\(a,a^2,\cdots,a^{m-1},a^m=e\)}
vi)对任意整数1\(\le\)d\(\le\)m,有\(ord(a^d)=\frac{m}{(d,m)}\)

证明.
同样的,构造映射\(f:n\mapsto a^n\),则\(Z/ker(f)\cong f(Z)=<\)a\(>\)
而这里<\(a\)>是有限的,并且ord(a)=m
所以m是使得\(a^m=e\)的最小正整数
而\(a^k=e\)等价于\(k\in ker(f)\),等价于k | m,相似的,\(a^r=a^k\)等价于>\(r-k\in ker(f)\),等价于r\(\equiv\)k(mod m)
因为Z/ker(f)与<\(a\)>是一一对应的,所以\(a^k(k\in Z/mZ)\)两两不等
最后一个性质:
对于群\(<a^d>\),\((a^d)^k=e\)等价于\(dk\in ker(f)\),等价于m|dk,等价于\(\frac{m}{(d,m)} | \frac{d}{(d,m)}k\),显然\(\frac{m}{(d,m)}\)与\(\frac{d}{(d,m)}互素\),所以由此可以得到\(\frac{m}{(d,m)}|k\)
因此\(ord(a^d)=\frac{m}{(d,m)}\)

循环群的性质:设G是一个循环群.
i)如果G是无限的,则G的生成元为\(a\)或\(a^{-1}\).
ii)如果G是有限阶m,则\(a^k\)是G的生成元当且仅当(k,m)=1.

定理:每个无限循环群同构于加群Z,每个阶为m的有限群同构于加群Z/mZ.
这个定理同样可以通过前面构造从整数加群到循环群G的同构映射而得到证明。

置换群

定义:设S={1,2,...,n},称S到其自身的映射σ是一个置换,如果σ是双射,即
\(\sigma:S\rightarrow S\) (\(k\mapsto i_k\))
通常将 n 元置换σ写成\((\begin{matrix} 1&2&\cdots&n \\\sigma(1)&\sigma(2)&\cdots&\sigma(n) \end{matrix})\)

置换的乘法:设\(\sigma\)和\(\sigma'\)是S上的两个置换,则它们的乘积\(\sigma\sigma'\)也是S上的一个置换,且\((\sigma\sigma')(i)=\sigma(\sigma'(i))\)
如果把置换看作S到自身的函数,则置换乘法就是函数复合运算。

例:令\(\sigma=(\begin{matrix} 1&2&3&4&5&6 \\ 6&5&4&2&1&3 \end{matrix})\)和\(\sigma'=(\begin{matrix} 1&2&3&4&5&6 \\ 5&6&4&2&3&1 \end{matrix})\)是S={1, 2, 3, 4, 5, 6}上的置换,则\(\sigma\sigma'=(\begin{matrix} 1&2&3&4&5&6 \\ 1&3&2&5&4&6 \end{matrix})\)
即先做\(\sigma'\)的置换,再做\(\sigma\)的置换

置换的逆变换:设\(\sigma=(\begin{matrix} 1&2&\cdots&n \\ \sigma(1)&\sigma(2)&\cdots&\sigma(n) \end{matrix})\),则其逆变换为\(\sigma^{-1}=(\begin{matrix} \sigma(1)&\sigma(2)&\cdots&\sigma(n) \\ 1&2&\cdots&n \end{matrix})\)

置换群:n元置换全体组成的集合\(S_n\)关于置换乘法构成一个群,其阶为\(n!\).

轮换:设σ是一个n元置换,如果存在I={\(i_1,i_2,\ldots,i_n\)}\(\subset\){1,2,...,n},使得\(\sigma(i_j)=i_{j+1},\sigma(i_k)=i_1\),其中j=1,2,..,k-1,并且对任意\(j\in\){1,2,...,n}\I,都有\(\sigma(j)=j\),那么称σ是一个k-轮换,记作(\(i_1,i_2,...,i_k\))。

定理:任意置换都可以表示成为不相交的轮换的乘积,且在不考虑乘法顺序的情况下,该表示是唯一的。

例:令\(\sigma=(\begin{matrix} 1&2&3&4&5&6 \\ 6&5&1&2&4& 3 \end{matrix})\)是S={1, 2, 3, 4, 5, 6}上的一个置换,则σ可以表示为两个轮换的乘积,即
\((\begin{matrix} 1&2&3&4&5&6 \\ 6&5&1&2&4& 3 \end{matrix})=(1,6,3)(2,5,4)\)

轮换的乘积例题
求:(1, 3)(1, 2)
解:设\(\sigma_1=(1, 3), \sigma_2=(1,2)\)
(1, 3)(1, 2) = \(\sigma_1 \sigma_2\)
\(\sigma_1\sigma_2(1)=\sigma_1(\sigma_2(1))=\sigma_1(2)=2\)
\(\sigma_1\sigma_2(2)=\sigma_1(\sigma_2(2))=\sigma_1(1)=3\)
\(\sigma_1\sigma_2(3)=\sigma_1(\sigma_2(3))=\sigma_1(3)=1\)
所以(1, 3)(1, 2) = \((\begin{matrix} 1&3 \\ 3&1 \end{matrix})(\begin{matrix} 1&2\\ 2&1 \end{matrix}) = (\begin{matrix} 1&2&3 \\ 2&3&1 \end{matrix})\) = (1, 2, 3)

原文地址:https://www.cnblogs.com/Hahahang/p/11939076.html

时间: 2024-10-26 08:56:19

群的结构的相关文章

15阶以下群的结构

群的阶数 Abel群 非Abel群 1 $\{1\}$   2  $\mathbb Z_{2}$   3  $\mathbb Z_{3}$   4  $\mathbb Z_{2}^{2},\mathbb Z_{4}$   5  $\mathbb Z_{5}$   6 $\mathbb Z_{6}$   $S_{3}$ 7  $\mathbb Z_{7}$   8 $\mathbb Z_{2}^{3},\mathbb Z_{2}\oplus\mathbb Z_{4},\mathbb Z_{8}$ 

LVS集群中的IP负载均衡技术

章文嵩 ([email protected]) 转自LVS官方参考资料 2002 年 4 月 本文在分析服务器集群实现虚拟网络服务的相关技术上,详细描述了LVS集群中实现的三种IP负载均衡技术(VS/NAT.VS/TUN和VS/DR)的工作原理,以及它们的优缺点. 1.前言在 前面文章中,讲述了可伸缩网络服务的几种结构,它们都需要一个前端的负载调度器(或者多个进行主从备份).我们先分析实现虚拟网络服务的主要技术,指出 IP负载均衡技术是在负载调度器的实现技术中效率最高的.在已有的IP负载均衡技术

项目群的影响

项目群可能会因为为组织的某一部分交付变革而建立,或者是为整个组织,或者多个组织,或者在组织运营环境中. 在决定管理项目群的最佳途径时,评估其对组织的可能影响是非常有用的,这可以通过观察项目群预期交付的变革来完成. 一些项目群在现实中是复杂度很高的,但会有一个合理的相当明确的期望,也就是说对于成果会有一个宏观的预测,即使这个过程是昂贵且复杂的. 另一方面,由政策和立法驱动的,通过长期来改变社会行为,对长期影响会有较低的预测性,且在社会趋势的发展下,这个原因和影响无法全面预知. 项目群影响矩阵及其下

Oracle数据库集群入门培训教程_Oracle RAC集群体系架构解析

课程目标 风哥本课程讲解Oracle数据库基础入门培训教程之Oracle RAC集群体系架构,内容包括:集群基本概念.Oracle RAC集群架构.Oracle RAC集群相关术语.Oracle RAC集群相关进程.Oracle RAC集群技术不同版本的变化 适用人群 IT相关从业人员,Oracle dba,在校大学生 课程简介 风哥本课程讲解Oracle数据库基础入门培训教程之Oracle RAC集群体系架构,内容包括: 一.本课内容 01.Oracle集群有哪几种 02.Oracle集群基本

LVS+Keepalived 实现高可用负载均衡集群

简介: 随着网站业务量的增长,网站的服务器压力越来越大?需要负载均衡方案!商业的硬件如 F5 ,Array又太贵,你们又是创业型互联公司如何有效节约成本,节省不必要的浪费?同时还需要实现商业硬件一样的高性能高可用的功能?有什么好的负载均衡可伸张可扩展的方案吗?有!我们利用LVS+Keepalivd基于完整开源软件的架构可以为你提供一个负载均衡及高可用的服务器.  一.LVS+Keepalived  介绍 1.  LVS LVS是Linux Virtual Server的简写,意即Linux虚拟服

集群基础之LVS的基础概念

一.集群简介 什么是集群 计算机集群简称集群是一种计算机系统,它通过一组松散集成的计算机软件和/或硬件连接起来高度紧密地协作完成计算工作.在某种意义上,他们可以被看作是一台计算机.集群系统中的单个计算机通常称为节点,通常通过局域网连接,但也有其它的可能连接方式.集群计算机通常用来改进单个计算机的计算速度和/或可靠性.一般情况下集群计算机比单个计算机,比如工作站或超级计算机性能价格比要高得多. 集群就是一组独立的计算机,通过网络连接组合成一个组合来共同完一个任务 LVS在企业架构中的位置: 以上的

Linux服务器集群系统(一)(转)

add by zhj:虽然是2002年的文章,但读来还是收益良多.在 章文嵩:谈LVS及阿里开源背后的精彩故事 中LVS发起人及主要贡献者谈了LVS的开发过程及阿里开源的一些故事 原文:http://www.linuxvirtualserver.org/zh/lvs1.html 本文介绍了Linux服务器集群系统--LVS(Linux Virtual Server)项目的产生背景和目标,并描述了LVS服务器集群框架及目前提供的软件,列举LVS集群系统的特点和一些实际 应用,最后,本文谈论了LVS

构建高可用的LVS负载均衡集群 入门篇

一.LVS简介 LVS是Linux Virtual Server的简称,也就是Linux虚拟服务器, 是一个由章文嵩博士发起的自由软件项目,它的官方站点是www.linuxvirtualserver.org.现在LVS已经是 Linux标准内核的一部分,在Linux2.4内核以前,使用LVS时必须要重新编译内核以支持LVS功能模块,但是从Linux2.4内核以后,已经完全内置了LVS的各个功能模块,无需给内核打任何补丁,可以直接使用LVS提供的各种功能. LVS 集群采用IP负载和基于内容请求分

集群环境分析及部署(基础)

集群概念: 由两个或两个以上的服务实体协调.配合完成一系列工作的模式,对外表现为一个整体. 特点 分配用户请求 故障转移 共享存储 结构: agent   负载调度器 业务层   服务器池 存储   共享存储 1.垂直扩展 为同样的计算资源池加入更多资源,比如增加更多内存.磁盘或是虚拟cpu,来应对增加的应用负载 2.水平扩展 需要向计算平台加入更多的机器或设备,来处理增长的需求 向上拓展:对硬件的升级.更换.提升 缺点: 性能:提升是有限度的 弊端: DNS没有对后端设备健康状态进行检测的能力