Peter May kindly tells me that the proof of the Nishida relations in §8 of this paper works only for E∞ spaces, not for H∞ ring spectra. The reason is that there is no suitable “diagonal” map d for H∞ ring spectra. The result is correct all the same (it is not mine), and its formulation in §3 is also correct.

If G is the group of holomorphic automorphisms of a bounded symmetric domain, then G has a distinguished class of irreducible unitary representations called the holomorphic discrete series of G. These representations have been studied by Harish-Chandra in [7]. On the Lie algebra level, the Harish-Chandra modules corresponding to the holomorphic discrete series representations are highest weight modules. Even for G as above, it turns out that not all the unitary highest weight modules belong to the holomorphic discrete series but there exists a condition on the highest weight which characterizes the holomorphic discrete series among the unitary highest weight representations. They can be defined as those unitary highest weight representations with square integrable matrix coefficients.

Let G be a given group and A, B be two subgroups of G which may or may not coincide. A homomorphism μ which maps A onto B is called a partial endomorphism of G. When A coincides with G then we call μ a total endomorphism or as it is usually called an endomorphism of G. If μ* is a partial (or total) endomorphism of a supergroup G* ⊇ G, then we say that μ* extends, or continues, μ when μ* is defined for at least all the elements a ∈ A and moreover aμ = aμ* for all a ∈ A If the partial endomorphism μ is an isomorphic mapping then we speak of a partial automorphism of G.

It is proposed to establish the two following integrals.

where n is a positive integer, x is real and positive, μi and ν are complex, and Δ (n; a) represents the set of parameters

where n is a positive integer and x is real and positive.

The Wielandt subgroup ω(G) of a group G is defined to be the intersection of all normalizers of subnormal subgroups of G; the terms of the Wielandt series of G are defined, inductively, by putting ω0(G) = 1 and (ωn+1(G)/ωn(G) = ω(G/ωn(G)). If, for some integer n, ωn(G) = G, then G is said to have finite Wielandt length; the Wielandt length of G being the minimal n such that ωn(G) = G.

Recently several authors have studied dualizing Goldie dimension of a module: spanning dimension in [2], codimension in [13], corank in [16] and also [9,17,12, 5,11, 6, 4, 7] ([13] may be read in comparison with the others). In the present note we prove the equality corank RP = corank SS, where P is a quasi-projective left R-module and S is its endomorphism ring. This result is an answer to the question [12, p. 1898] and an extension of [3, Corollary 4.3] which shows the above equality for a Σ-quasi-projective left R-module P.

Let n = be the factorization of an integer n(>1) into prime powers, and set Φ(n):= . In particular, for squarefree n, Φ(n) = phi;(n). Consider the set

.

It is known (from [5]) that A consists precisely of those integers n for which there is no non-abelian group of order n. It is also known (from [7]) that the set

consists solely of integers n with the property that every group of order n is cyclic. We set C′ = A – C.

In the theory of self-adjoint operators in Hilbert space and of formally self-adjoint linear differential equations there are many situations involving analytic functions on the complex plane whose singularities are confined to the real axis and where the growth of the function at such singular points is strictly limited.

In this note we give the proof of the following result (previously known for homotopically trivial and free actions on infranilmanifolds [3, Theorem 5.6]).

Theorem 1. Let G be a finite group acting freely and smoothly on a closed infranilmanifold M. Assume that dim M≠3, 4. Then the action of G is topologically conjugate to an affine action.

Let R be a commutative ring (with non-zero identity) and let M be an R-module.

Let G be a polycyclic-by-finite group and let K[G] denote its group algebra over the field K. In this paper we discuss localization in K[G] and in particular we prove that every faithful completely prime ideal is localizable. Furthermore, using a sequence of localizations, we show that, for G polyinfinite cyclic, the classical right quotient ring (K[G]) is in fact a universal field of fractions for K[G]. Finally we offer an example of a domain K[G] which does not have a universal field of fractions.

An associative ring R is called a left SI-ring if every singular left R-module is injective. In Goodearl [4] it is shown that these rings have a finite ring decomposition into a ring K with K/Soc K left semisimple, and simple rings which are Morita equivalent to left SI-domains.

A general theory of Hankel forms over domains in one or several variables has been set forth in [6]. In [7] the study of Hankel forms over an annulus in the complex plane ℂ was begun. (An extension of the results of [7] to multiply connected domains was given in [4].) The present paper amplifies the results of [7] in various respects. First of all we define and study more general Hankel forms associated with a one parameter family of projective structures on the annulus. This displays several new features. For instance, we are now dealing with quadratic integral metrics which do not correspond to integration of the square of the function with respect to a weight. Furthermore, whereas in [7] essentially only the issue of the boundedness of Hankel forms was studied, we obtain here rather satisfactory Sp-results, even for 0 < p < 1. The question which remains is, of course, to which extent all this extends to multiply connected domains (or more general (open) Riemann surfaces).

In a series of papers [6], [7], [8], [10], Munn has considered the problem of constructing all irreducible representations of a semigroup by matrices over a field. In [10], he showed how to construct all the irreducible representations of an arbitrary inverse semigroup from those of associated Brandt semigroups. In this paper, we generalize the method of [10] to give a construction for the irreducible representations of an arbitrary semigroup from those of certain associated semigroups

We are interested in two parameter eigenvalue problems of the form

subject to Dirichlet boundary conditions

The weight function 5 and the potential q will both be assumed to lie in L2[0,1]. The problem (1.1), (1.2) generates eigencurves

in the sense that for any fixed λ, ν(λ) is the nth eigenvalue ν, (according to oscillation indexing) of (1.1), (1.2). These curves are in fact analytic functions of λ and have been the object of considerable study in recent years. The survey paper [1] provides background in this area and itemises properties of eigencurves.

The purpose of this note is to establish the following

Theorem. The centre of a (left) hereditary local ring is either afield or a one-dimensional regular local ring.

Before starting the proof, it is necessary to explain the terminology. A ring R with an identity element is called a left local ring if the elements of R which do not have left inverses form a left ideal I. In these circumstances (see [1, Proposition 2.1, p. 147]), I is necessarily a two-sided ideal and it consists precisely of all the elements of R which do not have right inverses. Furthermore, every element of R which is not in I possesses a two-sided inverse. Thus there is, in fact, no difference between a left local ring and a right local ring and therefore one speaks simply of a local ring. In addition, I contains every proper left ideal and every proper right ideal. We may therefore describe I simply as the maximal ideal of R.

In his book on Fourier Integrals, Titchmarsh [l] gave the solution of the dual integral equations

for the case α > 0, by some difficult analysis involving the theory of Mellin transforms. Sneddon [2] has recently shown that, in the cases v = 0, α = ±½, the problem can be reduced to an Abel integral equation by making the substitution

or

It is the purpose of this note to show that the general case can be dealt with just as simply by putting

The analysis is formal: no attempt is made to supply details of rigour.