Skip to main content
2 of 2
Language editing.
Stefan Kohl
  • 19.6k
  • 21
  • 75
  • 137

Do the germs of local vector fields which are generated by a Lie pseudogroup form a Lie algebra?

Let $(M,g)$ a semi-Riemannian manifold, and let $\mathcal{G}$ a be Lie pseudogroup which acts by local isometries on $(M,g)$. Clearly the germs of all local killing vector fields at $p \in M$ form a Lie algebra. What if I restrict myself to germs of those local killing fields whose local flow is contained in $\mathcal{G}$? -- Do they form a Lie algebra as well? If so, why?