Dado un operador autoadjunto formula_3, como el que representa una magnitud física puede definirse un grupo de operadores unitarios mediante: