Dedekindbereich/Gebrochenes Ideal/Beschreibung/Fakt/Beweis

Beweis

Es sei zunächst ${}{\mathfrak {f}}$ ein gebrochenes Ideal. Dann ist

${}{\mathfrak {f}}=R{\left({\frac {a_{1}}{r_{1}}},\ldots ,{\frac {a_{n}}{r_{n}}}\right)}\,.$

Nach Übergang zu einem Hauptnenner kann man annehmen, dass ${}r=r_{1}=\ldots =r_{n}$ ist. Dann hat man mit dem Ideal ${}{\mathfrak {a}}=(a_{1},\ldots ,a_{n})$ eine Beschreibung der gewünschten Art. Ist umgekehrt ${}{\mathfrak {f}}={\frac {\mathfrak {a}}{r}}$, so ist dies natürlich ein endlich erzeugter ${}R$-Untermodul von ${}Q(R)$.

Zur bewiesenen Aussage