In his book Transversal Theory [3], L. Mirsky has remarked that “At present, the relation between Dilworth's decomposition theorem…and transversal theory is rather tenuous; but further study may reveal unexpected connections”. Some of these connections can perhaps now be seen a little more clearly; and our purpose in this note is to make one or two observations in this regard. Throughout, all sets considered are finite.

Let L = L( +, v, ＾) be a lattice-ordered group, or l-group (Birkhoff [1, p. 214]). Two elements a and b of L will be called disjoint if a > 0, b > 0, and a ＾; b = 0. It is easily seen that if L does not contain two disjoint elements, then it is linearly ordered (and, of course, conversely). What can we say about Z-groups containing two but not more than two mutually disjoint elements?

Let Aand B be linearly ordered groups (o-groups), and let A ⋏ B be the cardinal sum of A and B. That is, A ⋏ B is the direct sum of A and B, and (a, b) is positive in A + B if and only if a is positive in A and b is positive in B. An l-group L containing A ⋏ B as a convex normal subgroup (or Z-ideal) is called a lexico-extension of A ⋏ B if every positive element of L not in A ⋏ B exceeds every element of A ⋏ B. It then follows (subsection 2.9 below) that L/(A ⋏ B) is an o-group. Such an l-group L is easily seen to satisfy the following condition: (D)

There exists a pair of disjoint elements in L, but no triple of pairwise disjoint elements exists in L.

Let G be a group. We denote the Whitehead group of G by Wh G and the projective class group of the integral group ring ℤ(G) of G by . Let α be an automorphism of G and T an infinite cyclic group. Then we denote by G ×αT the semidirect product of G and T with respect to α. For undefined terminologies used in the paper, we refer to [3] and [7].

The aim of this paper is to discuss some relations among hereditary, strong and stable radicals. In particular we investigate hereditariness of lower strong and stable radicals. Some facts obtained are related to some results and questions of [2, 6, 7].

All rings in the paper are associative. Fundamental definitions and properties of radicals may be found in [9]. Definitions of hereditary and strong radicals are used as in Sands [7]. We say that a radical S is left (right) stable if

(ρ): for every ring R and every left (right) ideal I of R it follows S(I)⊆S(R).

This paper is a continuation of [3] in which some inequalities for the Schatten p-norm were considered. The purpose of the present paper is to improve some inequalities in [3] as well as to give more inequalities in the same spirit.

Let H be a separable, infinite dimensional complex Hilbert space, and let B(H) denote the algebra of all bounded linear operators acting on H. Let K(H) denote the closed two-sided ideal of compact operators on H. For any compact operator A, let |A| = (A*A)½ and s1(A), s2(A),… be the eigenvalues of |A| in decreasing order and repeated according to multiplicity. A compact operator A is said to be in the Schatten p-class Cp(1 ≤ p < ∞), if Σ s1(A)p < ∞. The Schatten p-norm of A is defined by ∥A∥p = (Σ si(A)p)1/p. This norm makes Cp into a Banach space. Hence C1 is the trace class and C2 is the Hilbert-Schmidt class. It is reasonable to let C∞ denote the ideal of compact operators K(H), and ∥.∥∞ stand for the usual operator norm.

Walker [11] describes a new class of translation planes W(q) of order q2, q ≡ 5(mod 6), with kernel GF(q). A plane in this class has several interesting properties, but we shall be only interested in the following ones possessed by its collineation group G: (i) G is transitive on the affine points of W(q), and (ii) G fixes a point the line at infinity of W(q), and is transitive on the other points of l∞ The smallest member of this class, W(5), also satisfies: (iii) for an affine point the subgroup G is transitive on the affine points ≠ of the line Note also that since W(5) is a translation plane, replacing G with G in (ii) we get a fourth property, call it (iv), satisfied by G. (See Lemma 2.)

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.

