Zahlbereich/Ideale und Divisoren/Umfassen und teilen/Fakt

Sei ein Zahlbereich und seien und Ideale in .

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

Bei ist eindeutig bestimmt.