Since the corresponding eigenvalue must be a complex number of modulus 1, this gives the U(1) factor of the isotropy group.
Meqenëse ajgenvlera korresponduese duhet të jetë një numër kompleks me modulus 1, kjo jep faktorin U(1) të grupit izotrop.