On Blowing Up a Sheaf of Ideals

Let XX be a scheme of finite type over a field kk. First we work with the affine case, so XSpecRX\cong\spec R be an affine scheme. We assume for ease that k=kˉk=\bar k.