B3.10
Part II, 2004
(i) Let be a morphism of smooth projective curves. Define the divisor if is a divisor on , and state the "finiteness theorem".
(ii) Suppose is a morphism of degree 2 , that is smooth projective, and that . Let be distinct ramification points for . Show that, as elements of , we have , but .