Exact C*-algebra

A C*-algebra E is exact if, for any short exact sequence,

${\displaystyle 0\;{\xrightarrow {}}\;A\;{\xrightarrow {f}}\;B\;{\xrightarrow {g}}\;C\;{\xrightarrow {}}\;0}$

the sequence

${\displaystyle 0\;{\xrightarrow {}}\;A\otimes _{\min }E\;{\xrightarrow {f\otimes \operatorname {id} }}\;B\otimes _{\min }E\;{\xrightarrow {g\otimes \operatorname {id} }}\;C\otimes _{\min }E\;{\xrightarrow {}}\;0,}$

where ⊗_min denotes the minimum tensor product, is also exact.

Exact C*-algebras have the following equivalent characterizations:

• A C*-algebra A is exact if and only if A is nuclearly embeddable into B(H), the C*-algebra of all bounded operators on a Hilbert space H.
• A separable C*-algebra A is exact if and only if it is isomorphic to a subalgebra of the Cuntz algebra ${\displaystyle {\mathcal {O}}_{2}}$.

All nuclear C*-algebras and their C*-subalgebras are exact.

• Brown, Nathanial P.; Ozawa, Narutaka (2008). C*-algebras and Finite-Dimensional Approximations. Providence: AMS. ISBN 978-0-8218-4381-9.