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.