problems about submodules