A lattice L is called transferable if and only if, whenever L can be embedded in the ideal lattice I(K) of a lattice K, L can be embedded in K. L is called sharply transferable if and only if, for every lattice embedding ψ(x) , there exists an embedding such that for x, y ϵ L, if and only if x ≤ y. Finite sharply transferable lattices were characterized in [3]. In this paper we extend the characterization to the infinite case. We begin by revising some of the terminology of [3].

1.1. Definition, (a) Let 〈P; ≧〉 be a poset and X, Y ⊆ P. Then X dominates Y (written X Dom Y) if and only if, for every y ∈ F, there exists x ∈ X such that y ∈ x. Dually, X supports Y (written X Spp Y) if and only if, for every y ∈ Y, there exists x ∈ X such that x ≦ y.

In [8] and [9], Krasnosel'skiĭ proved several fundamental fixed point principles for operators leaving invariant a cone in a Banach space. In [11], Nussbaum extended one of the results, the theorem about compression and expansion of a cone, to condensing maps and he applied this theorem to prove the existence of periodic solutions of nonlinear autonomous functional differential equations.

Nussbaum's proof makes an essential use of the difficult Zabreiko and Krasnosel'skiĭ, and Steinlein (mod p)-theorem for the fixed point index [13 -16]. In [6], Fournier and Peitgen proved two different versions of this theorem for completely continuous maps each one being sufficient for Nussbaum's applications. The proofs of these two theorems are much less involved and, although they are different, they make use of the same easier generalized Lefschetz number calculations (see [12] for (mod p) and [5] for compact attractor).

Various aspects of the prime spectrum of a distributive continuous lattice have been discussed extensively in Hofmann-Lawson [7]. This note presents a perhaps optimally direct and self-contained proof of one of the central results in [7] (Theorem 9.6), the duality between distributive continuous lattices and locally compact sober spaces, and then shows how the familiar dualities of complete atomic Boolean algebras and bounded distributive lattices derive from it, as well as a new duality for all continuous lattices. As a biproduct, we also obtain a characterization of the topologies of compact Hausdorff spaces.

Our approach, somewhat differently from [7], takes the open prime filters rather than the prime elements as the points of the dual space. This appears to have conceptual advantages since filters enter the discussion naturally, besides being a well-established tool in many similar situations.

A generalized Riccati transformation will be utilized to derive a Riccati-type inequality (3) associated with a semilinear elliptic inequality yL(y; x) ≦ 0 possessing a positive solution y in an exterior domain in Euclidean n-space. On the basis of (3), general sufficient conditions for the elliptic inequality to be oscillatory are developed in § 3. The matrix of coefficients of the second derivative terms in L(y;x) (i.e. (Aij) in (1)) is not restricted in any way beyond the usual ellipticity hypothesis (iv) below, and thereby one of the difficulties mentioned in [9] and inherent in the method there is resolved. Furthermore, the nonlinear term B﹛x, y) in (1) is not required to be one-signed.

The proof of a main result in [1] concerning (0,1)-endomorphisms of finite lattices is based on properties of lattices A(G) derived from the system of independent sets of an undirected loop-free graph G. For a number of questions naturally arising from [1] and [2], however, constructions employing only graph-induced complementation and properties of the lattices A (G) associated with these are no longer adequate. The present paper introduces cover set lattices (a generalization of the lattices A(G)) to deal with some of these questions. A special case of the main result presented here states that for every (0, 1)-lattice L and any monoid homomorphism φ:M → End0,1(L) there exists a lattice K containing L as a (0, 1)-sublattice in such a way that the monoid End0,1(K) of all (0, 1)-endomorphisms of K is isomorphic to M, and the restriction to L of every (0, 1)-endomorphism m of K is the (0, 1)-endomorphism φ(m) of L.

Homeomorphic embeddings of Knin the m-cube were investigated in [6]. In particular, it was proved that any homeomorph of Kn+1embedded in the m-cube has at least n2edges. Furthermore, homeomorphic embeddings of Kn+1having exactly n2edges are unique up to isomorphism. In this paper a similar problem for the complete bipartite graph is considered.

We adopt the notation and terminology of [5].

All graphs considered are without loops and multiple edges.

Let x = uv be an edge of a graph G; x will be called subdivided if it is replaced by a vertex ω and by edges uω and ωv. A graph G’ is called a subdivision of G if it is obtained from G by a subdivision of an edge of G. A refinement Ĝ of G, is a graph isomorphic to a graph obtained from G by a finite sequence of subdivisions.

