程序员必知:循环群、对称群、陪集和拉格朗日定理、正规子群和商群

简介: 程序员必知:循环群、对称群、陪集和拉格朗日定理、正规子群和商群

元素的阶

设是群,a∈G,a的整数次幂可归纳定义为:

a0 = e

an+1 = an· a, n∈N

a-n = (a-1)n, n∈N

容易证明,?m,n∈I,am··an = am+n, (am)n = amn.

定义:设是群,a∈G,若?n∈I+,an ≠ e,则称a的阶是无限的;否则称使得an = e的最小整数n为a的阶,此时a的阶也称为a的周期,常用|a|表示

在群中,?i∈I - {0},i的阶都是无限的

在群

定理:设是群,a∈G,且|a| = n,k∈I,则|ak|=n(k,n)|ak|=n(k,n)|a^k| = \frac{n}{(k,n)}.特别地,|a-1| = |a|

循环群

循环群:在群(G,·)中,若存在a∈G,使得G = {an | n∈G},则称(G,·)为循环群。

(Z,+)是一个无限阶循环群,生成元是1和-1

循环群的结构相当简单,我们完全可以刻画出全部循环群的同构类

定理:设群G = (a),则循环群只有两种。若|a|无限,则G≌;若|a|=n∈I+,则 G≌

由本定理有,同阶的循环群必同构,因此把n阶循环群记作Cn

推论:设G是n阶有限群,a∈G,则G = (a)当且仅当|a| = n。

就是上面定理的推论,此推论说明循环群生成元的阶与群的阶是相同的

定理:设群G=(a)

若G是无限群,则G只有两个生成元a和a-1

若|G| = n∈I+,则G=(ar)当且仅当(r,n) = 1,即生成元有φ(n)个,其中φ(n)为欧拉函数

证:

(1)必要性:已知a是生成元,因为a = (a-1)-1,所以a-1也是生成元。充分性:设am∈G是生成元,即G = (am),因为a∈G,所以?t∈I,使得a = (am)t,所以amt-1=e.因为G是无限群,mt-1=0,故m=t=1或m=t=-1,故只有两个生成元a和a-1.

(2)必要性:设G=(ar),由前面的推论知|ar| = n,由前面关于元素的阶的定理得|ar|=n(r,n)|ar|=n(r,n)|a^r| = \frac{n}{(r,n)},故(r,n) = 1。充分性:设(r,n) = 1,则?s,t∈I使得rs + nt = 1,于是a=ars+nt=(ar)s?(an)ta=ars+nt=(ar)s·(an)ta = a^{rs+nt} = {(a^r)}^s·{(a^n)}^t,因为|a| = n,an = e,所以a = (ar)s,故G = (ar).

例如:设G为12阶循环群{e,a,a2,...,a11},因为与12互质的12以内的数有1,5,7,11,所以G有4个生成元,分别是a,a5,a7,a11.

定理:设群G=(a),|G|=n,则对于n的每个正因子d,有且仅有一个d阶子群,因此,n阶循环群的子群的个数恰为n的正因子的个数.

例如:12阶循环群有6个子群,分别是(a),(a2),(a3),(a4),(a6),(a12).

变换群

我们知道,给定一个集合A,是亚群,其中°是函数合成运算,令PA为A到A的所有双射的集合,则

是群,其中1A是单位元,每个f∈PA的逆元是其逆函数f-1.

变换群:设A为集合,群

的子群称为A的变换群

Cayley定理:任意一个群都与某个变换群同构。证明略

置换群是特殊的变换群,在代数中有重要地位

对称群和置换群

对称群:设S是非空有限集,Sn是S的所有置换的集合(n是集合的基数),°是函数的复合运算,则是一个群,称作n次对称群。易知|Sn| = n!

置换群:对称群的子群称为置换群,含有n个元素的子群称为n次置换群

作为Cayley定理的直接推论,我们有

推论:任意一个有限群都与某个置换群同构

置换还有第二种表示方法,为此需要引入循环的概念

定义:把S中的元素i1变成i2,i2变成i3,... ik又变成i1,并使S中的其余元素保持不变的置换称为循环,也称轮换,记(i1 i2 ... ik),k称为循环长度。特别的,长度为2的循环称为对换.

注意,同一循环的表示并不唯一。长度为1的循环是恒等置换。

例如:(1234542531)(1234542531)\bigl(\begin{smallmatrix} 1 \, 2 \, 3 \, 4 \, 5 \ 4 \, 2 \, 5 \, 3 \, 1 \end{smallmatrix}\bigr)

