Álgebra Comutativa Normalização de Noether (Versão Altman-Kleiman) Nullstellensatz Lying over, going down Dimensão Funções de Hilbert