The structure of various classes of annihilator algebras has been known for some time. Bonsall and Goldie (1) considered semi-simple Banach algebras with the properties

(i)r(L)≡{x:xε,yx=0(yεL)} ≠(0) for each proper closed left ideal L of ,

(ii)l(K)≡{x:xε,xy=0(yεK)}≠(0) for each proper closed left ideal K of ,

1. In deriving an expression for the number of representations of a sufficiently large integer N in the form

where k: is a positive integer, s(k) a suitably large function of k and pi is a prime number, i = 1, 2, …, s(k), by Vinogradov's method it is necessary to obtain estimates for trigonometrical sums of the type

where ω = l/k and the real number a satisfies 0 ≦ α ≦ 1 and is “near” a rational number a/q, (a, q) = 1, with “large” denominator q. See Estermann (1), Chapter 3, for the case k = 1 or Hua (2), for the general case. The meaning of “near” and “arge” is made clear below—Lemma 4—as it is necessary for us to quote Hua's estimate. In this paper, in Theorem 1, an estimate is obtained for the trigonometrical sum

where α satisfies the same conditions as above and where π denotes a squarefree number with r prime factors. This estimate enables one to derive expressions for the number of representations of a sufficiently large integer N in the form

where s(k) has the same meaning as above and where πri, i = 1, 2, …, s(k), denotes a square-free integer with ri prime factors.

