Page "Profinite group" Paragraph 9

* Every closed subgroup of a profinite group is itself profinite ; the topology arising from the profiniteness agrees with the subspace topology.

If N is a closed normal subgroup of a profinite group G, then the factor group G / N is profinite ; the topology arising from the profiniteness agrees with the quotient topology.