Es sei
ein
Zahlbereich
und es seien
und
gebrochene Ideale.
- Zeige, dass wenn es ein
,
,
mit
-

gibt, dass dann die Multiplikation mit
, also
-
einen
-Modulisomorphismus
-
induziert.
- Zeige, dass wenn es irgendeinen
-Modulisomorphismus
-
gibt, dass es dann schon ein
mit
-

gibt, und dass der Isomorphismus eine Multiplikation ist.