Published online by Cambridge University Press: 20 November 2018
Let 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.