The theory of unitary group representations