“Regular systems” of numbers in ℝ and “ubiquitous systems” in ℝk, k ≥ 1, have been used previously to obtain lower bounds for the Hausdorff dimension of various sets in ℝ and ℝk respectively. Both these concepts make sense for systems of numbers in ℝ, but the definitions of the two types of object are rather different. In this paper it will be shown that, after certain modifications to the definitions, the two concepts are essentially equivalent.

We also consider the concept of a ℳs∞-dense sequence in ℝk, which was introduced by Falconer to construct classes of sets having “large intersection”. We will show that ubiquitous systems can be used to construct examples of ℳs∞-dense sequences. This provides a relatively easy means of constructing ℳs∞-dense sequences; a direct construction and proof that a sequence is ℳs∞-dense is usually rather difficult.

The temporal evolution of nonlinear, incompressible ensembles is examined first for the one-dimensional Burgers' equation and then for the incompressible, unsteady Navier-Stokes equations. It is shown that local closure of the averaged problem can be obtained for finite ensembles of Burgers' equation in the limit as the number of moments tends to infinity. This limit behaviour is verified via direct numerical computations for the onedimensional inviscid and viscous Burgers' equation. Closure is found to occur at reasonably low order. It is shown that this technique can be extended to obtain a local closure of the convective terms of the Navier-Stokes Reynoldsaveraged equations.

In this paper, the Opial's inequality, which has a wide range of applications in the study of differential and integral equations, is generalized to the case involving m functions of n variables, m, n ≥ 1.

§1. Introduction. The literature on solving a system of linear equations in primes is quite limited, although the multi-dimensional Hardy-Littlewood method certainly provides an approach to this problem. The Goldbach- Vinogradov theorem and van der Corput's proof of the existence of infinitely many three term arithmetic progressions in primes are two particular results in the special case of only one equation. Recently Liu and Tsang [4] studied this case in full generality and obtained a result with excellent uniformity in the coefficients. Almost no other general result has appeared so far, due probably to the fact that such a theorem is clumsy to state.

§5. Some C(K) spaces that are not σ-fragmented. In [16] we remarked that the space (l∞, weak) is not σ-fragmented. Rosenthal [19] gives a number of conditions that ensure that a C(K) space contains an isomorphic copy of l∞. A Banach space is said to be injective if it is complemented in every Banach space containing it isomorphically. Rosenthal proves that every infinite dimensional injective Banach space contains a subspace isomorphic to l∞. It is known (see, for example, Day [2]) that C(K) is injective if K is extremally disconnected. Thus C(K) is not σ-fragmented when K is an infinite compact Hausdorff space that is extremally disconnected.

The object of this paper is to obtain improvements in Vinogradov's mean value theorem widely applicable in additive number theory. Let Js,k(P) denote the number of solutions of the simultaneous diophantine equations

