Algumas aplicações de bases de Grobner em álgebra comutativa