Los operadores que dan este valor máximo son siempre isomorfos a las matrices de Pauli.