The canonical test case for the non-commutative Singer-Wermer conjecture
It is a famous conjecture that every derivation on each Banach algebra leaves every primitive ideal of the algebra invariant. This conjecture is known to be true if, in addition, the derivation is assumed to be continuous. It is also known to be true if the algebra is commutative, in which case the derivation necessarily maps into the (Jacobson) radical. Because I. M. Singer and J. Wermer originally raised the question in 1955 for the case of commutative Banach algebras, the conjecture is...