Kommutative Ringtheorie/Ideale/Radikal und reduzierter Restklassenring/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein Radikal und nilpotent. Dann ist in . Zurückübersetzt nach bedeutet dies . Da ein Radikal vorliegt, ist und damit im Restklassenring. Also ist dieser reduziert.

Sei umgekehrt ein Ideal

mit reduziertem Restklassenring gegeben. Sei . Dann ist die Restklasse von gleich . Wegen der Reduziertheit ist bereits .

Dies bedeutet , also ist das Ideal ein Radikal.
Zur gelösten Aufgabe