Heilbronn [6] proved that for any ϵ > 0 there exists C(ϵ) such that for any real θ and N ≧ 1 there is an integer x satisfying

where ||α|| denotes the difference between α and the nearest integer, taken positively. Danicic [2] obtained an analogous result for the fractional parts of θxk and in 1967 Davenport [4] generalized Heilbronn's result to polynomials of degree with no constant term. The last condition is essential, for if there is a constant term then no analogous result can hold (see Koksma [7, Kap. 6 SatzlO]).

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.

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.

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, ±x 1, … , ±xl﹜ such that