with 1 ≥ xi, yi ≥ P for 1 ≥ i ≥ s. In the mid-thirties Vinogradov developed a new method (now known as Vinogradov's mean value theorem) which enabled him to obtain fairly strong bounds for Js,k(P). On writing

in which e(α) denotes e2πiα, we observe that

where Tk denotes the k-dimensional unit cube, and α = (α1,…,αk).

The paper is related to the area which was recently called topological homology [3, 6, 12, 16, 4]. We consider questions associated with the central Hochschild cohomology of C*-algebras. The study of the latter was begun by J. Phillips and I. Raeburn in [9, 10], when they were investigating some problems of the theory of perturbations of C*-algebras. In [8] we obtained a description of the structure of C*-algebras with central bidimension zero: it was proved that these C*-algebras are unital and have continuous trace. In the special case of separable and a priori unital C*-algebras this statement was proved by J. Phillips and I. Raeburn in [11] with the help of a different approach. The question was raised. Which values can the central bidimension of C*-algebras take? In the present paper it is shown that, for any CCR-algebra A having at least one infinite-dimensional irreducible representation, the central bidimension and the global central homological dimension of A are greater than one. At the same time it is proved that there exist CCR-algebras which are centrally biprojective, but which have both dimensions equal to one. This situation contrasts with the state of affairs in the “traditional” theory of the Banach Hochschild cohomology. Recall [3, Ch. 5] that the bidimension and the global homological dimension of any infinite-dimensional biprojective C*-algebra are equal to two. Besides, there is no CCR-algebra of bidimension one (respectively, global homological dimension one). See [7].

The purpose of this short note is to give a new and shorter proof of the following theorem of Johnson [1], and to extend it somewhat.

Theorem 1. Let G be a finite non-cyclic p-group possessing a non-empty subset X such that, for each x in X, <X/{x}>G′ is a complement for <x> in G. Then the Schur multiplier of G is non-trivial.

The notation in this paper will be standard and it may be found in [2] or [8]. Throughout the paper, the notation A ⊂' B will mean that A is an essential submodule of the module B. Given an arbitrary ring R and R-modules M and N, we say that M is weakly N-injective if and only if every map φ:N → E(M) from N into the injective hull E(M) of M may be written as a composition σ〫 , where :N→M and σ:M→E(M) is a monomorphism. This is equivalent to saying that for every map φ:N→E(M), there exists a submodule X of E(M), isomorphic to M, such that φ(N) is contained in X. In particular, M is weakly R-injective if and only if, for every x ∈ E(M), there exists X ⊂ E(M) such that x ∈ X ≌ M. We say that M is weakly-injective if and only if it is weakly N-innjective for every finitely generated module N. Clearly, M is weakly-injective if and only if, for every finitely generated submodule N of E(M), there exists X ⊂ E(M) such that N ⊂ X ≌ M.

The question “Does a Banach space with a symmetric basis and weak cotype 2 (or Orlicz) property have cotype 2?” is being seriously considered but is still open though the similar question for the r.i. function space on [0, 1] has an affirmative answer. (If X is a r.i. function space on [0, 1] and has weak cotype 2 (or Orlicz) property then it must have cotype 2.) In this note we prove that for Lorentz sequence spaces d(a, 1) they both hold.

MV-algebras were introduced by C. C. Chang [3] in 1958 in order to provide an algebraic proof for the completeness theorem of the Lukasiewicz infinite valued propositional logic. In recent years the scope of applications of MV-algebras has been extended to lattice-ordered abelian groups, AF C*-algebras [10] and fuzzy set theory [1].

Let F = F(g, n) be an oriented surface of genus g≥1 with n<2 boundary components and let M(F) be its mapping class group. Then M(F) is generated by Dehn twists about a finite number of non-bounding simple closed curves in F([6, 5]). See [1] for the definition of a Dehn twist. Let e be a non-bounding simple closed curve in F and let E denote the isotopy class of the Dehn twist about e. Let Nbe the normal closure of E2in M(F). In this paper we answer a question of Birman [1, Qu 28 page 219]:

Theorem 1. The subgroup N is of finite index in M(F).

Within the context of orthogonal geometry, isometries of a real inner product space induce Bogoliubov automorphisms of its associated Clifford algebras. The question whether or not such automorphisms are inner is of considerable interest and importance. Inner Bogoliubov automorphisms were fully characterized for the C* Clifford algebra by Shale and Stinespring [14] and for the W* Clifford algebra by Blattner [2]: each case engenders a corresponding notion of spin group, constructed as a group of units inside the Clifford algebra [4].

Relationships between injectivity or generalized injectivity and chain conditions on a module category have been studied by several authors. A well-known theorem of Osofsky [14, 15] asserts that a ring all of whose cyclic right modules are injective is semisimple Artinian. Osofsky's proofs in [14, 15] essentially used homological properties of injective modules, and, later, her arguments were applied by other authors in their studies of rings for which cyclic right modules are quasi-injective, continuous or quasi-continuous (see e. g. [1, 10, 12]). Following [5] (cf. [4]), a module M is called a CS-module if every submodule of M is essential in a direct summand of M. In the recent paper [17], B. L. Osofsky and P. F. Smith have proved a very general theorem on cyclic completely CS-modules from which many known results in this area follow rather easily. In another direction, it was proved in [8] that a finitely generated quasi-injective module with ACC (respectively DCC) on essential submodules is Noetherian (respectively Artinian). This result was also extended to CS-modules in [3, 16], and weak CS-modules in [19].

Let G be a group. The norm, or Kern of G is the subgroup of elements of G which normalize every subgroup of the group. This idea was introduced in 1935 by Baer [1, 2], who delineated the basic properties of the norm. A related concept is the subgroup introduced by Wielandt [10] in 1958, and now named for him. The Wielandt subgroup of a group G is the subgroup of elements normalizing every subnormal subgroup of G. In the case of finite nilpotent groups these two concepts coincide, of course, since all subgroups of a finite nilpotent group are subnormal. Of late the Wielandt subgroup has been widely studied, and the name tends to be the more used, even in the finite nilpotent context when, perhaps, norm would be more natural. We denote the Wielandt subgroup of a group G by ω(G). The Wielandt series of subgroups ω1(G) is defined by: ω1(G) = ω(G) and for i ≥ 1, ωi+1(G)/ ω(G) = ω(G/ωi, (G)). The subgroups of the upper central series we denote by ζi(G).

G. Grätzer in [4] proved that any Boolean algebra B is affine complete, i.e. for every n ≥ 1, every function f:Bn→B preserving the congruences of B is algebraic. Various generalizations of this result have been obtained (see [7]–[ll] and [2], [3]).

The simplest type of Lie semigroups are closed convex cones in finite dimensional vector spaces. In general one defines a Lie semigroup to be a closed subsemigroup of a Lie group which is generated by one-parameter semigroups. If W is a closed convex cone in a vector space V, then W is convex and therefore simply connected. A similar statement for Lie semigroups is false in general. There exist generating Lie semigroups in simply connected Lie groups which are not simply connected (Example 1.15). To find criteria for cases when this is true, one has to consider the homomorphism

induced by the inclusion mapping i:S→G, where S is a generating Lie semigroup in the Lie group G. Our main results concern the description of the image and the kernel of this mapping. We show that the image is the fundamental group of the largest covering group of G, into which S lifts, and that the kernel is the fundamental group of the inverse image of 5 in the universal covering group G. To get these results we construct a universal covering semigroup S of S. If j: H(S): = S ∩ S-1 →S is the inclusion mapping of the unit group of S into S, then it turns out that the kernel of the induced mapping

may be identfied with the fundamental group of the unit group H(S)of S and that its image corresponds to the intersection H(S)0 ⋂π1(S), where π1(s) is identified with a central subgroup of S.

In general, a prime ideal P of a prime Noetherian ring need not be classically localisable. Since such a localisation, when it does exist, is a striking property; sufficiency criteria which guarantee it are worthy of careful study. One such condition which ensures localisation is when P is an invertible ideal [5, Theorem 1.3]. The known proofs of this result utilise both the left as well as the right invertiblity of P. Such a requirement is, in practice, somewhat restrictive. There are many occasions such as when a product of prime ideals is invertible [6] or when a non-idempotent maximal ideal is known to be projective only on one side [2], when the assumptions lead to invertibilty also on just one side. Our main purpose here is to show that in the context of Noetherian prime polynomial identity rings, this one-sided assumption is enough to ensure classical localisation [Theorem 3.5]. Consequently, if a maximal ideal in such a ring is invertible on one side then it is invertible on both sides [Proposition 4.1]. This result plays a crucial role in [2]. As a further application we show that for polynomial identity rings the definition of a unique factorisation ring is left-right symmetric [Theorem 4.4].