Lemma 57.4.5. In diagram (57.4.0.1) the following are equivalent

1. the image of $h'$ is normal, and

2. for every connected object $X'$ of $\mathcal{C}'$ such that there is a morphism from the final object of $\mathcal{C}''$ to $H'(X')$ we have that $H'(X')$ is isomorphic to a finite coproduct of final objects.

Proof. This translates into the following statement for the continuous group homomorphism $h' : G'' \to G'$: the image of $h'$ is normal if and only if every open subgroup $U' \subset G'$ which contains $h'(G'')$ also contains every conjugate of $h'(G'')$. The result follows easily from this; some details omitted. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).