Kategorie:Theorie der Primfaktorzerlegung (Z)/Definitionen