One of the converse statements to Lagrange's theorem is that, for each subgroup H of G and any prime factor p of |G: H|, there exists a subgroup K such that H≤K≤G with |K: H | = p. This paper treats integers n such that all groups of order n have this property.

We study infima of families of topologies on the hyperspace of a metrizable space. We prove that Kuratowski convergence is the infimum, in the lattice of convergences, of all Wijsman topologies and that the cocompact topology on a metric space which is complete for a metric d is the infimum of the upper Wijsman topologies arising from metrics that are uniformly equivalent to d.

The centroid body. Recall that the support function of a compact convex set K is denned to be hK(u) = maxxΣk: {<u, x>}. The support function hK is positive homogeneous and convex, and any function with these properties is the support function of some compact convex set (see the illuminating paper of Berger [2], or the classic [5] by Bonnesen and Fenchel).

Let (Sn)n = 1,2,… be the strictly increasing sequence of those natural numbers that can be represented as the sum of three cubes of positive integers. The estimate

is easily proved as follows: Let x1 be the largest natural number with Then This procedure is iterated by choosing x2 and then x3 as the largest natural numbers satisfying and Thus Since this implies (1).

Absolute curvature measures for locally finite unions of sets with positive reach are introduced, extending the definition of Zähle [13] by taking into account the absolute value of the index function. It is shown that this definition differs from that of Matheron [5] and Schneider [12]. An intersection formula of Crofton type for absolute curvature measures is proved. The role of absolute curvature measures in geometric statistics is illustrated by an example.

Let $\unicode[STIX]{x1D703}$ be an arithmetic function and let ${\mathcal{B}}$ be the set of positive integers $n=p_{1}^{\unicode[STIX]{x1D6FC}_{1}}\cdots p_{k}^{\unicode[STIX]{x1D6FC}_{k}}$ which satisfy $p_{j+1}\leqslant \unicode[STIX]{x1D703}(p_{1}^{\unicode[STIX]{x1D6FC}_{1}}\cdots p_{j}^{\unicode[STIX]{x1D6FC}_{j}})$ for $0\leqslant j<k$. We show that ${\mathcal{B}}$ has a natural density, provide a criterion to determine whether this density is positive, and give various estimates for the counting function of ${\mathcal{B}}$. When $\unicode[STIX]{x1D703}(n)/n$ is non-decreasing, the set ${\mathcal{B}}$ coincides with the set of integers $n$ whose divisors $1=d_{1}<d_{2}<\cdots <d_{\unicode[STIX]{x1D70F}(n)}=n$ satisfy $d_{j+1}\leqslant \unicode[STIX]{x1D703}(d_{j})$ for $1\leqslant j<\unicode[STIX]{x1D70F}(n)$.

We show an equivalence between a conjecture of Bisztriczky and Fejes Tóth about families of planar convex bodies and a conjecture of Goodman and Pollack about point sets in topological affine planes. As a corollary of this equivalence we improve the upper bound of Pach and Tóth on the Erdős–Szekeres theorem for disjoint convex bodies, as well as the recent upper bound obtained by Fox, Pach, Sudakov and Suk on the Erdős–Szekeres theorem for non-crossing convex bodies. Our methods also imply improvements on the positive fraction Erdős–Szekeres theorem for disjoint (and non-crossing) convex bodies, as well as a generalization of the partitioned Erdős–Szekeres theorem of Pór and Valtr to families of non-crossing convex bodies.

The discrepancy function measures the deviation of the empirical distribution of a point set in $[0,1]^{d}$ from the uniform distribution. In this paper, we study the classical discrepancy function with respect to the bounded mean oscillation and exponential Orlicz norms, as well as Sobolev, Besov and Triebel–Lizorkin norms with dominating mixed smoothness. We give sharp bounds for the discrepancy function under such norms with respect to infinite sequences.

There are several formulas in classical prime number theory that are said to be “equivalent” to the Prime Number Theorem. For Beurling generalized numbers, not all such implications hold unconditionally. Here we investigate conditions under which the Beurling version of these relations do or do not hold.

For and α, we consider sets of numbers x such that for infinitely many n, x is 2−αn-close to some ∑ ni=1ωiλi, where ωi∈{0,1}. These sets are in Falconer’s intersection classes for Hausdorff dimension s for some s such that −(1/α)(log λ /log   2 )≤s≤1/α. We show that for almost all , the upper bound of s is optimal, but for a countable infinity of values of λ the lower bound is the best possible result.

