If R is a ring with identity and E is the semigroup of identity preserving ring endomorphisms of R then the fixed ring of E is denned by for each φɛE}. R is said to be rigid if RE = R.Equivalently, R is rigid if and only if

We recall that a JC-algebra (Størmer (3)) is a norm closed Jordan algebra of self-adjoint operators on a Hilbert space. Recently, Alfsen, Shultz, and Størmer (1) have introduced a class of abstract normed Jordan algebras called JB-algebras, and have proved that every special JB-algebra is isometrically isomorphic to a JC-algebra. We show that this result brings to a satisfactory conclusion the discussion in (2) of certain wedges W in Banach algebras and their related Jordan algebras W–W, and leads to two characterisations of the bicontinuously isomorphic images of JC-algebras.

The study of radicals in general categories has followed several lines of development. The problem of defining radical properties in general categories has been considered by Kurosh and Shul'geifer, see (7). Under mild conditions on their categories they obtain sufficient conditions for the existence of radical functors which are closely related to radical properties. Another approach is by Maranda (5) and Dickson (3) who studied idempotent radical functors and torsion theories in abelian categories. Our aim has been to study radical functors in as general a category as possible. To this end we introduce the concept of an R-category. The categories of rings, modules, near-rings, groups and Jordan algebras are all examples of R-categories.

In this note the volumes of certain regions in the n-sphere will be found in two ways: (a) by using a symmetry argument, (b) by expressing the volumes as repeated integrals over the (n-l)-cube. By considering the 4 and 5 spheres and equating the integrals obtained by method (b) to the solution obtained by method (a) we evaluate integrals of the form

for certain values of a, b and c; it does not appear easy (if indeed it is possible) to evaluate these integrals by direct methods.

In (5) the author showed how to construct all inverse semigroups from their trace and semilattice of idempotents: the construction is by means of a family of mappings between ℛ-classes of the semigroup which we refer to as the structure mappings of the semigroup. In (7) (see also (8) and (9)) K. S. S. Nambooripad has adopted a similar approach to the structure of regular semigroups: he shows how to construct regular semigroups from their trace and biordered set of idempotents by means of a family of mappings between ℛ-classes and between ℒ-classes of the semigroup which we again refer to as the structure mappings of the semigroup. In the present paper we aim to provide a simpler set of axioms characterising the structure mappings on a regular semigroup than the axioms (R1)-(R7) of Nambooripad (9). Two major differences occur between Nambooripad's approach (9) and the approach adopted here: first, we consider the set of idempotents of our semigroups to be equipped with a partial regular band structure (in the sense of Clifford (3)) rather than a biorder structure, and second, we shall enlarge the set of structure mappings used by Nambooripad.

In this note we shall consider the problem of uniquely continuing solutions of the parabolic equation

across an analytic arc σ: x=s1(t) satisfies the boundary data

We assume that u(x,t) is a classical solution of (1) in the domain D ={(x,t): s1(t)< x < s 2(t), 0 < t < t0}, continuously differentiate in D ∪ σ and define the “reflection” of D across σ by

A largely untouched problem in the theory of inverse semigroups has been that of finding to what extent an inverse semigroup is determined by its lattice of inverse subsemigroups. In this paper we discover various properties preserved by lattice isomorphisms, and use these results to show that a free inverse semigroup ℱℐx is determined by its lattice of inverse subsemigroups, in the strong sense that every lattice isomorphism of ℱℐx upon an inverse semigroup T is induced by a unique isomorphism of ℱℐx upon T. (A similar result for free groups was proved by Sadovski (12) in 1941. An account of this may be found in Suzuki's monograph on the subject of subgroup lattices (14)).

A central trace on an order-unit Banach space A(K) is a centre-valued module homomorphism invariant under the group of symmetries of A(K).

The concept of central traces has been crucial in the theory of types for convex sets established in (4), (5). In von Neumann algebras, they are precisely the canonical centre-valued traces and their existence hinges on a fundamental theorem (Dixmier's approximation process) in von Neumann algebras. On the other hand, the existence of central traces in finite dimensional spaces is an easy consequence of Ryll-Nardzewski's fixed point theorem (5).

Let (S, ℳ) be a measurable space (that is, a set S in which is defined a σ-algebra ℳ of subsets) and X a locally convex space. A map M from ℳ to the family of all non-empty subsets of X is called a multimeasure iff for every sequence of disjoint sets An ɛ ℳ (n=1,2,… )with the series converges (in the sense of (6), p. 3) to M(A).

In this paper we prove five structure theorems for groups with dihedral 3-normalisers. The interest in these theorems lies not so much in the results themselves as in what can be proved from them. The original versions of the results are contained in our doctoral thesis (1) where they are used to prove the following theorem, of which this paper, together with (2), (3) and other papers in preparation, will constitute a published proof: