Formális hatványsor

Ha egy adott gyűrű feletti végtelen sorozatokon ahhoz hasonlóan értelmezünk két, összeadásnak és szorzásnak nevezett műveletet, ahogyan azt a végeredményben véges sorozatokként definiálható polinomok esetében tennénk, akkor jutunk az általánosabb formális hatványsor fogalmához. A definíció a következő:

Legyen $R=\left(U,+,\times \right)$ tetszőleges gyűrű, és tekintsük az $R$ feletti $R_{\mathbb {N} }=\left\{\left(r_{n}\right)^{n\in \mathbb {N} }\ |\ r\in R\right\}$ végtelen $\left(r_{n}\right)_{n\in \mathbb {N} }=\left(r_{0},r_{1},r_{2},r_{3},....\right)$ sorozatok halmazát (megjegyzés, $K^{D}$ -vel a D halmazból a K halmazba képező függvények halmazát jelöljük általában is).

Értelmezünk ezek között, tehát $R_{\mathbb {N} }$ felett két kétváltozós $\oplus$ és $\otimes$ műveletet a következőképp:

• $\oplus :R^{\mathbb {N} }\times R^{\mathbb {N} }\mapsto R^{\mathbb {N} };(r_{i})_{i\in \mathbb {N} }\oplus (s_{i})_{i\in \mathbb {N} }=(r_{i}+s_{i})_{i\in \mathbb {N} }$ ; ez tehát egyszerűen két végtelen hosszú vektor koordinátánkénti összegzése (+ az R gyűrűbeli összeadás);
• A szorzás azonban nem koordinátánkénti szorzás, hanem: $\otimes :R^{\mathbb {N} }\times R^{\mathbb {N} }\mapsto R^{\mathbb {N} };(r_{i})_{i\in \mathbb {N} }\otimes (r_{i})_{i\in \mathbb {N} }=(\sum _{j=0}^{i}r_{j}s_{i-j})_{i\in \mathbb {N} }$ .

A $K[[x]]:=\left(R^{\mathbb {N} },\oplus ,\otimes \right)$ algebrai struktúra szintén gyűrű. Ezt nevezzük az $R$ feletti formális hatványsorok gyűrűjének.