Potenzreihenring/Restklassenring nach T/Fakt/Beweis

Beweis

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