Sum of Element Orders of Maximal Subgroups of the Symmetric Group

For a finite group G, let ψ(G) denote the sum of element orders of G. The aim of this article is to show that ψ(H) < ψ(A _n ) for every proper subgroup H of the symmetric group of degree n, which is different from the alternating group A _n .     

模糊选择函数的合理性及拟传递合理性的刻画

首先给出模糊选择函数合理性的一个充分必要条件。然后将普通情况下Schw artz所提出的收缩扩张公理模糊化,在选择集为正规模糊集的前提下,研究了模糊选择函数拟传递合理性的刻画问题。我们指出,该模糊化后的条件仍是选择函数拟传递合理的必要条件,但已不再是拟传递合理的充分条件(我们用例子说明了这一点)。因此,在文章的最后,给出了比较强的一个充分条件。     

A New Class of Generalized Thompson's Groups and Their Normal Subgroups

For a given group G and a homomorphism ?: G → G × G, we construct groups ?_?(G), 𝒯_?(G), and 𝒱_?(G) that blend Thompson's groups F, T, and V with G, respectively. Furthermore, we describe the lattice of normal subgroups of the groups ?_Δ(G), where Δ: G → G × G is the diagonal homomorphism, Δ(g) = (g, g).     

On Non-Congruence Subgroups of the Analogue of the Modular Group in Characteristic p

Let k[t] be the polynomial ring over a finite field k. The group SL ₂(k[t]) is often referred to as the analogue, in characteristic p, of the classical modular group SL ₂( ), where is the ring of rational integers. It is well-known that the smallest index of a non-congruence subgroup of SL ₂( ) is 7. Here we compute this index for SL ₂(k[t]). (In all but 6 cases it turns out to be 1 + q, where q is the order of k.)     

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.     

锥凸对称向量拟均衡问题解集的通有稳定性

在拓扑向量空间中,利用Ky Fan截口定理得到一个锥凸向量拟均衡问题弱Pareto解的存在性结果.作为该结果的应用,得到了一个对称向量拟均衡问题在支付映射为锥凸条件下弱Pareto解的存在性定理.该定理在较弱的条件下回答了Fu在文献[1]中提出的第二个问题,即在支付映射为锥凸且连续的条件下对称向量拟均衡问题的弱Pareto解是否存在.最后在赋范线性空间中研究了锥凸对称向量拟均衡问题弱Pareto解集的通有稳定性.     

子群的θ-偶和群的结构

研究极大子群和2-极大子群的θ-偶对群结构的影响.设G是有限群,本文得到了:如果G的每一个极大子群M都有极大θ-偶(C,D),使MC=G且C/D是2-闭的,那么G可解;如果G的每一个2-极大子群H都有θ-偶(C,D),使C/D幂零且G=HC,那么G是幂零.     

Symmetric Part Preconditioning of the CG Method for Stokes Type Saddle-Point Systems

A nonsymmetric formulation of saddle-point systems is considered, and symmetric part preconditioning of the CG method is applied. Linear and superlinear convergence estimates are derived for the finite element solution of the Stokes problem and of Navier's equations of elasticity. Mesh independence of the estimates is obtained from proper Hilbert space operator background.     

计算对称群S6的所有子群

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

On Complemented Subgroups of Finite Groups

51. IntroductionIt is quite clear that the ekistence of complements for some families of subgroups of agroup gives a lot ofinfor~ion about its structure. FOr instance, Hall[6] proved that a groupG is supersoluble with elementary abelian Sylow subgroups if and only if G is complemellted,that is, every subgroup of G is comPlemeded in G. The same anchor also proved that agroup is soluble if and only if every Sylow subgroup is complemellted (see [3;I,3.5]). Morerecelltly, Arad and Wardll] pro…     

关于一类极大子群的θ-偶

对于有限群G的极大子群M，令β（G：M）表示整除│G：M│的素因子个数，β（G）表示所有β（G；M）中的最大数．令μ（G）为使得β（G：M）=β（G）的极大子群的集合．通过对这一类极大子群的θ-偶赋予一定条件，得到了判断群G可解、超可解的新结果．     

A primal-dual interior-point algorithm for symmetric optimization based on a new method for finding search directions

We introduce an interior-point method for symmetric optimization based on a new method for determining search directions. In order to accomplish this, we use a new equivalent algebraic transformation on the centring equation of the system which characterizes the central path. In this way, we obtain a new class of directions. We analyse a special case of this class, which leads to the new interior-point algorithm mentioned before. Another way to find the search directions is using barriers derived from kernel functions. We show that in our case the corresponding direction cannot be deduced from a usual kernel function. In spite of this fact, we prove the polynomial complexity of the proposed algorithm.     

Generic Modules Over a Class of Drinfeld's Quantum Doubles

Let k be a field and A _n (ω) be the Taft's n ²-dimensional Hopf algebras. When n is odd, the Drinfeld quantum double D(A _n (ω)) of A _n (ω) is a Ribbon Hopf algebra. In the previous articles, we constructed an n ⁴-dimensional Hopf algebra H _n (p, q) which is isomorphic to D(A _n (ω)) if p ≠ 0 and q = ω^?1, and studied the finite dimensional representations of H _n (1, q). We showed that the basic algebra of any nonsimple block of H _n (1, q) is independent of n. In this article, we examine the infinite representations of H ₂(1, ? 1), or equivalently of H _n (1, q)?D(A _n (ω)) for any n ≥ 2. We investigate the indecomposable and algebraically compact modules over H ₂(1, ? 1), describe the structures of these modules and classify them under the elementary equivalence.     

The inverse eigenvalue problem for symmetric quasi anti-bidiagonal matrices

In this paper we construct the symmetric quasi anti-bidiagonal matrix that its eigenvalues are given, and show that the problem is also equivalent to the inverse eigenvalue problem for a certain symmetric tridiagonal matrix which has the same eigenvalues. Not only elements of the tridiagonal matrix come from quasi anti-bidiagonal matrix, but also the places of elements exchange based on some conditions.     

Discreteness Criterions of Isometric Subgroups for Quaternionic Hyperbolic Space

In this paper, we give analogue of Jörgensen's inequality for nonelementary groups of isometries of complex hyperbolic 2-space generated by two elements, one of which is either loxodromic or boundary elliptic for the same group of isometries of quaternionic hyperbolic 2-space. And we give a sufficient condition for a nonelementary subgroup of isometries of quaternionic hyperbolic 2-space generated by two elements one of which is parabolic not to be discrete.