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.     

Packet loss characteristics for <Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">G</Emphasis>/1/<Emphasis Type="Italic">N</Emphasis> queueing systems

In this contribution we investigate higher-order loss characteristics for M/G/1/N queueing systems. We focus on the lengths of the loss and non-loss periods as well as on the number of arrivals during these periods. For the analysis, we extend the Markovian state of the queueing system with the time and number of admitted arrivals since the instant where the last loss occurred. By combining transform and matrix techniques, expressions for the various moments of these loss characteristics are found. The approach also yields expressions for the loss probability and the conditional loss probability. Some numerical examples then illustrate our results.     

On <Emphasis Type="Italic">G</Emphasis>-rigid surfaces

Rigid algebraic varieties form an important class of complex varieties that exhibit interesting geometric phenomena. In this paper we propose a natural extension of rigidity to complex projective varieties with a finite group action (G-varieties) and focus on the first nontrivial case, namely, on G-rigid surfaces that can be represented as desingularizations of Galois coverings of the projective plane with Galois group G. We obtain local and global G-rigidity criteria for these G-surfaces and present several series of such surfaces that are rigid with respect to the action of the deck transformation group.     

On representation theorem of <Emphasis Type="Italic">G</Emphasis>-expectations and paths of <Emphasis Type="Italic">G</Emphasis>-Brownian motion

We give a very simple and elementary proof of the existence of a weakly compact family of probability measures {Pθ ： θ∈θ} representing an important sublinear expectation- G-expectation E[·]. We also give a concrete approximation of a bounded continuous function X（ω） by an increasing sequence of cylinder functions Lip（Ω） in order to prove that Cb（Ω） belongs to the completion of Lip（Ω） under the natural norm E[｜·｜].     

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.     

On Resolvable Multipartite <Emphasis Type="Italic">G</Emphasis>-Designs

A necessary and sufficient condition for the existence of a _km–factorization of the complete symmetric k–partite multi-digraph K*(n₁,n₂,...,n_k) is obtained for odd k. As a consequence, a resolvable (k,n,km,) multipartite _km–design exists for odd k if and only if m|n. This deduces a result of Ushio when m=1 and k=3. Further, a necessary and sufficient condition for the existence of a _km–factorization of is established for even k, where denotes the wreath product of graphs. Finally, a simple and short proof for the non-existence of a _k–factorization of is obtained for odd k.Acknowledgments.The author thanks Dr. P. Paulraja for his useful ideas in writing this paper and the Department of Science and Technology, New Delhi, for its support (Project Grant No. DST/MS/103/99).Final version received: November 17, 2003     

Extremal <Emphasis Type="Italic">G</Emphasis>-invariant eigenvalues of the Laplacian of <Emphasis Type="Italic">G</Emphasis>-invariant metrics

The study of extremal properties of the spectrum often involves restricting the metrics under consideration. Motivated by the work of Abreu and Freitas in the case of the sphere S ² endowed with S ¹-invariant metrics, we consider the subsequence of the spectrum of a Riemannian manifold M which corresponds to metrics and functions invariant under the action of a compact Lie group G. If G has dimension at least 1, we show that the functional λ _k ^G admits no extremal metric under volume-preserving G-invariant deformations. If, moreover, M has dimension at least three, then the functional is unbounded when restricted to any conformal class of G-invariant metrics of fixed volume. As a special case of this, we can consider the standard O(n)-action on S ⁿ ; however, if we also require the metric to be induced by an embedding of S ⁿ in , we get an optimal upper bound on .      

On <Emphasis Type="Italic">s</Emphasis>-semipermutable subgroups of finite groups and <Emphasis Type="Italic">p</Emphasis>-nilpotency

A subgroup H of a group is said to be s-semipermutable in G if it is permutable with every Sylow p-subgroup of G with (p, |H|) = 1. Using the concept of s-semipermutable subgroups, some new characterizations of p-nilpotent groups are obtained and several results are generalized.     

2-Connected factor-critical graphs <Emphasis Type="Italic">G</Emphasis> with exactly |<Emphasis Type="Italic">E</Emphasis>(<Emphasis Type="Italic">G</Emphasis>)| + 1 maximum matchings

A connected graph G is said to be a factor-critical graph if G ?v has a perfect matching for every vertex v of G. In this paper, the 2-connected factor-critical graph G which has exactly |E(G)| + 1 maximum matchings is characterized.     

On the normal subgroup with coprime <Emphasis Type="Italic">G</Emphasis>-conjugacy class sizes

Let N be a normal subgroup of a group G. The positive integers m and n are the two longest sizes of the non-central G-conjugacy classes of N with m > n and (m,n) = 1. In this paper, the structure of N is determined when n divides |N/N ∩ Z(G)|. Some known results are generalized.     

Some isomorphism results for Thompson-like groups <Emphasis Type="Italic">V</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>(<Emphasis Type="Italic">G</Emphasis>)

The natural automorphism group of a translation surface is its group of translations. For finite translation surfaces of genus g ≥ 2 the order of this group is naturally bounded in terms of g due to a Riemann–Hurwitz formula argument. In analogy with classical Hurwitz surfaces, we call surfaces which achieve the maximal bound Hurwitz translation surfaces. We study for which g there exist Hurwitz translation surfaces of genus g.     

<Emphasis Type="Italic">G</Emphasis>-covering subgroup systems for the classes of supersoluble and nilpotent groups