A Riesz operator is a bounded linear operator on a Banach space which possesses a Riesz spectral theory. These operators have been studied in [5] and [6]. In §2 of this paper we characterise Riesz operators in terms of their resolvent operators. In [6] it was shown that every Riesz operator on a Hilbert space can be decomposed into the sum of compact and quasi-nilpotent parts. §3 contains an example to show that these parts cannot, in general, be chosen to commute. In §4 the eigenset of a Riesz operator is defined. It is a sequence of quadruples each of which consists of an eigenvalue, the corresponding spectral projection, index and nilpotent part. This sequence satisfies certain obvious conditions, and the question arises of the existence of a Riesz operator which has such a sequence as its eigenset. We give an example of an eigenset which has no corresponding Riesz operator.

In this note a characterization of subnormality of operators on Hilbert space is given. The characterization is in terms of a sequence of polynomials in the operator and its adjoint reminiscent of the binomial expansion in commutative algebras. As such no external Hilbert spaces are needed, nor is it necessary to introduce forms dependent on arbitrary sequences of vectors from the Hilbert space.

Throughout this paper all rings are assumed commutative with identity. Among integral domains, Dedekind domains are characterized by the property that every ideal is a product of prime ideals. For a history and proof of this result the reader is referred to Cohen [2, pp. 31–32]. More generally, Mori [5] has shown that a ring has the property that every ideal is a product of prime ideals if and only if it is a finite direct product of Dedekind domains and special principal ideal rings (SPIRS). Rings with this property are called general Z.P.I.-rings.

In this note I show that

where Jdenotes the Bessel function of the first kind of the orders and arguments indicated, n = 0, 1, 2, 3, … and the real parts of both μand v exceed — 1. This is a generalization of Sonine's first finite integral [1, p. 373] to which it reduces in the special case n = 0.

In § 2 a number of infinite series of E-functions are summed by expressing the E-functions as Barnes integrals and interchanging the order of summation and integration.

The Barnes integral employed is

where | amp z | < π and the integral is taken up the η;-axis, with loops, if necessary, to ensure that the origin lies to the left of the contour and the points α1, α2,… αp to the right of the contour. Zero and negative integral values of the α's and p's are excluded, and the α's must not differ by integral values. When p < q + 1 the contour is bent to the left at each end.

Our main purpose is to describe those separated locally convex spaces which can serve as domain spaces for a closed graph theorem in which the range space is an arbitrary Banach space of (linear) dimension at most c, the cardinal number of the real line R. These are the δ-barrelled spaces which are considered in §4. Many of the standard elementary Banach spaces, including in particular all separable ones, have dimension at most c. Also it is known that an infinite dimensional Banach space has dimension at least c (see e.g. [8]). Thus if we classify Banach spaces by dimension we are dealing, in a natural sense, with the first class which contains infinite dimensional spaces.

If R is a local (Noetherian) ring, it is well known that R is regular if and only if its completion is regular. It is the purpose of this note to show that a similar result is true for Noether lattices.

In this note we formally solve the following dual integral equations:

where h is a constant and the Fourier cosine transform of u–1 φ(u) is assumed to exist. These dual equations arise in a crack problem in elasticity theory.

It is sometimes possible to reconstruct semigroups from some of their homomorphic images. Some recent examples have been the construction of bisimple inverse semigroups from fundamental bisimple inverse semigroups [9], and the construction of generalized inverse semigroups from inverse semigroups [12].

One of the fundamental results of representation theory is the identification of the irreducible representations of a semisimple group by their dominant weights [3]. The purpose of this paper is to establish similar results for a class of reductive algebraic monoids.

Let k be an algebraically closed field. An algebraic monoid is an affine algebraic variety M defined over k, together with an associative morphism m:M × M → M and a two-sided unit 1 ∈ M for m.

Linear spaces on which both an order and a topology are defined and related in various ways have been studied for some time now. Given an order on a linear space it is sometimes possible to define a useful topology using the order and linear structure. In this note we focus on a special type of space called a linear lattice and determine those lattice properties which are both necessary and sufficient for the existence of a classical norm, called an M-norm, for the lattice. This result is a small step in a program to determine which intrinsic order properties of an ordered linear space are necessary and sufficient for the existence of various given types of topologies for the space. This study parallels, in a certain sense, the study of purely topological spaces to determine intrinsic properties of a topology which make it metrizable and the study of the relation between order and topology on spaces which have no algebraic structure, or. algebraic structures other than a linear one.