module(Ideal) -- turn an ideal into a module

module I -- produce the submodule of R^1 corresponding to an ideal I in a ring R.