Integritätsbereich/Quotientenkörper/Untermodul/Dualer Modul/Fakt/Beweis

Beweis

Nach Fakt gibt es einen natürlichen Isomorphismus

${}\operatorname {Hom} _{R}{\left(I,R\right)}\cong {\left\{f\in Q\mid f\cdot I\subseteq R\right\}}\,,$

und dies ist die Behauptung.

Zur bewiesenen Aussage