Let A be a finite dimensional algebra with identity element over a field. A is generalised uniserial if every primitive left ideal and every primitive right ideal of A has only one compositions series. In the previous papers in this series (6, 7) generalised uniserial algebras have been characterised as algebras all of whose residue class algebras are of certain types. The purpose of this paper is to extend the earlier results by showing that in order that A be generalised uniserial it is sufficient to require weaker conditions on merely a finite sequence of residue class algebras of A.

The non-associative algebras arising in genetics (1), are rather isolated from other branches of non-associative algebra (6). However, in a paper (5), in which he studied these algebras in terms of their transformation algebras, Schafer proved that the gametic and zygotic algebras for a single diploid locus are Jordan algebras.

Recently Collins (2) has studied triple series equations involving series of Legendre polynomials. These equations arise in the study of mixed boundary value problems and can be regarded as extensions of the dual series equations considered by Collins in (1).

Let f(z) be an entire function, M(r) the maximum of f(z) on ∣z∣=r, and λ>1. Let Eλ=Eλ(f{z:log∣f(z)≦(1-λ)log(M∣z∣)}, and denote the density of Eλby

where m is planar measure.

Many problems in mathematical analysis require a knowledge of the asymptotic behaviour of Γ(z + α)/Γ(z + β) for large values of |z|, where α and β are bounded quantities. Tricomi and Erdélyi in (1), gave the asymptotic expansion

where the are the generalised Bernoulli polynomials, see (2), defined by

In this note, we show that if, instead of considering z to be the large variable, we consider a related large variable, (1) can be improved from a computational viewpoint.

A congruence ρ on a semigroup is said to be idempotent-separating if each ρ-class contains at most one idempotent. For any idempotent e of a semigroup S the set eSe is a subsemigroup of S with identity e and group of units He, the maximal subgroup of S containing e. The purpose of the present note is to show that if S is a regular O-bisimple semigroup and e is a non-zero idempotent of 5 then there is a one-to-one correspondence between the idempotentseparating congruences on 5 and the subgroups N of He with the property that aN ⊆ Na for all right units a of eSe and Nb ⊆ bN for all left units b of eSe. Some special cases of this result are discussed and, in the final section, an application is made to the principal factors of the full transformation semigroup on a set X.

Barrelled and quasibarrelled spaces form important classes of locally convex spaces. In (2), Husain considered a number of less restrictive notions, including infinitely barrelled spaces (these are the same as barrelled spaces), countably barrelled spaces and countably quasibarrelled spaces. A separated locally convex space E with dual E' is called countably barrelled (countably quasibarrelled) if every weakly bounded (strongly bounded) subset of E' which is the countable union of equicontinuous subsets of E' is itself equicontinuous. It is trivially true that every barrelled (quasibarrelled) space is countably barrelled (countably quasibarrelled) and a countably barrelled space is countably quasibarrelled. In this note we give examples which show that (i) a countably barrelled space need not be barrelled (or even quasibarrelled) and (ii) a countably quasibarrelled space need not be countably barrelled. A third example (iii)shows that the property of being countably barrelled (countably quasibarrelled) does not pass to closed linear subspaces.

The Klein–Gordon equation

Ω being a constant of dimensions [time]-1 and c being a constant velocity, appears in nuclear physics (1) and, when the Laplacian operator is twodimensional, in the theory of long gravity waves on a rotating earth (2). If Ω is zero it reduces to the wave equation

It is well known that two mutually related summability methods for a sequence sn(n = 0, 1, 2, …) are any Cesaro method (C, γ) of order γ > 0 and the Abel method (A). The notation used in this statement is that of Hardy ((1), pp. 96-7, 71) and the statement itself can be amplified as follows. Summability (C, γ), γ > 0, of sn implies (i) sn = o(nγ), (ii) summability (A) of sn. Also, as a conditional converse of this result, we have Offord's result ((3), first part of Theorem 2), that hypothesis (i), and hypothesis (ii) suitably strengthened, together imply summability (C, γ), γ > 0, of sn. It is the object of this note to bring to light a second pair of summability methods mutually related like the methods (C, γ) and (A), by following an argument which is essentially similar to Offord's but differs sufficiently from Offord's in details to justify a separate and self-contained treatment of the second pair of methods.

The problem of determining the distribution of stress in the neighbourhood of a Griffith crack, denned by ∣x∣ ≦ 1, y = 0, which is subject to an internal pressure varying along the length of the crack has been solved by Sneddon and Elliott (3) and by England and Green (1). In the former paper a Fourier cosine method is used to arrive at a solution while in the latter paper the problem is reduced to an Abel integral equation by making use of integral representations of the complex potentials given in Green and Zerna (2). Neither paper deals with the calculation of the stress intensity factor

which is extremely important to workers in fracture mechanics.

A rigid spherical punch vibrates normally on the surface of a semi-infinite isotropic elastic half-space. The essential novelty of this problem, which is treated within the context of classical elasticity, is that of a changing boundary; the radius of the circle of contact on the free surface varies with time. The geometrical co-ordinates are modified to yield a boundary value problem with fixed boundaries. However the governing differential equations become more complicated. These equations are solved by a perturbation procedure for the case where the contact radius a(t) is of the form

where a0 is constant and |ŋ(t)≪1. Finally the normal stress and the total load under the punch are evaluated in the form of series which are valid for sufficiently slowly varying ŋ(t).

A q-analogue of the integral ∣f(t)dt is defined by means of

which is an inverse of the q–derivative

The present author (2) has recently obtained a q–nalogue of a formula of Cauchy, namely,

where, for real or complex α and N a positive integer,

Let G be any finite group, and p any prime number. (All groups to be considered here are finite, and we assume this without further comment.) We denote by Kp(G) the unique smallest normal subgroup of G for which the quotient G/Kp(G) is a p-group. G/Kp(G) is called the p-residual of G. W. Gaschütz (2, Satz 7) has proved the following

Theorem. Set K = Kp(G). If the Sylow p-subgroups of K are abelian, then G splits over K.

The generalised zeta-function ζ(s, α) is defined by

where α>0 and Res>l. Clearly, ζ(s, 1)=, where ζ(s) denotes the Riemann zeta-function. In this paper we consider a general class of Dirichlet series satisfying a functional equation similar to that of ζ(s). If ø(s) is such a series, we analogously define ø(s, α). We shall derive a representation for ø(s, α) which will be valid in the entire complex s-plane. From this representation we determine some simple properties of ø(s, α).

An analysis is made of the motion of a simple undamped pendulum which performs small oscillations in one plane while its string is raised or lowered through the point of support at a constant rate. The behaviour of the system and the variation of its angular and linear amplitudes are expressible in terms of Bessel functions of orders 0, 1 and 2.

Perhaps the simplest elementary proof of the prime number theorem, see Erdös (2) and Selberg (5), is Wright's modification (8), (3, p. 362) of Selberg's original proof (5). Another variant is due to V. Nevanlinna (4). Wright's proof uses Selberg's idea of smoothing the weighting process which occurs in the Selberg inequality, (1.2) below, by iterating this inequality. Here it will be shown that the proof requires less ingenuity if use is made of a further smoothing operation, namely first integrating the Selberg inequality itself. Integration has been used on a related inequality by Breusch (1 to obtain a remainder term. This method also makes proof by contradiction unnecessary.

We consider the Dirichlet problem for Laplace's equation in a rectangle with a view toward determining the asymptotic behaviour of the solution for the case in which the width of the rectangle is small in comparison with its length. Although the construction of an explicit representation of the solution is an elementary matter, the resulting formula is inconvenient for present purposes, and we accordingly proceed along different lines.