環係数の形式的冪級数環

環 $A$ の元の列 $(f_n)_{n \ge 0}$ を $f = \sum_{n \ge 0} f_n x^n$ と書き、体上の場合（定義 2.1［数え上げと母関数］）と同じ式で和と積を定めた可換環を $A[[x]]$ と書く。$k \ge 0$ について、$f_n = 0$（$n < k$）となる $f$ 全体を $x^k A[[x]]$ と書く。