有限对称群中素数平方阶元素的比例

为了构造G的生成集,需要寻找特殊类型的元素,这些元素通常是随机寻找。此外,为了了解寻找的复杂性,需要估计各种元素的比例。令n是正整数,设有限集合Ω={1,2,⋯,n},记Sym(Ω)是Ω上全体置换所组成的群,称作Ω上的对称群。令p是素数,设Ρn(p2)是对称群Sym(Ω)中所有p2阶元素所组成的集合,ρn(p2)是对称群Sym(Ω)中p2阶元素所占比例,本文首先对p2阶元素在对称群Sym(Ω)中所能表现的形式进行分析,找到其所有的表现形式,接着找出相应形式下p2元素比例的递归公式;在此基础上,通过合理构造对称群Sym(Ω)中元素数,并结合归纳法,最终得出ρn(p2)的上界表达式。

对称群S3和S4的c-可补充子群

在有限群中,子群的c-可补充性质对刻画群结构有着重要影响。这些性质比较抽象,因此找一些具体的例子对于理解这些性质至关重要。基于c-可补充子群的概念,本文从具体的3次对称群和4次对称群出发,研究了其子群的c-可补充性质,并完全确定了其所有的c-可补充子群。所得到的结论对探讨c-可补充子群的抽象性质和理论课题起到积极的作用。

对称群S4的极大子群和容许子群

基于极大子群与容许子群的概念,从具体的群出发,本文确定了4次对称群S4的所有极大子群、容许子群以及个数,为理解抽象的定义提供了具体的例子,也为丰富该课题的研究做了积极的尝试。

具有单参数空间对称群的向量场及其约化

对于保持某n_形式的n维向量场,应用Lie群的方法得到结论:当这类向量场有保持n_形式的空间单参数对称群时,可具体地构造出一个与该向量场无关的变换,它不仅使向量场约化掉一维,并且使得约化向量场保持相应的(n-1)_形式· 特别,当n=3时,简单地得到了Mezie和Wiggins最近得到的重要结果·

计算对称群S_7的所有子群

利用计算机,通过采用一种新的方法代替置换乘法,计算出 S7 的全部 11 300 个子群和 96 个共轭分类,并且每个子群给出了一个最小生成元组.同时给出了较详细的算法过程.

一个计算微分方程(组)对称群的Mathematica程序包及其应用

介绍了一个计算（常和偏）微分方程（组）对称的确定方程的Ｍａｔｈｅｍａｔｉｃａ符号语言程序包及其应用。在计算方法及其设计方面采取了分部，拆解及反馈等简化策略。避免了符号运算中中间表达式“爆炸”及确定方程组过大等问题。具有通用性好，对计算环境要求宽松等特点。

计算对称群S_n的所有Sylow-p子群

综合运用数论、群论等知识,通过设计有效的计算方法,给出了计算Sn的全部Sylow p子群及其生成元的算法,同时以S8为例,给出了较详细的算法过程及计算结果.

机械零件对称群及其在面向装配设计中的应用

为更加全面地考察零件的对称性与其可装配性之间的关系,在国内外首先把图像对称群的概念引入机械零件结构对称性及其应用的研究,探讨机械零件的点对称群及其判定方法。总对称角是零件在装配时相应两个旋转对称角的总和,表征零件的对称性,影响零件装配的定向难度,分析零件点群与其总对称角的关系,发现零件点群的总对称角取决于其纯转动子群,且以特定的离散值呈现区间分布。总结面向可装配性的零件对称性设计取向,提出零件结构的点对称群的概念体系及其判定方法,通过分析零件点群的总对称角分布区间图,提出面向可装配性的零件点群结构优化方法。

交错群和对称群的一个新刻画

MT(G)=(m_1,m_2,…,m_k)称为G的极大子群共轭类型,其中m_1≤m_2≤…≤m_k,表示G有k个极大子群共轭类,并且第i个共轭类类长为m_i.利用极大子群共轭类型给出全部交错群和部分对称群的一个新刻画.

关于一些对称群的新刻画

设G为有限群,k1(G)表示群G中最高阶元素的阶.证明了:对称群Sn可以由其阶|Sn|与最高阶元素的阶k1(Sn)唯一刻画,其中n=5,6,7.

Icon对称群映射的广义M集与混沌吸引子的研究

目的旨在解决构造Icon对称群映射广义M集计算量大,耗时长的问题.方法运用无约束最优化理论中的单纯形替换算法,求解使其雅科比矩阵行列式为零的点集作为选定参数下动力平面上的初始点集,考察这个初始点集中轨道有界的点的李雅谱诺夫指数值,构造Dn或Zn对称模型的广义M集.结果运用新算法大大降低了广义M集的构造时间,通过在参数断面λ与ω上构造的Icon对称群广义M集,生成了内部结构完全不同的具有Z5对称的混沌吸引子.结论通过提出新的构造M集的方法更好地描述了I con对称群映射的动力学特性,提高了作图效率.

一种基于平面对称群的对称图案生成方法

织物图案中包含着各类蜿蜒曲线、规则与不规则的复杂元素。虽然剪纸图案和分形图案的生成方法已有大量研究工作,但是面向新疆织物图案特点的计算机自动生成方法仍然存在许多挑战性难题。针对新疆织物图案风格化建模难度大的问题,提出图案对称性作为图案生成关键指标,构造循环群和二面体群等变映射与不变映射,研究图案对称性的表征方式,利用对称图案探讨群的映射空间与对称图形之间的关联。通过群映射的仿真实验,绘制混沌吸引子得到群对称图案,有效提高图案的对称性,丰富织物图案的花型设计。

一种计算对称群S_n的所有可解子群的方法

利用计算机,设计了一种计算对称群Sn的所有可解子群的有效算法,并以S7为例,在较短的时间里计算出了S7的全部10945个可解子群,将其分为83个共轭类,而且每个子群给出了一个最小生成元组.同时给出了较详细的算法过程.

正多边形对称群的性质

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

热方程的非古典势对称群与不变解

主要研究了热方程与波方程的非古典势对称群生成元及相应的群不变解.研究表明对于守恒形式的偏微分方程,可通过其伴随系统求得的非古典势对称群生成元来构造其显式解.这些显式解不能由方程本身的Lie对称群生成元或Lie_Backlund对称群生成元构造得到.

计算对称群S_(6)的所有子群

利用电子计算机 ,通过计算的方法 ,获得了对称群 S6 共有 145 5个子群 ,且每个子群给出了一组生成元素 ,同时给出了计算的流程图及方法步骤 .

对称群S_5的所有幂零子群和可解子群

给出了S5的全部102个幂零子群和154个可解子群,其中幂零子群分为10个共轭类,可解子群分为17个共轭类,而且给出了每个子群的阶和一个最小生成元组.

偏微分方程组的对称群及其在弹性力学方程组中应用

给出了非退化线性偏微分方程组及二次型泛函对称群的不变向量场的一般形式和一类特殊形式非线性偏微分方程组对称群的简化计算条件；利用以上结论及作者以往工作，借助符号运算语言ＭａｔｈｅｍａｔｉｃａＴＭ计算了平面弹性力学方程组一阶Ｌｉｅ－Ｂａｃｔｌｕｎｄ对称群的不变向量场，以及应力函数对应的三维弹性力学方程组的Ｌｉｅ代数．为构造弹性力学方程组的一类广泛精确解及守恒律提供了必要的基础。

耦合Burgers方程的对称群和新精确解

利用推广的CK直接方法,求出了耦合Burgers方程的一般对称群,建立了方程新旧解之间的关系,进一步利用对称求得了耦合Burgers方程的不变量和若干约化,通过约化方程求得耦合Burgers方程大量新的精确解,包括有理函数解、三角函数解和双曲函数解.

变系数Boussinesq方程的对称群和新精确解

CK直接方法是求解非线性发展方程的一种有效的方法.利用推广的CK直接方法,求出了变系数Boussinesq方程的一般对称群,建立了方程新旧解之间的关系,从而得到了变系数Boussinesq方程的新解.