Dedekindbereich/Produkt von gebrochenen Idealen/Definition

Produkt von gebrochenen Idealen

Es sei ${}R$ ein Dedekindbereich mit Quotientenkörper ${}Q(R)$. Dann definiert man für gebrochene Ideale ${}{\mathfrak {f}}$ und ${}{\mathfrak {g}}$ das Produkt ${}{\mathfrak {f}}\cdot {\mathfrak {g}}$ als den von allen Produkten erzeugten ${}R$-Untermodul von ${}Q(R)$, also

${}{\mathfrak {f}}\cdot {\mathfrak {g}}:=R\langle gf:\,f\in {\mathfrak {f}},\,g\in {\mathfrak {g}}\rangle \,,$

wobei die Produkte in ${}Q(R)$ zu nehmen sind.