Definition:G-submodules