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

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.

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.

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

Let X be a complex Banach space. For any bounded linear operator T on X, the (spatial) numerical range of T is denned as the set

If V(T) ⊆ R, then T is called hermitian. Vidav and Palmer (see Theorem 6 of [3, p. 78] proved that if the set {H + iK:H and K are hermitian} contains all operators, then X is a Hilbert space. It is natural to ask the following question.

The aim of this work is to present a new approach to the concept of essential Fredholm complex of Banach spaces ([10], [2]; see also [11], [4], [6], [7] etc. for further connections), by using non-linear homogeneous mappings. We obtain some generalized homotopic properties of the class of essential Fredholm complexes, in our sense, which are then applied to establish its relationship with similar concepts. We also prove the stability of this class under small perturbations with respect to the gap topology.

Free monoids play a central role in the theory of formal languages. Their endomorphisms appear naturally in the context of deterministic OL-schemes which trace their origin to biology. Closely related to such a scheme is a DOL-system which consists of a triple (X, φ, w) where X is a finite set, φ is an endomorphism of the free monoid X* and w ∈ X. The associated language is defined as the set {w, φw, φ2w,…} called a DOL-language. For a full discussion of this subject, we recommend the book [2] by Herman and Rozenberg.

In the literature there are several generalisations to non-commutative rings of the notion of a unique factorisation domain from commutative algebra. This paper follows in the spirit of [1, 3] and is set in the context of Noetherian rings. In [3], A. W. Chatters and the author denned a Noetherian UFR (unique factorisation ring) to be a prime Noetherian ring R in which every non-zero prime ideal contains a prime ideal generated by a non-zero normal element p, that is, by an element p such that pR = Rp. The class of Noetherian UFRs includes the Noetherian UFDs studied by Chatters in [1], while a commutative Noetherian ring is a UFR if and only if it is a UFD in the usual sense. For a Noetherian UFR R, the following are simple consequences of the definition:

(i) every non-zero ideal of R contains a non-zero normal element;

(ii) the set N(R) of non-zero normal elements of R is a unique factorisation monoid in the sense of [4, Chapter 3].

We shall extend results of Samuel [19] and Griffin [8, 9] about conditions which generalise the notion of valuation domain in a field. Let U be a commutative ring with identity, R a subring of U and L an R-submodule of U. The conditions we study have in common the property (EV), that the submodules L:x (x ∈ U) form a chain. We pay particular attention to the strongest of the conditions, viz, that L be a Manis valuation (MV) subring, i.e. having a prime ideal P such that (L, P) is a maximal pair in U (see [19], [16] and e.g. [4]). Such P is unique, being the union of all L:x such that x ∉ L, which we call P+(L) the centre of L. This set P+ plays a key role in the study of all our valuation conditions.

In this note, we give an elementary procedure for constructing n-root closed integral domains. We then use this construction to give two interesting examples. First, we give an example of a root closed integral domain which is not quasinormal. Secondly, we show that for any subset 5 of odd positive primes there is a one-dimensional affine domain which is p-root closed for a prime p if and only if p ∈ S.