The relationship between certain non-associative algebras and the deterministic theory of population genetics was first investigated by Etherington (3)-(8), who defined the concepts of baric, train and special train algebras. Gonshor (10) dealt with, among other topics, algebras corresponding to autopolyploidy, on the assumption that chromosome segregation operated. In this paper [ discuss algebras corresponding to more general systems of inheritance among polyploids, which have been discussed without using algebras by Haldane (11), Geiringer (9), Moran (13) and Seyffert (16). These algebras are special cases of what I have defined as segregation algebras, and mixtures of them. All the algebras corresponding to a fixed ploidy have a relationship which I have called special isotopy. An example shows that algebras arise in other genetic systems which are not isotopic to segregation algebras.

An integral equation of the first kind, with kernel involving a hypergeometric function, is discussed. Conditions sufficient for uniqueness of solutions are given, then conditions necessary for existence of solutions. Conditions sufficient for existence of solutions, only a little stricter than the necessary conditions, are given; and with them two distinct forms of explicit solution. These two forms are associated at first with different ranges of the parameters, but their validity in the complementary ranges is also discussed. Before giving the existence theory a digression is made on a subsidiary integral equation.

Corresponding theorems for another integral equation resembling the main one are deduced from some of the previous theorems. Two more equations of similar form, less closely related, will be considered in another paper. Special cases of some of these four integral equations have been considered recently by Erdélyi, Higgins, Wimp and others.

The principal result of this paper is a characterisation of those commutative semigroups S which have the property that each character of each subsemigroup of S can be extended to a character of S. This work was partially inspired by the discovery that Theorem 5.65 of (1) is incorrect; it is related to that of Hill,who has obtained a different solution of the problem (2). Warne and Williams proved in (4) that any bounded character defined on an inverse subsemigroup of an inverse semigroup can be extended to the semigroup.

In (4) Young investigates the representation in terms of his exact seminormal units of substitutional expressions which are unchanged on premultiplication by any permutation of a given set of consecutive letters, or which are changed in sign on premultiplication by an odd permutation of those letters. He illustrates his results by deducing the forms of the matrices representing the positive and negative symmetric groups on a set of consecutive letters.

Let X be an infinite dimensional normed linear space over the complex field Z. X will not be complete, in general, and its completion will be denoted by . If ℬ(X) is the algebra of all bounded linear operators in X then T ∈ ℬ(X) has a unique extension and . The resolvent set of T ∈ ℬ(X) is defined to be

and the spectrum of T is the complement of ρ(T) in Z.

Let

where the {lν} are numbers near to an arithmetic progression of common difference unity. Let

b being a constant. Write

so that k(z) is an integral function, and

is meromorphic with simple poles at {lν}.

The generation of acoustic disturbances in a fluid of semi-infinite extent by the motion of a circular piston surrounded by a plane rigid baffle has been studied quite extensively (see (1), (2), (3), (4) and further references given in these papers). Attention has been devoted mainly to the case in which the piston executes a harmonic oscillation of small amplitude, and only comparatively recently has Oberhettinger (2) demonstrated how the time-harmonic solution can be used to solve the more general problem in which the normal velocity of the piston is an arbitrary function of time. The purpose of the present paper is two-fold. Firstly, we point out that for arbitrary normal motion of the piston the " baffled piston problem " can be solved directly, and in a particularly simple manner, by means of a technique involving integral transforms which has been applied by Mitra (5) and Eason (6) to the study of shear wave propagation in an elastic half-space. Secondly, we give a more detailed account than appears to be available in the literature of the structure of the sound pulse generated by the arbitrary normal motion of a baffled piston.

Recently J. M. Osborn has investigated the structure of a simple commutative non-associative algebra with unity element satisfying a polynomial identity, (4), (5) and (6). From his work it seems likely that if such an algebra is of degree three or more it is necessarily power-associative. In (4) he establishes a hierarchy of identities with the property that each identity is satisfied by an algebra satisfying no preceding identity. Following (5), (6),the next identity to consider is

where a, c and h are elements of the ground field.

Throughout this note it will be assumed that

(i) unless otherwise stated, k; is a positive integer,

(ii) a ≧ 0; m > − 1,

(iii) q ≧ 1; q′ is the conjugate number to q, and is defined by

(iv) the functions φ(w), ψ(w) are defined in [0, ∞) with absolutely continuous kth derivatives in every interval [a, W],

(v) φ(w) is non-negative and unboundedly increasing,

(vi) λ = {λn} is an unboundedly increasing sequence with λ1 > 0.

A ring R is said to be a P-ancestral ring if all proper non-zero sub-rings of R have property P. If p is the property that every proper non-zero sub-ring of R is a (two-sided) ideal then the ring Z of rational integers furnishes an example of a P-ancestral ring.

In this paper we first obtain elementary solutions of the integral equations

and

Using these solutions we then define operators of fractional integration. These operators may be regarded as a generalisation of the operators of fractional integration introduced by Sneddon (1) as a modification of Erdé1yi–Kober operators. In fact Erdélyi–Kober–Sneddon operators may be obtained by multiplying both sides of the equations by α-1½β and considering the limiting case α→0. We employ these operators to find a generalisation of the Mellin transform.

Consider the n-dimensional wave equation

This paper is an appendix to a joint paper with Professor Macbeath. In (3), it was proved that the invariant measure, m(k), of the set of real n × nmatrices τ, with determinant 1 and norm satisfying ∥τ∥≦ k, had the property that

Mohanty (1) and (3) considered the absolute summability of conjugate series and Fourier series by Borel's integral method by proving the following theorems.

With every graph G (finite and undirected with no loops or multiple lines) there is associated a graph L(G), called the line-graph of G, whose points correspond in a one-to-one manner with the lines of G in such a way that two points of L(G) are adjacent if and only if the corresponding lines of Gare adjacent. This concept was originated by Whitney (3). In a similar way one can associate with G another graph which we call its total graph and denote by T(G). This new graph has the property that a one-to-one correspondence can be established between its points and the elements (the set of points and lines) of G such that two points of T(G) are adjacent if and only if the corresponding elements of G are adjacent (if both elements are points or both are lines) or theyare incident

1. An arbitrary (k– 1)-dimensional hyperplane disconnects K-dimensional Euclidean space Ek into two disjoint half-spaces. If a set of N points in general position in Ek is given [nok +1 in a (k–1)-plane, no k in a (k–2)-plane, and so on], then the set is partitione into two subsets by the hyperplane, a point belonging to one or the other subset according to which half-space it belongs to; for this purpose the half-spaces are considered as an unordered pair.

Recently Widder (3) has obtained inversion integrals for a convolution transform whose kernel is a Laguerre polynomial. Buschman (1) has considered convolution equations withgeneralised Laguerre polynomial kernel. His result includes that of Widder. However no attempt has so far been made towards the study of singular integral equations involving Laguerre polynomials as kernel. Here the author obtains an inversion integral for such an equation.

Erdős (1) has proved the following result:

Theorem A.Every integral polynomial g(n) of degree k ≧ 3, represents for infinitely many integers n a(k-1)th power-free integer provided, in the case where k is a power of 2, there exists an integer n such that g(n)≢0 (mod 2k-1).