Let B(H) denote the algebra of operators (i.e., bounded linear transformations) on the Hilbert space H. A ∈ B (H) is said to be p-hyponormal (0<p<l), if (AA*)γ < (A*A)p. (Of course, a l-hyponormal operator is hyponormal.) The p-hyponormal property is monotonic decreasing in p and a p-hyponormal operator is q-hyponormal operator for all 0<q <p. Let A have the polar decomposition A = U |A|, where U is a partial isometry and |A| denotes the (unique) positive square root of A*A.If A has equal defect and nullity, then the partial isometry U may be taken to be unitary. Let ℋU(p) denote the class of p -hyponormal operators for which U in A = U |A| is unitary. ℋU(l/2) operators were introduced by Xia and ℋU(p) operators for a general 0<p<1 were first considered by Aluthge (see [1,14]); ℋU(p) operators have since been considered by a number of authors (see [3, 4, 5, 9, 10] and the references cited in these papers). Generally speaking, ℋU(p) operators have spectral properties similar to those of hyponormal operators. Indeed, let A ε ℋU(p), (0<p <l/2), have the polar decomposition A = U|A|, and define the ℋW(p + 1/2) operator  by A = |A|1/2U |A|l/2 Let  = V |Â| Â= |Â|1/2VÂ|ÂAcirc;|1/2. Then we have the following result.

The translational hull Ω(S) of a semigroup S plays an important role in the theory of ideal extensions of semigroups. In fact, every ideal extension of S by a semigroup T with zero can be constructed using a certain partial homomorphism of T\0 into Ω(S); a particular case of interest is when S is weakly reductive (see §4.4 of [3], [2], [7]). A theorem of Gluskin [6, 1.7.1] states that if S is a weakly reductive semigroup and a densely embedded ideal of a semigroup Q, then Q and Ω(S) are isomorphic. A number of papers of Soviet mathematicians deal with the abstract characteristic (abstract semigroup, satisfying certain conditions, isomorphic to the given semigroup) of various classes of (partial) transformation semigroups in terms of densely embedded ideals (see, e.g., [4]). In many of the cases studied, the densely embedded ideal in question is a completely 0-simple semigroup, so that Gluskin's theorem mentioned above applies. This enhances the importance of the translational hull of a weakly reductive, and in particular of a completely 0-simple semigroup. Gluskin [5] applied the theory of densely embedded ideals (which are completely 0-simple semigroups) also to semigroups and rings of endomorphisms of a linear manifold and to certain classes of abstract rings.

A Banach space E is said to have Property (w) if every operator from E into E' is weakly compact. This property was introduced by E. and P. Saab in [9]. They observe that for Banach lattices, Property (w) is equivalent to Property (V*), which in turn is equivalent to the Banach lattice having a weakly sequentially complete dual. Thus the following question was raised in [9].

Does every Banach space with Property (w) have a weakly sequentially complete dual, or even Property (V*)?

In this paper, we give two examples, both of which answer the question in the negative. Both examples are James type spaces considered in [1]. They both possess properties stronger than Property (w). The first example has the property that every operator from the space into the dual is compact. In the second example, both the space and its dual have Property (w). In the last section we establish some partial results concerning the problem (also raised in [9]) of whether (w) passes from a Banach space E to C(K, E).

Brian Hartley asked me whether a free (nilpotent of class 2 and exponent p2)-group of countable rank has a faithful linear representation of finite degree, p here being a prime of course. The answer is yes. The point is that this then yields via work of F. Leinen and M. J. Tomkinson, see [3,3.6] an image of a linear p-group, which is not even finitary linear. The question of which relatively free groups have faithful linear representations dates back at least to work of W. Magnus in the 1930's, see [4, pp. 33, 34 and the final comment on p. 40] for a discussion of this. Our construction, which works more generally, is a further contribution. We write ℜc for the variety of nilpotent groups of class at most c and (ℭ9 for the variety of groups of exponent dividing q.

Let M be a smooth m-dimensional submanifold in (m + d)-dimensional Euclidean space ℝm+d For x ∊ M and a non-zero vector X in TXM, we define the (d + l)-dimensional affine subspace E(x, X) ofℝm+d by

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.

It is well known (Lee [13]) that the class of all distributive p-algebras B = Bω is a variety and that the class of all subvarieties of B forms a chain

where B-i is the trivial class, B0 is the class of Boolean algebras, and B1 is the class of Stone algebras.

