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 this paper, we establish a new (but equivalent) definition of projective Hjelmslev planes of level n. This shows that the nth floor of a triangle building is a projective Hjelmslev plane of level n (a result already announced in [9], but left unproved). This will allow us to characterize Artmann-sequences by means of their inverse limits and to construct new ones. We also deduce a new existence theorem for level n projective Hjelmslev planes. All results hold in the finite as well as in the infinite case.

An MS-algebra is an algebra (L; ∨, ∧, ∘, 0, 1) of type (2, 2, 1, 0, 0) such that (L; ∨, ∧, 0, 1) is a distributive lattice with smallest element 0 and greatest element 1, and x ↦ x∘ is a unary operation such that l∘ = 0, x ≤ x∘∘ for all x ∈ L, and (x ∧ y)∘ = x∘ ∨ y∘ for all x, y ∈ L. These algebras belong to the class of Ockham algebras introduced by Berman [3]; see also [2,10,15]. A double MS-algebra is an algebra (L, ∨, ∧, ∘, +, 0, 1) of type (2, 2, 1, 1, 0, 0) such that (L, ∘) and (Ld, +) are MS-algebras, where Ld denotes the dual of L, and the operations ∘, + are linked by the identities x∘+ = x∘∘ and x+∘ = x++. We refer to [5, 6, 7, 8] for the basic properties of MS-algebras and double MS-algebras. Concerning the latter, the properties x∘∘∘ = x∘, x+++ = x+, and x∘ ≤ x+will be used frequently. The class of double MS-algebras is congruencedistributive and consequently the results of [13] can be applied. As to general results in lattice theory and universal algebra, the reader may consult [1, 9, 12].

The tensor product of two arbitrary groups acting on each other was introduced by R. Brown and J.-L. Loday in [5, 6]. It arose from consideration of the pushout of crossed squares in connection with applications of a van Kampen theorem for crossed squares. Special cases of the product had previously been studied by A. S.-T. Lue [10] and R. K. Dennis [7]. The tensor product of crossed complexes was introduced by R. Brown and the second author [3] in connection with the fundamental crossed complex π(X) of a filtered space X, which also satisfies a van Kampen theorem. This tensor product provides an algebraic description of the crossed complex π(X ⊗ Y) and gives a symmetric monoidal closed structure to the category of crossed complexes (over groupoids). Both constructions involve non-abelian bilinearity conditions which are versions of standard identities between group commutators. Since any group can be viewed as a crossed complex of rank 1, a close relationship might be expected between the two products. One purpose of this paper is to display the direct connections that exist between them and to clarify their differences.

Let K be a compact Hausdorff topological space and E be a Banach space not containing l1. Recently N. J. Kalton, E. Saab and P. Saab ([5]) obtained the results that under the above assumptions the usual space C(K, E) has the Dieudonné property; i.e. each weakly completely continuous operator on C(K, E) is weakly compact. They use topological results concerning multivalued mappings in their proof. In this short note we furnish a new and simpler proof of that result without using topological results but only well known theorems of Bourgain ([2]) and Talagrand ([8]) on weak compactness of sets of Bochner integrable functions; i.e. results in vector measure theory. At the end of the paper we present some applications of the result to Banach spaces of compact operators.

Let G be a group and

a free presentation of G, i.e. a short exact sequence of groups with F free. Conjugation in F induces on = R/R', the abelianized normal subgroup R, the structure of a right G-module (if r∈ R, x∈ F then (r)(xπ) = x-1rxR'). The G-module is called the relation module determined by the presentation (1). For a detailed discussion of this subject we refer to Gruenberg [3].

Introductory Remarks. Recently a number of studies (Chen & Saffman [2], Jones & Toland [7,11], Hogan [5]) have been made of periodic capillary-gravity waves which form the free surface of an ideal fluid contained in a channel of infinite depth. However, little work appears to have been done on the corresponding problem when the depth is finite. The most significant contributions appear to be those of Reeder & Shinbrot [9], Barakat & Houston [1] and Nayfeh [8] all of whom confined themselves to Wilton ripples (see §1.3). Yet there are sound reasons why such a study should be made. For quite apart from the unsolved problem regarding the type of capillary-gravity waves which may occur at finite depths, the consideration of the finite depth problem may be regarded as a first step in the study of solitary capillary-gravity waves. In this paper, a new integral equation for the infinite depth problem, due to J. F. Toland and the author, is adapted to be of use in tackling the finite depth problem. Using this we obtain results for the exact equations of motion which answer rigorously the questions of existence and multiplicity of small amplitude solutions of the periodic capillary-gravity wave problem of finite depth.

