Sospecho que esto no es terriblemente difícil pregunta, pero no sé la respuesta, y me imagino que alguien ya ha visto.
Es posible que una Mentira grupo en un no-Hausdorff colector de existir? Para ser un poco más preciso (ya que el anterior no está normalizada la terminología), hacer la 2ª contables localmente Euclídeo topológico existen grupos? Si lo hacen caer el requisito de 2º countability, que también sería interesante, pero dichos espacios, en realidad puede ser bastante desordenado, así 2º contables ejemplo es el preferido, si es que existe.
La pregunta es poco más que una curiosidad, pero me encontré con que no podía responder con cualquier estándar de ejemplos, ni podía venir para arriba con una prueba evidente.
