循环群与置换群

合集下载

近世代数第9讲

近世代数第9讲

近世代数第9讲置换群(pormutation group)本讲的教学目的和要求:置换群是一种特殊的变换群。

换句话说,置换群就是有限集上的变换群。

由于是定义在有限集上,故每个置换的表现形式,固有特点都是可揣测的。

这一讲主要要求:1、弄清置换与双射的等同关系。

2、掌握置换—轮换—对换之间的联系和置换的奇偶性。

3、置换的分解以及将轮换表成对换之积的基本方法要把握。

4、对称群与交错群的结构以及有限群的cayley定理需要理解。

本讲的重点与难点:对于置换以及置换群需要侧重注意的是:对称群和交错群的结构和置换的分解定理(定理2)。

注意:由有限群的cayley定理可知:如把所有置换群研究清楚了。

就等于把所有有限群都研究清楚了,但经验告诉我们,研究置换群并不比研究抽象群容易。

所以,一般研究抽象群用的还是直接的方法。

并且也不能一下子把所有群都不得找出来。

因为问题太复杂了。

人们的方法是将群分成若干类(即附加一定条件);譬如有限群;无限群;变换群;非变换群等等。

对每个群类进行研究以设法回答上述三个问题。

可惜 , 人们能弄清的群当今只有少数几类(后面的循环群就是完全解决了的一类群)大多数还在等待人们去解决。

变换群是一类应用非常广泛的群,它的具有代表性的特征—置换群,是现今所研究的一切抽象群的来源,是抽象代数创始人E.Galais(1811-1832)在证明次数大于四的一元代数方程不可能用根号求解时引进的。

一. 置换群的基本概念定义1.任一集合A 到自身的映射都叫做A 的一个变换,如果A 是有限集且变换是一一变换(双射),那么这个变换为A 的一个置换。

有限集合A 的若干个置换若作成群,就叫做置换群。

含有n 个元素的有限群A 的全体置换作成的群,叫做n 次对称群。

通常记为n S .明示:由定义1知道,置换群就是一种特殊的变换群(即有限集合上的变换群)而n 次对称群n S 也就是有限集合A 的完全变换群。

现以{}321 , , a a a A =为例,设π:A →A 是A 的一一变换。

群论中的置换群与代数结构分析

群论中的置换群与代数结构分析

群论中的置换群与代数结构分析群论是数学中的一个重要分支,研究的是集合上的一种运算结构,即群。

群论中的一个重要概念是置换群,它与代数结构有着密切的联系。

本文将对群论中的置换群进行分析,并探讨其与代数结构的关系。

一、置换群的定义与性质置换群是指由一组置换构成的群。

置换是一种对集合中元素的重新排列,常用符号表示为σ=(a1,a2,...,an),表示将元素a1替换为a2,a2替换为a3,以此类推,最后将an替换为a1。

置换群的运算是按照置换的复合进行定义的,即两个置换的复合是指先进行第一个置换,再进行第二个置换。

置换群的单位元是一个恒等置换,即不对集合中的元素进行任何置换。

置换群具有以下性质:1. 封闭性:对于置换群中的任意两个置换,它们的复合仍然是一个置换,即置换群中的任意两个元素的复合仍然属于该群。

2. 结合律:置换群的复合运算满足结合律,即对于置换群中的任意三个置换σ、τ和ρ,有(στ)ρ=σ(τρ)。

3. 存在单位元:置换群中存在一个恒等置换,它与任意置换的复合仍然等于该置换本身,即对于置换群中的任意置换σ,有σe=eσ=σ。

4. 存在逆元:对于置换群中的任意置换σ,存在一个逆置换τ,使得στ=τσ=e,其中e为单位元。

二、置换群的代数结构分析置换群作为一种特殊的群,具有一些独特的代数结构。

1. 置换群的阶:置换群中的元素个数称为该群的阶。

对于一个有限集合中的置换群,它的阶等于该集合中元素的个数的阶乘。

2. 置换群的子群:置换群中的子集,如果满足群的封闭性、结合律、单位元和逆元等性质,且自身也构成一个群,则称为该置换群的子群。

3. 置换群的循环群:如果一个置换群中的元素都可以由一个元素生成,称该置换群为循环群。

循环群中的元素称为生成元。

循环群可以用一个生成元来表示,即循环群中的所有元素都可以由该生成元通过复合运算得到。

4. 置换群的正规子群:如果一个置换群的子群满足对于任意元素σ和子群的元素τ,都有σττ^{-1}=τ^{-1}στ,则称该子群为该置换群的正规子群。

离散数学8-代数系统基础

离散数学8-代数系统基础
理学院
第八章 代数系统基础
第八章 代数系统基础
8.1 代数系统概念 8.2 半群与独异点 8.3 群的基本定义与性质 8.4 子群与陪集 8.5 循环群和置换群 8.6 环和域
2
一、基本概念
定义1: 设A是个非空集合且函数f:A*A→A,则称f为 A上的二元运算。
二元运算的两个重要特点: 一是运算封闭性,集合内任意两个元素都可以运算,运算后仍在同
主要包括运算所具有的算律和特殊元素 算律主要:结合律、交换律、分配律、吸收律和消去律 特殊元素:等幂元、幺元、零元和逆元。
9
1.结合律
定义3: 设代数系统<A,*>,对于A中任意元素a,b,c, (ab)c=a(bc),都称运算满足结合律,或是可结合的 。
实数集合上的加法和乘法满足结合律。幂集P(A)上的交、并和对称差 都满足结合律。矩阵的加法和乘法满足结合律。代数系统(Nk,+k)和 (Nk, ×k)中的+k和×k都满足结合律。
例设<A,*>是一个代数系统,其中*定义为a*b=a,证明运算是不可交 换的。
11
3.幂等律
定义5: 设代数系统<A,*>,对于A中任意元素有 x*x=x,则称运算*在A上满足幂等律。
设A为集合,<P(A), ∩>和<P(A), ∪>中的∩和换律、结合律和幂等律。
则称<A,*>是群。
如果<A,>是独异点且每个元素存在逆元,则称<A,>是群。 (R,+),(Z,+)都是群,幺元为零,x -1 = -x;(R-{0},×)是群,幺
元为1,x -1 =1/x ;<Q,>不是群,1是幺元,而0是无逆元。

交换群与循环群

交换群与循环群

例: ∵(-1)0=0 、(-1)1=-1、(-1)2 = (-1)+(-1) = -2、……、 (-1) n = - n、…… (-1)-1 = 1、(-1)-2 = (-1-1)2 = (-1)-1+(-1)-1 = 1+1 = 2、……、 (-1)-n = n、…...
∴ -1也是<I,+>的生成元 可见,一个循环群的生成元可以是不唯一的。
(2) 证明a, a2, a3, ……, a n-1, a n 中任何两个元素都不相同 (反证法)设有1≤ i < j ≤ n,使 ai = aj,则 aj-i = aj * a-i = ai * a-i = e ,1≤ j- i ≤n-1< n 由 (1) 已经证明了不可能存在小于 n 的整数 m , 使得 a m = e
显设然S=<{Sa,c*,a>d是,a循e,a环f…群ao…(}e1 =Ge,,令e是m=生m成in元{x|)ax S}
2) 若S≠{e},∵S的元素都由a的幂组成, ∴必存在最小的正整数m,使得amS
xS,x= aL, 必有 L = mq+r (q是非负整数,0≤r<m ) 由封闭性,可得:ar = aL - m q = aL * (a m) -q S ∵ 0 ≤ r < m,m是使 a m S的最小正整数 ∴必有 r = 0 ,L = m q aL = ( a m )q,即S中任意元素 aL 都可用 am 的幂表示 又∵<S,*>是群 ∴<S,*>是以 am 为生成元的循环群
证明: 对任意的a,bG,有 (a*b)*(a*b)=(a*a)*(b*b) ∵a*(a*b)*b=(a*a)*(b*b) = ( a * b) * ( a * b ) = a * ( b * a ) * b ∴ a-1 * ( a * ( a *b ) * b ) * b-1 = a-1 * ( a * ( b* a ) * b ) * b-1 ∴a*b=b*a ∴ <G,*>是交换群

循环群和置换群-置换群

循环群和置换群-置换群

