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 [6] 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.

An algebra A = (L; ∨, ∧, *, +, 0, 1) of type (2, 2, 1, 1, 0, 0) is a doublep-algebra if (L; ∨, ∧, 0, 1) is a (0, l)-lattice in which * and + are unary operations of pseudocomplementation and dual pseudocomplementation determined by the respective requirements that x ≤ a* be equivalent to x ∧ a = 0, and that x ≥ a+ if and only if x ∨ a = 1.

In an earlier paper [5] we introduced the idea of an immersion f: Mm-ℝn with totally reducible focal set. Such an immersion has the property that, for all p ∈ M, the focal set with base p is a union of hyperplanes in the normal plane to f(M) at f(p). Trivially, this always holds if n = m + 1 so we only consider n > m + 1.

Darling [3] in 1932 and Bailey [2] in 1933 gave certain theorems on products of hypergeometric series. Again in 1948 Sears [4] used the relation which expresses the series in terms of M other series of the same type to derive transformations between products of both basic and ordinary hypergeometric series. In this paper I give certain general theorems on products of bilateral hypergeometric series together with some of their interesting special cases.

Here and throughout, A is a closed subalgebra of H∞ that contains the disk algebra and M(A) denotes the maximal ideal space of A. Because A contains the function fo(z) = z, we can define the fiber Mλ(A) of M(A) for λ ε ∂D (the unit circle) in the usual way; i.e., Mλ(A) = {φ ∈ M(A): fo(φ) = λ}. The Bergman space of the unit disk D is the L2(D, dx dy)-closure of A. Let be the orthogonal projection. For f ∈ L∞(D, dx dy), define the multiplication operator Mf: L2(D, dx dy)→ L2, (D, dx dy) by

and define the Toeplitz operator by

In this paper, we continue the work initiated by Morris [5] and Saeed-ul-Islam [6,7] and determine complete sets of inequivalent irreducible projective representations (which we shall write as i.p.r.) of finite Abelian groups with respect to some additional factor sets.

We consider an Abelian group

which will be referred to as an Abelian group of type (a1, …, am).

Let U(RG) be the group of units of a group ring RG over a commutative ring R with 1. We say that a group is an SIT-group if it is an extension of a group which satisfies a semigroup identity by a torsion group. It is a consequence of the main result that if G is torsion and R = Z, then U(RG) is an SIT-group if and only if G is either abelian or a Hamiltonian 2-group. If R is a local ring of characteristic 0 only the first alternative can occur.

The set Dn of all n × n doubly-stochastic matrices is a semigroup with respect to ordinary matrix multiplication. This note is concerned with the determination of the maximal subgroups of Dn. It is shown that the number of subgroups is finite, that each subgroup is finite and is in fact isomorphic to a direct product of symmetric groups. These results are applied in § 3 to yield information about the least number of permutation matrices whose convex hull contains a given doubly-stochastic matrix.

