Definition 2
Tag 0BK1, permanent. Cite it as [Bourbaki, Tag 0BK1].
General Topology, chapter III, § 3. Uniform structures on groups
A topological group is said to be complete if its left and right uniformities are structures of complete spaces.
From Proposition 2 of no. 1, for a group to be complete it is sufficient that one of its uniformities is a structure of a complete space. is complete if and only if its associated Hausdorff group (, no. 6) is complete.
Every closed subgroup of a complete group is complete (Chapter II, § 3, no. 4, Proposition 8). Every product of complete groups is complete (Chapter II, § 3, no. 5, Proposition 10).
On the other hand, if is a complete group and is a closed normal subgroup of , then the quotient group is not necessarily complete (however, see Chapter IX, § 3, no. 1, Proposition 4).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.