Kurosh-Amitsur radical theories have been developed for various algebraic structures. Whenever the notion of a normal substructure is not transitive, this causes quite some problems in obtaining satisfactory general results. Some of the more important questions concerning the general theory of radicals are whether semisimple classes are hereditary, do radical classes satisfy the ADS-property, can semisimple classes be characterized by closure conditions (e.g., is semisimple=coradical), is Sands' Theorem valid and lastly, does the lower radical construction terminate. For associative and alternative rings, all these questions have positive answers. The method of proof is the same in both cases. In [15], Puczylowski used the results of Terlikowska-Oslowska [18, 19] and hinted at a condition which is crucial in obtaining the positive answers to the above questions.

In this note we propose an effective method based on the computation of a Gröbner basis of a left ideal to calculate the Gelfand-Kirillov dimension of modules.

We study some weight-homogeneous systems which are not algebraically completely integrable (ACI) in the sense of Adler and van Moerebeke, but whose invariant level surface completes into a semi-abelian variety by adding a set of points (thus ACI in the sense of Mumford).

AMS 2000 Mathematics subject classification: Primary 37J35. Secondary 14H70; 37N05; 70E40

A monoid in which every principal right ideal is projective is called a right PP monoid. Special classes of such monoids have been investigated in (2), (3), (4) and (8). There is a well-known internal characterisation of right PP monoids using the relation ℒ* which is defined as follows. On a semigroup S, (a,b) ∈ℒ* if and only if the elements a,b of S are related by Green's relation ℒ* in some oversemigroup of S. Then a monoid S is a right PP monoid if and only if each ℒ*-class of S contains an idempotent. The existence of an identity element is not relevant for the internal characterisation and in this paper we study some classes of semigroups whose idempotents commute and in which each ℒ*-class contains an idempotent. We call such a semigroup a right adequate semigroup since it contains a sufficient supply of suitable idempotents. Dually we may define the relation ℛ* on a semigroup and the notion of a left adequate semigroup. A semigroup which is both left and right adequate will be called an adequate semigroup.

The Nottingham group can be described as the group of normalized automorphisms of the ring Fp[[t]], namely, those automorphisms acting trivially on tFp[[t]]/t2Fp[[t]]. In this paper we consider certain proper subgroups of the Nottingham group. We prove that these subgroups are identical to their normalizers and that some of them are isomorphic to the Nottingham group.

For each non-empty subset Λ of the complex plane, let (Λ) be the set of all those operators (on a fixed Hilbert space H) whose spectrum is included in Λ. The problem of spectral approximation is to determine how closely each operator on H can be approximated (in the norm) by operators in (Λ). The problem appears to be connected with the stability theory of certain differential equations. (Consider the case in which Λ is the right half plane.) In its general form the problem is extraordinarily difficult. Thus, for instance, even when Λ is the singleton {0}, so that (Λ) is the set of quasinilpotent operators, the determination of the closure of (Λ) has been an open problem for several years (3, Problem 7).

Let A and B be function algebras. We generalise the Nagasawa theorem by proving that the Banach–Mazur distance between the underlying Banach spaces of A and B, is close to one if and only if they are almost isomorphic, that is if and only if there is a linear map T from A onto B such that ∥T−1(Tf · Tg)−fg∥≦ε∥f∥∥g∥.

In the answer to the book-work question, set in a recent examination to investigate the volume of a pyramid, one candidate stated that the three tetrahedra into which a triangular prism can be divided are congruent, instead of only equal in volume. It was an interesting question to determine the conditions in order that the three tetrahedra should be congruent, and this led to the wider problem – to determine what tetrahedra can fill up space by repetitions. An exhaustive examination of this required one to keep an open mind as regards whether space is euclidean, elliptic, or hyperbolic, and then to pick out the forms which exist in euclidean space.

This paper concerns criteria for assuring that every solution of a real fourth order nonselfadjoint differential equation

is oscillatory at x = ∞. Our technique is a generalisation of that used by Whyburn (1) for the study of the selfadjoint equation,

combined with the theory of H-oscillation of vector equations as introduced by Domšlak (2) and studied by Noussair and Swanson (3). Whyburn's technique consists of representing (1.2) as a dynamical system of the form

and then studying (1.3) in terms of polar coordinates in the y, z-plane. In Section 2 below we show how to represent (1.1) as a dynamical system of the form

The fundamental equation in this paper,

,

can be derived, easily and without using trilinears, from the following property of conics.

Sir T. L. Heath's translation of The Thirteen Books of Euclid's Elements, with its Introduction and Commentary, is not merely a worthy tribute to the lasting merits of Euclid's work, but is at the same time a most valuable history of elementary geometry; the language in which he describes the character of Camerer's edition of Euclid's first six books is even more applicable to his own: “No words of praise would be too warm for this veritable encyclopaedia of information.” There may, however, be room for difference of opinion on matters of detail, and I propose in this note to call attention to one or two passages in which I think he is in error in his criticism of Simson, whose edition of Euclid formed the basis of so many English text-books and kept alive the traditions of Greek geometry in this country long after Euclid's Elements had disappeared as a text-book on the Continent.