Let A be a complete discrete valuation ring of characteristic zero with finite residue field, and for any integer m > 1, let Jm (A) be the subring of A generated by the m-th powers of elements of A. We will prove that any element of Jm (A) is a sum of at most 8m5m-th powers of elements of A. We will also prove a similar assertion when the residue field of A is only assumed to be perfect and of positive characteristic, with the number Γ(m) of summands depending only on m and not on A.

The problem dealt with in this paper was suggested by Dr. E. C. Dade and communicated to me, at Stockholm in August 1962, by Dr. Taussky Todd. It may be stated as follows. Consider the equation

where f is a form (i.e., a homogeneous polynomial) with coefficients in some ring R of algebraic integers. An obviously necessary condition for the solubility of (1) with the xi in R is that the coefficients of f should have no common factor, except for units of R. Now let S be a ring which is an algebraic extension of R, and let us try to solve (1) with the xi in S. The condition just mentioned remains necessary; and Dade has proved in [1] that for some S (depending on R and f) it is sufficient. His theorem is valid for forms of any degree but is merely an existence theorem as far as S is concerned. The problem is to do better for the special case in which f is of degree 2 and R the ring of rational integers; and more precisely, to show if possible that S can be taken to be a quadratic extension R(√q) of R, with an integer q which could be estimated in terms of the coefficients of f.

Let R be a ring, not necessarily commutative, with an identity element, and let A be a left R-module. We shall describe this situation by writing (RA). If

is an exact sequence of left. R-modules and R-homomorphisms in which each Pi (i ≥ 0) is R-projective, then the sequence

which we denote by P, is called an R-projective resolution of A. Suppose now that A is non-trivial; if Pi = 0 when i > n and if there are no R-projective resolutions of A containing fewer non-zero terms, then A is said to have left projective (or homological) dimension n, and we write 1.dim RA = n. If no finite resolutions of this type exist, we write l.dim RA = ∞. As a convention, we put l.dim R0 = −1. If M denotes a variable left R-module, then is called the left global dimension of the ring R and is denoted by l.gl. dim R. It is well known that l.dim RA < n if and only if for all left R-modules B and that l.gl.dim R < m if and only if regarded as a functor of left R-modules, takes only null values.

Let

be two sets of n ≥ 1 consecutive integers with s ≤ t. In this note we are concerned with one-to-one mappings of Γ onto II. If i → f(i) is such a mapping then for i ∈ Γ we write Fi for the highest common factor (i, f(i)), and if Fi = 1 for all i ∈ Γ we say that f is a coprime mapping. Our principal result is

THEOREM 1. If Γ = {1, 2, …, n} and Π = {n+1, n+2, …, 2n} then a one-to-one coprime mapping of Γ onto II can be constructed.

By a convex polyhedron P we mean any bounded set which can be written as the intersection of a finite number of closed half-spaces. If P can be written as a vector sum Q+B of convex polyhedra, then Q and B are called summands of P. If P has a summand which is not homothetic to itself, then P is said to be decomposable.

In a recent paper [1] “On brittle cracks under longitudinal shear” Barenblatt and Cherepanov consider the effect of a constant longitudinal shear on an infinite body containing some particular crack configurations. The problems considered are essentially two-dimensional problems and solutions are found using complex variable techniques. The object of this note is to extend their results to the case of an arbitrary longitudinal shear in an infinite body containing single rows of line cracks. The method employed is that used by England and Green [2].

The stream function is found for the Stokes flow between two fixed non-concentric cylinders due to a line source and sink symmetrically placed on the outer boundary. The force and couple exerted by the fluid on the inner boundary are determined in finite terms and some numerical values are given for the variation of the force and couple with the separation between the axes. A similar problem has been considered by Rayleigh [1] and also the case when the cylinders are concentric in [2]. The line drawn perpendicular to the line joining the source and sink is a line of antisymmetry for the velocity field and hence also for the pressure distribution. The total force on the cylinder is thus directed parallel to the line joining the source and sink. Some numerical values are given to indicate the variation of the force with the separation of the axes of the cylinders. The perfect liquid problem is also briefly considered to illustrate the contrast in the direction of the force exerted by the fluid on the inner cylinder. Here the velocity field again possesses a line of antisymmetry, giving a symmetrical pressure distribution so that the total force is directed along the line of separation of the cylinders. Some numerical values are given to demonstrate the variation of the force with the separation between the axes. It is assumed that the total circulation in the region is zero.

We work throughout in n-dimensional Euclidean space. It has been clear, since the publication of [1], that it should be possible to obtain quite good upper bounds for the number of spherical caps of chord 2 required to cover the surface of a sphere of radius R > 1, and for the number of spheres of radius 1 required to cover a sphere of radius R > 1. But it is not quite simple to organize the necessary calculations to give estimates which are manageable, and which are as good as the method allows for all R > 1. The following results seem to be a reasonable compromise between precision and simplicity; but, for reasons we will give later, they are not completely satisfactory.

If(X1, …, Xn), n ≥ 3, is a non-singular quadratic form with rational integral coefficients whose greatest common divisor is 1, then G. L. Watson [1] showed that f(x1, …, xn) = 1, for suitable algebraic integers x1, …, xn. In the present paper we extend this result to forms of arbitrary degree, with algebraic integers as coefficients (see Theorem 3). In fact we prove the stronger result (Theorem 2) that, if f(X1, …, Xn) is any polynomial with relatively prime algebraic integers as coefficients, then f(x1, …, xn) is a unit, for suitable algebraic integers x1, …, xn. Unfortunately, our result is just an existence theorem. We cannot limit the size of the field which x1, …, xn generate, as Watson could.

Following A. S. Besicovitch [1] and L. J. Mordell [3], we say that a polygon is rational if the lengths of all its sides and diagonals are rational. Besicovitch proved that the set of all rational right-angled triangles is dense in the set of all right-angled triangles and that the set of all rational parallelograms is dense in the set of all parallelograms. Then Mordell showed that the set of all rational quadrilaterajs is dense in the set of all quadrilaterals.

In this paper priority queues with K classes of customers with a preemptive repeat and a preemptive resume policy are considered. Customers arrive in independent Poisson processes, are served, within classes, in order of arrival, and have general requirements for service. Transforms of stationary waiting time and queue size distributions and busy period distributions are obtained for individual classes and for the system; the moments of the distributions are considered.

In his Topics in Number Theory, vol. 2, chapter 2 (Reading, Mass., 1956) W. J. LeVeque proved an important generalisation of Roth's theorem (K. F. Roth, Mathematika 2,1955, 1—20).

Let ξ be a fixed algebraic number, σ a positive constant, and K an algebraic number field of degree n. For κ∈K denote by κ(1), …, κ(n) the conjugates of κ relative to K, by h(κ) the smallest positive integer such that the polynomial has rational integral coefficients, and by q(κ) the quantity

Certain integers have the property that they can be partitioned into distinct positive integers whose reciprocals sum to 1, e.g., and In this paper we prove that all integers exceeding 77 possess this property. This result can then be used to establish the more general theorem that for any positive rational numbers α and β there exists an integer r(α, β) such that any integer exceeding r(α, β) can be partitioned into distinct positive integers exceeding β whose reciprocals sum to α.

Certain optimization problems involving inequality constraints, known as optimal control problems have been extensively studied during recent years especially in relation to the calculation of optimal rocket thrusts and trajectories. A summary of these works is given by Berkovitz [1] who also establishes necessary conditions for the existence of solutions for a wide class of such problems.

Lagrange's theorem on the reversion of power series may be stated in the following form (e.g. Whittker and Watson [3]).