Idéaux de l'anneau extension triviale

courage

Bonjour
soient $R$ un anneau commutatif unitaire, $I$ un idéal de $R $, $M$ un $A$-module de $R$ et $N$ un sous-module de $M$.
On veut montrer que si $I \propto N$ est un idéal de $R \propto M$ alors $IM \subseteq N $. J'ai trouvé la preuve mais je ne l'ai pas comprise.
Si $I \propto N$ est un idéal de $R\propto M$ alors $(R\propto M )(I \propto N ) = I\propto (IM+N)$ donc $IM \subseteq N $.
Merci pour votre aide .

Poirot

C'est quoi tes symboles bizarres ?

courage

Bonjour @Poirot
$R \propto M$ est l'extension triviale de l'anneau $R$ par $M$.