The algebra of compact operators does not have any finite-codimensional ideal
Volume 66 / 1979
Studia Mathematica 66 (1979), 33-36
DOI: 10.4064/sm-66-1-33-36