Definition:G-submodule