对称群与置换群 定义
我刚接触抽象代数的那段时间，一直在考虑一个问题，抽象代数有什么实际应用。后来听说，群在研究一些具有对称性质的对象时有奇效。于是我试着用群去描述一些简单的几何变换，发现确实如此。这就是我在置换那篇文章的最后让大家思考等边三角形变换的原因。
如果大家在看群的定义时，回想一下集合 S={1,2,...n}S={1,2,...n} 上的所有置换，不难发现这些置换也能构成群。这个群被叫做对称群，记为 SnSn。而 SnSn 的任意一个子群被称作置换群。
为了了解置换的性质，我们用循环的乘积表示置换。
如果 nn 阶置换 PP 把 kk 个数码 i1,i2,...iki1,i2,...ik按如下方式对应：
P(i1)=i2, P(i2)=i3, ..., P(ik)=i1P(i1)=i2, P(i2)=i3, ..., P(ik)=i1
而对于其余数码 x,p(x)=xx,p(x)=x 。则说 PP 是一个 kk 循环。记作
P=(i1,i2,...in)P=(i1,i2,...in)
当然，一个循环不止一种写法。(i1,i2,...in)和(i2,i3,...in,i1)(i1,i2,...in)和(i2,i3,...in,i1) 是一个循环。
两个循环是不交的，如果两个循环中的数码都不相同。如果两个循环不交，那么这两个循环显然是可以交换位置的。例如置换
[122331445665][123456231465]
中有两个循环 (1,2,3),(5,6)(1,2,3),(5,6) ，那么这两个循环无论以何种方式复合，结果都是
[122331445665][123456231465]
我们再来看一下循环本身，最简单的循环是只有两个数码的循环，比如上面那个例子中的 (5,6)(5,6) ，要研究那些大的循环，可否将任意一个循环表示成若干2循环的乘积呢？答案当然是肯定的。还是上面那个例子，循环 (1,2,3)(1,2,3) 可以表示成 (1,3)(1,2)(1,3)(1,2)。注意，这两个2循环是相交的，所以不能交换位置。
现在我们介绍两个置换群的子群：
* 设S={1,2,...,n}S={1,2,...,n}，GG 是 SS 上的一个置换群，TT 是 SS 的任意一个子集，令
GT={P∈G|P(t)=t,t∈T}GT={P∈G|P(t)=t,t∈T}，那么 GTGT 是G的一个子群。证明很简单：首先，恒等置换 isis 必然属于GTGT，并且是 GTGT 的单位元；其次，如果 P,Q∈GTP,Q∈GT，那么对于 TT 中任意元素 tt，(PQ)(t)=t(PQ)(t)=t，也就是说 PQ∈GTPQ∈GT；最后，如果P∈GTP∈GT，那么 (PP−1)(t)=(P−1P)(t)=t(PP−1)(t)=(P−1P)(t)=t。故GTGT 是G的一个子群。
* 设S={1,2,...,n}S={1,2,...,n}，GG 是 SS 上的一个置换群，TT 是 SS 的任意一个子集，令
GT={P∈G|P(t)⊆T}GT={P∈G|P(t)⊆T}，那么 GTGT 是G的一个子群。证明方法与上面类似，只是需要说明 P(t)⊆TP(t)⊆T 和 P(t)=TP(t)=T 其实是等价的。
这两个子群， GTGT 使 TT 中的元素保持不动，GTGT 使 TT 中的元素只在 TT 中变动，所以 GT⊆GTGT⊆GT。讲完这些回想一下置换一文中提到的三角形变换：
循环 (1,2),(2,3),(1,3)(1,2),(2,3),(1,3) 代表的置换可以构成形如 GTGT 的子群。TT 分别对应 {3},{1},{2}{3},{1},{2}。从几何的角度说，TT 称之为对称轴。
循环 (1,2,3),(2,3,1)(1,2,3),(2,3,1) 代表的置换可以构成形如 GTGT 的子群。几何意义是对三角形做120°旋转变换。
置换群还有很多例子,建议高中化学学得不错的小伙伴考虑考虑手性分子结构。对密码学有兴趣的可以搜一下移位密码(一种移位密码)，移位密码一般用环论解释，但个人认为用群论也能够理解。密码学不太了解,如果这里说的有问题，不吝赐教。
对称群与置换群 定义相关推荐
- 抽象代数学习笔记（7）对称群与置换群
抽象代数学习笔记(7)对称群与置换群 我刚接触抽象代数的那段时间,一直在考虑一个问题,抽象代数有什么实际应用.后来听说,群在研究一些具有对称性质的对象时有奇效.于是我试着用群去描述一些简单的几何变换, ...
- 近世代数 笔记与题型连载 第八章（置换群）
文章目录 基本概念 1.置换 2.置换的复合 3.置换群 4.置换的轮换表示 5.轮换的逆 6.轮换的不相交 7.轮换的阶 8.对换 9.置换的奇偶性 10.置换的类型 11.正多边形旋转翻转构成的群 ...
- 【数学】《离散数学中“群”的概念》
文章目录 离散数学中群的概念 群的定义 举例 几种常见的群 群的由来 补充 群能解决什么问题(行业应用) 离散数学中群的概念 群的定义 说起群,首先要引出一个更大的概念--代数系统(什么是代数系统就不 ...
- java 汉米尔顿回路_《模拟电子技术基础》课程教学大纲
<离散数学(II)>课程教学大纲 一.课程基本信息 课程名称 离散数学(II) 课程英文名称 Discrete Mathematics(II) 总学时 40 讲课学时 34 实验学时 上机 ...
- 漫谈OI中的群论入门
前言 本文以群论的一些基本概念及定理证明为主,且多为信息学竞赛所应用,如有不当之处,还望指正 本文对burnside引理与Polya定理仅作引入与证明,达到初步理解的目的,不作深入讨论,具体题目和实现 ...
- 置换怎么表示成轮换_§2.3 置换群
让我们暂时先放下上节笔记中循环群美丽的性质,来专心看看置换群吧. 不得不说,置换群只是群的表现形式之一,本身不具有特殊的性质.但是,由于置换群所含内容的广泛性,它可以和其余所有的群(只能是有限群)形成 ...
- （组合数学笔记）Pólya计数理论_Part.6_置换群的循环指数
文章目录 写在前面 需要用到的一些公式 柯西公式 循环指数的定义 对称群的循环指数 定理 对称群循环指数的普通型母函数 交错群(对称群的一个子群)的循环指数 循环群的循环指数 应用 二面体群的循环指数 ...
- （组合数学笔记）Pólya计数理论_Part.3_置换群及其性质
文章目录 置换群及其性质 对称群及其性质 置换的合成运算(σ∘τ\sigma\circ\tauσ∘τ) 逆置换 置换σ\sigmaσ的格式typ(σ)\mathrm{typ}(\sigma)typ(σ ...
- 哈工大近世代数定义、定理、推论汇总
目录 1. 半群 1.1. 若干基本概念 1.2. 半群与幺半群的概念 1.3. 子半群.子幺半群.理想 1.4. 同构.同态 2. 群 2.1. 群的定义 2.3. 子群.生成子群 2.4 变换群. ...
最新文章
- 关于虚拟内存，你需要了解的一些概念
- 八大基本数据类型对应的八大包装类（含对应面试题解析）
- python小波变换尺度函数_Python图像处理（17）：pyWavelet
- 在不停止mysql复制主服务器的情况下，配置一个mysql复制从服务器
- linux device_create_file属性 怎么调用,device_create_file创建多级目录
- Codeforces 432D Prefixes and Suffixes(KMP+dp)
- mysql索引增加栏位_mysql 添加索引 mysql 如何创建索引
- ubuntu系统下IDEA中新建class时报错Unable to parse template “Class“的解决方法
- python入侵个人电脑的步骤图解台式_入侵渗透专用的python小脚本脚本安全 -电脑资料...
- 构建我的第一个 22TB 容量的家庭存储服务器
- 空号检测（电话号码状态实时分析）freeswitch模块
- MYSQL命令行闪退问题解决
- 贝叶斯决策论及朴素贝叶斯分类器
- 机电一体化柔性生产线加工系统
- Lazarus控件安装方法
- linux之if语句详解
- Python实现PDF（图片版）水印的去除
- 浮生若梦，静如止水，不问情意，只愿你安好
- Facebook Marketing: Advanced Advertising Facebook营销：高级广告 Lynda课程中文字幕
- subprocess 模块（了解）