Timeline for On closed totally disconnected subgroups of connected real Lie groups
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 26, 2011 at 16:11 | comment | added | Alain Valette | Well, I suppose I'm appealing to van Dantzig's theorem... | |
| Apr 26, 2011 at 14:54 | comment | added | Hugo Chapdelaine | So how do you show the existence of such a basis of neighborhoods at $e$ in $H$. Definitely you need $H$ to be closed but I don't see how to use it. | |
| Apr 26, 2011 at 13:23 | history | answered | Alain Valette | CC BY-SA 3.0 |