Associated graded rings of ideals; Rees ring; blowing-up General commutative algebra mathematics