Kurs:Studienprojekt:Modultheorie über Hauptidealbereichen (Osnabrück 2011-2012)/Hauptidealbereich/Restklassencharakterisierung von prim/Fakt/Faktreferenznummer