定理:

任意置换都可表示成若干无公共元素的循环之积

任意置换都可表示成若干个对称之积,且对换个数的奇偶性不变

陪集

定义:设H是群G的子群,a∈G.

集合a·H = {a·h | h∈H} 称为H关于a的左陪集

集合H·a = {h·a | h∈H} 称为H关于a的右陪集

定理:设H是群G的子群,在G上定义二元关系R为:对任意a,b∈G,(a,b)∈R当且仅当b-1a∈H,则R是G上的等价关系,且其对应的等价类与左陪集相同,为R(a) = a·H。类似的,在G上定义二元关系R为:对任意a,b∈G,(a,b)∈R当且仅当ab-1∈H,则R是G上的等价关系,且其对应的等价类与右陪集相同,为R(a) = H·a。

证:(1)先证明R是等价关系,自反性:?a∈G,因为a-1 · a = e∈H,所以aRa。对称性::?a,b∈G,若aRb,b-1 · a∈H,由于H是群,一个元素的逆元也在群中,所以(b-1 · a)-1∈H,所以bRa。传递性:?a,b,c∈G,若aRb和bRc,即b-1 · a∈H,c-1 · b∈H,H是群,则满足封闭性,所以c-1 · a = (c-1 · b) · (b-1 · a) ∈H,即aRc。

(2)再证明R(a) = aH,对?x∈R(a),有aRx,由对称性知xRa,即a-1x∈H,因此存在h∈H,使得a-1x = h,即x=ah∈aH,得到R(a)?aH;反过来,假设x∈aH,则存在h∈H,使得x=ah,即a-1x=h,所以xRa,得到aH?R(a);综上的,R(a) = aH

定理:H是G的有限子群,?a∈H,|aH| = |Ha| = |H|.

该定理说明同一子群的左陪集和右陪集的基数相等,且等于子群的基数

定理:所有左陪集的个数等于所有右陪集的个数

证:只需给出SL和SR之间的双射即可。

该定理是指陪集本身的个数,上一个定理是指陪集中元素的个数,是不同的

定义:设H是群G的子群,H在G中所有左(右)陪集的个数称为H在G中的指数,记作【G,H】

拉格朗日定理

Lagrange定理:设H设有限群G的子群,则|H|整除|G|,且|G| = |H| * //代码效果参考:http://www.zidongmutanji.com/bxxx/376218.html

【G:H】

推论一:有限群G的每个元素的阶均能整除G的阶

证:?a∈G,(a)≤G,所以|(a)|整除|G|,即|a|整除|G|

推论二:质数阶的群必为循环群

证:设G是p阶群,其中p是质数,由(1),?a∈G,|a|整除p,若a≠e,则|a| ≠ 1,所以|a| = p,故G = (a).

正规子群与商群

正规子群:设H是G的子群,若?a∈G,aH = Ha,则称H是G的正规子群,或正则子群、不变子群,记作H?G

在正规子群中左陪集和右陪集相等,因此统称为陪集

例如:

Abel群的子群都是正规子群

任意群都有两个平凡正规子群,即{e}和它本身

定理:设H ≤ G,H?G当且仅当?a∈G,aHa-1?H

该定理可用来判定是否为正规子群

定理:设H ≤ G,则G关于H的陪集关系R是G上的同余关系

证:前面已经证明过R是等价关系,下面证明R关于·满足置换性质.

?a,b,c,d∈G,若aRb,cRd,则aH = Hb,cH = Hd,所以(ac)H = a(cH) = a(Hd) = (aH)d = (Hb)d = H(bd).故(ac)R(bd)。

注:

群的任意子群的左(右)陪集关系不一定是群上的同余关系,但是正规子群的陪集关系一定是

正规子群可诱导出同余关系,反之,同余关系也可以诱导出正规子群

商群:设(H,·)是(G,·)的一个正规子群,定义G/H为{Ha |a∈G},对任意的Ha,Hb∈G/H,定义G/H上的运算°为Ha ° Hb = Hab,(补充完整是(H·a) ° (H·b) = H·a·b),则(G/H,°)构成一个群,称为G关于H的商群

证:证明其是一个群,良性的、封闭性、结合性、有单位元、有逆元。略。

例如:

参考链接:中国大学mooc 刘铎 离散数学

元素的阶循环群变换群对称群和置换群陪集拉格朗日定理正规子群与商群

EOF

