We shall solve the equation

where 0 <a<b, and f(x) is a continuous function on the interval (a, b).

Let G: Rn → Rn be a continuous mapping such that the origin 0 ∈ Rn is isolated in G-1(0). Then deg0G will denote the local topological degree of G at the origin, i.e. the topological degree of the mapping

where Sr denotes a sphere in Rn centered at the origin with small radius r > 0.

The object of this paper is to redevelop the classical theory of multipliers of Fuchsian groups [16] and to attempt a classification. The language which appears most appropriate is that of group extensions and the cohomology of groups. This viewpoint is not entirely novel [12] but the entire theory has never been based on it before.

The following theorem was proved in [1].

Theorem 1. Let S and T be continuous, commuting mappings of a complete, bounded metric space (X, d) into itself satisfying the inequality

for all x, y in X, where 0 ≤ c < 1 and p, p′, q, q′ ≥ 0 are fixed integers with p + p′, q + q′ ≥ 1. Then S and T have a unique common fixed point z. Further, if p′ or q′ = 0, then z is the unique fixed point of S and if p or q = 0, then z is the unique fixed point of T.

For each characteristic p, let Fp be the prime field and let Ώp be a fixed universal field which is algebraically closed and of infinite transcendence degree over Fp. When p = 0 we take Ώp = ℂ. Let F be a subfield of Ώp and let R be an integral domain whose quotient field is F. We abbreviate SL(2, R), PGL(2, R), PSL(2, R) to SL(R), PGL(R), PSL(R) respectively, and we cohsider PSL(R) as a group of projective transformations of the projective line ℘(Ώp) and of the “subline” ℘(F) ⊂ ℘(ΏP). The elements of PSL(R) are classified by the number of fixed points they have on ℘(F). If x ∈ PSL(R) has one such fixed point P, then P is the unique fixed point of x on ℘(ΏP) and x is called parabolic. All other x (except the identity E) have two distinct fixed points on ℘(Ώp) and x is called hyperbolic if these are on ℘(F), and elliptic otherwise. We put symbols for operators on the right.

An algebra A factors if, for each a ∈ A, there exist b, c ∈ A with a = bc. A bounded approximate identity for a Banach algebra A is a net (eα) ⊂ A such that aeα → a and eαa → a for each a ∈ A and such that sup ‖eα ‖ < ∞. It is well known [2, 11.10] that if A has a bounded approximate identity, then A factors. But a Banach algebra may factor even if it does not have a bounded approximate identity: an example which is non-commutative and separable, and an example which is commutative and nonseparable, are given in [3, §22]. However, we do not know an example of a commutative, separable Banach algebra which factors, but which does not have a bounded approximate identity. See 4 for related work.

In this paper we evaluate a few infinite integrals involving products of Legendre functions. The results obtained herein are quite general and include, as particular cases, some known results.

Let G be a finite group. The real genus p(G) [8] is the minimum algebraic genus of any compact bordered Klein surface on which G acts. There are now several results about the real genus parameter. The groups with real genus p ≤ 5 have been classified [8,9,12], and genus formulas have been obtained for several classes of groups [8,9,10,11,12]. Most notably, McCullough calculated the real genus of each finite abelian group [13]. In addition, there is a good general lower bound for the real genus of a finite group [11].

1. All operators considered in this paper are bounded operators on a Hilbert space. In case A and B are self-adjoint, certain conditions on A, B and their difference

assuring the unitary equivalence of Aand B,

have recently been obtained by Rosenblum [6] and Kato [2]. The present paper will consider the problem of investigating consequences of an assumed relation of type (2) for some unitary U together with an additional hypothesis that the difference H of (1) be non-negative, so that

First, it is easy to see that if only (2) and (3) are assumed, thereby allowing H = 0, relation (2) can hold for A arbitrary with U = I (identity) and B = A. If H = 0 in (3) is not allowed, however (an impossible assumption in the finite dimensional case, incidentally, since then the trace of H is zero and hence H = 0), it will be shown, among other things, that any unitary operator U for which (2) and (3) hold must have a spectrum with a positive measure (as a consequence of (i) of Theorem 2 below). Moreover A (hence B) cannot differ from a completely continuous operator by a constant multiple of the identity (Theorem 1). In case 0 is not in the point spectrum of H, then U is even absolutely continuous (see (iv) of Theorem 2). In § 4, applications to semi-normal operators will be given.

