In this note we consider some problems related to the following question: What is the smallest integer m(n) for which there exists a family Fn of sets A1, A2,…, Am(n) with the following properties, (i) each member of Fn has n elements and (ii) if S is a set which meets each member of Fn, then S contains at least one member of Fn?

Erdős and Hajnal [1] observed that

and that m(l) = 1, m(2) = 3, m(3) = 7.

The undertaking of constructing spaces which contain a given space as a subspace is by no means new: the extension of the complex number plane to the complex number sphere by the addition of the one point at infinity, the extension of the real line by adjoining the two infinities ∞ and -∞, and the construction of the space of real numbers from that of the rationals by means of Cauchy sequences or Dedekind cuts are 19th Century examples of this very thing. However, only the advent of general topology made it possible to raise the general question of space extensions. It appears that the first study of problems in this area was carried out by Alexandroff and Urysohn in the early twenties [l]. Another mile stone in the history of the subject was the 1929 paper by Tychonoff in which the product theorem for compact spaces is proved and used to identify the completely regular Hausdorff spaces as precisely those spaces which can be imbedded in a compact Hausdorff space [33]. During the same period, work on certain specific extension problems was done by Freudenthal [17] and Zippin [35]. However, the first large body of systematic theory, used for the investigation of a wide range of extension problems, was presented by Stone [31] in 1937. There, one also finds the remark that "one of the interesting and difficult problems of general topology is the study of all extensions of a given space", and it appears that Stone' s own work must have convinced many others of the truth of this observation, for since that time there has been a steady succession of papers in this field. But apart from that, the study of extension spaces clearly has a very particular attraction for some mathematicians.

L. Moser [3] recently gave a very simple proof that

1.

has no solutions. In the present note we shall first of all prove that for , which by the fact that there is a prime p satisfying n < p ≤ 2n immediately implies that

2.

has no solutions. It is easy to see on the other hand that

3.

has infinitely many non-trivial solutions.

The purpose of this paper is to give some explicit formulae for probability problems such as those dealing with maximum runs upon tossing a coin n times in succession. Although the actual computation involved is quite lengthy, and generating functions can be used for approximations, the lemmas obtained may be of some interest in themselves.

Let g(k) denote the least integer such that every graph , with n vertices and n+g(k) edges, contains at least k edge-disjoint cycles; let h(k) be similarly defined for planar graphs. Loops and multiple edges (i.e., cycles of length one and two) are permitted in both cases.

In the first part of this paper [l] there was introduced a hypothetical computing device, the Q-machine. It was derived by abstracting from the process of calculating carried out by a man on his fingers, assuming an adequate supply of hands and the ability to grow fingers at will. The Q-machine was shown to be equal in computing power to a universal Turing machine. That is, the Q-machine could compute any number regarded as computable by any theory of computability developed so far. It may be recalled here that Turing machines were obtained by Turing [2] by abstracting from the process of calculating carried out by a man on some concrete 'symbol space' (tape, piece of paper, blackboard) by means of fixed but arbitrary symbols. Hence the contrast between the Q-machine and the Turing machines is that between arithmetical manipulation of counters and logical manipulation of symbols. In particular, one might say, loosely, that in a Turing machine, as in arithmetic, numbers are represented by signs whereas in the Q-machine, as on a counting frame, numbers represent themselves.

By a tournament we mean the outcome of a round-robin tournament in which there are no draws. Such a tournament may be represented by a graph in which the n players are represented by vertices labelled 1, 2, …, n, and the outcomes of the games are represented by directed edges so that every pair of vertices is joined by one directed edge. We call such a graph a complete directed graph. One can also represent such a tournament by an nXn matrix T=(tij) in which tij is 1 if i beats j, and 0 otherwise, so that T is a (0, 1) matrix with tij + tji = 1 for i≠j and (by definition) tii = 0.

Let f1(n) denote the number of abelian groups of order n and f2(n) the number of semi-simple rings with n elements. What can be said about the magnitude of fi(n)? We shall prove that one can expect, on the average, about 2.3 groups and 2.5 rings of the kind stated for a given order. First we state without proof the two relevant structure theorems (which are readily available in standard texts).

In the present note we shall study some properties of the Mathieu groups.

We shall give an invariant characterisation of the 2-Sylow subgroups. The 2-Sylow subgroup of M24 is the holomorph of the elementary abelian group of type (1, 1, 1, 1), and for the 2-Sylow subgroups of the other Mathieu groups there are similar characterisations.

G(n) denotes a graph of n vertices and Ḡ(n) denotes its complementary graph. In a complete graph every two distinct vertices are joined by an edge. Let Ck(G(n)) denote the number of complete subgraphs of k vertices contained in G(n). Recently it was proved [1] that for every k

1

where the minimum is over all graphs G(n).

