群对称桁架振动设计的半正定模型与降维问题(英)

桁架振动优化设计可描述为：在给定振动系统最低频率的约束条件下,设计用材最省的桁架结构. 本文针对具有某种结构对称性的桁架,利用有限群描述这一特性,在已有桁架设计的半正定规划模型基 础上,运用最近提出的矩阵代数方法对半正定规划问题的决策变量和数据进行降维,给出了构造有限群 表示的两个充分条件,并实现了一类群对称桁架振动优化设计的半正定模型降维.基于问题的实际背景, 我们又考虑了一个具有八根弹性棒的桁架设计实例,进一步说明在实际问题中根据群对称构造群表示以 及对应不可约表示的具体方法.     

一类有界对称域上的Hartogs型域的自同构群

本文研究了稍微广泛的一类Hartogs型域的自同构群.利用华域的自同构群,获得了一类有界对称域上的Hartogs型域的自同构群的具体形式,推广了有界对称域上的Hartogs型域的自同构群这一结果.     

基于李群方法的贝塞尔函数数学实现

基于李群的表示理论,首先讨论了欧拉群的表示及其性质;然后,从该群的表示理论出发,分别导出了第一类贝塞尔函数的积分形式和幂级数形式.该研究表明了群方法可以求解对称边界问题的解析波函数,并为用群方法求解电磁场问题创造了条件.     

一类对称群的胞腔

胞腔理论是Kazhdan-Lusztig理论中的核心理论之一,它对Coxeter群以及Hecke代数的表示起着重要作用.本文借助Matlab软件,对于对称群中的任意一个置换,可以很快得出其所对应的标准Young表;其次,借助程序,得到了在一定情形下,一类对称群所对应的双边胞腔、右(左)胞腔的个数.     

几何对称法在求取某些区域格林函数中的应用

格林函数法是数学物理方程中一种常用的方法,适用于求解狄利克雷问题.针对几种特殊区域上的上狄利克雷问题,采用几何对称法求取这些区域对应的格林函数,该方法对于该区域上格林函数的求解是有效的.     

正多边形对称群的子群

利用Lagrange定理和正多边形对称群的性质,首先对正多边形对称群的子群的性质进行了研究,其次讨论了正多边形对称群的子群的结构,由此完全确定了正多边形对称群的子群,最后应用所得结论求出了正六边形对称群的所有子群.     

Ⅰ型不可约Riemann全对称空间在保距下的分类

相伴于Ⅰ型不可约正交对称 Lie 代数(U,θ)的 Riemann 全对称空间的保距诱导了(?)的一个令对应于 U 的θ不变点集 K 的(?)不变的自同构(?),且令(U,θ)的伴随空间的基本群π_1(p_u~*)不变.相伴于(U,θ)的 Riemann 全对称空间保距的充分必要条件是它们对应的π_1(p_u~*)的子群在上述(?)下同构.π_1(p_u~*)(?)(?)/Γ_0,由Aut U/Ad U 中令 K 不变的元在((?))/Γ_0 上的作用得到了π_1(p_u~*)的子群在上述元下的同构分类,因而得到了Ⅰ型不可约 Riemann 全对称空间在保距下的分类.     

Ⅰ型不可约Riemann全对称空间在保距下的分类

相伴于Ⅰ型不可约正交对称 Lie 代数(U,θ)的 Riemann 全对称空间的保距诱导了(?)的一个令对应于 U 的θ不变点集 K 的(?)不变的自同构(?),且令(U,θ)的伴随空间的基本群π_1(p_u~*)不变.相伴于(U,θ)的 Riemann 全对称空间保距的充分必要条件是它们对应的π_1(p_u~*)的子群在上述(?)下同构.π_1(p_u~*)(?)(?)/Γ_0,由Aut U/Ad U 中令 K 不变的元在((?))/Γ_0 上的作用得到了π_1(p_u~*)的子群在上述元下的同构分类,因而得到了Ⅰ型不可约 Riemann 全对称空间在保距下的分类.     

椭圆方程的变换群与变分恒等式

讨论了椭圆方程的变换群与变分恒等式的关系,利用变分对称群的性质得到一类变分恒等式.通过计算变分对称群得到了寻找非星形区域方法并举例进行了说明.     

