Zu einem R {\displaystyle {}R} -Modul über einem kommutativen Ring R {\displaystyle {}R} ist M ~ {\displaystyle {}{\widetilde {M}}}
ein O X {\displaystyle {}{\mathcal {O}}_{X}} -Modul auf dem affinen Schema X = Spek ( R ) {\displaystyle {}X=\operatorname {Spek} {\left(R\right)}} .