Note on (De)homogenized Gr\"obner Bases

Abstract

By employing the (de)homogenization technique in a relatively extensive setting, this note studies in detail the relation between non-homogeneous Gr\"obner bases and homogeneous Gr\"obner bases. As a consequence, a general principle of computing Gr\"obner bases (for an ideal and its homogenization ideal) by passing to homogenized generators is clarified systematically. The obtained results improve and strengthen the work of [LWZ], [Li1], [Li2], [Li3], and very recent [SL] concerning the same topic.