A real matrix A is said to be non-negative if and only if none of its entries is negative. Suppose A is an r by r non-negative matrix. We want to examine:

1. (A) The first power of A to maximize the number of positive entries in An,

2. (B) For each 1 ≤ i ≤ r the first power of A to maximize the number of positive entries in the i-th row of An.

We shall call the former first power the index of A and the latter the i-th row index of A (index (i, A)).

We are concerned with an algorithm for determining the index (when it is finite) of a subgroup H of a group K when K is specified by a finite set of generators and relations and H is specified as generated by a finite set of words in the generators of K. A systematic computational attack on the problem was discovered by Coxeter and Todd [l], and has proved to be a very useful tool in problems involving generators and relations in groups [2]. Although the method was not completely formalized it was clearly possible to convert it into a computer program, and this has been done by a number of people. Leech has given a survey of this work in [3], where further references may be found.

A graph G is an ordered pair (V, E) where V is a set of objects called vertices, and E is a set of unordered pairs of vertices (v, v') in which each such pair can occur at most once in E, and if (v, v') ϵ E then v ≠ v'. The order of G is the cardinality of the set V, and the degree δ(v) of an element v ϵ V is the number of elements of E which contain v. G is said to be regular of degree d if δ(v) = d for each v ϵ V. G is a complete graph if E contains every pair of elements of V. A graph H = (V', E') is a partial graph of G=(V, E) if V' ⊆ v and E' ⊆ E. H is a restriction of G if H is a partial graph of G in which V' = V. Let S = { e1, …, el} be a subset of E such that ej={vj-1, vj} for 1 ≤j ≤l.

It is known [4] that the finite two- dimensional unitary group U(2, p2n) is generated by two reflections if p ≠ 2. The present note completes that result by giving two generating reflections for U(2, 22n), n > 1. As in [4] this implies that the points of the "unit circle " in the unitary plane over GF(22n), n > 1, are the vertices of a "regular unitary polygon" whose group of auto- 2n morphisms is U(2, 22n).

The final section gives abstract definitions for the particular groups U(2,24) and U(2,52) in terms of their generating reflections.

One of the most interesting of the smaller BIBD's is the system (8, 14, 7, 4, 3), where we write the parameters in the standard order v, b, r, k, λ. One representation of a design with these parameters is 1248, 3567; 2358, 1467; 3468, 1257; 4578, 1236; 5618,2347; 6728,1345; 7138,2456. This particular design has the feature that every block B is paired with a complementary block B' consisting of all varieties not lying in B. Thus

As is well known, every Borel measure in a metric space S is regular, provided that S is the union of a sequence of open sets of finite measure. It seems, however, not yet to have been noticed that this theorem can be easily extended to all spaces with Urysohn' s f "F-property", i.e., spaces in which every closed set is a countable intersection of open sets (we call such spaces "F-spaces"). Indeed, various theorems are unnecessarily restricted to metric spaces, while weaker assertions are made about F-spaces. This seems to justify the publication of the following simple proof which extends the theorem stated above to F-spaces.

A Room design of order 2n, where n is a positive integer, is an arrangement of 2n objects in a square of side 2n - 1, so that each of the (2n - 1)2 cells of the array is either empty or contains just two distinct objects; each of the 2n objects occurs just once in each row and in each column; and each (unordered) pair of objects occurs in just one cell.

In [5] Tolstov showed by a counterexample that Egoroff' s theorem on almost uniform convergence cannot be extended to families of functions (ft(x)}, with t a continuous real parameter. However, Frumkin [2] proved that this is possible provided that some sets of measure zero (depending on t) are disregarded when each particular ft(x) is considered. This interesting result was obtained by using the rather involvec machinery of Kantorovitch' s semi-ordered spaces and Lp spaces. In the present note we intend to give a simpler and more general proof. Indeed, it will be seen that only a slight modification of the standard proof of Egoroff's theorem is necessary to obtain Frumkin' s theorem in a more general form. We shall establish the following result.

A well-known theorem, due to R. H. Bruck ([4], p. 398), is the following:

If a finite projective plane of order n has a projective subplane of order m < n, then either n = m2 or n > m 2+ m.

In this paper we prove an analagous theorem concerning affine subplanes of finite projective planes (Theorem 1). We then construct a number of examples; in particular we find all the finite Desarguesian projective planes containing affine subplanes of order 3 (Theorem 2).

We obtain in this article some results concerning partitions of the natural numbers, the most important of which is a generalization of that quoted immediately below. Some intuitive material is included.

In 1954, J. Lambek and L. Moser [l] showed that "Two non-decreasing sequences f and g (of non-negative integers) are inverses if and only if the corresponding sets F and G of positive integers, defined by F(m) = the mth element of F = f(m) + m and G(n) = g(n) + n are complementary."