Restklassenring (Z)/Einheitengruppe/Primzahlpotenzreduktion/Surjektiv/Fakt
Es sei eine Primzahl und . Dann ist der durch die kanonische Projektion
induzierte Gruppenhomomorphismus
der Einheitengruppen surjektiv.
Es sei eine Primzahl und . Dann ist der durch die kanonische Projektion
induzierte Gruppenhomomorphismus
der Einheitengruppen surjektiv.