Text this: Submodule of free Z-module