Bonsoir,
j'ai un groupe topologiqueséparé, et
un sous-groupe discret de
.
Je veux montrer queest fermé.
J'ai séparé selon différents cas, et le cas où je bloque est lorsqueet son complémentaire
sont infinis et distincts de
.
J'arrive à éliminer les autres cas en utilisant le fait que sous ces conditions les singletons desont fermés.
Merci pour votre aide.
-----