The introduction of curvature considerations in the past decade into Combinatorial Group Theory has had a profound effect on the study of infinite discrete groups. In particular, the theory of negatively curved groups has enjoyed significant and extensive development since Cannon's seminal study of cocompact hyperbolic groups in the early eighties [7]. Unarguably the greatest influence on the direction of this development has been Gromov's tour de force, his foundational essay in [12] entitled Hyperbolic Groups. Therein Gromov hints at the prospect of developing a corresponding theory of “non-positively curved groups” in his non-definition (Gromov's terminology) of a semihyperbolic group as a group that “looks as if it admits a discrete co-compact isometric action on a space of nonpositive curvature”; [12, p. 81]. Such a development is now occurring and is closely related to the other notable outgrowth of the theory of negatively curved groups, that of automatic groups [10]; we mention here the works [3] and [6] as developments of a theory of nonpositively curved groups along with Chapter 6 of Gromov's more recent treatise [13]. A natural question that serves both to guide and organize the developing theory is: to what extent is the well-developed theory of negatively curved groups reflected in and subsumed under the developing theory of nonpositively curved groups? Our overall interest is in one aspect of this question—namely, as the question relates to the boundaries of groups and spaces: can one define the boundary of a nonpositively curved group intrinsically in a way that generalizes that of negatively curved groups and retains some of their essential features?

In this paper we study the asymptotic behaviour of the following systems of ordinary differential equations:

where the identically zero function is a solution of (N) i.e. f(t, 0)=0 for all time t. Suppose one knows that all the solutions of (N) which start near zero remain near zero for all future time or even that they approach zero as time increases. For the perturbed systems (P) and (P1) the above property concerning the solutions near zero may or may not remain true. A more precise formulation of this problem is as follows: if zero is stable or asymptotically stable for (N), and if the functions g(t, x) and h(t, x) are small in some sense, give conditions on f(t, x) so that zero is (eventually) stable or asymptotically stable for (P) and (P1).

Let μ be a homomorphic mapping of some subgroup A of the group G onto a subgroup Ḃ (not necessarily distinct from A) of G; then we call μ a partial endomorphism of G. If A coincides with G, that is, if the homomorphism is defined on the whole of G, we speak of a total endomorphism; this is what is usually called an endomorphism of G. A partial (or total) endomorphism μ*extends or continues a partial endomorphism μ if the domain of μ* contains the domain of μ, that is, μ* is defined for (at least) all those elements for which μ. is defined, and moreover μ* coincides with μ where μ is defined.

In a recent paper, E. Størmer, among other things, proves the existence of an isometric isomorphism from the measure algebra M(G) of a locally compact abelian group G into BB(L2(G)), ([6], Proposition 4.6). Here we give another proof for this result which works for non-commutative G as well as commutative G. We also prove that the algebra L1(G, λ), with λ the left (or right) Haar measure, is not isometrically isomorphic with an algebra of operators on a Hilbert space. The proofs of these two results are taken from the author's Ph.D. thesis [4], submitted to the University of Edinburgh before Størmer's paper. The author wishes to thank Dr. A. M. Sinclair for his help and encouragement.

This paper is a continuation of [1]. We begin with the notations for the sequence spaces considered in this paper. Let Γ be the space of sequences x = {xp} of complex numbers such that |xp|1/p⃗0 as p⃗∞. Γ can also be regarded as the space of integral functions f(z) = . The sequence space Γ is a vector space over the complex numbers with seminorms

According to the well-known Nash's theorem, every Riemannian n-manifold admits an isometric immersion into the Euclidean space En(n+1)(3n+11)/2. In general, there exist enormously many isometric immersions from a Riemannian manifold into Euclidean spaces if no restriction on the codimension is made. For a submanifold of a Riemannian manifold there are associated several extrinsic invariants beside its intrinsic invariants. Among the extrinsic invariants, the mean curvature function and shape operator are the most fundamental ones.

Much of the research done by different authors on the lattice of kernel functors (equivalently, linear topologies) has been summarized by Golan in [2]. More recently, the rings whose lattices of kernel functors are linearly ordered were introduced in [3] as a categorical generalization of valuation rings in the non-commutative case. Results (and examples) in [3] show that there is an abundance of non-commutative rings R whose lattices (R), both in Mod-R and R-Mod, are simultaneously linearly ordered; however, the question of the symmetry of this condition remained open. Here we will prove that, for every natural number n≥3, there exists a ring Rn such that (Mod-Rn) is a linearly ordered lattice of n elements, whereas (Rn-Mod) is not linearly ordered.

An elementary derivation of the asymptotic formula for the number of cube-full numbers up to x is given. This derivation is used, together with an estimation of a three dimensional exponential sum, to establish the asymptotic formula for the number of cube-full numbers in the short interval x < n < x⅔+θ where 140/1123 < θ < 1/3.

Let Pn be the class of normalised polynomials of the form

of degree n which are univalent in U = {|z| < 1}. In this note we discuss the coefficients of polynomials in Pn and in some of its subclasses.