Let (S. U) be a uniform space. This space can be embedded in a complete, uniform lattice called the scale of (S. U). We prove that the scale is compact if and only if S is finite or U = {S × S}. We prove that this statement remains true if compact is replaced by countably compact, totally bounded. Lindelof, second countable, or separable. In the last section of this paper, we investigate the cardinality of the scale and the retracted scale.

All rings considered are to be associative. For definitions not included in this paper see [2]. Let R be a ring and S a subring of R.

LetP1, P2…, pN be N points in the unit s-dimensional closed square Q = [0, 1]s. For any measurable set S ⊆ Q, we define δ(S), the discrepancy of S, by , where V(S) is the s-dimensional volume of S, and n(S), is the number of indices i for which pi∈S. Let , where the supermum is taken over all s-balls B ∈ Q, and , the supermum in this case being taken over all convex sets C ∈ Q. Clearly Dc ≧ Dk. In this paper we establish Theorem , where φ1is a constant depending only on s.

The Fourier transform F(y) of a function f(t) in L1(Ek) where Ek is the k-dimensional cartesian space will be defined by .

The purpose of this paper is an extension of a theorem of Hughes (1973). He showed: Let R be a ring which has a right artinian right quotient ring and let G be a group which has a (transfinite) ascending normal series with each factor either finite or cyclic, but only a finite number of finite factors. Then the group ring RG has a right artinian right quotient ring.

The notion of a recursive density type (R.D.T.) was introduced by Medvedev and developed by Pavlova (1961). More recently the algebra of R.D.T.'s was initiated by Gonshor and Rice (1969). The R.D.T.'s are equivalence classes of sets of integers, similar in many respects to the R.E.T.'s. They may both be thought of as effective analogues of the cardinal numbers. While the equivalence relationfor R.E.T.'s is defined in terms of partial recursive functions, that for R.D.T.'s may be characterized in terms of recursively bounded partial functions (see 4.22a).

Topologise the set of continuous self-mappings of a Hausdorff space by the graph topology. When the set of closed subsets of the space is given the upper semi-finite topology then the function which assigns to a map its fixed-point set is continuous. In many familiar cases this is the largest such topology. Related results also hold for the function which assigns to each pair of maps their coincidence set.

Let S = A0 hellip An be an n-simplex and Aih the foot of its altitude from its vertex Ai to its opposite prime face Si; O, G the circumcentre and centroid of S and Oi, Gi of Si. Representing the position vector of a point P, referred to O, by p, Coxeter [2] defines the Monge pointM of S Collinear with O and G by the relation so that the Monge point Mi of Si is given by If the n+1 vectors a are related by oi be given by Aih is given by Since Aih lies in Si, If Ti be a point on MiAih such that i.e. That is, MTi is parallel to ooi or normal to Si at Ti:. Or, the normals to the prime faces Si of S at their points Ti concur at M. In fact, this property of M has been used to prove by induction [3] that an S-point S of S lies at M. Thus M = 5, M = S or .

Bounds are obtained for the minimum number of generators for the fundamental groups of a family of closed 3-dimensional manifolds. A significant role has been played by the use of computers.

Two artin algebras Λ and Λ′ are said to be stably equivalent if their categories of finitely generated modules modulo projectives are equivalent. In this paper a characterization is given of the artin algebras stably equivalent to Nakayama algebras of Loewy length (at most) four. The proof is an illustration of the technique of using irreducible maps to study problems about stable equivlence.

This paper deals with solid topologies and convergence structures on the vector-lattice CX (the set of all continuous real-valued functions on a space X): the closed ideals and locally convex topologies associated with such structures are studied in particular. The work stems from E. Hewitt's paper on bounded linear functionals, touches on the classical theorems of L. Nachbin, T. Shirota and others (determining when the topology of compact convergence is barrelled or bornological), and extends some recent results on the duality between x and CX.

Subject classification (Amer. Math. Soc. (MOS) 1970): primary 54 C 35; secondary 54 A 20.

Congruence-free right simple semigroups with idempotents are simple groups or have order 2. It is shown in this paper that there exist congruence-free simple semigroups without idempotents. Some properties of congruences on right simple semigroups, expressed mainly in terms of their unitary and left unitary subsemigroups, are determined. These are used to provide characterizations of congruence-free right simple semigroups.

A ring R is called right pseudo-semisimple if every right ideal not isomorphic to R is semisimpie. Rings of this type in which the right socle S splits off additively were characterized; such a ring has S2 = 0. The existence of right pseudo-semisimple rings with zero right singular ideal Z remained open, except for the trivial examples of semisimple rings and principal right ideal domains. In this work we give a complete characterization of right pseudo-semisimple rings with S2 = 0. We also give examples of non-trivial right pseudo-semisimple rings with Z = 0; in fact it is shown that such rings exist as subrings in every infinite-dimensional full linear ring. A structure theorem for non-singular right pseudo-semisimple rings, with homogeneous maximal socle, is given. The general case is still open.

A series of balanced incomplete block (BIB) designs with parameters , is constructed, where , w any integer.

The aim of the present paper is to introduce a definition of the Perron-Stieltjes integral employing the notion of approximate derivative with respect to a nondecreasing function ω and to study some of the properties of the integral. Various authors have studied the Perron integral and Perron-Stieltjes integral in different ways, most of which can be found in the references appended in the list of the bibliography. Among them Ridder [10] uses the concept of approximate co-derivative but he assumes that the monotone function a associated with co is continuous. Finally we consider a more general type of integral, the co-approximately continuous Denjoy-Stieltjes integral, defined descriptively by the method of Saks [11].

Given a semigroup S, we define {N(S), +, ·} to be the ‘free’ distributively generated near-ring. Since all words in N(S) can be expressed as the sum and difference of elements of S, we are able to define a length function on the words of N(S). The following theorems then follow: Theorem 1. N(S) contains a multiplicatice identity e if and only if e ∈ S. Theorem 2. If S is the free semigroup in the cariety of all semi—groups then N(S) is left cancellatice.

We denote the complete graph on n vertices by Kn. A proper k–colouring of Kn is a way of assigning colours from a set of k colours to the edges of Kn in such a way that no monochromatic triangles are formed. It is known that there are precisely two proper 3-colourings of K16 each of which has exactly one proper 3-colouring of K15 embedded in it. We show that these two are the only proper 3-colourings of K15.

Let an abstract space of points x and let ℳ be a σ-field of subsets of , that is a class of subsets of such that (i) ∈ ℳ, (ii) if M ∈ ℳ then — M ∈ ℳ and (iii) if {Mj} is any sequence of elements of ℳ then UjMj ∈ ℳ.

We derive some specific inequalities involving absolutely continuous functions and relate them to a norm inequality arising from Banach algebras of functions having bounded k th variation.