Based on the author's university lecture courses, this book presents the many facets of one of the most important open problems in operator algebra theory. Central to this book is the proof of the equivalence of the various forms of the problem, including