Simultaneous diagonalization of an algebraic family of matrices