Let V be an arbitrary vector space over a field K, and let End(V) be the ring of all K-linear transformations of V. We characterize the diagonalizable linear transformations in End(V), as well as the (simultaneously) ...