• Rings of Formal Power Series. The ring $R[\mspace {-3mu}[t]\mspace {-3mu}]$ of formal power series in a variable $t$ is the inverse limit
    \[ R[\mspace {-3mu}[t]\mspace {-3mu}]\cong \operatorname*{{\displaystyle \underset {\longleftarrow }{\operatorname*{\text{lim}}}}}_{n\in \mathbb {N}}\webleft (R\webleft [t\webright ]/t^{n}R\webleft [t\webright ]\webright ); \]

    see .


Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: