对称群S_n的元素阶数的讨论

本文试图探讨S_n的元素的阶数所构成的集合A(n)的结构。最后讨论交错群A的元素阶数。 (一) 设δ∈S_n,如果δ分解成相互独立的n_1阶,n_2~-阶…,n_s阶循环置换的积,那么,δ的阶数就是n(?),…,n_s的最小公倍数[n_1~-,n_2,…,n_s]。设A(n)表示由S_n的全体元素的阶数构成的集合。     

对称群Sn、交代群An的生成系及An(n≥5)单纯性证明的改进

n次对称群S_n(n≥2)可以由n-1个2项循环生成:n次交代群An(n≥3)可以由n-2个3项循环生成: 本文在[1]、[2]的基础上给出S_n(n≥4)与A_n(n≥5)的新生成系,它们分别由4项循环与5项循环组成。应用这个结果,还对交代群A_n(n≥5)的单纯性的证明作了改进。     

正多边形对称群的性质

利用M.Chasles定理研究了正多边形对称群元素的类型,并对这种群中任意两个变换的乘积进行了讨论,由此解决了正多边形对称群的结构问题,即正n边形对称群由其中任意一个反射变换和任意一个阶为n的旋转变换生成.     

正多边形对称群的性质

利用M.Chasles定理研究了正多边形对称群元素的类型,并对这种群中任意两个变换的乘积进行了讨论,由此解决了正多边形对称群的结构问题,即正n边形对称群由其中任意一个反射变换和任意一个阶为n的旋转变换生成.     

对称群中元素阶的性质

本文用递归方法讨论n次对称群S_n中元素的阶集,并对S_n中元素的最高阶作出估计。     

幂等对称拟群的超大集

一个v阶拟群(X,。)等价于一个v(v-1)×3的部分正交表(每行由三个不同元素构成).若对任意a,b∈X,都有a。b=b。a,则称(X,。)为对称的.设y为v+1元集,y的由三个不同元素构成的(v+1)v(v-1)个有序三元组作成集合T(v+1).若T(v+1)可分拆成v+1个分别作用在Y＼{y}上的两两不交的部分正交表By,则称{(y＼{y},By);y∈y}为幂等对称拟群的超大集.本文证明了存在v阶幂等对称拟群的超大集当且发v≡1(mod 2),v≥3.     

一个完全群—复合对称群S_(m,l)~*(m≥l≥3,l≠6)

完全群是既无中心又无外自同构的群,非交换单群的自同构群和有限对称群S_n(n≥3,n≠6)都是完全群。本文再给出一个有限完全群,即复合对称群S_(m,l)~*(m≥l≥3,l≠6)。     

集合的非一一变换作成群的条件

设A是一个集合(有限或无限)A的若干个一一变换如对变换的乘法作成一群时,这群就叫作A的变换群,任一个集合A的变换群确实是存在的,例如可证明A的全体的一一变换便作成一个变换群,现在提出下面的问题:集合A的若干个变换(不一定是一一变换)对变换的乘法能作成一群的必充条件是什末?本文的目的就是回答这个问题。     

半群T_(n,r)的极大(正则)子半群的完全分类

设S_n和T_n分别是X_n={1, 2,…,n}上的对称群和全变换半群.对1≤r≤n,令T(n,r)={α∈T_n:|im(α)|≤r},则T(n,r)是全变换半群T_n的双边理想.对1≤r≤n-1,考虑半群T_(n,r)=T(n,r)∪S_n,得到了半群T_(n,r)的极大子半群S有且仅有两类:S=T_(n,r)\[τ_i](1≤i≤p=p_r(n))和S=T(n,r)∪G,其中G是群S_n的极大子半群.同时,证明了半群T_(n,r)的极大子半群和极大正则子半群是一致的.所得结果推广了已有的结果.     

有限全变换半群的主S_n-正规子半群的幂等元秩

设T_n和S_n是X_n={1,2,…,n}上的全变换半群和对称群,α∈T_n\S_n,计算得到主S_n-正规子半群〈g~(-1)αg|g∈S_n〉的幂等元秩.     

考查S_n中元素阶数分布的一种简便方法

在研究n次对称群(?)时,有时需要考查(?)中元素阶数的分布情况。下面我们介绍其阶数分布的一种简便的方法。做向量的集合(?)我们把H_n中的每个向量称为判别向量,判别向量的各个分量之最小公倍数称为该向量的阶。于是,我们有 I 对任意自然数K,如果H_7中有K阶向量,则S中有K阶元素。反之亦然。Ⅱ若H_7中阶数为K的全部向量作成的集合为(?)α的阶等于K},则S_n中所有阶数为K的元素做成的集合为     

复合对称群

复合置换是北京大学王攻本,阎淑达同志在《中国组合数学首届学术会议》上发表的文章“复合置换与魔方中若干组合问题”中提出的新概念。本文对此加以进一步探讨,引进了一种新的复合置换乘法法则,论证了由m个元素组成的字长为l的全体复合置换对其乘法构成一个复合对称群。     

群之新基本特性的推广

本文将[1]中结论分别在群上和环上作了进一步推广,得到如下结果: 定理1 设G为群,u,v为G中元,则G对“O”:xOy=xv~(-1)u~(-1)y(2)作成群,且G与在φ:x|→uxv,x∈G下同构。反之,若是群G中元对新运算(?)作成的群,且G与在x|→uxv下同构,则(?)就是(2)式定义的O。定理2 若群G有有限方指数n,则G对“O”:xOy=(x~rv~(-1)uy~r)~s(3)成群,其中rs≡|(mvdn),u、v为G中两元素,且G与在φ:x|→(uxv)~s下同构。反之,若是G中元素对运算(?)作成的群,且G与在φ:x|→(uxv)~s下同     

n次对称群不可约表示的维数公式

和通常按分割n=[f](或[λ])引进杨图不同,我们根据n次对称群元素的循环结构,完全不必引入参数[f],而很自然地直接引进了杨图.我们利用对称群外积分解的方法,根据MRLR法则,导出了相应杨图所标记的不可约表示的维数公式.若引入[f]参数,则根据我们所得到的维数公式,在经过繁冗的推导后可得出著名的的Frobenius公式.     

极小子群的完全条件置换性与有限群的超可解

（H，T)表示由H和T生成的G的子群，即群G的包含H和T的最小子群．群G的子群H称为G中的完全条件置换子群．如果对G的任意子群T，存在元素：x∈(H，T)，使HT^x=T^xH．利用极小子群的完全条件置换性给出了一个群为超可解群的判别准则：设G是有限群，N←△G，且G／N超可解，若N的所有极小子群及4阶循环子群都是G的完全条件置换子群，则G是一个超可解群。     

含极大循环阵的8维类置换阵群

如果一个群里的任意一个矩阵相似于一个置换阵, 称这个矩阵群为类置换群. 此群相似于一个置换阵群. 本文利用群作用轨道的不变集刻画了8 维类置换阵群各个元素的表示矩阵, 利用这个结论证明了若此类置换阵群包含一个极大循环正规子群时, 则其相似于一个置换群.     

n次对称群S_n的元素的阶

我们试图给出S_4的元素的阶所构成的集合,为此,要用到下列的基本事实: 1°任一个n个文字的置换可以分解为不相连的(即彼此无公共文字)循环置换的乘积。 2°两个不相连的循环置换可交换。 3°k个文字的循环置换(a_1,a_2,…,a_k)的阶为k。 4°群G的元素g_1,g_2,…,g_s的阶分别为m_1,m_2,…,m_s,这些元素两两可换,这些阶数两两互质,则积g_1,g_2,…,g_s的阶为m_1,m_2,…,m_s。 5。群G的元素g_1,g_2,…,g的阶分别为t_1,t_2,…,t_s,这些元素两两可换,则积g_1g_2…g_s的阶为t_1,t_2,…,t_s的最小公倍数的因数。     

广义棱柱和补棱柱中的超欧拉图

对于一个图G,它的顶点标号为1,2,…,n,S_n是在{1,2,…,n}上的n次对称群,α∈S_n是一个置换,图G的α-广义棱柱,记作α(G),是指图G的2个复制,G_x和G_y,连同所有置换边(x_i,y_(α(i))(1≤i≤n)所构成的图.图G的补棱柱,记作G G,同构于由G和G的补图G的不交并,再加上一个连接G和G对应顶点的完美匹配构成的图.如果图G有一个生成欧拉子图,那么称G是超欧拉图.研究了完全二部图、路和圈的广义棱柱和补棱柱是超欧拉图的充要条件.     

某类周期FC群中n元组同构等价的一阶局部刻划

证明了在周期FC群中,若每个元素同构等价类都有限,则两个n元组同构等价的充要条件是它们局部同型,即对于包含这两个n元组的任一n元组有限于集S,都存在一个有限子群M,使得,且两个n元组在M中有相同的型。作为其推论,层有限群(FO)中两个n元组同构等价的充要条件是它们局部同型。     

关于"TSP"的算法研究

n阶完全图 (边赋权 )的矩阵每行每列最小元素对应着一个次数为n的置换 ,若从这些最小元素组成的所有圈中每圈至少取出一个元素并令其为∞ ,那么仅包含这些元素的子矩阵可以经过初等变换将这些元素置于主对角线上形成一个新矩阵 ,其每行每列最小元素又对应一个新的置换 .在满足一定条件时 ,两个置换合成能够得到一个次数为n的循环置换 .运用这种方法 ,可使求TSP解的算法得到简化