Exercice 9, § 3

Soient G un groupe topologique séparé, K un sous-groupe distingué fermé de G. Montrer que si les groupes topologiques K et G/K sont complets, G est complet (considérer sur G un filtre de Cauchy minimal pour la structure uniforme droite (ou gauche) sur G, et son image sur G/K).