Lexikon der Mathematik: formaler Potenzreihenring
über einem Ring R gebildeter Ring aus formalen Potenzreihen, üblicherweise bezeichnet mit R[[x1,…,xn]].
Wenn R ein Körper ist, dann ist R[[x1,…,xn]] ein Noetherscher kompletter lokaler Ring.
R[[x1,…,xn]] ist die Komplettierung des Polynomenringes R[x1,…,xn] bezüglich des Ideales (x1,…,xn).
Für den wichtigen Fall R = ℂ siehe auch formale Potenzreihe.
Copyright Springer Verlag GmbH Deutschland 2017
Schreiben Sie uns!