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

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.

Let A be a noetherian ring. When A is commutative (of finite Krull dimension), A is said to be Gorenstein if its injective dimension is finite. If A has finite global dimension, one says that A is regular. If A is arbitrary, these hypotheses are not sufficient to obtain similar results to those of the commutative case. To remedy this problem, M. Auslander has introduced a supplementary condition. Before stating it, we recall that the grade of a finitely generated (left or right) module is defined by

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 M be a compact hypersurface in a Euclidena space ℝn+1. The support function p of M is the component of the position vector field of Min ℝn+1 along the unit normal vector field to M, which is a smooth function defined on M. Let S be the scalar curvature of M. The object of the present paper is to prove the following theorems.

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).

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).

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

Ramanujan's short third notebook contains 33 pages of unorganized material. On page 386 of the third notebook, in the pagination of the Tata Institute's publication [3], Ramanujan offers the following remarkable identity.

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.

Let M2 be a (connected) surface in Euclidean 3-space E3, and let G:M2→S2(1) ⊂ E3 be its Gauss map. Then, according to a theorem of E. A. Ruh and J. Vilms [3], M2 is a surface of constant mean curvature if and only if, as a map from M2 to S2(1), G is harmonic, or equivalently, if and only if

where δ is the Laplace operator on M2 corresponding to the induced metric on M2 from E3 and where G is seen as a map from M2to E3. A special case of (1.1) is given by

i.e., the case where the Gauss map G:M2→E3 is an eigenfunction of the Laplacian δ on M2.

In [1], a condition was sought on a commutative Noetherian ring R such that whenever R satisfied the condition and R was cyclically pure in an R-algebra S, then R was necessarily pure in S. Such a condition was found and turned out not only to be a sufficient condition but also a necessary condition. Rings satisfying this condition were called approximately Gorenstein. In this paper, we give new equivalent conditions for a ring to be approximately Gorenstein. Our conditions involve a certain metric topology defined on the lattice of ideals of a commutative Noetherian ring as well as the concept of a principal system. The notion of principal systems was defined in [9] and was suggested by Macaulay's theory of inverse systems [7]. These ideas have proved to be useful in many research probems in commutative algebra.

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 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 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.