Es sei
ein
Körper
und sei
-
![{\displaystyle {}R=K[X,Y]/(XY)\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/148bdc1eb451497933fc24df7c7619f705467a17)
Es sei
das von
erzeugte
Hauptideal.
Dabei liegt eine kurze exakte Sequenz
-
vor, da
der
Annullator
von
ist.
Es ist
-

Dies bedeutet, dass
-

isomorph
zu seinem
dualen Modul
und insbesondere
reflexiv
ist. Dieser Modul ist nicht frei, da er im maximalen Ideal
nicht isomorph zu
ist.