Grobner Bases In Ring Theory