A set which is closed in is automatically also closed in ; and a set which is open in and avoids the boundary of is automatically open in .

]]>I think this should be G’/N based on the definition of generalised Lie group given above the example.

Great Blog BTW!

*[Corrected, thanks – T.]*

N should be normal (def. of generalised Lie group).

The link to “directed” is broken.

“Indeed, local compactness, any” is missing “by” probably?

*[Corrected, thanks -T.]*