Finite Derivation Type for Semigroups and Congruences

We consider a congruence ρ on a semigroup S as a subsemigroup of the direct product S × S. We prove that if ρ has finite derivation type (FDT), then so does S.     

Polynomial Basins of Infinity

We study the projection p: M_d ? B_d{\pi : \mathcal{M}_d \rightarrow \mathcal{B}_d} which sends an affine conjugacy class of polynomial f : \mathbbC ? \mathbbC{f : \mathbb{C} \rightarrow \mathbb{C}} to the holomorphic conjugacy class of the restriction of f to its basin of infinity. When B_d{\mathcal{B}_d} is equipped with a dynamically natural Gromov–Hausdorff topology, the map π becomes continuous and a homeomorphism on the shift locus. Our main result is that all fibers of π are connected. Consequently, quasiconformal and topological basin-of-infinity conjugacy classes are also connected. The key ingredient in the proof is an analysis of model surfaces and model maps, branched covers between translation surfaces which model the local behavior of a polynomial.     

Polynomial Trace Estimates for Semigroups

For semigroups (e ^tA ) _t0 of operators on a Hilbert space, we give conditions guaranteeing trace estimates of the polynomial type 0$$ " align="middle" border="0"> , where denotes the trace class. As an application we present higher order analogues of results due to E.B. Davies, B. Simon and M. van den Berg of the type 0$$ " align="middle" border="0"> , for certain unbounded domains , e.g. spiny urchin domains.     

Mappings of Finite Distortion of Polynomial Type

Suppose f:? ⁿ →? ⁿ is a mapping of K-bounded p-mean distortion for some p>n?1. We prove the equivalence of the following properties of f: the doubling condition for J(x,f) over big balls centered at the origin, the boundedness of the multiplicity function N(f,? ⁿ ), the polynomial type of f, and the polynomial growth condition for f.     

Equational Theories for Classes of Finite Semigroups

It is proved that there exists an infinite sequence of finitely based semigroup varieties such that, for all i, an equational theory for and for the class of all finite semigroups in is undecidable while an equational theory for and for the class of all finite semigroups in is decidable. An infinite sequence of finitely based semigroup varieties is constructed so that, for all i, an equational theory for and for the class of all finite semigroups in is decidable whicle an equational theory for and for the class of all finite semigroups in is not.     

Opial Type Inequalities for Semigroups

Various L_p form Opial type inequalities are given for semigroups with applications.     

Fibers of Polynomial Mappings at Infinity and a Generalized Malgrange Condition

Let f be a complex polynomial mapping. We relate the behaviour of f at infinity to the characteristic cycle associated to the projective closures of fibres of f. We obtain a condition on the characteristic cycle which is equivalent to a condition on the asymptotic behaviour of some of the minors of the Jacobian matrix of f. This condition generalizes the condition in the hypersurface case known as Malgrange's condition. The relation between this condition and the behavior of the characteristic cycle is a partial generalization of Parusinski's result in the hypersurface case. We show that the new condition implies the C-triviality of f.     

On the Monodromy at Infinity of a Polynomial Map, II

To a polynomial map f : Cn + 1 C one can attach a monodromy transformation on the complex cohomology of its generic fiber that reflects its asymptotic behaviour. In this paper this transformation is determined for a class of generic polynomials in terms of data attached to projective hypersurfaces with isolated singularities.     

Computing Finite Semigroups, I: The First Row

New precedence results are obtained for finite, not necessarily commutative semigroups, which are used to further sharpen existing algorithms for the computation of finite semigroups. The results in this first part describe the first row of the multiplication table in detail and provide a numerical profile with which it can be compared to other rows.     

The Berman Conjecture Is True for Finite Surjective Semigroups and Their Inflations

A semigroup S is called surjective if S ² =S . The aim of this paper is to prove that p _n -sequences of finite surjective semigroups are eventually strictly increasing, except in few well known cases, when they are bounded. Also, some further types of finite semigroups, obtained by means of subdirect products, are shown to have the same property.     

扰动双参数C_0半群的直接范数连续性

