Kurs:Elemente der Algebra (Osnabrück 2024-2025)/Hauptidealbereich/Restklassencharakterisierung von prim/Fakt/Faktreferenznummer