Dedekindbereich/Ideale und Divisoren/Umfassen und teilen/Fakt

Aus Wikiversity

Es sei ein Dedekindbereich und seien und Ideale in .

Dann gilt genau dann, wenn es ein Ideal mit gibt.

Bei ist eindeutig bestimmt.