Es decir, existe una secuencia exacta corta de grupos de Lie: