Bogoliubov trasformation, unitary representation, symplectic group, local exponent, Bargmann theorem