8，也有：formula_37。又比如：formula_38，formula_39。提取映射和多项式环中的对应映射一样，都可以看做是到一个子空间的投影映射。
形式幂级数的环结构.所有的不定元为formula_5，系数为某一个交换环formula_41上元素的形式幂级数构成一个环，称为formula_41上变量为formula_5的形式幂级数环，记作formula_44。
定义.formula_44可以定义为formula_41上变量为formula_5的多