LetF be a class of groups andG a group. We call a set Σ of subgroups ofG aG-covering subgroup system for the classF (or directly aF-covering subgroup system ofG) ifG ∈F whenever every subgroup in Σ is inF. In this paper, we provide some nontrivial sets of subgroups of a finite groupG which are simultaneouslyG-covering subgroup systems for the classes of supersoluble and nilpotent groups. Research of the first author is supported by the NNSF of China (Grant No. 10171086) and QLGCF of Jiangsu Province and a Croucher Fellowship of Hong Kong. Research of the second author is partially supported by a UGC (HK) grant #2060176 (2001/2002).     

On a new property of <Emphasis Type="Italic">n</Emphasis>-poised and <Emphasis Type="Italic">G</Emphasis><Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> sets

In this paper we consider n-poised planar node sets, as well as more special ones, called G C _n sets. For the latter sets each n-fundamental polynomial is a product of n linear factors as it always holds in the univariate case. A line ? is called k-node line for a node set \(\mathcal X\) if it passes through exactly k nodes. An (n + 1)-node line is called maximal line. In 1982 M. Gasca and J. I. Maeztu conjectured that every G C _n set possesses necessarily a maximal line. Till now the conjecture is confirmed to be true for n ≤ 5. It is well-known that any maximal line M of \(\mathcal X\) is used by each node in \(\mathcal X\setminus M, \)meaning that it is a factor of the fundamental polynomial. In this paper we prove, in particular, that if the Gasca-Maeztu conjecture is true then any n-node line of G C _n set \(\mathcal {X}\) is used either by exactly \(\binom {n}{2}\) nodes or by exactly \(\binom {n-1}{2}\) nodes. We prove also similar statements concerning n-node or (n ? 1)-node lines in more general n-poised sets. This is a new phenomenon in n-poised and G C _n sets. At the end we present a conjecture concerning any k-node line.     

The Combinatorial Quantum Cohomology Ring of <Emphasis Type="Italic">G</Emphasis>/<Emphasis Type="Italic">B</Emphasis>

A purely combinatorial construction of the quantum cohomology ring of the generalized flag manifold is presented. We show that the ring we construct is commutative, associative and satisfies the usual grading condition. By using results of our previous papers [12, 13], we obtain a presentation of this ring in terms of generators and relations, and formulas for quantum Giambelli polynomials. We show that these polynomials satisfy a certain orthogonality property, which—for G = SL_n( )—was proved previously in the paper [5].     

Products of F*(<Emphasis Type="Italic">G</Emphasis>)-subnormal subgroups of finite groups

A subgroup H of a finite group G is called F*(G)-subnormal if H is subnormal in HF*(G). We show that if a group Gis a product of two F*(G)-subnormal quasinilpotent subgroups, then G is quasinilpotent. We also study groups G = AB, where A is a nilpotent F*(G)-subnormal subgroup and B is a F*(G)-subnormal supersoluble subgroup. Particularly, we show that such groups G are soluble.     

On <Emphasis Type="Italic">F</Emphasis><Subscript><Emphasis Type="Italic">h</Emphasis></Subscript>-supplemented subgroups of finite groups

Suppose that F is a formation of finite groups. We introduce the concept of F _h -supplemented subgroups and investigate the structure of finite groups on assuming that some maximal subgroups of Sylow subgroups, maximal subgroups, minimal subgroups, and 2-maximal subgroup are F _h -supplemented, respectively. Some available results are generalized.     

<Emphasis Type="Italic">X</Emphasis>-decomposable finite groups for <Emphasis Type="Italic">X</Emphasis>={1, <Emphasis Type="Italic">m</Emphasis>, <Emphasis Type="Italic">m</Emphasis> + 1, <Emphasis Type="Italic">m</Emphasis> + 2}

A normal subgroup N of a finite group G is called n-decomposable in G if N is the union of n distinct G-conjugacy classes. We study the structure of nonperfect groups in which every proper nontrivial normal subgroup is m-decomposable, m+1-decomposable, or m+2-decomposable for some positive integer m. Furthermore, we give classification for the soluble case.     

On properties of <Emphasis Type="Italic">G</Emphasis>-expansive homeomorphisms

We show that LUB of the set of G-expansive constants for a G-expansive homeomorphism h on a compact metric G-space, G compact, is not a G-expansive constant for h. We obtain a result regarding projecting and lifting of G-expansive homeomorphisms having interesting applications. We also prove that the G-expansiveness is a dynamical property for homeomorphisms on compact metric G-spaces and study G-periodic points.     

On <Emphasis Type="Italic">p</Emphasis>-nilpotency of finite groups*

Let be a class of groups. A subgroup H of a group G is called -s-supplemented in G, if there exists a subgroup K of G such that G = HK and K/K ∩ H_G belongs to where H_G is the maximal normal subgroup of G which is contained in H. The main purpose of this paper is to study some subgroups of Fitting subgroup and generalized Fitting subgroup -s-supplemented and some new criterions of p-nilpotency of finite groups are obtained. *This research is supported by the grant of NSFC and TianYuan Fund of Mathematics of China (Grant #10626047).     

<Emphasis Type="Italic">c</Emphasis>*-Supplemented subgroups and <Emphasis Type="Italic">p</Emphasis>-nilpotency of finite groups

A subgroup H of a finite group G is said to be c*-supplemented in G if there exists a subgroup K such that G = HK and H ⋂ K is permutable in G. It is proved that a finite group G that is S ₄-free is p-nilpotent if N _G (P) is p-nilpotent and, for all x ∈ G\N _G (P), every minimal subgroup of is c*-supplemented in P and (if p = 2) one of the following conditions is satisfied: (a) every cyclic subgroup of of order 4 is c*-supplemented in P, (b) , (c) P is quaternion-free, where P a Sylow p-subgroup of G and is the p-nilpotent residual of G. This extends and improves some known results. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 8, pp. 1011–1019, August, 2007.