Let K be a compact Hausdorff space, and let C(K) be the corresponding Banach space of continuous functions on K. It is well-known that every 1-summing operator S:C(K)→l2 is also nuclear, and therefore factors S = S1S2, with S1:l2→l2 a Hilbert–Schmidt operator and S1:C(K)→l2 a bounded operator. It is easily seen that this latter property is preserved when C(K) is replaced by any quotient, and that a Banach space X enjoys this property if and only if its second dual, X**, does. This led A. Pełczyński [15] to ask if the second dual of a Banach space X must be isomorphic to a quotient of a C(K)-space if X has the property that every 1-summing operator X-→l2 factors through a Hilbert-Schmidt operator. In this paper, we shall first of all reformulate the question in an appropriate manner and then show that counter-examples are available among super-reflexive Tsirelson-like spaces as well as among quasi-reflexive Banach spaces.

In [4] Dipper and James investigated the representation theory of Hecke algebras of type Bn, H(Bn). Using the results in [4] and exploiting the fact that the Hecke algebra of type F4, denoted by H(W), contains two copies of H(B3) certain right ideals of H(W) will be constructed in this paper. These right ideals will be proved to be irreducible on the assumption that H(W) is semisimple.

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

1. In this note we consider the formal solution of the dual integral equations

where f(x) and g(x) are given and χ(x) is to be found. The direct solution of these equations has been given by Noble [1] but we shall show that they may be solved more easily if they are first reduced to a form in which g(x) ≡ 0.

The equation of the title in positive integers x, y, z where D is a given integer has been considered for some 300 years [4, pp 634–639]. As observed by V. A. Lebesgue, and probably known to Euler, if x, y, z is one non-trivial solution i.e., one with xy(x2 – y2) ≠0, another is given by . It then follows that there are infinitely many such with (x, y) = 1. The question that remains is to determine for which values of D such solutions exist.

In [1, p. 130] the following partition theorem was deduced from a general theorem concerning the limit of a recurrent sequence.

In this paper we calculate the localisation at the prime 3 of the integral cohomology ring of the Mathieu group M24, together with its mod-3 cohomology ring. The main results are

Theorem 1. The ring H*(M24, Z)(3)is the commutative graded Z(3)-algebra with generators

and relations v2 = 0 and βθ = 0. The Chern classes of the Todd representation in GL11F2

The following two results in the theory of division algebras are well known and easily proved, for an arbitrary commutative field k (cf. for example [3, Chapter 10]).

(i) The tensor product of two central division algebras over k of coprime degrees is again a division algebra.

(ii) Every central division algebra over k is a tensor product of division algebras of prime power degrees.

It is natural to ask whether corresponding results hold for commutative fields. The answers are not hard to find but (as far as I am aware) have not appeared in print before; since they throw some light on the nature of tensor products they seemed worth recording.

In previous papers [1, 2, 3] the sums of a number of series of products of E-functions have been found. For the definitions and properties of the E-functions the reader is referred to [4, pp. 348–358]. In § 3 a further series of this type is given. The proof is based on an integral of an E-function with respect to its parameters, to be established in § 2. Similar integrals were given in [5] and [6].

In [1] it was shown that for a compact normal operator on a Hilbert space the numerical range was the convex hull of the point spectrum. Here it is shown that the same holds for a semi-normal operator whose point spectrum satisfies a density condition (Theorem 1). In Theorem 2 a similar condition is shown to imply that the numerical range of a semi-normal operator is closed. Some examples are given to indicate that the condition in Theorem 1 cannot be relaxed too much.

Let $M$ be a subset of $\Bbb R$ with the following two invariance properties: (1) $M+k\subseteq M$ for all integers $k$, and (2) there exists a positive integer $l\ge 2$ such that $\frac{1}{l}M\subseteq M$. (For example, the set of Liouville numbers and the Besicovitch-Eggleston set of non-normal numbers satisfy these conditions.) We prove that if $h$ is a dimension function that is strongly concave at $0$, then the $h$-dimensional Hausdorff measure $\cal H^{h}(M)$ of $M$ equals $0$ or infinity.

In this article, we derive a partition result and employ its special case to offer a new proof for an identity of N. J. Fine.

Let R be a graded ring. We introduce the concepts of Ding gr-injective and Ding gr-projective R-modules, which are the graded analogues of Ding injective and Ding projective modules. Several characterizations and properties of Ding gr-injective and Ding gr-projective modules are obtained. In addition, we investigate the relationships among Gorenstein gr-flat, Ding gr-injective and Ding gr-projective modules.

Let R be a d-dimensional Cohen–Macaulay (CM) local ring of minimal multiplicity. Set S := R/(f), where f := f1,. . .,fc is an R-regular sequence. Suppose M and N are maximal CM S-modules. It is shown that if ExtSi(M, N) = 0 for some (d + c + 1) consecutive values of i ⩾ 2, then ExtSi(M, N) = 0 for all i ⩾ 1. Moreover, if this holds true, then either projdimR(M) or injdimR(N) is finite. In addition, a counterpart of this result for Tor-modules is provided. Furthermore, we give a number of necessary and sufficient conditions for a CM local ring of minimal multiplicity to be regular or Gorenstein. These conditions are based on vanishing of certain Exts or Tors involving homomorphic images of syzygy modules of the residue field.

We show that Artin–Schelter regularity of a $\mathbb{Z}$-graded algebra can be examined by its associated $\mathbb{Z}$r-graded algebra. We prove that there is exactly one class of four-dimensional Artin–Schelter regular algebras with two generators of degree one in the Jordan type. This class is strongly noetherian, Auslander regular, and Cohen–Macaulay. Their automorphisms and point modules are described.

In this paper we consider for a non-unital ring R, the category of firm R-modules for a non-unital ring R, i.e. the modules M such that the canonical morphism μM : R ⊗RM → M given by r ⊗ m ↦ rm is an isomorphism. This category is a natural generalization of the usual category of unitary modules for a ring with identity and shares many properties with it. The only difference is that monomorphisms are not always kernels. It has been proved recently that this category is not Abelian in general by providing an example of a monomorphism that is not a kernel in a particular case. In this paper we study the lattices of monomorphisms and kernels, proving that the lattice of monomorphisms is a modular lattice and that the category of firm modules is Abelian if and only if the composition of two kernels is a kernel.

This paper investigates topological reconstruction, related to the reconstruction conjecture in graph theory. We ask whether the homeomorphism types of subspaces of a space X which are obtained by deleting singletons determine X uniquely up to homeomorphism. If the question can be answered affirmatively, such a space is called reconstructible. We prove that in various cases topological properties can be reconstructed. As main result we find that familiar spaces such as the reals ℝ, the rationals ℚ and the irrationals ℙ are reconstructible, as well as spaces occurring as Stone–Čech compactifications. Moreover, some non-reconstructible spaces are discovered, amongst them the Cantor set C.

It has been proved by D. E. Cohen [1] that the lattice of all varieties of metabelian groups is countable. In this paper, we show that the lattice of all varieties of completely simple semigroups with metabelian subgroups has the cardinality of the continuum. M. Petrich and N. R. Reilly have introduced in [6] the notion of near varieties of idempotent generated completely simple semigroups. The mapping assigning to every variety $\mathcal{V}$ of completely simple semigroups the class of all idempotent generated members of $\mathcal{V}$ is a complete lattice homomorphism of the lattice of all varieties of completely simple semigroups onto the lattice of all near varieties of idempotent generated completely simple semigroups. In this paper we show that, in fact, the lattice of all near varieties of idempotent generated completely simple semigroups with metabelian subgroups has itself the cardinality of the continuum.

Let K be an infinite field of characteristic $p>0$ and let $\lambda, \mu$ be partitions, where $\mu$ has two parts. We find sufficient arithmetic conditions on $p, \lambda, \mu$ for the existence of a nonzero homomorphism $\Delta(\lambda) \to \Delta (\mu)$ of Weyl modules for the general linear group $GL_n(K)$. Also, for each p we find sufficient conditions so that the corresponding homomorphism spaces have dimension at least 2.

Let R be a commutative Noetherian ring, is an ideal of R and M is an R-module. We intend to establish the dual of Grothendieck's Vanishing Theorem for local homology modules. We conjecture that =0 for all i>magRM. We prove this in several cases.