Submódulo, módulo cociente y descomposición en suma directa