Often stones on beaches pounded by waves wear into quite smooth, regular shapes, sometimes apparently ellipsoidal and even spherical [8]. This paper begins with an idealization of this wearing process for materials isotropic with respect to wear, then develops an equation governing the idealized process, and goes on to show that a stone which is initially convex and centrally symmetric tends to assume a spherical shape as a consequence of the governing equation. This conclusion is predicated on the assumption that the mathematical conditions describing the wearing process are those of a well-posed problem.

Let f(x) be a trigonometric polynomial with N (≥2) non-zero coefficients of absolute value not less than 1. In this paper it is proved that the L1 norm of f exceeds a fixed positive multiple of (logN/log log N)½. This result improves a previous one due to H. Davenport and P. J. Cohen (the same bound with exponent ¼).

This paper deals with the problem (raised by J. Browkin) of how many ring generators are needed for the ring of integers of a given algebraic number field. I show that the number of generators needed for the integers of a field of degree n is less than (logn/log2) + 1, and that if 2 splits completely in the field the number of generators needed is in fact the largest integer less than (logn/log2) + 1. These results follow from a computable formula (that depends only on how the small primes factorize in the field) for the number of generators of the ring of integers of a given field. This formula has the single drawback that when it yields “one” two generators may be needed, and I show that there are fields of arbitrarily high degree for which this happens.

Asymmetry classes of convex bodies have been introduced and investigated by G. Ewald and G. C. Shephard [2], [3], [6]. These classes are defined as follows. Let denote the set of all convex bodies in n-dimensional Euclidean space ℝn. For K1, K2 ∊ write K1 ∼ K2 if there exist centrally symmetric convex bodies S1, S2 ∊ such that

where + denotes Minkowski addition. Then ∼ is an equivalence relation on and the corresponding classes are called asymmetry classes. The asymmetry class which contains K is denoted by [K].

Let K3 be a non-Galois cubic extension of the rationals and let K6 be its normal closure. Under K6 there is a unique quadratic field K2. For i = 2, 3, 6 we define Cli to be the 3-class group of Ki and ri; to be the rank of Cli. In an earlier paper we examined the structure of Cl3 when K2 is complex and K6/K2 is unramified. In this paper we remove these restrictions and obtain similar results.

1. A convex body K in n-dimensional Euclidean space En (nonvoid, compact, and convex subset of En) is uniquely determined, up to translations, by its mixed volumes with other convex bodies. Therefore one might expect that relations between two convex bodies K and L correspond to relations between the mixed volumes of K, L, and other bodies. In this paper we give conditions, formulated in terms of mixed volumes, which are necessary and sufficient for a certain property of decomposability, namely, the property that L is a summand of K, and we solve some related problems.

Abstract. In this paper is proved a formula for the number of neighbourly d-polytopes with d + 3 vertices, when d is odd.

Definitions. We say that h is a Hausdorff measure function if it satisfies the following conditions:

(i) for all x > 0,

(ii) h(x) → 0 as x → 0,

(iii) h(x) is monotonic increasing.

Radon's theorem [8] asserts that, if X is a finite set of s points in Rd and s ≥ d + 2, then X admits a. Radon partition, that is, a partition {X1; X2} of X into disjoint subsets X1 and X2, such that

Two different approaches to a probability problem involving convex polytopes lead to a geometric proof of an integral geometric result about mixed surface areas. The proof can be modified to cover the corresponding results about mixed volumes.

Let Zn denote the set of all ordered n-tuples of integers. Let us call any finite subset of Zn a body in Zn, and any finite set of bodies in Zn a family in Zn.

Consider the following problem:

Give a decision procedure which for any family ℱ in Zn decides the following.

Blaschke [1] introduced the notion of maximal tetrahedra inscribed in two and three dimensional convex sets (maximal in the sense of volume). From this notion, he derived an inequality relating the volume of such maximal tetrahedra and the volume of the convex set, and used the inequality to characterize an ellipsoid and to obtain some results concerning isoperimetric inequalities.

Introduction. All the sets X considered in this paper are assumed to be compact convex sets in the Euclidean plane. We shall let K denote this class of sets. Problems concerning the division of such sets by three non-concurrent lines have been considered by Eggleston [1] on page 118 and by Grünbaum [2].

In [3] it was proved that every convex Borel (= Baire) set in a finite dimensional real Banach space can be obtained, starting from the closed (or compact) convex sets, by the iteration of countable increasing unions and countable decreasing intersections.

In §2 of this note we define some concepts of the descriptive theory of convex sets in locally convex spaces. We prove several theorems, which are analogous to the standard theorems of the descriptive theory of sets in topological spaces.

If K is a set in n-dimensional Euclidean space En, n ≥ 2, with non-empty interior, then a point p of En is called a pseudo-centre of K provided tha each two dimensional flat through p intersects K in a section, which is either empt or centrally symmetric about some point, not necessarily coinciding with p. A pseudo centre p is called a false centre of K, if K is not centrally symmetric about p. A dee result of Aitchison, Petty and Rogers [1] asserts that, if K is a convex body in E and p is a false centre of K, with p in the interior, int K, of K, then K is an ellipsoid Recently J. Höbinger [2] extended this theorem to any smooth convex body K witl a false centre p anywhere in En. At a recent meeting in Oberwolfach, he asked if the condition of smoothness can be omitted and the purpose of this note is to prove sucl a result.

In the study of heat transfer to fluids flowing in pipes or channels, the inversion of a Fourier transform requires consideration of the zeros of a certain function. The principal contribution here is a proof that these zeros are all real and simple, properties assumed by previous authors.

Let be a = ℤ-order in A, a finite dimensional Q-algebra. K0() denotes the Grothendieck group of projective right -modules. locally isomorphic to } is a subgroup of K0() and is called the locally free classgroup of . (If = ℤΓ for some finite group Γ then as all ℤΓ projectives are locally free [12].)

The cohomology of the symmetric groups with coefficients in a field has been studied by several authors, see [6] and [7] for example, but hardly anything has been published with the integers as coefficients. Given the connection between the infinite symmetric group and the classifying space BG for stable spherical fibrations, the computation of is an interesting problem, and the purpose of this paper is to solve the first non-trivial case, n = 4. (The symmetric groups on 2 and 3 letters have cohomology of period four, which is generated by c1 and c2 of the permutation matrix representation, [8].)

Recent years have witnessed a significant development of the theory of Prüfer domains; there are many known characterizations of such domains within the class of integral domains with identity or the class of integrally closed domains—for example, see [6; Exer. 12, p. 93] or [10; Chap. 4]. E. Bastida and R. Gilmer have recorded in [4] a number of open questions concerning Prüfer domains that are of the following form:

If D is an integral domain with identity with property E, is the integral closure of D a Prüfer domain?

Specifically, the questions listed by Bastida and Gilmer were first raised in [13], [11], [7], and [12].

Let K3 be a non-Galois cubic extension of the rationals and let K6 be its normal closure. Under K6 there is a unique quadratic field K2. For i = 2, 3, 6 we define C1i; to be the 3-class group of K2 and ri to be the rank of Cli. We suppose that K2 is complex and that K6/K2 is unramified. Our main result is