补充资料：形式幂级数

形式幂级数
formal power series

　　设A’是包含A的环(或有一环同态毋:A~A‘).设a‘是A’中一个理想，并设A厂在a’一adic拓扑下是完全的.设x，，…，戈是a‘中的元素，则表示式 艺气..。;卜·二井， “，，肠砍O(其中i，跑遍N日{仍二{0，l，2，…}，。之.，〔A)在A‘中有确切含义(作为下列有限和当阴~叨时的唯一极限: I‘.耳一。。，、扮二x;·).这种表达式也称为A上的形式幂级数.将不映射为戈(i=1，2，…。)，定义了一个连续同态A以不，二‘，兀1]一A’.如果这个同态是单的，就称x，，…，x。在A上是解析无关的(analytically ind ePendent). 现在设A是一个域，具有乘性范数(即jl abjj=版日酬)，例如A二C，具通常范数，或A=Q，，有理数域，范数为}!酬=Pr.这里r二一陈(a)，陈是Q上的p进赋值、(当m‘z时，vr(m)是指除得尽，的p的鼓高幂次，v，(m/”)=咋(阴卜v，(”)).考虑A上所有满足 Ilc.，日簇C;丁‘’二呱‘”的形式幂级数 艺“。刀…聆，它们形成了A【〔不，…，双11中的子环，称为A上收敛的幂级数环，记为A{不，…，兀}(或A《不，…，兀》).后一记号也在A上非交换的变元的幂级数环中出现).Welers姗预备定理在A{不，…，双}中也成立·F+G=艺凡+乓 走=0和 F·G=艺H二， m二1其中 风一艺凡气一*· 人二0所有形式幂级数集合A【【不，…，兀11在这两种运算下形成一个环. 将一个多项式F二艺孔。八(其中八是k次型)等同于一个形式幂级数c二艺二。q，其中q=瓦，若k共，;q=O，若k>m.这样就定义了多项式环A[不，…，只」到A【【不，…，兀11中的嵌人1.在A【l不，…，兀」]中定义有拓扑，O的基本邻域系由下面理想构成: I。二{F任AI【不，…，兀」」}凡=0丫k簇。}.这个拓扑是可分的.在该拓扑下环A【【不，一，双}」是完全的.A[不，…，兀1在嵌人i之下的象在AI〔不，’‘·，双】l中处处稠密.相对于这个拓扑，F是其部分和艺几。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。