We give a revised and updated exposition of the theory of full dualities initiated by Clark, Davey, Krauss and Werner, introducing the (stronger) notion of a strong duality. All known full dualities turn out to be strong. A series of theorems which provide necessary and sufficient conditions for a strong duality to exist is proved. All full dualities in the literature can be obtained from these results and many new strong dualities can be derived. In particular, we show that within congruence distributive varieties every duality can be upgraded to a strong duality. Amongst the new strong dualities are the dualities of Davey, Priestley and Werner for the varieties of pseudocomplemented distributive lattices which are either strong as they stand or can easily be made strong by the addition of partial operations to the dual structures.

In this paper priority queues with K classes of customers with a preemptive repeat and a preemptive resume policy are considered. Customers arrive in independent Poisson processes, are served, within classes, in order of arrival, and have general requirements for service. Transforms of stationary waiting time and queue size distributions and busy period distributions are obtained for individual classes and for the system; the moments of the distributions are considered.

It is shown that every boolean right near-ring R is weakly commutative, that is, that xyz = xzy for each x, y, z ∈ R. In addition, an elementary proof is given of a theorem due to S. Ligh which states that a d.g. boolean near-ring is a boolean ring. Finally, a characterization theorem is given for a boolean near-ring to be isomorphic to a particular collection of functions which form a boolean near-ring with respect to the customary operations of addition and composition of mappings.

Among all possible semiregular continued fraction expansions of an irrational number the one with the best approximation properties, in a well-defined and natural sense, is determined. Some properties of this so called optimal continued fraction expansion are described.

Let C be a small category with weak finite limits, and let Flat(C) be the category of flat functors from C to the category of small sets. We prove that the free exact completion of C is the category of set-valued functors of Flat (C) which preserve small products and filtered colimits. In case C has finite limits, this gives A. Carboni and R. C. Magno's result on the free exact completion of a small category with finite limits.

We exhibit a variation of the Lazard Elimination theorem for free restricted Lie algebras, and apply it to two problems about finite group actions on free Lie algebras over fields of positive characteristic.

We show that stochastic compactness of partial sums with no normal limit distribution corresponds to stochastic compactness of the point processes generated by the observations so that there exist joint limit distributions for the sample sums and the sample maxima.

The objective of the paper Aczél and Ostrowski (1973) is to show in an elementary way that any real-valued function f, defined on (0,1) and satisfying he inquality , where n ≧ 3 is fixed, is necessary of the form .

The interrelationships between norm convergence and two forms of convergence defined in terms of order, namely order and relative uniform convergence are considered. The implications between conditions such as uniform convexity, uniform strictness, uniform monotonicity and others are proved. In particular it is shown that a σ-order continuous, σ-order complete Banach lattice is order continuous.

1980 Mathematics subject classification (Amer. Math. Soc.): 46 A 40.

The present paper deals with two inequalities which resemble Copson's integral inequalities. From our theorems, we obtain two interesting corollaries.

In this paper we first show that for a locally compact amenable group $G$, every proper abstract Segal algebra of the Fourier algebra on $G$ is not approximately amenable; consequently, every proper Segal algebra on a locally compact abelian group is not approximately amenable. Then using the hypergroup generated by the dual of a compact group, it is shown that all proper Segal algebras of a class of compact groups including the $2\times 2$ special unitary group, $\mathrm{SU} (2)$, are not approximately amenable.

In this paper, we obtain some trace inequalities for arbitrary finite positive definite operators. Finally an open question is presented.

Iseki [11] defined a general notion of ergodicity suitable for functions ϕ: J → X where J is an arbitrary abelian semigroup and X is a Banach space. In this paper we develop the theory of such functions, showing in particular that it fits the general framework established by Eberlein [9] for ergodicity of semigroups of operators acting on X. Moreover, let A be a translation invariant closed subspace of the space of all bounded functions from J to X. We prove that if A contains the constant functions and ϕ is an ergodic function whose differences lie in A then ϕ ∈ A. This result has applications to spaces of sequences facilitating new proofs of theorems of Gelfand and Katznelson-Tzafriri [12]. We also obtain a decomposition for the space of ergodic vectors of a representation T: J → L(X) generalizing results known for the case J = Z+. Finally, when J is a subsemigroup of a locally compact abelian group G, we compare the Iseki integrals with the better known Cesàro integrals.

Focussing on complete regularity, we discuss the separation properties of bitopological spaces. The unifying concept is that of separation by a pair of bases (B1, B2) for the closed sets of a bitopological space (S, J1, J2). For various separation properties a characterization is presented in terms of separation by a pair of closed bases. This is extended to results concerning pairs of subbases. Here the notion of screening by pairs of subbases plays a central role and the characterization of complete regularity in a natural way fits in between those of regularity and normality. In the key lemma the relation with quasi-proximities is exhibited.

Given a vector field on a manifold $M$, we define a globally conserved quantity to be a differential form whose Lie derivative is exact. Integrals of conserved quantities over suitable submanifolds are constant under time evolution, the Kelvin circulation theorem being a well-known special case. More generally, conserved quantities are well behaved under transgression to spaces of maps into $M$. We focus on the case of multisymplectic manifolds and Hamiltonian vector fields. Our main result is that in the presence of a Lie group of symmetries admitting a homotopy co-momentum map, one obtains a whole family of globally conserved quantities. This extends a classical result in symplectic geometry. We carry this out in a general setting, considering several variants of the notion of globally conserved quantity.

Suppose KG is a prime nonsingular group algebra with uniform right ideals. We show that G has no nontrivial locally finite normal subgroups. If G is soluble or residually finite, or if K has zero characteristic and G is linear, then the maximal right quotient ring of KG is simple Artinian.

An example of two disjoint special classes whose upper radicals coincide is presented. It is shown that the left hereditary subradical of the hereditary idempotent radical is right hereditary. An example of a hereditary and principally left hereditary radical which is not left hereditary is constructed.

We give an improved bound for the order of a p-group enjoying the title property. We also point out relations between the upper central series of a p-group and of its maximal subgroups.

A lattice-ordered power series algebra of a totally ordered field over a rooted abelian group may be constructed in a way that is arbitrary only in requiring that a factor set be chosen in the field and an extended total order be chosen on the group modulo its torsion subgroup. The resulting algebra is a field if and only if the subalgebra of elements with torsion support form a field. It follows that if the torsion subgroup may be independently embedded in the algebraic closure of the totally ordered field, or if the resulting algebra has no zero-divisors, then the algebra is a field. The set of supporting subsets for the power series may be characterized abstractly in such a way that previous representation theorems of lattice-ordered fields into power series algebras may be applied to produce representations into power series fields.

For every group G, the set $\mathcal {P}(G)$ of its subsets forms a semiring under set-theoretical union $\cup $ and element-wise multiplication $\cdot $, and forms an involution semigroup under $\cdot $ and element-wise inversion ${}^{-1}$. We show that if the group G is finite, non-Dedekind, and solvable, neither the semiring $(\mathcal {P}(G),\cup ,\cdot )$ nor the involution semigroup $(\mathcal {P}(G),\cdot ,{}^{-1})$ admits a finite identity basis. We also solve the finite basis problem for the semiring of Hall relations over any finite set.