Kategorie:Teilbarkeitstheorie in Hauptidealbereichen/Definitionen