1
置换群的元素都是一一对应的,即每个元素都有 一个唯一的逆元素。
2
置换群中的元素可以相乘,满足结合律和单位元 存在性。
3
置换群中的元素可以相逆,满足逆元存在性。
置换群的例子
01
02
03
置换群的一个简单例子 是$S_n$,即所有$n$个 元素的排列组成的群。
置换群也可以是有限集 合上的自同构群,例如 有限环上的模运算构成
定义
通过同态映射将置换群映射到另一个群或半 群上,从而将问题转化为更易于处理的形式 。
优点
能够将复杂问题简化,便于理解和分析。
缺点
同态映射的选择需要具备一定的理论基础和 实践经验,且可能引入额外的复杂性。
05
CATALOGUE
置换群的应用
在对称性物理中的应用
量子力学
置换群在量子力学中用于描述粒子的 对称性,例如在描述原子或分子的电 子排布时,置换群可以用来描述电子 的对称性。
在密码学中的应用
密码算法
置换群在密码学中被广泛应用于各种密码算法,例如AES、DES等对称加密算 法中都涉及到置换群的概念。
密钥管理
置换群可以用于密钥管理,例如通过对称加密算法中的置换操作来生成密钥, 保证通信的安全性。
THANKS
感谢观看
晶Hale Waihona Puke 结构在晶体物理学中,置换群被用来描述 晶体的对称性,例如空间群可以描述 晶体在三维空间中的对称性。
在组合数学中的应用
组合问题
置换群在组合数学中用于解决各种组合问题,例如排列、组合、划分等问题。
组合恒等式
置换群可以用来证明和推导组合恒等式,例如在证明帕斯卡恒等式时,置换群被用来证明组合数的对称性。

离散数学第七讲群、环、域

离散数学第七讲群、环、域
对于列也可同样证明。
7
一、群的定义和性质
定理4:群〈G ,*〉的运算表中的每一行或每一列都是G中 证: iii)最后, 因为〈G, *〉中含有么元, 所以没有两行
综合以上结果便得出: 运算表中每一行都是G的元素的
一个置换, 并且每一行都是不同的置换。同样的结论适合 于列。证毕。 定理5:群中没有零元。
(3)对任意 a、b∈S, ∵ b-1 ∈S , ∴ a *(b-1 )-1 ∈S, ∵ a *(b-1 )-1 = a *b , ∴ a *b∈S 。
得证。
21
四、群同态
定义8:设〈G , *〉和〈H , *′〉是两个群, 映射h:G →H
称为从〈G , *〉到〈H, *′〉的群同态, 如果对任
④ 代数〈Nk, +k, -1, 0〉是群, 这里x-1 =k-x 代数〈Nk, ×k 不是群, 因为0元素没有逆元
3
一、群的定义和性质
群是半群和独异点的特定情况, 有关半群和独异点的性 质在群中也成立, 群的性质还有:
定理1: 如果〈G , *〉是一个群, 则对于任何a、b∈G, (a) 存在一个唯一的元素x, 使得a * x=b (b) 存在一个唯一的元素y, 使得y * a=b
任意群〈G ,*〉均有两个平凡子群:〈{e},*〉和〈G ,*〉。
18
三、子群
定理12:设〈G , *〉是个群, S⊆G, 如果(1)若a、b∈S, 则a * b∈S, (2)若a∈S, 则a-1 ∈S。那么〈S , *〉 是〈G, *〉
证: 对任意元素a∈S, 由(2)得a-1 ∈S, 再由(1)得a * a-1 =e∈S。 所以, 〈S , *〉是〈G , *〉的子群。
推论: (a1

置换群的表示方法及循环

置换群的表示方法及循环
§6.置换群
• 6.1 置换群 • 6.2 置换的表示方法:2-行法 • 6.3 循环 • 6.4 补充结论
变换群的一种特例,叫做置换群,在代数 里占一个很重要的地位.比方说,在解决方程 能不能用根号解这个问题时就要用到这种 群.这种群还有一个特点,就是它们的元 可以用一种很具体的符号来表示,使得这 种群里的计算比较简单.现在我们把这种 群讨论一下.
表示置换的第一个方法就是把以上这个置换写成
1
k1
2 k2
L L
n
kn
形式不唯一.在这种表示方法里,第一行的 n
个数字的次序显然没有什么关系,比方说以上的
我们也可用
213L n
k2
k1
L
kn
例1 n 3.假如
: a1 a2 , a2 a3, a3 a1
那么
123
231
132
1
我们再用归纳法.
I.当 不使任何元变动的时候,就是当 是
恒等置换的时候,定理是对的.
II. 假定对于最多变动 r 1(r n) 个元的 定理是对的.现
在我们看一个变动 r 个元的 .我们任意取一个被 变动
的元 ai1 ,从 ai1 出发我们找 ai1 的象 ai2,ai2 的象 ai3 ,这样找
们用符号
(i1i2 L ik ) ,(i2i3 L iki1) ,…或 (iki1 L ik1) 来表示.2-循环称为对换.
例3 我们看 S5 ,这里
12345
23145
123
231
312
12345
23451
12345
23451
L
51234
12345 12345
1

4-1 群、置换、循环

4-1 群、置换、循环

15岁参加声望很高的巴黎高等工科大学的入学考试 15岁 伽罗华失败了,不得不进入普通的师范学校。 时,伽罗华失败了,不得不进入普通的师范学校。 就是在这所学校,伽罗华写出了他的第一篇关于连 就是在这所学校, 分数的数学论文,显示了他的能力。 分数的数学论文,显示了他的能力。 他的下两篇关于多项式方程的论文遭到法国科学院 的拒绝。更糟的是, 的拒绝。更糟的是,两篇论文手稿还莫名其妙地被 丢失了。 丢失了。
1545年 卡尔达塔(Cardano)在他的《大术》 1545年, 卡尔达塔(Cardano)在他的《大术》 (ArsMagna)一书中公开发表了丰塔那的方法。这部 ArsMagna)一书中公开发表了丰塔那的方法。 书还讲述了费拉里(Ferrari)求解四次方程的方法。 书还讲述了费拉里(Ferrari)求解四次方程的方法。 但事情的发展似乎突然停了下来。 但事情的发展似乎突然停了下来。虽然有很多数学 家作出了努力,其中包括18世纪中叶伟大的瑞士数 家作出了努力,其中包括18世纪中叶伟大的瑞士数 学家欧拉(Euler) 但没有一个人能找出五次方程 五次方程的 学家欧拉(Euler),但没有一个人能找出五次方程的 求根公式。 求根公式。
在普通乘法下是群。 例 G={1,-1}在普通乘法下是群。 在普通乘法下是群 的加法下是群。 例 G={0,1,2,…,n-1}在mod n的加法下是群。 在 的加法下是群 二维欧式空间中的刚体旋转变换集合{T 构成群 构成群, 例 二维欧式空间中的刚体旋转变换集合 α}构成群, 其中 x1 cos α sin α x
给定一个集合G={a,b,c,…}和集合 上的二元运算 , 和集合G上的二元运算 给定一个集合 和集合 上的二元运算•, 满足如下条件: 满足如下条件: 1. 封闭性:若a,b∈G,则存在 ∈G使得 封闭性: 使得a•b=c; ∈ ,则存在c∈ 使得 ; 2. 结合律:(a•b)•c=a•(b•c); 结合律: ; 3. 存在单位元:G中存在一个元素 ,使得对于 的 存在单位元: 中存在一个元素 使得对于G的 中存在一个元素e, 任意元素a, 任意元素 ,恒有 a•e=e•a=a; ; 4. 存在逆元:对G的任意元素 ,恒有一个 ∈G, 存在逆元: 的任意元素a,恒有一个b∈ , 的任意元素 使得a•b=b•a=e,则元素 称为元素 的逆元素,记 称为元素a的逆元素 使得 ,则元素b称为元素 的逆元素, 为a-1。 则称集合G在运算 之下是一个 是一个群 则称集合 在运算•之下是一个群,或称 是一个群。 在运算 之下是一个群 或称G是一个
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

