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.

§ 1. Introductory. The integral

where b>0, was given by Hardy (1). It was proved by applying Mellin's inversion formula. An alternative proof, based on the differential equation

satisfied by Kn(x), has been given by the author (2).

It is the purpose of this note to discuss the solution of the pair of series

where F(x) and G(x) are given and the coefficients an are to be determined.

In this paper we characterize semigroups S which have a semigroup Q of left quotients, where Q is an ℛ-unipotent semigroup which is a band of groups. Recall that an ℛ-unipotent (or left inverse) semigroup S is one in which every ℛ-class contains a unique idempotent. It is well-known that any ℛ-unipotent semigroup 5 is a regular semigroup in which the set of idempotents is a left regular band in that efe = ef for any idempotents e, fin S. ℛ-unipotent semigroups were studied by several authors, see for example [1] and [13].Bailes [1]characterized ℛ-unipotent semigroups which are bands of groups. This characterization extended the structure of inverse semigroups which are semilattices of groups. Recently, Gould studied in [7]the semigroup S which has a semigroup Q of left quotients where Q is an inverse semigroup which is a semilattice of groups.

In this note a theorem, giving a relation between the Hankel transform of f(x) and Meijer's Bessel function transform of f(x)g(x), is proved. Some corollaries, obtained by specializing the function g(x), are stated as theorems. These theorems are further illustrated by certain suitable examples in which certain integrals involving products of Bessel functions or of Gauss's hypergeometric function and Appell's hypergeometric function are evaluated. Throughout this note we use the following notations:

R. C. James [2] (or see p. 7ff of [3]) gave a useful representation of the bidual of any space with a shrinking basis. This note gives a representation of the bidual of any space with a basis.

Our notation follows that of [3], where undefined terms can be found. Let {en} be a basic sequence with coefficient functionals {fn}. We will assume {en} is bimonotone; that is

. The space {en}LIM is the set of scalar sequences {an} so that ∥{an}∥ = . We will abuse notation and squate such {an} with the formal sum Σ anen.

In [13], Poincaré asked the following question: Which abstract groups can appear as monodromy groups [14] of second order, linear, homogeneous differential equations with meromorphic coefficients (which might depend on one or more parameters) on ℂ? In the present paper, we initiate a classification of monodromy groups of differential equations on compact Riemann surfaces of genus 1. We proceed as follows: Let

be the general Euler equation [1] which has two regular singular points at 0 and λ in the extended complex plane C. Further, let yu(z)(v – 1,2) be an arbitrary but fixed pair of linearly independent solutions to (1) valid in a neighborhood of some ordinary point. Analytic continuation of each solution along a closed loop A in C–{0, λ}, starting and ending at some fixed base point, produces a new solution yv,A (v = 1, 2) which can be expressed as

where the constants avlx (v1 ν = l,2) in C depend on the homotopy class [A] of A. Clearly, y1,A(z)/y2,A(z) = To(y1(z)/y2(z)) where the Möbius transformation T:w→ (a11W + a12)/(a21W + a22) depends on [A]. The set of all Mobius transformations T belonging to every possible closed loop A in C–{0,λ} forms a group G, called the monodromy group of the Euler equation (1). G is generated by the Mobius transformation belonging to a simple, closed loop Ao encircling 0. Hence, G is cyclic.

Denote by

the Euler product, and by

the partition generating function. More generally, if k is any integer, put

so that p(n) = p−1(n). In [3], Atkin proved the following theorem.

If p and q are cardinal numbers and E is a topological space, then the following property may or may not hold:

Every cover of Eby fewer than q open sets has a subcover by fewer than pof them. (1)

Clearly these properties, for various numbers p and q, are far from being independent; in this paper, we investigate some of the interrelationships between them.

Many of the classical inequalities of analysis can be written in the form P(x) ≥ 0 for x ∈ I or P(x) > 0 for x ∈ I′, where P(x) is a polynomial and I′ ⊂ I are certain intervals on the real line. This gives rise to the question of where the zeros of P(x) are located. For example, if f is a polynomial with real zeros, then an inequality of Laguerre [8, p. 171 f.] asserts that

for all x. A detailed study of the zeros of this particular P(x) has been made [5].

The object of this paper is to derive, using a version of the large sieve for function fields due to J. Johnsen [6], explicit lower boundsfor the average number of distinct values taken by a polynomial over a finite field.

We define the nth cyclotomic polynomial Φn(z) by the equation

and we write

where ϕ is Euler's function.

Erdös and Vaughan [3] have shown that

uniformly in n as m-→∞, where

and that for every large m

In this paper we shall be concerned with the set Mn(B) of n x n matrices whose elements belong to a given Boolean algebra B(≤, ∪,∩,').

It is well known that Mn(B) also forms a Boolean algebra with respect to the partial ordering ≼ defined by

in which union (⋎), intersection (⋏) and complementation (*) are given by

Recall that a Noetherian ring R is a Hilbert ring if the Jacobson radical of every factor ring of R is nilpotent. As one of the main results of [13], J. E. Roseblade proved that if J is a commutative Hilbert ring and G is a polycyclic-by-finite group then JG is a Hilbert ring. The main theorem of this paper is a generalisation of this result in the case where all the field images of J are absolute fields—we shall say that J is absolutely Hilbert. The result is stated in terms of the (Gabriel–Rentschler–) Krull dimension; the definition and basic properties of this may be found in [5]. Let M be a finitely generated right module over the ring R. We write AnnR(M) (or just Ann(M)) for the ideal {r ∈ R: Mr = 0}, the annihilator of M in R. If M is also a left module, its left annihilator will be denoted l-AnnR(M). If R is a group ring JG, put

A generalization is given of a theorem of F. Brafman [1] on the equivalence of generating relations for a certain sequence of functions. The main result, contained in Theorem 2 below, may be applied to several special functions including the classical orthogonal polynomials such as Hermite, Jacobi (and, of course, Legendre and ultraspherical), and Laguerre polynomials.