Given a suitable regular ring R, we construct a sheaf-like representation for R as a ring of continuous sections from a completely regular space to an appropriately toplogized disjoint union of factor rings corresponding to ‘'extremal“ pseudo-rank functions. Applied to rings which are complete with respect to a rank function this representation is an isomorphism, the completely regular space is extremally disconnected and compact, and the * ‘stalks” are the simple factor rings.

A well known result in the theory of Lie algebras, due to H. Zassenhaus, states that if is a finite dimensional Lie algebra over the field K such that the killing form of is non-degenerate, then the derivations of are all inner, [3, p. 74]. In particular, this applies to the finite dimensional split simple Lie algebras over fields of characteristic zero. In this paper we extend this result to a class of Lie algebras which generalize the split simple Lie algebras, and which are defined by Cartan matrices (for a definition see § 1). Because of the fact that the algebras we consider are usually infinite dimensional, the method we employ in our investigation is quite different from the standard one used in the finite dimensional case, and makes no reference to any associative bilinear form on the algebras.

A topological space X is said to be collectionwise Hausdorff if every discrete collection of points of X can be simultaneously separated by a collection of pairwise disjoint open sets. The question of whether there exists a collectionwise Hausdorff, non-normal Moore space was first asked by R. L. Moore. In 1964, J. M. Worrell announced that such a space did indeed exist (see [7]), but his proof has never appeared in print.

Operators in L2, or more generally, Lp spaces, which are generated by differential expressions, have had extensive study. More recently some authors, in particular Krall [3; 4; 5; 6; 7], Kim [2], and Krall and Brown [8], have studied operators which are generated by a differential expression plus an additional term. This additional term is of the nature of a perturbation of the differential expression by an operator with finite dimensional range. However even if the basic operator is specifically of the form of a finite dimensional perturbation of a differential operator, this is not true of the adjoint, since the boundary conditions which arise on the adjoint are not appropriate to the adjoint of the differential operator alone.

If L is an Archimedean Riesz space and M an ideal in the order dual of L, the subset A of L is called M-equicontinuous if and only if each monotone decreasing sequence of positive elements of M is uniformly Cauchy on A.

In a recent paper, Wielandt has continued his investigation of subnormal subgroups. Since the analogous concept is also of interest in Lie algebras, this note considers the Lie algebra counterparts to Wielandt's results. Generally the results do not carry over to all Lie algebras, but do hold in the solvable case. In order to state the main results, several definitions are needed and consequently we begin by listing some of the consequences. All Lie algebras considered here are finite dimensional over a field.

Mares [9] has called a projective module semiperfect if every homomorphic image has a projective cover and has shown that many of the properties of semiperfect rings can be extended to these modules. More recently Zelmanowitz [16] has called a module regular if every finitely generated submodule is a projective direct summand. In the present paper a class of semiregular modules is introduced which contains all regular and all semiperfect modules. Several characterizations of these modules are given and a structure theorem is proved. In addition several theorems about regular and semiperfect modules are extended.

Tutte [1], writing under a pseudonym, was the first to prove that a graph with a large chromatic number need not contain a triangle. The result was rediscovered by Zykov [5] and Mycielski [4]. Erdös [2] proved the much stronger result that for every k ≧ 2 and g there exist a k-chromatic graph whose girth is at least g.

N. R. Reilly has obtained an algebraic characterization of the compatible tight Riesz orders that can be supported by certain partially ordered groups [13; 14]. The purpose of this paper is to give a “geometric“ characterization by the use of ordered permutation groups. Our restrictions on the partially ordered groups will likewise be geometric rather than algebraic. Davis and Bolz [3] have done some work on groups of all order-preserving permutations of a totally ordered field; from our more general theorems, we will be able to recapture their results.

In a recent important paper of Goldschmidt [3], all finite simple groups were determined in which a non-trivial abelian 2-subgroup controls 2-fusion. Our purpose here is to present a straightforward application of this deep result to the following general question: If p is a prime and G is a finite group of order not divisible by p which admits an automorphism σ of order pn, what conditions on the fixed point subgroup CG(σ) will ensure that G is solvable?

A locally convex Hausdorff topological vector space is said to be quasicomplete if closed bounded subsets of the space are complete, and von Neumann complete if closed totally bounded subsets are complete (equivalently, compact). Clearly quasi-completeness implies von Neumann completeness, and the converse holds in, for example, metrizable locally convex spaces. In this note we obtain a class of locally convex spaces for which the converse fails. Specifically, let X be a completely regular Hausdorff space, and let CC(X) denote the space of continuous real-valued functions on X, endowed with the compact-open topology.

Given a hereditary torsion theory on the category Mod R of right R-modules we obtain in this paper necessary and sufficient conditions for the direct sum of a given family of R-modules to be divisible for the torsion theory . Using this criterion we show that if is a family of R-modules having the property that is divisible for every countable subset K ol J then is itself divisible.

Definition 1. An orthogonal design of order n and type (si, … , si) (st positive integers) on the commuting variables x1, … , xl is an n X n matrix X with entries chosen from ﹛0, ±x1, … , ±xl﹜ such that