In [1], Solovay constructed a model of ZFC in which every set of reals in OD (R) is Lebesgue measurable. Here we construct a model in which every equivalence class of sets of reals modulo null sets that is in OD(R) consists of Lebesgue measurable sets. This result immediately implies Solovay's, since the equivalence class of any set of reals in OD (R) is itself OD (R). As a consequence, one cannot provably explicitly define a nonmeasurable set modulo null sets within ZFC. We do not know whether this holds in the model Solovay uses (where an inaccessible cardinal is collapsed to ω 1). Instead, our model is a generic extension of his model.

In the model we construct, a somewhat stronger statement holds: every set in OD(R) of sets of reals which has < 2C inequivalent elements modulo null sets, consists entirely of Lebesgue measurable sets of reals.

The first infinite-dimensional reflexive Banach space X such that no subspace of X is isomorphic to c0 or lp, 1 ≦ p < ∞, was constructed by Tsirelson [8]. In fact, he showed that there exists a Banach space with an unconditional basis which contains no subsymmetric basic sequence and which contains no superreflexive subspace. Subsequently, Figiel and Johnson [4] gave an analytical description of the conjugate space T of Tsirelson's example and showed that there exists a reflexive Banach space with a symmetric basis which contains no superreflexive subspace; a uniformly convex space with a symmetric basis which contains no isomorphic copy of lp, 1 < p < ∞; and a uniformly convex space which contains no subsymmetric basic sequence and hence contains no isomorphic copy of lp, 1 < p < ∞. Recently, Altshuler [2] showed that there is a reflexive Banach space with a symmetric basis which has a unique symmetric basic sequence up to equivalence and which contains no isomorphic copy of lp, 1 < p < ∞.

Let G be a lattice-ordered group (l-group). If X ⊆ G, then let

Then X’ is a convex l-subgroup of G called a polar. The set P(G) of all polars of G is a complete Boolean algebra with ‘ as complementation and set-theoretic intersection as meet. An l-subgroup H of G is large in G (G is an essential extension of H) if each non-zero convex l-subgroup of G has non-trivial intersection with H. If these l-groups are archimedean, it is enough to require that each non-zero polar of G meets H. This implies that the Boolean algebras of polars of G and H are isomorphic. If K is a cardinal summand of G, then K is a polar, and we write G = K⊞K'.

In generalized Riemann integration theory it is becoming increasingly clear that a particular collection of sets has some properties of a topology; it is a useful topology when general requirements hold, and the present paper examines the background. Thomson [23, 24] altered my original theory of the variation and Riemann-type integration that has Lebesgue properties, defining the variation of a function of interval-point pairs over the whole of a space T by using partial divisions of T instead of divisions covering T entirely, and also defining a Lebesgue-type integral. His reason might have been that a decomposable division space seems impossible in a general compact or locally compact space. McGill mentioned this to me, and in [15] connected Thomson's setting with topological measure and Topsøfe [25], giving an interesting theorem on the variation of the limit of a monotone increasing generalized sequence of open sets.

The aim of this paper is the characterization of PSL(2, 31) in terms of its action on a certain polygonal graph. A polygonal graph is a pair (, ) consisting of a graph which is regular, connected and has girth m for some m ≧ 3, and a set of m-gons (circuits of length m) of such that every 2-claw (i.e. path of length 2) of is contained in a unique element of , (See Section 2 for the definitions of the terms used here.) If is the set of all m-gons of H, so that there is in a unique m-gon on every one of its 2-claws, then we write for (, ) and call a strict polygonal graph. If we wish to emphasize the integer m, then we call (, ) an m-gon-graph (respectively, a strict m-gon-graph). For convenience, a strict 5-gon-graph will be called a pentagraph.

Almost free groups were introduced in [9] as groups all of whose “small” subgroups are free. Here “small” means generated by fewer elements than the cardinality of the group. This concept is a generalization of locally free. Suppose κ is a cardinal > ω. A group is κ-free if every subgroup generated by fewer than κ elements is free. A group of cardinality κ which is κ-free is almost free. There are two related concepts which are closer approximations to freeness.

Let K be a number field, K(1) its Hilbert class field, that is, the maximal abelian unramified extension of K, let K(2) be the Hilbert class field of K(1), and let G = Gal(K(2)/K) (alternatively, for p a prime the first and second p class fields enjoy properties analogous to those of the respective class fields discussed in this introduction; the particulars may be found surrounding Lemma 2). Since G/G’ is the largest abelian quotient of G, G/G′ = Gal (K(1))/K) and so G’ is the abelian group Gal(K(2)K(1)); moreover, class field theory provides (Artin) maps φK, φK(1) which are isomorphisms of the class groups Ck, Ck(1) onto G/G′, G′ respectively. In the remarkable paper [1] E. Artin computed the composition VG′

