Finite groups with <Emphasis Type="Italic">S</Emphasis>-supplemented <Emphasis Type="Italic">p</Emphasis>-subgroups

Consider a finite group G. A subgroup is called S-quasinormal whenever it permutes with all Sylow subgroups of G. Denote by B _sG the largest S-quasinormal subgroup of G lying in B. A subgroup B is called S-supplemented in G whenever there is a subgroup T with G = BT and B∩T ≤ B _sG . A subgroup L of G is called a quaternionic subgroup whenever G has a section A/B isomorphic to the order 8 quaternion group such that L ≤ A and L ∩ B = 1. This article is devoted to proving the following theorem.     

Rate of convergence to stationarity of the system <Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">N</Emphasis>/<Emphasis Type="Italic">N</Emphasis>+<Emphasis Type="Italic">R</Emphasis>

We consider the M/M/N/N+R service system, characterized by N servers, R waiting positions, Poisson arrivals and exponential service times. We discuss representations and bounds for the rate of convergence to stationarity of the number of customers in the system, and study its behaviour as a function of R, N and the arrival rate λ, allowing λ to be a function of N.     

Epimorphisms of <Emphasis Type="Italic">S</Emphasis>-quantales

In this paper we study certain actions of a pomonoid S on a complete lattice, which we call S-quantales. Our aim is to characterize epimorphisms in the category of S-quantales. For this purpose we show that this category is a monadic construct and has the amalgamation property.     

Weierstrass Type Representation of Willmore Surfaces in <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

In this paper, we reformulate the Euler-Lagrange equations of Willmore surfaces in S^n as the flatness of a family of certain loop algebra-valued 1-forms. Therefore we can give the Weierstrass type representation of conformal Willmore surfaces. We also discuss the relations between conformal Willmore surfaces in S^n and minimal surfaces in constant curvature spaces S^n, R^n, H^n, and prove that some special Willmore surfaces can be derived from minimal surfaces in S^n, R^n, H^n.     

Eigenvalues of the Manifold Sp（n）/U（n）

In this paper, we give the eigenvalues of the manifold Sp(n)/U(n). We prove that an eigenvalue λ _s (f ₂, f ₂, …, f _n ) of the Lie group Sp(n), corresponding to the representation with label (f ₁, f ₂, ..., f _n ), is an eigenvalue of the manifold Sp(n)/U(n), if and only if f ₁, f ₂, …, f _n are all even.     

On <Emphasis Type="Italic">S</Emphasis>-quasinormal and <Emphasis Type="Italic">c</Emphasis>-normal subgroups of a finite group

Let be a saturated formation containing the class of supersolvable groups and let G be a finite group. The following theorems are presented: (1) G ∈ if and only if there is a normal subgroup H such that G/H ∈ and every maximal subgroup of all Sylow subgroups of H is either c-normal or S-quasinormally embedded in G. (2) G ∈ if and only if there is a normal subgroup H such that G/H ∈ and every maximal subgroup of all Sylow subgroups of F*(H), the generalized Fitting subgroup of H, is either c-normal or S-quasinormally embedded in G. (3) G ∈ if and only if there is a normal subgroup H such that G/H ∈ and every cyclic subgroup of F*(H) of prime order or order 4 is either c-normal or S-quasinormally embedded in G. Supported by the Natural Science Foundation of China and the Natural Science Foundation of Guangxi Autonomous Region (No. 0249001). Corresponding author. Supported in part by the Natural Science Foundation of China (10571181), NSF of Guangdong Province (06023728) and ARF(GDEI).     

Further Results for the Queueing System <Emphasis Type="Italic">M</Emphasis><Superscript><Emphasis Type="Italic">x</Emphasis></Superscript>/<Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">c</Emphasis>

For the multi-channel bulk-arrival queue, M ^x /M/c, Abol'nikov and Kabak independently obtained steady state results. In this paper the results of these authors are extended, corrected and simplified. A number of measures of efficiency are calculated for three cases where the arrival group size has: (i) a constant value, (ii) a geometric distribution, or (iii) a positive Poisson distribution. The paper also shows how to calculate fractiles for both the queue length and the waiting time distribution. Examples of extensive numerical results for certain measures of efficiency are presented in tabular and chart form.     

Axiomatizability of free <Emphasis Type="Italic">S</Emphasis>-posets

In this work, we investigate the partially ordered monoids S over which the class of free (over a poset) S-posets is axiomatizable. Similar questions for S-sets were considered in papers of V. Gould, S. Bulman-Fleming, and A. A. Stepanova.     

The <Emphasis Type="Italic">s</Emphasis>-energy of spherical designs on <Emphasis Type="Italic">S</Emphasis><Superscript>2</Superscript>

This paper investigates the s-energy of (finite and infinite) well separated sequences of spherical designs on the unit sphere S ². A spherical n-design is a point set on S ² that gives rise to an equal weight cubature rule which is exact for all spherical polynomials of degree ≤n. The s-energy E _s (X) of a point set of m distinct points is the sum of the potential for all pairs of distinct points . A sequence Ξ = {X _m } of point sets X _m ⊂S ², where X _m has the cardinality card(X _m )=m, is well separated if for each pair of distinct points , where the constant λ is independent of m and X _m . For all s>0, we derive upper bounds in terms of orders of n and m(n) of the s-energy E _s (X _m(n)) for well separated sequences Ξ = {X _m(n)} of spherical n-designs X _m(n) with card(X _m(n))=m(n).      

