Decidability of finite quasivarieties generated by certain transformation semigroups

No Abstract. Received January 2, 2000; accepted in final form August 28, 2000.     

Decidability of the representation extension property for finite semigroups

We prove that the decision problem of whether or not a finite semigroup has the representation extension property is decidable.     

A Regularity Criterion for Semigroup Rings

An analogue of the Kunz–Frobenius criterion for the regularity of a local ring in a positive characteristic is established for general commutative semigroup rings.     

Infinite-dimensional 4-manifold of finite cohomological dimension under the continuum hypothesis

Under the assumption of the continuum hypothesis, a differentiable 4-manifoldM of dimension dimM=∞ and cohomological dimension cA—dimM=4 is constructed. The spaceM is perfectly normal and hereditarily separable. Translated fromMatematicheskie Zametki, Vol. 66, No. 5, pp. 664–670, November, 1999.     

An Application of Groupoids of Fractions to Inverse Semigroups

We describe an application of category theory to the theory of inverse semigroups: we prove the P-theorem for E-unitary inverse semigroups using groupoids of fractions of their associated division categories.     

Semigroup wellposedness and asymptotic stability of a compressible Oseen–structure interaction via a pointwise resolvent criterion

In this study, we consider the Oseen structure of the linearization of a compressible fluid–structure interaction (FSI) system for which the interaction interface is under the effect of material derivative term. The flow linearization is taken with respect to an arbitrary, variable ambient vector field. This process produces extra “convective derivative” and “material derivative” terms, which render the coupled system highly nondissipative. We show first a new well-posedness result for the full incorporation of both Oseen terms, which provides a uniformly bounded semigroup via dissipativity and perturbation arguments. In addition, we analyze the long time dynamics in the sense of asymptotic (strong) stability in an invariant subspace (one-dimensional less) of the entire state space, where the continuous semigroup is uniformly bounded. For this, we appeal to the pointwise resolvent condition introduced in Chill and Tomilov [Stability of operator semigroups: ideas and results, perspectives in operator theory Banach center publications, 75 (2007), Institute of Mathematics Polish Academy of Sciences, Warszawa, 71–109], which avoids an immensely technical and challenging spectral analysis and provides a short and relatively easy-to-follow proof.     

完全Rees矩阵半群的分解及性质

用等价关系Q^~出了完全Rees矩阵半群的一种分解．而且得到了它的每个Q^~一类的表示．     

Lattices of semigroup varieties

We survey a great number of results obtained during four decades of investigations on lattices of semigroup varieties and formulate several open problems.     

产品多方面差异下双寡头定位定价模型

建立在同类产品存在多方面差异条件下双寡头企业两阶段动态定位定价博弈模型,在市场中存在不同类型消费者时,求出了使企业利润最大化的子博弈精炼纳什均衡,并深入分析了消费者对两家企业平均偏好效用差(ΔU)和企业的运输成本率(t)对企业定位定价策略的影响.     

Perfect Matchings and Perfect Powers

In the last decade there have been many results about special families of graphs whose number of perfect matchings is given by perfect or near perfect powers (N. Elkies et al., J. Algebraic Combin. 1 (1992), 111–132; B.-Y. Yang, Ph.D. thesis, Department of Mathematics, MIT, Cambridge, MA, 1991; J. Propp, New Perspectives in Geometric Combinatorics, Cambridge University Press, 1999). In this paper we present an approach that allows proving them in a unified way. We use this approach to prove a conjecture of James Propp stating that the number of tilings of the so-called Aztec dungeon regions is a power (or twice a power) of 13. We also prove a conjecture of Matt Blum stating that the number of perfect matchings of a certain family of subgraphs of the square lattice is a power of 3 or twice a power of 3. In addition we obtain multi-parameter generalizations of previously known results, and new multi-parameter exact enumeration results. We obtain in particular a simple combinatorial proof of Bo-Yin Yang's multivariate generalization of fortresses, a result whose previously known proof was quite complicated, amounting to evaluation of the Kasteleyn matrix by explicit row reduction. We also include a new multivariate exact enumeration of Aztec diamonds, in the spirit of Stanley's multivariate version.