We establish Diophantine inequalities for the fractional parts of generalized polynomials, in particular for sequences $\unicode[STIX]{x1D708}(n)=\lfloor n^{c}\rfloor +n^{k}$ with $c>1$ a non-integral real number and $k\in \mathbb{N}$, as well as for $\unicode[STIX]{x1D708}(p)$ where $p$ runs through all prime numbers. This is related to classical work of Heilbronn and to recent results of Bergelson et al.

It has been pointed out to us by Professor L. Schoenfeld that there is a fallacy in the proof of Theorem 3 of our paper “The values of a trigonometrical polynomial at well spaced points” [ Mathematika, 13 (1966), 91–96]. The fallacy occurs in the appeal to Theorem 1 at the end of the proof. If this is to be made explicitly, we must not only put n = dn′ but also put q = dq′ but then the sum over m goes from 1 to q instead of from 1 to q′, and if one allows for this the final result becomes much weakened.

Closed form solutions are obtained for a class of singular integral equations of the first kind with difference kernels. The kernel function is the sum of a polynomial and a second polynomial multiplied by a logarithm, with the possible addition of a strong singularity. A wider class of kernels have approximate representations in one of the above forms, where, for a specified accuracy, the polynomial orders will depend on the range of any parameter present. For example, the modified Bessel function kernels K0(|γx|), K1(|γx|)sgn x in the interval |x| ≤ 2 can be so expressed using 16th order polynomials with a maximum error 10-5 for real γ in the range 0 < γ ≤ 4.

The Fourier transform f of a function is defind by

t ∊ ℝn. A(ℝn) is the isometric image of L1(ℝn) under the Fourier transformation. We extend the Fourier transformation to a mapping of ℒ(ℝn) to itself and denote by A′(ℝn) the isometric image of L∞(ℝn).

As usual, if π is a finite group and ℳ ⊆ ℚπ a maximal order containing , we set

This is well known to be a finite group, and independent of the choice of ℳ.

Some interlacing properties of the zeros of the generalized Airy functions A1(z, p) are given for non-positive integral values of p. The result that A1 (z,p) has no real zero for is extended to show that all the zeros of A1(z,p) are real and simple if . It is also shown that all the zeros of the functions Bk(z,p, 1) for k = 1, 2, 3 are simple for non-positive integral p.

Suppose that f(z) is non-constant and meromorphic in the plane and that, for some k≥= 1, a0(z),…, ak(z) are meromorphic in the plane with

for j' = 0,…, k. Here, using standard notation from [3], S(r,f) denotes any quantity satisfying S(r,f) = o(T(r,f)) as r→ ∞, possibly outside a set of finite linear measure. Then, setting

we have ([3, p. 57])

Theorem A. Suppose that f(z) is non-constant and meromorphic in the plane, and thatψ (z) given by (1.2) and (1.1) and is non-constant. Then

where N0(r, l/ψ') counts only zeros of ψ' which are not zeros of ψ − 1, and thecounting functions count points without regard to multiplicity.

Two basic approaches have been used to develop explicit formulae for the number of classes in a genus of binary quadratic lattices over an algebraic number field. Analytic machinery in the form of the Minkowski-Siegel Mass Formula or the Tamagawa number of an algebraic group was employed by Pfeuffer [13] and Shyr [17] to obtain such a formula for maximal positive definite lattices over totally real number fields. On the other hand, Peters [10] observed that a formula applicable to maximal lattices over any number field can be deduced by algebraic methods from the theory of quadratic field extensions. Using group-theoretic techniques set up by the present authors [3] along with the calculation of certain local unit indices, Korner [6] derived the corresponding formula for non-maximal lattices.

Let f be a positive-definite quadratic form with integer coefficients, and denote by c(f) (≥ 1) the class-number of f, that is, the number of classes in the genus of f. I showed in [4] that c(f) ≥ 2 for every f in n ≥ 11 variables; the transformations of [3] were used to make the problem easier. I have since sought to find all the one-class n-ary genera with 3 ≤ n ≤ 10 (the case n = 1 is trivial, and n = 2 is very difficult).

We determine infinite products in the field of Laurent series with the property that the truncations of the product yield every second continued fraction convergent of the product. We mention some related examples and specialize to obtain numerical results.