2

Is the projective special unitary group a lie group? If so then what is its Lie algebra and where can I find out more about these objects?

Benjamin
  • 897
  • 1
    Given the complicated history of the concept of "Lie group", this is a reasonable question. But it's also quite elementary and might fit better on Stack Exchange. –  Oct 21 '13 at 17:29

1 Answers1

9

Yes, $PSU(n)$ is a Lie group. Indeed, the quotient of a Lie group by a closed normal subgroup is itself a Lie group in a natural way. Furthermore, $PSU(n)$ is the quotient of $SU(n)$ by the center $\mathbb{Z}/n\mathbb{Z}$. Since $\mathbb{Z}/n\mathbb{Z}$ is a finite group, its Lie algebra is $\{0\}$. Therefore, the Lie algebra of $PSU(n)$ is the quotient of $\frak{su}(n)$ by $\{0\}$, and so is just $\frak{su}(n)$.

Peter Crooks
  • 2,051
  • 1
    Thanks for the quick and concise answer. Do you also know if $PSU(N)$ is compact and connected? Should this be obvious is some way? I would be tempted to guess that it as N connected components but I can't really justify this.

    Also, in what sense can any finite group have a Lie algebra? You say: Since $Z/nZ$ is a finite group, its Lie algebra is ${0}$.

     –  Oct 21 '13 at 17:48
  • 2
    That $PSU(n)$ is compact and connected follows from the fact that it is the continuous image of the quotient map $SU(n)\rightarrow PSU(n)$ (since $SU(n)$ is compact and connected). You can endow any finite group with the discrete topology, as well as a Lie group structure. The exponential map is a local diffeomorphism from a neighbourhood of $0$ to a neighbourhood of the group identity. Since the identity element is itself open in the discrete topology, you can show that the Lie algebra must have been ${0}$. – Peter Crooks Oct 21 '13 at 17:57