  Consider a morphism between connected locally Noetherian normal schemes. In
this paper, we discuss when the sequence of the etale fundamental groups
associated to the morphism is exact. Moreover, we give a characterization of
when the kernel of the induced homomorphism between their fundamental groups is
topologically finitely generated, for the morphism from a smooth variety to a
smooth curve.
