Vol. 43, No. 1, 1972

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 329: 1
Vol. 328: 1  2
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Vol. 324: 1  2
Vol. 323: 1  2
Vol. 322: 1  2
Online Archive
The Journal
About the journal
Ethics and policies
Peer-review process
Submission guidelines
Submission form
Editorial board
ISSN: 1945-5844 (e-only)
ISSN: 0030-8730 (print)
Special Issues
Author index
To appear
Other MSP journals
The reducing ideal is a radical

Theodore Windle Palmer

Vol. 43 (1972), No. 1, 207–219

For any -algebra A the reducing ideal AR of A is the intersection of the kernels of all the -representations of A. Although the reducing ideal has been called the -radical, and obviously satisfies (AAR)R = {0}, it has not previously been shown to satisfy another of the fundamental properties of an abstract radical except in the case of hermitian Banach -algebras where it equals the Jacobson radical. In this paper we prove two extension theorems for -representations. The more important one states that any essential -representation of a -ideal of a U-algebra (a fortiori, of a Banach -algebra) has a unique extension to a -representation of the whole algebra. These theorems show in particular that (AR)R = AR if A is either a commutative -algebra or a U-algebra. The somewhat stronger statements which are actually proved, together with previously known properties of the reducing ideal, show that the reducing ideal defines a radical subcategory of each of the following three semi-abelian categories:

(1) Commutative -algebras and homomorphisms.

(2) Banach -algebras and continuous -homomorphisms.

(3) Banach -algebras and contractive -homomorphisms.

Mathematical Subject Classification 2000
Primary: 46K05
Received: 30 March 1971
Published: 1 October 1972
Theodore Windle Palmer