  Among compact Hausdorff groups G whose maximal profinite quotient is finitely
generated, we characterize those that possess a proper dense normal subgroup.
We also prove that the abstract commutator subgroup [H,G] is closed for every
closed normal subgroup H of G.
