We show that the group of conformal homeomorphisms of the boundary of a rank one symmetric space (except the hyperbolic plane) of noncompact type acts as a maximal convergence group. Moreover, we show that any family of uniformly quasiconformal homeomorphisms has the convergence property. Our theorems generalize results of Gehring and Martin in the real hyperbolic case for Möbius groups. As a consequence, this shows that the maximal convergence subgroups of the group of self homeomorphisms of the d–sphere are not unique up to conjugacy. Finally, we discuss some implications of maximality.

Several rather general sufficient conditions for the extrapolation of the calculus of generalized Dirac operators from L2 to Lp are established. As consequences, we obtain some embedding theorems, quadratic estimates and Littlewood–Paley theorems in terms of this calculus in Lebesgue spaces. Some further generalizations, utilised in Part II devoted to applications, which include the Kato square root model, are discussed. We use resolvent approach and show the irrelevance of the semigroup one. Auxiliary results include a high order counterpart of the Hilbert identity, the derivation of new forms of ‘off-diagonal’ estimates, and the study of the structure of the model in Lebesgue spaces and its interpolation properties. In particular, some coercivity conditions for forms in Banach spaces are used as a substitution of the ellipticity ones. Attention is devoted to the relations between the properties of perturbed and unperturbed generalized Dirac operators. We do not use any stability results.

An element in a free group is a proper power if and only if it is a proper power in every nilpotent factor group. Moreover there is an algorithm to decide if an element in a finitely generated torsion-free nilpotent group is a proper power.

We show that a warped product Mf = nf has higher rank and nonpositive curvature if and only if f is a convex solution of the Monge-Ampère equation. In this case we show that M contains a Euclidean factor.

In this paper we treat transcendental meromorphic solutions of some algebraic differential equations. We consider the number of distinct transcendental meromorphic solutions. Algebraic relations between meromorphic solutions and comparisons of the growth of transcendental meromorphic solutions are also discussed.

For an open subset Ω of the Euclidean space Rn, a measurable non-singular transformation T: Ω → Ω and a real-valued measurable function u on Rn, we study the weighted composition operator uCτ: f ↦ u · (f º T) on the Orlicz-Sobolev space W1·Ψ (Ω) consxsisting of those functions of the Orlicz space LΨ (Ω) whose distributional derivatives of the first order belong to LΨ (Ω). We also discuss a sufficient condition under which uCτ is compact.

We prove that every for every complete lattice-ordered effect algebra E there exists an orthomodular lattice O(E) and a surjective full morphism øE: O(E) → E which preserves blocks in both directions: the (pre)imageofa block is always a block. Moreover, there is a 0, 1-lattice embedding : E → O(E).

Abstrac In this paper we obtain some results on coincidence and common fixed points for two pairs of multi-valued and single-valued non-self mappings in complete convex metric spaces. We improve on previously used methods of proof and obtain results for mappings which are not necessarily compatible and not necessarily continuous, generalizing some known results. In particular, a theorem by Rhoades [19] and a theorem by Ahmed and Rhoades [2] are generalized and improved.

A Laguerre plane is a geometry of points, lines and circles where three pairwise non-collinear points lie on a unique circle, any line and circle meet uniquely and finally, given a circle C and a point Q not on it for each point P on C there is a unique circle on Q and touching C at P. We generalise to a Laguerre geometry where three pairwise non-collinear points lie on a constant number of circles. Examples and conditions on the parameters of a Laguerre geometry are given.

A generalized quadrangle (GQ) is a point, line geometry in which for a non-incident point, line pair (P. m) there exists a unique point on m collinear with P. In certain cases we construct a Laguerre geometry from a GQ and conversely. Using Laguerre geometries we show that a GQ of order (s. s2) satisfying Property (G) at a pair of points is equivalent to a configuration of ovoids in three-dimensional projective space.

Suppose we are given the free product V of a finite family of finite or countable sets (Vi)i∈∮ and probability measures on each Vi, which govern random walks on it. We consider a transient random walk on the free product arising naturally from the random walks on the Vi. We prove the existence of the rate of escape with respect to the block length, that is, the speed at which the random walk escapes to infinity, and furthermore we compute formulae for it. For this purpose, we present three different techniques providing three different, equivalent formulae.