双参数半群理论是研究Markov过程的一种重要方法.本文首先证明了双参数C_0半群在有界扰动下生成一个双参数C_0半群;其次证明了如果双参数C_0半群是直接范数连续的,那么在有界扰动下生成的双参数C_0半群也是直接范数连续的.     

Hille-Yosida算子非线性Lipschitz扰动半群的直接紧性

研究非自反Banach空间中Hille-Yosida算子的非线性Lipschitz扰动半群的直接紧性保持问题.具体地,在非线性Lipschitz半群的框架下,利用外推空间理论,证明非线性扰动半群保持原半群的直接紧性质.获得的研究结果是线性算子半群相应结果的非线性推广.     

Computing Finite Semigroups,II: The First Nonconstant Row

New precedence results are obtained for finite, not necessarily commutative semigroups, which are used to further sharpen existing algorithms for the computation of finite semigroups. The results in this second part assume a left zero element, describe the first nonconstant row of the multiplication table in detail, and provide a numerical profile with which it can be compared to other rows.     

Bifurcation and Isochronicity at Infinity in a Class of Cubic Polynomial Vector Fields

In this paper, we study the appearance of limit cycles from the equator and isochronicity of infinity in polynomial vector fields with no singular points at infinity. We give a recursive formula to compute the singular point quantities of a class of cubic polynomial systems, which is used to calculate the first seven singular point quantities. Further, we prove that such a cubic vector field can have maximal seven limit cycles in the neighborhood of infinity. We actually and construct a system that has seven limit cycles. The positions of these limit cycles can be given exactly without constructing the Poincare cycle fields. The technique employed in this work is essentially different from the previously widely used ones. Finally, the isochronous center conditions at infinity are given.     

On Finite Presentability of Direct Products of Semigroups

A finite semigroup S is said to preserve finite generation (resp., presentability) in direct products, provided that, for every infinite semigroup T, the direct product S × T is finitely generated (resp., finitely presented) if and only if T is finitely generated (resp., finitely presented). The main result of this paper is a constructive necessary and sufficient condition for S to preserve both finite generation and presentability in direct products. The condition is that certain graphs, (s), one for each s S, are all connected. The main result is illustrated in three examples, one of which exhibits a 4-element semigroup that preserves finite generation but not finite presentability in direct products.1991 Mathematics Subject Classification: 20M05, 05C25The first author is financially supported by the Sub-Programa Ciência e Tecnologia do 2° Quadro Comunitário de Apoio (grant number BD/ 15623/98). The author also acknowledges the support of the Centro de Álgebra da Universidade de Lisboa and of the Projecto Praxis 2/2.1/MAT/73/94. The second author acknowledges partial financial support from the Nuffield Foundation.     

On Certain Finite Semigroups of Order-decreasing Transformations I

Let $D_n $ (${\cal O}_n$) be the semigroup of all finite order-decreasing (order-preserving) full transformations of an $n$-element chain, and let $D(n,r) = \{\alpha\in D_n: |\mbox{Im}\alpha| \leq r\}$ (${\cal C}(n,r) = D(n,r)\cap {\cal O}_n)$ be the two-sided ideal of $D_n $ ($D_n \cap {\cal O}_n$). Then it is shown that for $r \geq 2$, the Rees quotient semigroup $DP_r(n)= D(n,r) / D(n,r-1)$ (${\cal C}P_r(n)= {\cal C}(n,r)/{\cal C} (n,r-1)$) is an ${\cal R}$-trivial (${\cal J}$-trivial) idempotent-generated 0*-bisimple primitive abundant semigroup. The order of ${\cal C}P_r(n)$ is shown to be $1+ \left(\begin{array}{c} n-1 \\ r-1 \end{array} \right) \left(\begin{array}{c} n \\ r \end{array} \right)/(n-r+1)$. Finally, the rank and idempotent ranks of ${\cal C}P_r(n)\,(r<n)$ are both shown to be equal to $\left(\begin{array}{c} n-1 \\ r-1 \end{array} \right)$.