Stably Finite C^*-Algebra

A stably finite unital C^*-algebra is a unital C^*-algebra such that every isometry in every matrix algebra is unitary. In other words,

for and every positive integer . The matrix-level condition is stronger than asking this only in . A faithful tracial state implies stable finiteness, but stable finiteness does not supply a chosen trace.