当前位置: 首页 > news >正文

【抽代复习笔记】20-群(十四):定理6的补充证明及三道循环置换例题

例1:找出S3中所有不能和(123)交换的元。

解:因为 (123)(1) = (1)(123) = (123),(123)(132) = (132)(123) = (1),所以(1)、(132)和(123)均可以交换;

而(12)(123) = (23),(123)(12) = (13),故 (12)(123) ≠ (123)(12),因此(12)和(123)不可交换;

同理,(13),(23)也与(123)不可交换。

因此,S3中所有不能和(123)交换的元有(12),(13),(23)。

 

定理9:Sn中每一个元都可以写为(12),(13),...,(1n)这n-1个2-循环置换中若干个的乘积。

 

证明补充:定理6(见上一篇文章):两个不相交的循环置换的乘积可交换。

证:设A = {1,2,...,n},Sn是n次对称群。

σ = (r1r2...rn),r = (t1t2...tl)是Sn中不相交的循环置换,即:

{r1,r2,...,rk} ∩ {t1,t2,...,tl} = ∅,将σ和r视为映射,证σr = rσ——

对任意i∈A,

①若i∈{r1,r2,...,rk},则i∉{t1,t2,...,tl},

σ(i) = rm,则rm∉{t1,t2,...,tl},从而:

(σ o r)(i) = σ(r(i)) = σ(i) = rm,(r o σ)(i) = r(σ(i)) = r(rm) = rm,

因此 (σ o r)(i) = (r o σ)(i) = rm,即σr = rσ;

②若i∈{t1,t2,...,tl},即i∉{r1,r2,...,rk},

令 r(i) = tn∉{r1,r2,...,rk},从而:

(σ o r)(i) = σ(r(i)) = σ(tn) = tn,(r o σ)(i) = r(σ(i)) = r(i) = tn,

因此(σ o r)(i) = (r o σ)(i) = tn,即σr = rσ;

③若i∉{t1,t2,...,tl,r1,r2,...,rk},则σ(i) = i = r(i),从而:

(σ o r)(i) = σ(r(i)) = σ(i) = i,(r o σ)(i) = r(σ(i)) = r(i) = i,

因此(σ o r)(i) = (r o σ)(i) = i,即σr = rσ。

综上所述,不管是哪种情况,都有σr = rσ,由此得证两个不相交的循环置换的乘积可交换。

 

例2:证明,一个k-循环置换的阶为k。

证:设σ = (i1i2...ik)是Sn上的一个k-循环,因为:

σ(i1) = i2,σ(i2) = σ(σ(i1)) = σ(i1)^2 = i3,σ(i3) = σ(σ(i2)) = σ(i1)^3 = i4,……,σ(i1)^(k-1) = ik,σ(i1)^k = σ(ik) = i1,

因此σ(i1)^k = i1,但σ(i1)^l ≠ i1(0<l<k),

类似地,对于任意j∈{2,3,k-1,k},都有σ(ij)^k = ij,且σ(ij)^l ≠ ij(l<k),

由此得σ^k = (1),也就是|σ| = k。

 

例3:证明,Sn中每一个元都可写为(12),(13),……,(1n)中若干个的乘积。

证:设σ是Sn中任一k-循环,

(1)若1在σ中出现,则:

σ = (1 i1 i2 …… ik-1) = (1 ik-1)(1 ik-2)……(1 i1);

(2)若1没在σ中出现,则:

σ = (i1 i2 …… ik) = (1 i1)(1 i1 i2 …… ik) = (1 i1)(1 ik)(1 ik-1)……(1 i1)

综上,Sn中每一个元都可写为(12),(13),……,(1n)中若干个的乘积,命题得证。

 

(待续……)

 

 

 

 

 

http://www.lryc.cn/news/378992.html

相关文章:

  • 【单片机毕业设计选题24018】-基于STM32和阿里云的农业大棚系统
  • 【计算机毕业设计】​206校园顺路代送微信小程序
  • 9、PHP 实现调整数组顺序使奇数位于偶数前面
  • iOS开发工具-网络封包分析工具Charles
  • 7、PHP 实现矩形覆盖
  • 鸿蒙开发通信与连接:【@ohos.wifiext (WLAN)】
  • Ps:脚本事件管理器
  • redis哨兵模式下业务代码连接实现
  • Java中将文件转换为Base64编码的字节码
  • 【C++高阶】探索STL的瑰宝 map与set:高效数据结构的奥秘与技巧
  • cd 命令特殊路径符 mkdir命令
  • Mongodb UPDATE, 使用$position指定向数组中插入新元素的位置
  • 【Kafka】Kafka Broker工作流程、节点服役与退役、副本、文件存储、高效读写数据-08
  • 如何恢复未格式化分区数据?看这里!
  • 通过“BOSS”精通比特币,深入认识私钥、账户和钱包
  • 进程与线程的区别
  • 【AI基础】第五步:纯天然保姆喂饭级-安装并运行chatglm3-6b
  • 【学习笔记】Elastic-Job和Quartz 实现企业级定时任务
  • 舒适佩戴,享受沉浸式音乐体验,西圣AVA2耳机体验
  • c++学习-----内存管理
  • 可视化数据科学平台在信贷领域应用系列七:自动机器学习(下篇)
  • OpenGL Super Bible 7th-Primitives, Pipelines, and Pixels图元、渲染管线与像素
  • SpringBoot3.0更新后,IDEA创建SpringBoot2.x项目
  • Linux开发讲课8--- linux的5种IO模型
  • 什么是云主机?
  • 力扣上的经典问题:接雨水
  • 双例集合(二)——双例集合的实现类之HashMap容器类
  • oracle-定时器(job)
  • cron.timezone
  • Hadoop+Spark大数据技术(测试)