Abstract relations and Dickson’s Lemma; Hilbert Basis theorem, Buchberger Criterion for Grobner Bases and Elimination Theorem; Field Extensions and the Hilbert Nullstellensatz; Decomposition, Radical, and Zeroes of Ideals; Syzygies, Grobner Bases for Modules, Computation of Hom, Free Resolutions; Universal Grobner Bases and Toric Ideals.