Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Am giving this its own little stub entry, so that I don’t have to type “[[closed subspace|closed]] [[topological group|topological]] [[subgroup]]
” all the time.
Also, it goes nicely along compact subgroup.
Added a subsection about localic subgroups:
Any subgroup of a localic group is automatically closed. See there for more information.
[ deleted ]
Thanks!
I have made it read “localic subgroup”, have added pointer to the theorem, and have added pointer back from there to here.
added the observation that open subgroups are closed (copied over from topological group)
added statement of Cartan’s closed subgroup theorem, which I’ll give it’s own little entry now
1 to 7 of 7