 Thus let "K" a field, formula_87 be a polynomial ring and "I" be an ideal in "R".Let "H" be the homogeneous ideal generated by the homogeneous parts of highest degree of the elements of "I".If "I" is homogeneous, then "H"="I".