Let M be a σ-finite von Neumann algebra and α = {αt}t∈A be a representation of a compact abelian group A as *-automorphisms of M. Let Γ be the dual group of A and suppose that Γ is totally ordered with a positive semigroup Σ⊆Γ. The analytic algebra associated with α and Σ is

where spα(a) is Arveson's spectrum. These algebras were studied (also for A not necessarily compact) by several authors starting with Loebl and Muhly [10].

In 1974 B. J. Birch [1] published a description of some manuscripts of Ramanujan which contained, among other things, a list of forty identities involving the Rogers-Ramanujan functions

At that time nine of these had been proven, and since then twenty-two more of them have been proven, fifteen of them by David Bressoud in his thesis [2]. Bressoud gives a synopsis of the extant proofs, where he attributes proofs to H. B. C. Darling [3], L. J. Rogers [4], L. J. Mordell [5], and G. N. Watson [6].

Let B(H) be the algebra of all bounded linear operators on a separable, infinite dimensional complex Hilbert space H. Let C2 and C1 denote respectively, the Hilbert–Schmidt class and the trace class operators in B(H). It is known that C2 and C1 are two-sided*-ideals in B(H) and C2 is a Hilbert space with respect to the inner product

(where tr denotes the trace). For any Hilbert–Schmidt operator X let ∥X∥2=(X, X)½ be the Hilbert-Schmidt norm of X.

For fixed A ∈ B(H) let δA be the operator on B(H) defined by

Operators of the form (1) are called inner derivations and they (as well as their restrictions have been extensively studied (for example [1–3]). In [1], Fuad Kittaneh proved the following result.

Mathematicians have studied the diophantine equation of the title ever since the days of Fermat, Leibniz and Euler. In this paper, we review the history of this problem, present several new classes of values of d for which the equation has only trivial solutions, and find a nontrivial solution for d = 85 (a case Euler missed). With these results, the question of whether

has nontrivial solutions is now answered for all d, 0≤d ≤100.

Motivated by a problem in mathematical economics [4] Gretsky and Ostroy have shown [5] that every positive operator T:L1[0, 1] → c0 is a Dunford-Pettis operator (i.e. T maps weakly convergent sequences to norm convergent ones), and hence that the same is true for every regular operator from L1[0, 1] to c0. In a recent paper [6] we showed the converse also holds, thereby characterizing the D–P operators by this condition. In each case the proof depends (as do so many concerning D–P operators on Ll[0, 1]) on the following well-known result (see, e.g., [2]): If μ is a finite measure, an operator T:L1(μ) → E is a D–P operator is compact, where i:L∞(μ) → L1(μ) is the canonical injection of L∞(μ) into L1(μ). If μ is not a finite measure this characterization of D–P operators is no longer available, and hence results based on its use (e.g. [5], [6]) do not always have straightforward extensions to the case of operators on more general L1(μ) spaces.

A topological space is called a uqu space [10] if it admits a unique quasi-uniformity. Answering a question [2, Problem B, p. 45] of P. Fletcher and W. F. Lindgren in the affirmative we show in [8] that a topological space X is a uqu space if and only if every interior-preserving open collection of X is finite. (Recall that a collection ℒ of open sets of a topological space is called interior-preserving if the intersection of an arbitrary subcollection of ℒ is open (see e.g. [2, p. 29]).) The main step in the proof of this result in [8] shows that a topological space in which each interior-preserving open collection is finite is a transitive space. (A topological space is called transitive (see e.g. [2, p. 130]) if its fine quasi-uniformity has a base consisting of transitive entourages.) In the first section of this note we prove that each hereditarily compact space is transitive. The result of [8] mentioned above is an immediate consequence of this fact, because, obviously, a topological space in which each interior-preserving open collection is finite is hereditarily compact; see e.g. [2, Theorem 2.36]. Our method of proof also shows that a space is transitive if its fine quasi-uniformity is quasi-pseudo-metrizable. We use this result to prove that the fine quasi-uniformity of a T1 space X is quasi-metrizable if and only if X is a quasi-metrizable space containing only finitely many nonisolated points. This result should be compared with Proposition 2.34 of [2], which says that the fine quasi-uniformity of a regular T1 space has a countable base if and only if it is a metrizable space with only finitely many nonisolated points (see e.g. [11] for related results on uniformities). Another by-product of our investigations is the result that each topological space with a countable network is transitive.

We consider operators, i.e. bounded linear transformations, on an infinite dimensional separable complex Hilbert space H into itself. The operator A is said to be dominant if for each complex number λ there exists a number Mλ(≥l) such that ∥(A – λ)*x∥ ≤ Mλ∥A – λ)x∥ for each x∈H. If there exists a number M≥Mλ for all λ, then the dominant operator A is said to be M-hyponormal. The class of dominant (and JW-hyponormal) operators was introduced by J. G. Stampfli during the seventies, and has since been considered in a number of papers, amongst then [7], [11]. It is clear that a 1-hyponormal is hyponormal. The operator A*A is said to be quasi-normal if Acommutes with A*A, and we say that A is subnormal if A has a normal extension. It is known that the classes consisting of these operators satisfy the following strict inclusion relation:

