Potenzreihenring/Restklassenring nach T/Fakt/Beweis

Beweis

Bei der Restklassenbildung zum Ideal werden alle Potenzreihen mit der Eigenschaft, dass in jedem Monom davon vorkommt, zu gemacht. Übrig bleiben die Potenzreihen, bei denen kein vorkommt.