quotients in -algebras
Theorem - Let be a -algebra (http://planetmath.org/CAlgebra) and a closed (http://planetmath.org/ClosedSet) ideal. Then the involution (http://planetmath.org/InvolutaryRing) in induces a well-defined involution in and is a -algebra with this involution and the quotient norm.