A double commutant theorem for purely large C*-subalgebras of real rank zero corona algebras
Let 𝓐 be a unital separable simple nuclear C*-algebra such that ℳ (𝓐 ⊗ 𝓚) has real rank zero. Suppose that ℂ is a separable simple liftable and purely large unital C*-subalgebra of ℳ (𝓐 ⊗ 𝓚)/ (𝓐 ⊗ 𝓚). Then the relative double commutant of ℂ in ℳ (𝓐 ⊗ 𝓚)/(𝓐 ⊗ 𝓚) is equal to ℂ.