The Wielandt subgroup w(G) of a group G is defined to be the intersection of the normalizers of all the subnormal subgroups of G. If G is a group satisfying the minimal condition on subnormal subgroups then Wielandt [10] showed that w(G) contains every minimal normal subgroup of G, and so contains the socle of G, and, later, Robinson [6] and Roseblade [9] proved that w(G) has finite index in G.

In the terminology of Clifford and Preston [2], a band B is a semigroup in which every element is idempotent. On such a semigroup there is a natural (partial) order relation defined by the rule

If the order relation ≧ is compatible with the multiplication in B, in the sense that e ≧ f and g ≧ h together imply that eg ≧ fh, we shall say that B is a naturally ordered band. The object of this note is to describe the structure of naturally ordered bands.

The closed graph theorem is one of the deeper results in the theory of Banach spaces and one of the richest in its applications to functional analysis. This note contains an extension of the theorem to certain classes of topological vector spaces. For the most part, we use the terminology and notation of N. Bourbaki [1], contracting “locally convex topological vector space over the real or complex field” to “convex space”; here we confine ourselves to convex spaces.

In this note we construct certain Hilbert subspaces with Hilbert–Schmidt imbedding, for an arbitrary proper functional Hilbert space which consists of holomorphic functions. This work extends results of Chapter III in [1] and has applications in the regularity problem for generalised eigenfunctions (in particular to Theorem 2 in [2]). For an exposition of reproducing kernels and Bergman's kernel function we refer to [4].

For an inverse semigroup S, the set of all isomorphisms betweeninverse subsemigroups of S is an inverse monoid under composition which is denoted by (S) and called the partial automorphism monoid of S. Kirkwood [7] and Libih [8] determined which groups have Clifford partial automorphism monoids. Here we investigate the structure of inverse semigroups whose partial automorphism monoids belong to certain other important classes of inverse semigroups. First of all, we describe (modulo so called “exceptional” groups) all inverse semigroups S such that (S) is completely semisimple. Secondly, for an inverse semigroup S, we find a convenient description of the greatest idempotent-separating congruence on (S), using a well-known general expression for this congruence due to Howie, and describe all those inverse semigroups whose partial automorphism monoids are fundamental.

A tensor is said to be isotropic relative to a group of transformations if its components are invariant under the associated group of coordinate transformations. In this paper we review the classification of tensors which are isotropic under the general linear group, the special linear (unimodular) group and the rotational group. These correspond respectively to isotropic absolute tensors [4, 8] isotropic relative tensors [4] and isotropic Cartesian tensors [3]. New proofs are given for the representation of isotropic tensors in terms of Kronecker deltas and alternating tensors. And, for isotropic Cartesian tensors, we provide a complete classification, clarifying results described in [3].

In the final section of the paper certain derivatives of isotropic tensor fields are examined.

The first paragraph of Section 3 (p. 89) of the paper, published in the Glasgow Mathematical Journal 30 (1988), 87–96, should have read as follows.

Nagata in [3] defined strongly countable-dimensional spaces which are the countable union of closed finite-dimensional subspaces. Walker and Wenner in [7] characterized such metric spaces as follows: a space X is a strongly countable-dimensional metric space if and only if there exists a finite-to-one closed mapping of a zero-dimensional metric space onto X with weak local order.

The KO-cohomology ring of the symmetric space SU(2n)/SO(2n) is computed by using the Bott exact sequence and some facts on the real and quaternionic representation rings of SU(2n) and SO(2n).

§ 1. Introductory. The formula to be proved is

where ρq+1 – αp+1 > 0, αr – ρq+1 > 0, r = 1,2, …, p, and p≧q + 1.

In this paper we prove a theorem in Operational Calculus and use it to evaluate a few infinite integrals involving Legendre, Bessel and E-functions. We write

when

and

when

(2) is a generalisation of (1) as given by Meijer [2] and it reduces to (1) when v = ±½ by virtue of the relation

Let G = A*HB be the free product of the groups A and B amalgamating the proper subgroup H and let Rbe a ring with 1. If His finite and G is not finitely generated we show that any non–zero ideal I of R(G) intersects non-trivially with the group ring R(M), where M = M(I) is a subgroup of G which is a free product amalgamating a finite normal subgroup. This result compares with A. I. Lichtman's results in [6] but is not a direct generalisation of these.