Simultaneous diagonalizability