Los operadores unitarios forman un grupo bajo composición, que se puede ver como el grupo de automorfismos de "H".