The multiplier ring M(A) of any ring without an identity is the biggest essential extension A--* M(A) where the image of A is an ideal (notation: A<M(A)). Recently, M(A) has received considerable attention. B. E. Johnson studied the multiplier for semigroups, rings, and topological algebras [7]. R. C. Busby used it for classifying extensions of C*-algebras in [1], and in [2] to study the spectrum of an algebra. In [6], M(A) is used from a different point of view; there the question when a C*-algebra A is an ideal in its second dual is considered. ?1 develops several useful properties of the multiplier for associative rings, including a characterization of the multiplier as the adjoint of a certain forgetful functor. Perhaps some of these considerations can be carried over to other categories, such as abelian or topological groups. In ?2 an extension A<A is considered. Not only the connection between Prim A-the primitive ideals of A-and Prim A is established, but also simultaneously and within the same framework, the correspondence between the associated regular maximal left ideals as well as the simple A and A-modules is completely described. No assumptions other than A<IA are imposed; an identity for A is not assumed. For this reason the above development might be of interest because some of the above mentioned results about A c(A had been proved previously with A=M(A) for special kinds of rings, such as C*-algebras, by using very special and frequently irrelevant properties of these rings. ?3 deals with more special extensions of the form A=S+A, with A<KA, and S a subring, where S n A ={O} is not always assumed. The first part of the paper has been written, as far as possible, so as to be selfcontained. However, in the remainder A is specialized to a C*-algebra and some familiarity with [4] (or [1] and [5]) is required. The center R of M(A) is called the centroid of A. In [4], Prim (R + A) was described. In ?4 a description of Prim M(A) is given. For M(A), just as was the case for R+A in [4], another space of ideals, obtained as the complete regularization of the primitive ones, plays an even more important role. It also is described. It is shown that the primitive ideal space of the center of A can be identified with a certain subset of ideals of the complete regularization of Prim A, thus generalizing a result of Busby [2]. The objective of the last section is to identify and characterize closed ideals A2
Read full abstract