Sea $R$ es un anillo conmutativo con identidad $1$ , dejemos que $M$ es un módulo sobre $R$ y que $N$ y $L$ son submódulos de $M$ . Prueba $$I=\{r\in R\vert rL\subseteq N\}$$ es un ideal de $R$ .
Para demostrar esta afirmación $a,b\in I$ y $r\in R$ . Debemos demostrar: (1) $a-b\in I$ y (2) $ra\in I$ .
Esta es mi prueba.
Sea $a,b\in I$ tenemos $aL\subseteq N$ y $bL\subseteq N$ . Me confundí para mostrar $a-b\in I$ . ¿Es correcto porque $N$ es submódulo, por lo que $$aL-bL=(a-b)L\subseteq N?$$ Así que tengo $a-b\in I$ ?