Let X be a completely regular Hausdorff space. A Nachbin family of weights is a set V of upper-semicontinuous positive functions on X such that if u, υ ∈ V then there exists w ∈ V and t > 0 so that u, υ ≤ tw. For any Hausdorff topological vector space E, the weighted space CV0(X, E) is the space of all E-valued continuous functions f on X such that υf vanishes at infinity for all υ ∈ V. CV0(X, E) is equipped with the weighted topologywv = wv(X, E) which has as a base of neighbourhoods of zero the family of all sets of the form

where υ ∈ Vand W is a neighbourhood of zero in E. If E is the scalar field, then the space CV0(X, E) is denoted by CV0(X). The reader is referred to [4, 6, 8] for information on weighted spaces.

Given an integer g ≥ 2 and a class of finite groups let N(g, ) denote the order of the largest group in that a compact Riemann surface of genus g admits as a group of automorphisms. For the classes of all finite groups, cyclic groups, abelian groups, nilpotent groups, p-groups (given p), soluble groups and finally for metabelian groups, an upper bound for N(g, ) as well as infinite sequences for g for which this bound is attained were found in [5, 6, 7, 8, 13], [4], [10], [15], [16], [1], [2] respectively. This paper deals with that problem for the class of finite supersoluble groups i.e. groups with an invariant series all of whose factors are cyclic. In addition, it goes further by describing exactly those values of g for which the bound is attained. More precisely we prove:

In his thesis [1], Hussein considered regular permutations of order 2 and 3 in Sn whose product is an n-cycle. For such a pair, we must have

for some g ≥ 1. Such a permutation pair corresponds to a free cycloidal subgroup of the classical modular group (see, e.g., [3]). Previously the free subgroups and the cycloidal subgroups of fixed genus had been enumerated ([4], [5]).

The purpose of this note is to characterize those Banach lattices (E, ∥·∥) which have the property:

an operator T: E → c0 is a Dunford-Pettis operator if and only if T is regular (*)

(i.e., T is the difference of two positive operators). Our characterization generalizes a theorem recently proved by Holub [6] and Gretsky and Ostroy [4], who have remarked that the space L1[0, 1] has the property (*). The main result presented here is the following theorem.

The Wielandt subgroup ω(G) of a group G is defined to be the intersection of all normalizers of subnormal subgroups of G; the terms of the Wielandt series of G are defined, inductively, by putting ω0(G) = 1 and (ωn+1(G)/ωn(G) = ω(G/ωn(G)). If, for some integer n, ωn(G) = G, then G is said to have finite Wielandt length; the Wielandt length of G being the minimal n such that ωn(G) = G.

In this paper, the situation we shall be concerned with is that of a ring R, with a ring monomorphism α: R → R, which will not be assumed to be surjective.

Much work has been done on the skew polynomial ring R[x, α] and the skew Laurent polynomial ring R[x, x-1, α], where α is an automorphism—see [3] for example. However, the fact that α is not surjective renders the study of these objects much more difficult.