Enlargements and Coverings by Rees Matrix Semigroups

 We formulate a general condition, called an enlargement, under which a semigroup T is covered by a Rees matrix semigroup over a subsemigroup.     

On the Distribution of Coefficients of Logarithmic Derivativesof L-Functions Attached to Certain Arithmetical Semigroups

 Under the Riemann Hypothesis for the classical Riemann zeta function, there exist infinitely many arithmetically non-isomorphic arithmetical semigroups with the property that one of the associated L-functions vanishes at . Moreover, there are no restrictions in the distribution of prime divisors of a given norm except an obvious one concerning the order of magnitude. Received 22 December 1997 in revised form 12 May 1998     

Orders in Strict Regular Semigroups

 A subsemigroup S of a semigroup Q is an order in Q if for every there exist such that , where a and d are contained in (maximal) subgroups of Q, and and are their inverses in these subgroups. A regular semigroup S is strict if it is a subdirect product of completely (0-)simple semigroups. We construct all orders and involutions in Auinger’s model of a strict regular semigroup. This is used to find necessary and sufficient conditions on an involution on an order S in a strict regular semigroup Q for extendibility to an involution on Q. (Received 27 April 1999; in revised form 20 October 1999)     

On the Convergence of Newton’s Method for Polynomial Equations and Applications in Radiative Transfer

 Newton’s method is used to approximate a locally unique zero of a polynomial operator F of degree in Banach space. So far, convergence conditions have been found for Newton’s method based on the Newton-Kantorovich hypothesis that uses Lipschitz-type conditions and information only on the first Fréchet-derivative of F. Here we provide a new semilocal convergence theorem for Newton’s method that uses information on all Fréchet-derivatives of F except the first. This way, we obtain sufficient convergence conditions different from the Newton-Kantorovich hypothesis. Our results are extended to include the case when F is a nonlinear operator whose kth Fréchet-derivative satisfies a H?lder continuity condition. An example is provided to show that our conditions hold where all previous ones fail. Moreover, some applications of our results to the solution of polynomial systems and differential equations are suggested. Furthermore, our results apply to solve a nonlinear integral equation appearing in radiative transfer in connection with the problem of determination of the angular distribution of the radiant-flux emerging from a plane radiation field. Received 9 December 1997 in revised form 30 March 1998     

On the Density of 2-Saturated Lattice Packings of Discs

 In a recent paper of G. Fejes Tóth, G. Kuperberg and W. Kuperberg [1] a conjecture has been published concerning the greatest lower bound of the density of a 2-saturated packing of unit discs in the plane. (A packing of unit discs is said to be 2-saturated if none of the discs could be replaced by two other ones of the same size to generate a new packing. A packing of the unit disc is a lattice packing if the centers form a point lattice.) In the present note we study this problem for lattice packings, however, in a more general form in which the removed unit disc is replaced by two discs of radius r. A corollary of our results supports the above conjecture proving that a lattice packing cannot be 2-saturated except if its density is larger than the conjectured bound. (Received 6 December 2000; in revised form March 29, 2001)     

Cohomological Characterizations of Biprojective and Biflat Banach Algebras

 Let A be a biprojective Banach algebra, and let A-mod-A be the category of Banach A-bimodules. In this paper, for every given -mod-A, we compute all the cohomology groups . Furthermore, we give some cohomological characterizations of biprojective Banach algebras. In particular, we show that the following properties of a Banach algebra A are equivalent to its biprojectivity: (i) for all -mod -A; (ii) for all -mod-A; (iii) for all -mod-A. (Here and are, respectively, the Banach A-bimodules of left, right and double multipliers of X.) Further, if A is a biflat Banach algebra and -mod-A, we compute all the cohomology groups , where is the Banach A-bimodule dual to X. Also, we give cohomological characterizations of biflat Banach algebras. We prove that a Banach algebra A is biflat if and only if any of the following conditions is valid: (i’) for all -mod-A; (ii’) for all -mod-A; (iii’) for all -mod-A. Received 16 June 1998     

Embedding Semigroups into Idempotent Generated Ones

We present a concrete model of the embedding due to Pastijn and Yan of a semigroup S into an idempotent generated semigroup now in terms of a Rees matrix semigroup over S¹. The paper starts with a comparison of the two embeddings. Studying the properties of this embedding, we prove that it is functorial. We show that a number of usual semigroup properties is preserved by this embedding, such as periodicity, finiteness, the cryptic property, regularity, complete semisimplicity and various local properties, but complete regularity is not one of them.     

Isoperimetric Inequalities for Densities of Lattice-Periodic Sets

 The minimum boundary length density of a lattice-periodic set with given period lattice and area density is determined, together with the extremal sets, and a conjecture on the higher-dimensional analogue is made. This improves previous results of Hadwiger for -periodic d-dimensional sets and of Schnell and Wills on two-dimensional sets with arbitrary period-lattice. Received 21 May 1997; in revised form 1 December 1997     

Sets of Periods for Expanding Maps on Flat Manifolds

 It is proven that the sets of periods for expanding maps on n-dimensional flat manifolds are uniformly cofinite, i.e. there is a positive integer m ₀, which depends only on n, such that for any integer , for any n-dimensional flat manifold ℳ and for any expanding map F on ℳ, there exists a periodic point of F whose least period is exactly m. (Received 10 April 1998; in revised form 20 January 1999)     

On Powerful Normal Subgroups of a p-Group

 In this paper we investigate the action of a p-group G on its powerful normal subgroup N. We shall mainly be concerned to find conditions which guarantee that G acts uniserially on N. We shall also study what consequences uniserial action on N has on the structure of N. (Received 21 August 1998; in revised form 28 June 1999)     

Invertibility Conditions and Bounds for Spectra of Matrix Integral Operators

 Matrix integral operators are considered. Bounds for the spectrum are established. In particular, they give the invertibility conditions and estimates for the spectral radius. (Received 16 December 1998; in revised form 30 May 1999)     

Partial Orders on Transformation Semigroups

In 1986, Kowol and Mitsch studied properties of the so-called natural partial order on T(X), the total transformation semigroup defined on a set X. In particular, they determined when two total transformations are related under this order, and they described the minimal and maximal elements of (T(X), ). In this paper, we extend that work to the semigroup P(X) of all partial transformations of X, compare with another natural partial order on P(X), characterise the meet and join of these two orders, and determine the minimal and maximal elements of P(X) with respect to each order.This author gratefully acknowledges the generous support of Centro de Matematica, Universidade do Minho, Portugal during his visit in May–June 2001.Received May 27, 2002; in revised form November 27, 2002 Published online May 16, 2003     

A posteriori error estimation with the finite element method of lines for a nonlinear parabolic equation in one space dimension

Summary. Convergence of a posteriori error estimates to the true error for the semidiscrete finite element method of lines is shown for a nonlinear parabolic initial-boundary value problem. Received June 15, 1997 / Revised version received May 15, 1998 / Published online: June 29, 1999     

On the Distribution of the Degrees of Prime Element Factors in Additive Arithmetical Semigroups

 Results of Arnold Knopfmacher about the distribution of the degrees of irreducible factors in the canonical decomposition of monic polynomials in ? _q [X] are generalized to additive arithmetical semigroups (G,∂) satisfying a weak condition called axiom ? (Received 25 August 1998; in revised form 7 June 1999)     

Flat Manifolds With Prescribed First Betti Number Admitting Anosov Diffeomorphisms

 We show that from dimension six onwards (but not in lower dimensions), there are in each dimension flat manifolds with first Betti number equal to zero admitting Anosov diffeomorphisms. On the other hand, it is known that no flat manifolds with first Betti number equal to one support Anosov diffeomorphisms. For each integer k > 1 however, we prove that there is an n-dimensional flat manifold M with first Betti number equal to k carrying an Anosov diffeomorphism if and only if M is a k-torus or n is greater than or equal to k + 2. (Received 5 October 2000; in revised form 9 March 2001)     

Differential operators and the Frobenius pull back of the tangent bundle on G/P

In this paper we study the sheaf of differential operators on a flag manifold X in characteristic p>0. We generalize the non-vanishing theorem of Haastert on the associated filtration of . We make use of the lifting of X to characteristic zero and the complex geometry of X. Received: 27 March 1998