A Characterization of Ideals of C* -Algebras

Abstract

AbstractLet A be a C*-algebra and let I be a C*-subalgebra of A. Denote by an extension of a state φ of B to a state of A. It is shown that I is an ideal of A if and only if there exists a homomorphism Q from A** onto I** such that Q is the identity map on I** and for every state φ on I. Furthermore it is also shown that I is an essential ideal of A if and only if there exists an injective homomorphism from A into the multiplier algebra of I which is the identity map on I.