Bourbaki

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. GG is complete if and only if its associated Hausdorff group (§ 2§\ 2, 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 GG is a complete group and HH is a closed normal subgroup of GG, then the quotient group G/HG/H 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.

Cites

Transcribed from the printed volume. Not translated.