再证明 ( G, ) ( T(G ),) 是一个满射 作映射 f : G →T(G), g →Tg 显然 f 是一个满射, 若Tg = Th,则 Tg( a) = Th ( a),即 ga = ha , , 是单射。 由消去律得 g = h,故 f 是单射。 , 而Tg h ( a) = (gh)a = TgTh( a) , 保持运算。 故 f ( g h) = Tg h = TgTh ,即 f 保持运算。 综上所述知: 综上所述知:( G, ) ( T(G ),)
[压缩或平移变换 压缩或平移变换] 压缩或平移变换
下面证明 ( T(G ),) 是群,其中 T(G ) ={ Tg| g ∈ G }: 是群, : 是单射; 若Tg( a) = Tg( b), 则 ga = gb, 由消去律得 a = b, Tg是单射 是满射。 对c ∈ G, 有d= g-1c ∈ G,满足 Tg(d ) = c ,Tg 是满射。 ,
定义7.3.4 设 S为含 个元素的有限集合,σ是 S上 为含n个元素的有限集合 定义 为含 个元素的有限集合, 上 的一个双射, 元置换。 的一个双射,则称 σ是 S上的一个 n元置换。 上的一个 元置换 S上的若干个置换关于运算构成的群,称为 n元 上的若干个置换关于运算 上的若干个置换关于运算 构成的群, 元 置换群; 上的全体置换构成的群, 置换群;S 上的全体置换构成的群,称为 n次对称 次对称 记为S 群,记为 n n次对称群的阶是 n! 。 次对称群的阶是
次对称群S 个元素, 例. 3次对称群 3 中有 个元素,分别是 次对称群 中有6个元素
12 31 ,τ 2 = 312 , 12 3 12 3 12 3 τ3 = 13 2 ,τ 4 = 213 ,τ 5 = 3 21。
证. (1)注意到,在G ={ gk | k ∈ Z }中, )注意到, 中 gs= gt s≡t (mod n)。 。 作映射 f : G → Zn , f ( gk )=[k]n , 是双射。 则 f 是双射。 + 又 f (gsgt )= f (gs+t )=[s + t ]n =[s]n +n [t]n 是同构, 即 f 是同构,故( G,) (Zn, +n) 。 (2)作映射 f : G → Z , f ( gk )=k , ) 是同构, 则 f 是同构,故 ( G,) (Z , + )。
7.3 循环群与置换群 一、循环群
定义7.3.1 设(G ,)是一个群,H G, 若G的元素均 是一个群, 定义 是一个群 的元素均 可由H中的若干元素经过有限次的二元运算 可由H中的若干元素经过有限次的二元运算而得 生成群(G, , 到,则称子集 H生成群 ),并将生成群的子集 生成群 中最小的称为群(G, 的生成元集 的生成元集。 中最小的称为群 )的生成元集。 注意:生成元集不一定唯一! 注意:生成元集不一定唯一!其最小性是相对于集 合的基数而言。 合的基数而言。
循环群是交换群。 循环群是交换群。 若( G,)为循环群, g为G的生成元,则G的结构 为循环群, 为 的生成元 的生成元, 为循环群 的结构 的阶所确定: 在同构的意义下完全由 g的阶所确定: 的阶所确定 (1)若 g的阶 n,则 ( G,) (Zn, +n); 的阶= , ) 的阶 ; 的阶=∞,则 ( G,) (Z , + )。 (2)若 g的阶 ) 的阶 , 。 例如: 例如: (AF ,) (Z3, +3)
2 1 σ = σ (1) σ (2) i2 i1 σ = σ (i ) σ (i ) 2 1 n σ (n) in σ (in )

