The following theorem was proved in [1].

Theorem 1. Let S and T be continuous, commuting mappings of a complete, bounded metric space (X, d) into itself satisfying the inequality

for all x, y in X, where 0≤c<1 and p, p′, q, q′≥0 are fixed integers with p+p′, q+q′≥1. Then S and T have a unique common fixed point z. Further, if p′ or q′ = 0, then z is the unique fixed point of S and if p or q = 0, then z is the unique fixed point of T.

In [6] the question of the existence of perfect e-codes in the infinite family of distance-transitive graphs Ok was considered. It was pointed out that it is difficult to rule out completely any particular value of e because of the difficulty of working with the sphere packing condition. For e= 1, 2, 3 it can be seen from the results of [6] that the condition given by the generalisation of Lloyd's theorem is satisfied for infinitely many values of k. We shall show that this is not the case for e=4 and we shall prove that there are no perfect 4-codes in Ok.

Throughout this note all rings considered will be commutative and noetherian and will have non-zero identity elements. A will always denote such a ring and the category of all A-modules and all A-homomorphisms will be denoted by A.

Let A be a complex Banach algebra with unit 1 satisfying ∥1∥ = 1. An element u in A is said to be unitary if it is invertible and ∥u∥ = ∥u−1∥ = 1. An element h in A is said to be hermitian if ∥exp(ith)∥ = 1 for all real t; that is, exp(ith) is unitary for all real t. Suppose that J is a closed two-sided ideal and π: A → A/J is the quotient mapping. It is easy to see that if x in A is hermitian (resp. unitary), then so is π(x) in A/J. We consider the following general question which is the converse of the above statement: given a hermitian (resp. unitary) element y in A/J, can we find a hermitian (resp. unitary) element x in A such that π(x)=y? (The author has learned that this question, in a more restrictive form, was raised by F. F. Bonsall and that some special cases were investigated; see [1], [2].) In the present note, we give a partial answer to this question under the assumption that A is finite dimensional.

In [1] the following question was posed by R. W. Irving (see also Conjecture 4.10 in [4]): Is there an edge 2-colouring of the complete bipartite graph K13,17 with no monochromatic K3,3? We give a negative answer in this note (Theorem 2). Furthermore we prove Conjecture 4.11 (i) of [4] (Theorem 1), that is, any edge 2-coloured K2n+1,4n−3 contains a monochromatic K2,n with the 2 and n vertices a subset of the 2n+1 and 4n−3 vertices, respectively. Theorem 1 is a consequence of Satz 4 in [3], however, we give a direct proof here.

Let C be the complex plane, and U the disc |z| < 1 in C. Cn denotes complex n-dimensional Euclidean space, <, > the inner product, and | · | the Euclidean norm in Cn. Bn will be the open unit ball {z ∈ Cn: |z| < 1}, and Un will be the unit polydisc in Cn. For 1 ≤p<∞, p≠2, Gp(Bn) (resp., Gp (Un)) will denote the group of all isometries of Hp (Bn) (resp., Hp (Un)) onto itself, where Hp (Bn) and Hp (Un) are the usual Hardy spaces.

In part I of this paper P. Hall's formula for finite stem groups was derived. Using results of C. R. Leedham-Green and S. McKay, a similar formula for isoclinic groups with arbitrary branch factor group is shown.

Let fr: Xr → BO(r) be a sequence of fibrations with maps gr: Xr → Xr+1 such that the usual diagram commutes. For such a situation R. Lashof defines the concept of an X-structure on manifolds (see [3]), and proves a Thom-isomorphism for the cobordism groups of such manifolds. Let n, m be positive integers which are fixed throughout this paper. If r is very big in comparison with n + m then X, is a simply connected CW-complex and the map is an isomorphism up to dimension n. Let γ be the pull-back over Xr of the universal r-linear bundle (which is, of course, a bundle over BO(r)). If r is very big in comparison with n + m, then we put X = Xr, and we assume that γ is orientable and oriented. The elements of H*(X; Q) of dimension not greater than n, will be called rational universal X-characteristic classes. It is well-known that many of the usual classes of manifolds may be described in terms of X-structures, (e.g. SO, SU, Spin-manifolds etc.).