Can the closedness condition for $H$ be removed?

72 Views Asked by At

enter image description here

In Theorem 7.35, if we remove the closedness condition for $H$, we also can prove the map $(n,h)\mapsto nh$ is a Lie group isomorphism between $N\rtimes_{\theta}H$ and $G$, then $H$ is a closed Lie subgroup of $G$.

What I said is correct?

1

There are 1 best solutions below

13
On

You're right. This was an oversight on my part. Thanks for pointing it out. I've added a correction to my online list.