where e is the homomorphism induced on the class groups by extending ideals of K to ideals of K(1), and he gave a formula for computing VG′, the now familiar transfer (Verlagerung) homomorphism, in terms of the group G alone (see Lemma 1).

If R is a ring an R-module M is called compressible when it can be embedded in each of its non-zero submodules; and M is called monoform if each partial endomorphism N → M, N ⊆ M, is either zero or monic. The ring R is called (left) weakly primitive if it has a faithful monoform compressible left module. It is known that a version of the Jacobson density theorem holds for weakly primitive rings [4], and that weak primitivity is a Mori ta invariant and is inherited by a variety of subrings and matrix rings. The purpose of this paper is to show that weak primitivity is preserved under formation of polynomials, rings of quotients, and group rings of torsion-free abelian groups. The key result is that R[x] is weakly primitive when R is (Theorem 1).

Let X be a compact set in Cn, and let ƒ1, …, ƒm, m ≧ n, be continuous, complex-valued functions on X which have C1 extensions to some neighborhood of X. We wish to describe the algebra A of continuous complex-valued functions on X which can be approximated uniformly by polynomials in the functions z1 …, zn, ƒ1 …, ƒm. For this purpose we introduce the sets

and

This paper studies sequential order convergence and the associated completion in vector lattices of continuous functions. Such a completion for lattices C(X) is related to certain topological properties of the space X and to ring properties of C(X). The appropriate topological condition on the space X equivalent to this type of completeness for the lattice C(X) was first identified, for compact spaces X, in [6]. This condition is that every dense cozero set S in X should be C*-embedded in X (that is, all bounded continuous functions on S extend to X). We call Tychonoff spaces X with this property quasi-F spaces (since they generalize the F-spaces of [12]).

In Section 1, the notion of a completion with respect to sequential order convergence is first described in the setting of a commutative lattice group G.

Soit R un anneau et soit Gop un sous groupe de Aut (R). Formons l'anneau de groupe à gauche (“skew group ring”) RSG, en imposant, sur le module libre à gauche avec une base G, la multiplication rg = grg. (On écrit Gop au lieu de G car, si G < Inn (R) = le groupe d'automorphismes intérieurs, la condition g–rg = rg; implique que le homomorphisme naturel est vraiment un anti-homomorphisme).

Nous considérons le cas où R = MnF, F un corps, MnF l'anneau de matrices, d'ordre n, et Gop un sous-groupe (généralement) fini, de PGL(n, F) = Inn (R). Ce travail est consacré à l'étude de la simplicité de RSG.

In this paper, we consider the class of groups G(l, m; k) which are defined by the presentation

where k, l, m are integers, and |l| > m > 0, k > 0. Groups in this class possess many properties which seem unusual, especially for one-relator groups. The basis for the results obtained below is the determination of endomorphisms.

For certain of the groups, we are able to calculate their automorphism groups. One consequence of this is to produce examples of one-relator groups with infinitely generated automorphism groups. This answers a question raised by G. Baumslag (in a colloquium lecture at the University of Waterloo). Our examples are, perhaps, the simplest possible; J. Lewin [10] has found an example of a finitely presented group with an infinitely generated automorphism group.

Absolute C-embeddings have been studied extensively by C. E. Aull. We will use his notation P = C[Q] to mean that a space satisfying property Q is C-embedded in every space having property Q that it is embedded in if (and only if) it has property P. The first result of this type is due to Hewitt [5] where he proves that if Q is “Tychonoff” then P is almost compactness. Aull [2] proves that if Q is “T4 and countable pseudocharacter” or “T4 and first countable” then P is “countably compact”. In this paper we show that P is almost compactness if Q is “Tychonoff” and any of countable pseudocharacter, perfect, or first countability. Unfortunately for the last case we require the assumption that . Finally we show that P is countable compactness if Q is Tychonoff and “closed sets have a countable neighborhood base”. In each of the above results C-embedding may be replaced by C*-embeddings and the results hold if restricted to closed embeddings.

An n-knot (Sn+2, Sn) is amphicheiral if there is an orientation reversing autohomeomorphism of Sn+2 leaving Sn invariant as a set. It is invertible if there is an orientation preserving autohomeomorphism of Sn+2 whose restriction to Sn is an orientation reversing autohomeomorphism of Sn onto itself. In 1961 Fox [8, Problem 35] asked if there exist non-amphicheiral locally flat 2-knots. We will prove the following THEOREM 1. For any integer n there are smooth n-knots which are neither amphicheiral nor invertible.

A knot (Sn+2, Sn) is + amphicheiral (resp. —amphicheiral) if there is an orientation reversing autohomeomorphism f of Sn+2 leaving Sn invariant such that f| Snpreserves (resp. reverses) orientation.