Inclusions of simple $C^{\ast }$-algebras

Masaki Izumi

We prove that if a conditional expectation from a simple $C^{\ast }$-algebra onto its $C^{\ast }$-subalgebra satisfies the Pimsner-Popa inequality, there exists a quasi-basis. As an applicatio…