量子力学的群论形式与经典量子对应

本文给出量子力学群论形式的数学构造,并讨论与Lie群连带的经典力学系统的几何量子化。我们利用Lie代数到Lie群上的指数映射,建立经典和量子间的对应关系,得出了量子可观察量对易式与对应的经典量Poisson括号间的关系。作为例子,本文讨论了由Heisenberg-Weyl群描述的正则系统。     

EQUIVARIANT COHOMOLOGY AND REPRESENTATIONS OF THE SYMMETRIC GROUP

51. IntroductionIn a recent paper [l], I have shown how to construct a continuous mapf: Cn(R') - U(n)/T"from the configuration space of n ordered distinct points of R3 to the flag manifold of U(n)which is compatible with the natural action of the symmetric group Z. on both spaces. Ialso noted in [1] that the action of E. on the rational cohomology of either space coincideswith the regular representation but that the homomorphism f* induced by f cannot possiblybe an isomorphism. In fact the…     

On Young's Orthogonal Form and the Characters of the Alternating Group

A combinatorial method of determining the characters of the alternating group is presented. We use matrix representations, due to Thrall, that are closely related to Young's orthogonal form of representations of the symmetric group. The characters are computed directly from matrix entries of these representations and entries of the character table of the symmetric group.     

拟L商群的同态与同构

HX群是由一个群向其幂集上提升的群结构．文[1]将HX群推广到一类特殊的格-原子格L上,称之为AHX群．本文研究了一类特殊的AHX群-拟L商群的同态与同构,获得与拟商群相类似的结果．     

The group marriage problem

Let G be a permutation group acting on [n]={1,…,n} and V={Vi:i=1,…,n} be a system of n subsets of [n]. When is there an element g∈G so that g(i)∈Vi for each i∈[n]? If such a g exists, we say that G has a G-marriage subject to V. An obvious necessary condition is the orbit condition: for any nonempty subset Y of [n], there is an element g∈G such that the image of Y under g is contained in _?y∈YVy. Keevash observed that the orbit condition is sufficient when G is the symmetric group Sn; this is in fact equivalent to the celebrated Hall's Marriage Theorem. We prove that the orbit condition is sufficient if and only if G is a direct product of symmetric groups. We extend the notion of orbit condition to that of k-orbit condition and prove that if G is the cyclic group Cn where n?4 or G acts 2-transitively on [n], then G satisfies the (n−1)-orbit condition subject to V if and only if G has a G-marriage subject to V.     

Lie Representations and an Algebra Containing Solomon's

We introduce and study a Hopf algebra containing the descent algebra as a sub-Hopf-algebra. It has the main algebraic properties of the descent algebra, and more: it is a sub-Hopf-algebra of the direct sum of the symmetric group algebras; it is closed under the corresponding inner product; it is cocommutative, so it is an enveloping algebra; it contains all Lie idempotents of the symmetric group algebras. Moreover, its primitive elements are exactly the Lie elements which lie in the symmetric group algebras.     

On the combinatorial invariance of Kazhdan-Lusztig polynomials

In this paper, we solve the conjecture about the combinatorial invariance of Kazhdan-Lusztig polynomials for the first open cases, showing that it is true for intervals of length 5 and 6 in the symmetric group. We also obtain explicit formulas for the R-polynomials and for the Kazhdan-Lusztig polynomials associated with any interval of length 5 in any Coxeter group, showing in particular what they look like in the symmetric group.     

On the Connectivity of Proper Power Graphs of Finite Groups

We study the connectivity of proper power graphs of some family of finite groups including nilpotent groups, groups with a nontrivial partition, and symmetric and alternating groups. Also, for such a group, the corresponding proper power graph has diameter at most 26 whenever it is connected.     

A design and a geometry for the group Fi 22

The Fischer group Fi ₂₂ acts as a rank 3 group of automorphisms of a symmetric 2-(14080,1444,148) design. This design does not have a doubly transitive automorphism group, since there is a partial linear space with lines of size 4 defined combinatorially from the design and preserved by its automorphism group. We investigate this geometry and determine the structure of various subspaces of it.      

计算机代数用于有限群的计算

本用Mathematica语言研究置换群运算的计算机实现．并进而实现对于给定的n，设计判断交代群An是否为单群的程序．