Suppose X is dimension two locally Noetherian scheme. Y is a closed subscheme of X, with codimension 1. Denote X' to be the blow up of X along Y. Prove that the structure morphism f:X'-->X is a finite morphism. 


It suffices to show it's quasi-finite according to Zariski's main theorem. But I can't exclude the possibility that an irreducible component of $f^{-1}(Y)$ maps to a closed point of Y.



Blow up along codimension one closed subscheme
I think it's not true : 


Let $X=Spec(A)$ with $A=k[x,y,z]/(x^2-y^2-z^2)$ be a quadratic cone. Let $Y$ be a line through the origin of the cone : its ideal is $I=(z,x-y)$. We calculate : 


$$X'=Proj\_{A}A[t,u]/(zt-(x+y)u,(x-y)t-zu),$$ [**EDIT : THE FORMULA HAS BEEN CORRECTED**]


where, in the graded $A$-algebra $A+I+I^2+....$ we denoted $t$ and $u$ the degree one generators corresponding to $z$ and $x-y$.
Now, quotienting by $x$, $y$, and $z$, we calculate the fiber over the origin of this blow-up It is Proj(k[t,u]), which is a positive-dimensional projective line !


