Starting in the 1970s, Elliot's classification of AF -algebras and Brown-Douglas-Fillmore's classification of essentially normal operators created an explosion in the use of topological methods in the study of C * -algebras. Kasparov's introduction of KK-theory introduced more advanced machinery. This led to better existence and uniqueness theorems with applications in the classification program. In this thesis, I present such a uniqueness theorem with a proof as presented by Eilers-Dadarlat. |