submodules for independence