d="M23.52,50.32a1.65,1.65,0,0,0,1.55-1.11H55.28l48-48.13h31.06V0H102.85l-48,48.13H25.07a1.64,1.64,0,0,0-2.09-1,1.64,1.64,0,0,0,.54,3.2Zm0-2.21a.57.57,0,0,1,0,1.13.57.57,0,1,1,0-1.13Z
相关文章
|
Linux 编译器 开发者
Linux设备树解析:桥接硬件与操作系统的关键架构
在探索Linux的庞大和复杂世界时🌌,我们经常会遇到许多关键概念和工具🛠️,它们使得Linux成为了一个强大和灵活的操作系统💪。其中,"设备树"(Device Tree)是一个不可或缺的部分🌲,尤其是在嵌入式系统🖥️和多平台硬件支持方面🔌。让我们深入了解Linux设备树是什么,它的起源,以及为什么Linux需要它🌳。
Linux设备树解析:桥接硬件与操作系统的关键架构
|
异构计算
PCIe链路训练(Link Training) Debug案例解析
有关Xilin FPGA开发版PCIe link up issue debug过程的文章,小编把里面提到的一个案例在这里给大家分享一下。
|
Linux Go Windows
NATS服务器部署及测试
版权声明:本文为博主chszs的原创文章,未经博主允许不得转载。 https://blog.csdn.net/chszs/article/details/51002444 NATS服务器部署及测试 作者:chszs,未经博主允许不得转载。
3428 0
|
6月前
|
Ubuntu 测试技术 数据处理
QF-Lib:用一个库搞定Python量化回测和策略开发
QF-Lib 是一个一体化的量化金融研究工具库,涵盖数据获取、策略回测、风险分析到报告生成全流程。支持多数据源接入与前瞻偏差防护,基于事件驱动架构,内置专业金融函数,模块化设计便于扩展,可快速搭建策略原型并自动生成PDF/Excel报告,提升量化研究效率。
1129 3
QF-Lib:用一个库搞定Python量化回测和策略开发
|
8月前
|
人工智能 自然语言处理 监控
Browser Use:打造你的浏览器自动化助手
你是否曾希望用简单的一句话就能让浏览器自动填表、抓数据或做测试?Browser Use 让这成为现实。它结合了语言模型的智能和传统自动化的稳定,能听懂自然语言指令,自己规划步骤,还能应对网页变动和错误。无论是开发者还是普通用户,都能用它高效完成日常操作,省时省力。安装简单,写行指令就能马上体验。
|
11月前
|
SQL 关系型数据库 MySQL
MySQL 常用函数
我们这次全面梳理 MySQL 中的常用函数,涵盖 聚合函数、字符串函数、日期时间函数、数学函数 和 控制流函数 等五大类。每类函数均配有语法说明与实用示例,帮助读者提升数据处理能力,如统计分析、文本处理、日期计算、条件判断等。文章结尾提供了丰富的实战练习,帮助读者巩固和应用函数技巧,是进阶 SQL 编程与数据分析的实用工具手册。
903 2
|
机器学习/深度学习 人工智能 数据可视化
【2020-2024持续更新】Echo State Network和储层计算论文汇总!包括经典ESN、DeepESN、组合ESN和综述!
本文汇总了2020至2024年间关于Echo State Network(ESN)和储层计算的研究成果,包括综述、不同模型分类(经典ESN、DeepESN、组合ESN)、开源论文、储层计算相关研究以及ESN在各个领域的应用情况。
485 0
|
存储 缓存 安全
大厂面试高频:ConcurrentHashMap 的实现原理( 超详细 )
本文详细解析ConcurrentHashMap的实现原理,大厂高频面试,必知必备。关注【mikechen的互联网架构】,10年+BAT架构经验倾囊相授。
大厂面试高频:ConcurrentHashMap 的实现原理( 超详细 )
|
数据处理 开发者 异构计算
ComfyUI+多模态LLM--手搓一个好用的视频/图片提示词反推器
今天我们把ComfyUI工具和多模态LLM结合,在魔搭的免费算力上搭建出支持单图理解,多图理解,视频理解的WebUI界面,更好的支持开发者快速搭建一个视频/图片页面打标器。
ComfyUI+多模态LLM--手搓一个好用的视频/图片提示词反推器
|
人工智能 小程序 JavaScript
【一步步开发AI运动小程序】一、准备工作
随着AI技术的发展,阿里体育推出的“乐动力”、“天天跳绳”等APP,使云上运动会、线上健身等概念备受关注。本文将指导您使用“云智AI运动识别小程序插件”,从零开始开发AI运动小程序,分享这一潮流红利。需提前准备插件申请、掌握相关开发技术并安装好开发工具。