New constructive methods in classical ideal theory (Q1090369)

Gröbner bases are generalized for submodules of a finite free module over a polynomial algebra P over a field and some algorithms to compute them are also given. These show a possible way to construct effectively a minimal resolution for a P-module. It is also presented a different way which is applied to the computation of the Hilbert function. This technique allows to determine the length, ranks and degrees of a resolution without really constructing it.