Freier endlicher Modul/Reflexiv/Fakt

Ein endlich erzeugter freier ${}R$-Modul ${}M$ über einem kommutativen Ring ${}R$

ist reflexiv.

Zum Beweis, Alternativen Beweis erstellen