The classical theory of Weierstrass points on a compact Riemann surface is well-known (see, for example, [3]). Ogawa [6] has defined generalized Weierstrass points. Let Y denote a compact complex manifold of (complex) dimension n. Let E denote a holomorphic vector bundle on Y of rank q. Let Jk(E) (k = 0, 1, …) denote the holomorphic vector bundle of k-jets of E [2, p. 112]. Put rk(E) = rank Jk(E) = q.(n + k)!/n!k!. Suppose that Γ(E), the vector space of global holomorphic sections of E, is of dimension γ(E)>0. Consider the trivial bundle Y × Γ(E) and the map

which at a point Q∈Y takes a section of E to its k-jet at Q. Put μ = min(γ(E),rk(E)).

A unit regular semigroup [1, 4] is a regular monoid S such that H1 ∩ A(x) ≠ Ø for every xɛS, where H1, is the group of units and A(x) = {y ɛ S; xyx = x} is the set of associates (or pre-inverses) of x. A uniquely unit regular semigroupis a regular monoid 5 such that |H1 ∩ A(x)| = 1. Here we shall consider a more general situation. Specifically, we consider a regular semigroup S and a subsemigroup T with the property that |T ∩ A(x) = 1 for every x ɛ S. We show that T is necessarily a maximal subgroup Hα for some idempotent α. When Sis orthodox, α is necessarily medial (in the sense that x = xαx for every x ɛ 〈E〉) and αSα is uniquely unit orthodox. When S is orthodox and α is a middle unit (in the sense that xαy = xy for all x, y ɛ S), we obtain a structure theorem which generalises the description given in [2] for uniquely unit orthodox semigroups in terms of a semi-direct product of a band with a identity and a group.

In what follows all small Latin letters denote non-negative integers or functions whose values are non-negative integers. Let N = (n1, …, nj) be a j-dimensional vector and let q = q (k; N) = q(k; n1, …, nj) be the number of partitions of N into just k parts, each part being a vector whose components are non-negative integers. We write

for the generating function of q. We have

.

Let k be a field and G an Abelian group of finite torsion-free rank. Brewer, Costa and Lady [1, Theorem A] showed that if k has characteristic 0 then each localization of the group algebra kG at a prime ideal is a regular local ring. They also showed (in the same theorem) that if k has characteristic p > 0, then kG is locally Noetherian (i.e. each localization of kG at a prime ideal is a Noetherian ring) if and only if G is an extension of a finitely generated group by a torsion p′-group. The purpose of this note is to examine this theorem in a more general setting.

Let G be a finite abelian group of rank m, M an oriented compact connected surface, and F(G, M) the set of all orientation preserving free G-actions on M. Two actions φ1, φ2εF(G, M) are equivalent if there exists an orientation preserving homeomorphism h of M such that

hφ1(f) for all f ε G.

In this paper we prove that the weighted group algebra L1 (G, w) is semi-regular if and only if G is either abelian or discrete.

In [1, p. 130] the following partition theorem was deduced from a general theorem concerning the limit of a recurrent sequence.

Let (L, ≦) be a distributive lattice with first element 0 and last element 1. If a, b in L have complements, then these must be unique, and the De Morgan laws provide complements for a ∧ b and a ∨ b. We show that the converse statement holds under weaker conditions.

Theorem 1. If(L, ≦) is a modular lattice with 0 and 1 and if a, b in L are such that a ≦b and a ≨ b have (not necessarily unique) complements, then a andb have complements.

In [6] McTaggart presented a nonlinear energy stability analysis of the problem of convection in the presence of a surface film overlying a non-shallow layer of fluid heated from below. In her work the film is regarded as a two-dimensional continuum and surface tension is then introduced naturally as a combination of a surface density and the derivative of a surface free energy. In fact, the model originated with work of Landau and Lifschitz [4] on the effect of adsorbed films on the motion of a liquid. The precise model she uses was developed from a continuum thermodynamic viewpoint by Lindsay and Straughan [5].

A ring R is called right PCI if every proper cyclic right R-module is injective, i.e. if C is a cyclic right R-module then CR ≅ RR or CR is injective. By [2] and [3], if R is a non-artinian right PCI ring then R is a right hereditary right noetherian simple domain. Such a domain is called a right PCI domain. The existence of right PCI domains is guaranteed by an example given in [2]. As generalizations of right PCI rings, several classes of rings have been introduced and investigated, for example right CDPI rings, right CPOI rings (see [8], [6]). In Section 2 we define right PCS, right CPOS and right CPS rings and study the relationship between all these rings.