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.