通常用第一种方式表示置换,等价于将置换看作 通常用第一种方式表示置换,等价于将置换看作: σ : i →j , ( i =1, 2, )
定理7.3.2 设T(S)为集合 S上所有的双射变换,则 上所有的双射变换, 定理 为 上所有的双射变换 (T(S),)是一个群。 是一个群。 是一个群 设 S上的若干个双射变换组成的集合 关于 构成 上的若干个双射变换组成的集合G关于 上的若干个双射变换组成的集合 关于 一个群, 上的一个变换群。 一个群,则称 G为 S上的一个变换群。 为 上的一个变换群 集合 S上双射变换的集合 关于 构成一个群的充 上双射变换的集合G关于 上双射变换的集合 关于 构成一个群的充 要条件是下面二个条件成立: 要条件是下面二个条件成立: 关于运算 (1)G关于运算是封闭的, ) 关于运算 是封闭的, 。 (2)对g ∈ G,必有 g-1 ∈ G。 ) ,
又TgTh(a) = Tg(Th(a)) = Tg(ha)= gha = Tgh(a)∈ T(G ) , 而TgTg-1(a) = gg-1a = a = g-1ga = Tg-1Tg(a), 即Tg-1=Tg-1 . 综合上述结论可知: 综合上述结论可知:( T(G ),) 是一个变换群。 是一个变换群。
σ(0,1) τ π (0,0) = (0,1) 而τ π σ(0,1) (0,0) = (1,0)
2 2
故平面上全体一一变换构成的变换群不是交换群。 故平面上全体一一变换构成的变换群不是交换群。
定理7.3.3 任意一个群都同构于一个变换群。 任意一个群都同构于一个变换群。 定理
是群, 证. 设( G, )是群,g ∈ G。 是群 。 定义变换 Tg: G →G, a→ ga 。
定义7.3.2 若群 G,)的生成元集为 g },则称 为 若群( 的生成元集为 的生成元集为{ ,则称G为 定义 循环群, 称为 的生成元, 称为G的生成元 循环群, g称为 的生成元,并记 G = < g > 。 同半群时的讨论类似, G ={ gk | k ∈ Z} (其中可能 半群时的讨论类似, 其中可能 有相同的元素) 有相同的元素 循环群是可交换的。 循环群是可交换的。
而 1 2345 1 2345 12345
21 4 35 = 21 345 124 35 = (12) (34) = (34) (12)
都是平面上的变换群 例. (GF ,) 和 (AF ,)都是平面上的变换群。 都是平面上的变换群。 例7.3.4 在已建立平面直角坐标系的平面上, 在已建立平面直角坐标系的平面上, 表示平移:σ 用σp表示平移: p (Q)= Q +P; ; 表示绕坐标原点的旋转。 用τθ表示绕坐标原点的旋转。 一般地, 一般地, σpτθ ≠τθσp 。 比如取P 则有: 比如取 =(0,1),θ =π ,则有: ,
例7.3.7 在 S3中,我们有
12345 12345 = (1) = (2) = (3) = (4) = (5) 1 2345 23145 = (123) = (231) = (312) 1 2345 425 31 = (1435) = (4351) = (3514) = (5143) 1 2345 23451 = (12345) = (23451) = (34512) = (45123) = (51234)
定理7.3.1 循环群 G,)的阶 G的生成元 g的阶。 循环群( 的阶 的阶= 的 的阶。 定理 的阶
的阶=m, G的生成元 g的阶 。分二种情形: 的阶=n。分二种情形: 证. 设群 G的阶 的阶 的 的阶 ① n<∞,在G ={ gk | k ∈ Z }中, gs = gt s≡t (mod n) . , 中 ≡ ∵ 若 gs= gt,即 gs-t=e,则s-t=nq。 , 。 + 反之, 反之,若s-t=nq,则 gs= gnq+t = gt。 , , 因此 G ={ g0, g, g2, gn-1},故m=n; , ; 则有g ② n=∞,在G ={ gk | k ∈ Z }中,假若 gs= gt,则有 s-t=e因 , 中 因 没有相同的元素, 此 G没有相同的元素,故 G的阶 m=∞ 。 没有相同的元素 的阶
不是交换群。 于是τ σ ≠σ τ,即 S3不是交换群。 实际上, 是最小的有限非交换群, 实际上, S3是最小的有限非交换群,以后可以 知道一个有限的非交换群至少要含有6个元素 个元素。 知道一个有限的非交换群至少要含有 个元素。
定义7.3.6 设 π ∈ Sn, π : i1 → i2 , i2 → i3, ik → i1 , , 定义 并使其余的元素保持不变, 为一个k- 并使其余的元素保持不变,则称 π 为一个 -循环 置换,记为(i1 i2 i3 ik ) 。 置换,记为 由于 1 i2 i3 ik ) = (i2 i3 ik i1 ) = = (ik i1 i2 ik-1 ), 由于(i 因此一个 一个k- 种表示方式, 因此一个 -循环置换有 k种表示方式,且k-循 种表示方式 - 环置换的阶为k。 环置换的阶为 。 1-循环置换只有 1 种表示方式,即恒等置换; - 种表示方式,即恒等置换; 2-循环置换又称为对换。 -循环置换又称为对换。 注意,并非每一个置换都是循环置换! 注意,并非每一个置换都是循环置换!
二、置换群 二、置换群
定义7.3.3 设 S为集合,称映射τ : S →S 为 S上的 为集合, 定义 为集合 上的 一个变换。变换即为集合S到S自身的一个映射。 一个变换。变换即为集合 到 自身的一个映射。 自身的一个映射 定理7.3.2 设 G为集合 S上全体变换的集合,则 上全体变换的集合, 定理 为集合 上全体变换的集合 (G ,)是一个含幺元 e的半群,其中运算 是复合 的半群, 是一个含幺元 的半群 运算, 上的恒等变换。 运算,e 为S上的恒等变换 上的恒等变换
设有限集合S 上的每一 例7.3.5 设有限集合 = {a1, a2, a3},则 S上的每一 , 上的 置换可以用六种不同的方式来表示。比如, 个置换可以用六种不同的方式来表示。比如, τ : a1 → a2 , a2 → a3, a3 → a1 , 可以表示为: 可以表示为:
1 23 132 213 231 31 2 321 τ = 231 = 213 = 321 = 312 = 123 = 132 1 23 通常还是用 τ = 231 来表示。 来表示。
相关文档
最新文档