We prove that every locally finite, congruence modular, minimal variety is minimal as a quasivariety. We also construct all finite, strictly simple algebras generating a congruence distributive variety, such that the sett of unary term perations forms a group. Lastly, these results are applied to a problem in algebraic logic to give a sufficient condition for a deductive system to be structurally complete.

Let X, Y be compact Hausdorff spaces and E, F be Banach spaces. A linear map T: C(X, E) → C(Y, F) is separating if Tf, Tg have disjoint cozeroes whenever f, g have disjoint cozeroes. We prove that a biseparating linear bijection T (that is, T and T-1 are separating) is a weighted composition operator Tf = h · f o ϕ. Here, h is a function from Y into the set of invertible linear operators from E onto F, and ϕ, is a homeomorphism from Y onto X. We also show that T is bounded if and only if h(y) is a bounded operator from E onto F for all y in Y. In this case, h is continuous with respect to the strong operator topology.

We give a short proof that skew Room squares exist for all odd sides s exceeding 5.

Central Sidon sets and central ∧p sets are defined and equivalent characterizations are given. It is shown that a central Sidon set with an upper bound on the degrees of its elements is a ∧p set (1 < p < ∞ ). The bound on the degrees is shown to be necessary by an example.

Let ℳ be a von Neumann algebra with a faithful normal trace τ, and let H∞ be a finite, maximal. subdiagonal algebra of ℳ. We prove that the Hilbert transform associated with H∞ is a linear continuous map from L1 (ℳ, τ) into L1.∞ (ℳ, τ). This provides a non-commutative version of a classical theorem of Kolmogorov on weak type boundedness of the Hilbert transform. We also show that if a positive measurable operator b is such that b log+b ∈ L1 (ℳ, τ) then its conjugate b, relative to H∞ belongs to L1 (ℳ, τ). These results generalize classical facts from function algebra theory to a non-commutative setting.

The class of all uniformly strongly prime rings is shown to be a special class of rings which generates a radical class which properly contains both the right and left strongly prime radicals and which is independent of the Jacobson and Brown-McCoy radicals.

It is well known that Wald's Fundamental Identity (F.I.) in sequential analysis can be used to derive approximate (and, sometimes exact) results in most situations wherein we have essentially a random walk phenomenon. Bartlett [2] used it for the gambler's ruin problem and also for a simple renewal problem. Phatarfod [18] used it for a problem in dam theory. It is the purpose of this paper to show how a generalization of the Fundamental Identity to Markovian variables, (Phatarfod [19]) can be used to derive approximate results in some problems in dam and renewal theories where the random variables involved have Markovian dependence. The reason for considering both the theories together is that the models usually proposed for both the theories — input distribution for dam theory, and lifedistribution for renewal theory — are similar, and only a slight modification (to account for the ‘release rules’ in dam theory, plus the fact that we have two barriers) is necessary to derive results in dam theory from those of renewal theory.

Matching theorems, fixed point theorems and minimax inequalities are obtained in H-spaces which generalize the corresponding results of Bae-Kim-Tan, Browder, Fan, Horvath, Kim, Ko-Tan, Shih-Tan, Takahashi, Tan and Tarafdar to non-compact and/or non-convex settings.

Hawkes showed in [10] that classes of metanilpotent groups which are both formations and Fitting classes are saturated and subgroup closed; more, he characterized all such classes as those local formations with a local definition consisting of saturated formations (of nilpotent groups). In [3] we showed that those “Fitting formations” which are subgroup closed are also saturated, without restriction on nilpotent length; indeed such classes are, roughly speaking, recursively definable as local formations using a local definition consisting of such classes. It is natural to ask how these hypotheses may be weakened yet still produce the same classes of groups. Already in [10] Hawkes showed that Fitting formations need be neither subgroup closed nor saturated; and in [3] we showed that a saturated Fitting formation need not be subgroup closed (though a Fitting formation of groups of nilpotent length three is saturated if and only if it is subgroup closed).

By a linear canonical system we mean a system of linear differential equations of the form where J is an invertible skew-Hermitian matrix and H(t) is a continuous Hermitian matrix valued function. We reserve the name Hami1tonia for real canonical systems with where Ik denotes the k × k unit matrix. In recent years the stability properties of Hamiltonian systems whose coefficient matrix H(t) is periodic have been deeply investigated, mainly by Russian authors ([2], [3], [5], [7]). An excellent survey of the literature is given in [6]. The purpose of the present paper is to extend this theory to canonical systems. The only work which we know of in this direction is a paper by Yakubovič [9].

The aim of this note is to give an analogue, for an inverse semigroup S, of the theorem for a group G which says that if G is the set of normal subgroups of G, then the map N → (N) = {(a, b) ∈ G x G: ab-1 ∈ N}; for N ∈ G is a 1: 1 order preserving map of G onto ∧(G), the lattice of congruences on G. It will be shown that if E is the semilattice of idempotents of S, P = {E: α ∈ J} is a normal partition of E, and K is a certain collection of self conjugate inverse subsemigroups of S, then the map K →(X) = {(a, b)∈ S x S: a-la, b-1b∈ Eα for some α ∈ J and ab-l ∈ K) for K e Jf is a 1:1 map of K onto the set of congruences on S which induce P.

Our title has become something of a misnomer, however we retain it since drafts of this note have been quoted with it.

Let Gbe a primitive permutation group on a finite set Ω. We investigate the subconstitutents of G, that is the permutation groups induced by a point stabilizer on its orbits in Ω, in the cases where Ghas a diagonal action or a product action on Ω. In particular we show in these cases that no subconstituent is doubly transitive. Thus if G has a doubly transitive subconstituent we show that G has a unique minimal normal subgroup N and either N is a nonabelian simple group or N acts regularly on Ω: we investigate further the case where N is regular on Ω.

We introduce perfect effect algebras and we show that every perfect algebra is an interval in the lexicographical product of the group of all integers with an Abelian directed interpolation po-group. To show this we introduce prime ideals of effect algebras with the Riesz decomposition property (RDP). We show that the category of perfect effect algebras is categorically equivalent to the category of Abelian directed interpolation po-groups. Moreover, we prove that any perfect effect algebra is a subdirect product of antilattice effect algebras with the RDP.

Paterson showed how to construct an étale groupoid from an inverse semigroup using ideas from functional analysis. This construction was later simplified by Lenz. We show that Lenz’s construction can itself be further simplified by using filters: the topological groupoid associated with an inverse semigroup is precisely a groupoid of filters. In addition, idempotent filters are closed inverse subsemigroups and so determine transitive representations by means of partial bijections. This connection between filters and representations by partial bijections is exploited to show how linear representations of inverse semigroups can be constructed from the groups occurring in the associated topological groupoid.

The purpose of this paper is to provide a detailed treatment of the behaviour of essential spectra of closed densely defined linear operators subjected to additive perturbations not necessarily belonging to any ideal of the algebra of bounded linear operators. If A denotes a closed densely defined linear operator on a Banach space X, our approach consists principally in considering the class of A-closable operators which, regarded as operators in ℒ(XA, X) (where XA denotes the domain of A equipped with the graph norm), are contained in the set of A-Fredholm perturbations (see Definition 1.2). Our results are used to describe the essential spectra of singular neutron transport equations in bounded geometries.

This paper shows that every lattice group G can be densely embedded in a unique laterally complete lattice group H (the lateral completion of G). All reasonable structure properties of G are inherited by H and we have the following relationships between the ideal radical L(G), the distributive radical D(G) and the radical R(G) of G and the corresponding radicals of H. .

We study DeLeeuw type theorems for certain multilinear operators on the Lebesgue spaces and on the Hardy spaces. As applications, on the torus we obtain an analog of Lacey—Thiele's theorem on the bilinear Hilbert transform, as well as analogies of some recent theorems on multilinear singular integrals by Kenig—Stein and by Grafakos—Torres.

We establish a spectral characterization theorem for the operators on complex Hilbert spaces of arbitrary dimensions that attain their norm on every closed subspace. The class of these operators is not closed under addition. Nevertheless, we prove that the intersection of these operators with the positive operators forms a proper cone in the real Banach space of hermitian operators.

A relationship between symplectic geometry and information geometry is studied. The square of a dually flat space admits a natural symplectic structure that is the pullback of the canonical symplectic structure on the cotangent bundle of the dually flat space via the canonical divergence. With respect to the symplectic structure, there exists a moment map whose image is the dually flat space. As an example, we obtain a duality relation between the Fubini–Study metric on a projective space and the Fisher metric on a statistical model on a finite set. Conversely, a dually flat space admitting a symplectic structure is locally symplectically isomorphic to the cotangent bundle with the canonical symplectic structure of some dually flat space. We also discuss nonparametric cases.