separable, nuclear, unital \(C^ *\)-algebra
\(C^ *\)-algebra with a strictly positive element
category of the finite type projective modules
scientific article