Let M and N be finitely generated and graded modules over a standard positive graded commutative Noetherian ring R, with irrelevant ideal R+. Let be the nth component of the graded generalized local cohomology module . In this paper we study the asymptotic behavior of Assf R+ () as n → –∞ whenever k is the least integer j for which the ordinary local cohomology module is not finitely generated.

The finite generation and presentation of Schützenberger products of semigroups are investigated. A general necessary and sufficient condition is established for finite generation. The Schützenberger product of two groups is finitely presented as an inverse semigroup if and only if the groups are finitely presented, but is not finitely presented as a semigroup unless both groups are finite.

Let f and g be two permutable transcendental entire functions. Assume that f is a solution of a linear differential equation with polynomial coefficients. We prove that, under some restrictions on the coefficients and the growth of f and g, there exist two non-constant rational functions R1 and R2 such that R1 (f) = R(g). As a corollary, we show that f and g have the same Julia set: J(f) = J(g). As an application, we study a function f which is a combination of exponential functions with polynomial coefficients. This research addresses an open question due to Baker.

A pro-Lie group is a projective limit of finite dimensional Lie groups. It is proved that a surjective continuous group homomorphism between connected pro-Lie groups is open. In fact this remains true for almost connected pro-Lie groups where a topological group is called almost connected if the factor group modulo the identity component is compact. As consequences we get a Closed Graph Theorem and the validity of the Second Isomorphism Theorem for pro-Lie groups in the almost connected context.

Projective planes of order n with a coUineation group admitting a 2-transitive orbit on a line of length at least n/2 are investigated and new examples are provided.

In this paper, using pseudo path algebras, we generalize Gabriel's Theorem on elementary algebras to left Artinian algebras over a field k when the quotient algebra can be lifted by a radical. Our particular interest is when the dimension of the quotient algebra determined by the nth Hochschild cohomology is less than 2 (for example, when k is finite or char k = 0). Using generalized path algebras, a generalization of Gabriel's Theorem is given for finite dimensional algebras with 2-nilpotent radicals which is splitting over its radical. As a tool, the so-called pseudo path algebra is introduced as a new generalization of path algebras, whose quotient by ken is a generalized path algebra (see Fact 2.6).

The main result is that

(i) for a left Artinian k–algebra A and r = r(A) the radical of A. if the quotient algebra A/r can be lifted then A ≅ PSEk (Δ, , ρ) with Js ⊂ (ρ) ⊂ J for some s (Theorem 3.2);

(ii) If A is a finite dimensional k–algebra with 2-nilpotent radical and the quotient by radical can be lifted, then A ≅ k(Δ, , ρ) with 2 ⊂ (ρ) ⊂ 2 + ∩ ker (Theorem 4.2),

where Δ is the quiver of A and ρ is a set of relations.

For all the cases we discuss in this paper, we prove the uniqueness of such quivers Δ and the generalized path algebras/pseudo path algebras satisfying the isomorphisms when the ideals generated by the relations are admissible (see Theorem 3.5 and 4.4).

Let be a unital Banach algebra. Assume that a has a generalized inverse a+. Then is said to be a stable perturbation of a if . In this paper we give various conditions for stable perturbation of a generalized invertible element and show that the equation is closely related to the gap function . These results will be applied to error estimates for perturbations of the Moore-Penrose inverse in C*–algebras and the Drazin inverse in Banach algebras.

For a wide family of multivariate Hausdorff operators, the boundedness of an operator from this family i s proved on the real Hardy space. By this we extend and strengthen previous results due to Andersen and Móricz.

Completely regular semigroups CR are regarded here as algebras with multiplication and the unary operation of inversion. Their lattice of varieties is denoted by L(CR). Let B denote the variety of bands and L(B) the lattice of its subvarieties. The mapping V → V ∩ B is a complete homomorphism of L(CR) onto L(B). The congruence induced by it has classes that are intervals, say VB = [VB, VB] for V ∈ L(CR). Here VB = V ∩ B. We characterize VB in several ways, the principal one being an inductive way of constructing bases for v-irreducible band varieties. We term the latter canonical. We perform a similar analysis for the intersection of these varieties with the varieties BG, OBG and B.

We derive necessary and sufficient conditions for the existence of a time-periodic solution to the abstract Cauchy problem.