Lemma 5.12
Kurs:Studienprojekt:Modultheorie über Hauptidealbereichen (Osnabrück 2011-2012)/Vorlesung 5 Endomorphismus/Kern von Polynom gleich direktem Produkt der Primärkomponenten von Primteilern/Fakt