Modules and Gröbner bases