Cyclotomic Hecke Algebras of <Emphasis Type="Italic">G</Emphasis>(<Emphasis Type="Italic">r</Emphasis>, <Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">n</Emphasis>)

In this note, we find a monomial basis of the cyclotomic Hecke algebra \({\mathcal{H}_{r,p,n}}\) of G(r,p,n) and show that the Ariki-Koike algebra \({\mathcal{H}_{r,n}}\) is a free module over \({\mathcal{H}_{r,p,n}}\), using the Gröbner-Shirshov basis theory. For each irreducible representation of \({\mathcal{H}_{r,p,n}}\), we give a polynomial basis consisting of linear combinations of the monomials corresponding to cozy tableaux of a given shape.     

An explicit basis for the admissible inference rules of the modal logics extending <Emphasis Type="Italic">S</Emphasis>4.1 And <Emphasis Type="Italic">Grz</Emphasis>

We study bases for the admissible inference rules in a broad class of modal logics. We construct an explicit basis for all admissible rules in the logics S4.1, Grz, and their extensions whose number is at least countable. The resulting basis consists of an infinite sequence of rules in a concise and simple form. In the case of a logic of finite width a basis for all admissible rules consists of a finite sequence of rules.     

The <Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">G</Emphasis>/1+<Emphasis Type="Italic">G</Emphasis> queue revisited

We consider an M/G/1 queue with the following form of customer impatience: an arriving customer balks or reneges when its virtual waiting time, i.e., the amount of work seen upon arrival, is larger than a certain random patience time. We consider the number of customers in the system, the maximum workload during a busy period, and the length of a busy period. We also briefly treat the analogous model in which any customer enters the system and leaves at the end of his patience time or at the end of his virtual sojourn time, whichever occurs first.     

<Emphasis Type="Italic">S</Emphasis><Subscript><Emphasis Type="Italic">k</Emphasis>,exp</Subscript> Does Not Prove NP = <Emphasis Type="Italic">co</Emphasis>-NP Uniformly

The notion of a uniform sequent-calculus proof is introduced. It is shown that a strengthening, S_k,exp , of the well-studied bounded arithmetic system S_k of Buss does not prove NP = co-NP with a uniform proof. A slightly stronger result that S_k,exp cannot prove uniformly for 2 ≤ k′ ≤ k is also established. A modification of the technique used is applied to show that S_k,exp is unable to prove the Davis-Putnam-Robinson-Matiyasevich theorem. Generalizations of these results to higher levels of the Grzegorczyck hierarchy are presented. Bibliography: 21 titles.__________Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 304, 2003, pp. 99–120.     

Axiomatisability problems for <Emphasis Type="Italic">S</Emphasis>-posets

Let \(\mathcal{C}\) be a class of ordered algebras of a given fixed type τ. Associated with the type is a first order language L _τ , which must also contain a binary predicate to be interpreted by the ordering in members of \(\mathcal{C}\). One can then ask the question, when is the class \(\mathcal{C}\) axiomatisable by sentences of L _τ ? In this paper we will be considering axiomatisability problems for classes of left S-posets over a pomonoid S (that is, a monoid S equipped with a partial order compatible with the binary operation). We aim to determine the pomonoids S such that certain categorically defined classes are axiomatisable. The classes we consider are the free S-posets, the projective S-posets and classes arising from flatness properties. Some of these cases have been studied in a recent article by Pervukhin and Stepanova. We present some general strategies to determine axiomatisability, from which their results for the classes of weakly po-flat and po-flat S-posets will follow. We also consider a number of classes not previously examined.     

(<Emphasis Type="Italic">s</Emphasis>, <Emphasis Type="Italic">t</Emphasis>, <Emphasis Type="Italic">d</Emphasis>)-bi-Koszul algebras

The paper focuses on the 1-generated positively graded algebras with non-pure resolutions and mainly discusses a new kind of algebras called(s,t,d)-bi-Koszul algebras as the generalization of bi-Koszul algebras. An(s,t,d)-bi-Koszul algebra can be obtained from two periodic algebras with pure resolutions. The generation of the Koszul dual of an(s,t,d)-bi-Koszul algebra is discussed. Based on it,the notion of strongly(s,t,d)-bi-Koszul algebras is raised and their homological properties are further discussed.     

Surfaces with Vanishing Moebius Form in <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

An important Moebius invariant in the theory of Moebius surfaces in S^n is the so-called Moebius form. In this paper,we give a complete classification of surfaces in S^n with vanishing Moebius form under the Moebius transformation group.     

On the directions problem in <Emphasis Type="Italic">AG</Emphasis>(<Emphasis Type="Italic">n</Emphasis>, <Emphasis Type="Italic">q</Emphasis>)

We prove that if q = p ^h , p a prime, do not exist sets U í AG(n,q){U {\subseteq} AG(n,q)}, with |U| = q ^k and 1 < k < n, determining N directions where

(<Emphasis Type="Italic">T</Emphasis>, <Emphasis Type="Italic">S</Emphasis><Subscript><Emphasis Type="Italic">i</Emphasis></Subscript>) Policy Inventory Model for Deteriorating Items with Time Proportional Demand

An EOQ model is reconsidered here in which the demand rate is changing linearly with time and the deterioration is assumed to be a constant fraction of the onhand inventory. The planning horizon is finite and known and the replenishment periods are assumed to be constant. The problem is to find the optimal number of replenishments, which are instantaneous. When there is no deterioration, the model developed is related to the corresponding model for nondeteriorating items. An example followed by sensitivity analysis is given to illustrate the derived results.     

Compact embedded rotation hypersurfaces of <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis>+1</Superscript>

In this paper, we prove that and round geodesic spheres are the only n-dimensional compact embedded rotation hypersurfaces with H_m = 0 (1 ≤ m ≤ n − 1) in a unit sphere Sⁿ⁺¹(1). When m = 1, our result reduces to the result of T. Otsuki [O1], [O2], Brito and Leite [BL]. The project is supported by the grant No. 10531090 of NSFC.