1
$\begingroup$

Assume $A, B, C$ are profinite groups and $0\to A\to B\to C\to 0$ is an exact sequence of continuous maps. Which of the following assertions follows?:

(i) the subspace-topology induced on $A$ via $A\hookrightarrow B$ agrees with the given one.

(ii) the quotient-topology induced on $C$ via $B\twoheadrightarrow C$ agrees with the given one.

$\endgroup$
7
  • 8
    $\begingroup$ Both assertions are true, using twice that a continuous bijection between compact spaces is a homeomorphism. $\endgroup$
    – YCor
    Jan 3, 2013 at 22:03
  • 1
    $\begingroup$ @Yves: You also need that the profinite topology is Hausdorff and the quotient topology on $B/A$ is Hausdorff for your argument to work. I don't quite see how to prove $B/A$ is Hausdorff after thinking for just a minute. $\endgroup$
    – Ian Agol
    Jan 3, 2013 at 23:44
  • 3
    $\begingroup$ @Agol: I was thinking of the French sense of compact which includes Hausdorff (actually compact groups and locally compact groups are even in the English conventions often assumed Hausdorff). Now since $A$ is closed, the unit is closed in $B/A$; while a topological group is Hausdorff iff $\{1\}$is closed. $\endgroup$
    – YCor
    Jan 4, 2013 at 0:24
  • 1
    $\begingroup$ See Proposition 2.1 in this paper for Yves claim ($T_1\implies T_2$ for topological groups). math.wm.edu/~vinroot/PadicGroups/topgroups.pdf $\endgroup$
    – Ian Agol
    Jan 4, 2013 at 6:17
  • 2
    $\begingroup$ Nice Yves. Maybe you should write up a complete answer (I suppose clarifying the Hausdorff issue for Americans). $\endgroup$
    – Ian Agol
    Jan 4, 2013 at 18:10

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.