cover
cover M
-- yields the free module whose basis elements correspond to the generators of M.
See also
ambient
and
super
.