Es cerrado, ya que formula_13 es compacto, y el subgrupo del grupo de Lie formula_21.