Abstract. Let g(n) denote the largest number of positive integers not exceeding n such that the l.c.m. of any two of them does not exceed n. In this paper we obtain an improvement over a previously known upper estimate for g(n).

We consider positive-definite ternary quadratic forms with integer coefficients. Such a form, f, can be written in matrix notation as

Here x′ is the transpose of the column vector x = {x1, x2, x3) and a,ij = aji is the coefficient of xixj in f. Clearly det A is positive and even and so

is a negative integer.

Introduction. Suppose that M i s a set in a cartesian product space X × Y. If X and Y are both R1 and M is a borel set, K. Kunugui [1] and W. J. Arsenin [2] have shown that those points which lie on sections {x} × Y which meet M in a nonempty Kσ set project onto a set in X which is the complement of an analytic set. Somewhat later, W. J. Arsenin and A. A. Lyapunov [3] reproduced the proof from [2], still apparently without being aware of Kunugui's results. Although, as we shall see later, Kunugui's proof seems to be incorrect, it does contain an ingenious lemma (Lemma 5 below). Actually [2] also contains this lemma in a disguised form that seems, to me at least, to be less satisfactory. One of the purposes of this article is to give a promised proof, see D. G. Larman [4] of Kunugui's theorem in slightly more general circumstances by combining ideas of Kunugui [1] with those of P. Novikoflf [5].

Let R be a Dedekind domain whose quotient field K is an algebraic number field, and let Λ be an R-order in a semisimple K-algebra A with 1. A Λ-lattice is a finitely generated R-torsionfree left Λ-module. We shall call a Λ-lattice M locally free of rank n if for each maximal ideal p of R, Mp is Λp,-free on n generators. (The subscript p denotes localization.) The (locally free) class group of Λ is the additive group C(Λ) generated by symbols

where

and where xM = 0 if and only if M is stably free (that is, M + Λ(k) ≅ Λ + Λ(k) for some k).

Let K be the finite field of pn elements, and Zp its prime subfield. It was proved by Davenport [3] that if p > p0(n) and θ is any given generating element of K, then there exists an integer m such that θ + m is a primitive root of K.

In this paper X(t) denotes Brownian motion on the line 0 ≤ t < ∞, E is a compact subset of (0, ∞) and F a compact subset of ( -∞, ∞). Then δ(E, F) is the supremum of the numbers c such that

In [4, 5] some lower and upper bounds for δ were found in terms of dim E and dim F, and it seemed possible that δ(E, F) could be determined entirely by these constants; this much is false, as the examples in our last paragraph will demonstrate. Here we shall show that δ(E, F) depends on a certain metric character η(E × F). However, η is not calculated relative to the Euclidean metric: the set F must be compressed to compensate for the oscillations of most paths X(t). Fortunately, η(E × F) can be calculated for a large enough class of sets E and F, by means of sequences of integers, to test any conjectures (and disprove most of them). In passing from η to δ we present a slight variation of Frostman's theory [3II].

Let be a topological property. We say that the locally finite sum theorem holds for the property if the following is true:

“If {Fα : α ∈ Λ} be a locally finite closed covering of X such that each Fα possesses the property , then X possesses .” The above property is known as the locally finite sum theorem (referred to as LFST in the present note). The LFST has been of interest to many people for it holds for many interesting properties such as metrizability, paracompactness, normality, collectionwise normality, local compactness, stratifiability, the property of being a normal M-space etc. etc. In [10], a large number of properties for which the LFST holds have been noted. In the same paper, a general method for proving this has been obtained. It has been shown that if a property is such that it is preserved under finite-to-one, closed continuous maps and also preserved under disjoint topological sums, then the LFST holds for and the same has been used to establish the LFST for a large number of properties. In [9,10], several interesting consequences of the LFST have been obtained. In the present note, some more interesting consequences of it have been obtained in regular, normal, collectionwise normal and countably paracompact spaces. Also, the LFST has been established for some other topological properties

The study of similarity solutions of Prandtl's equations for the steady two dimensional flow of an incompressible fluid past a rigid wall leads to the equation

where the primes denote differentiation with respect to the independent variable t, and λ is a parameter. It was first obtained in 1930 by Falkner and Skan [3]. For its derivation we refer to Schlichting [6] here we merely note that the function f′(t) represents, after suitable normalization, the velocity parallel to the wall.

In this note we report on some numerical results regarding reverse flow solutions of the Falkner-Skan equation

on the half line 0 < t < ∞, which satisfy the boundary conditions

and