El anillo formado por sumas formales ∑_{α} c_{α} x^{α} en una o varias indeterminadas x con coeficientes c_{α} en un anillo o cuerpo de coeficientes dado, donde se permiten sumas infinitas pero no se exige convergencia analítica; la suma es término a término y la multiplicación se define mediante el producto de Cauchy de coeficientes.

Principio

Tratar las series de potencias como objetos algebraicos completados respecto al ideal generado por las indeterminadas (topología x-ádica): las operaciones deben respetar la estructura de sumas formales infinitas y la ley de convolución de Cauchy para los coeficientes.

Demostración

Para un cuerpo K, K[[x]] denota el anillo de series formales en una variable x: un elemento típico es a0 + a1 x + a2 x^2 + …; el coeficiente de x^n en el producto es ∑_{i+j=n} a_i b_j. Las unidades son exactamente las series cuyo término constante a0 es invertible en K.

Aplicación incorrecta

Tratar una serie formal como una función analítica y asumir propiedades de radio de convergencia o sustituir valores numéricos de x sin una estructura de convergencia; o suponer que todo elemento es un polinomio (grado finito).

Consecuencia

El trabajo formal permite operaciones algebraicas como inversión, diferenciación formal y la construcción de completaciones y anillos locales; se obtiene una estructura de anillo local y completo con criterios explícitos de unidad y una filtración natural por grado.

Inversión

El anillo de polinomios es la contraparte no completada donde sólo se permiten sumas finitas; las series analíticas imponen condiciones de convergencia y poseen estructura analítica ausente en el caso formal.

Límite

Se aplica a series formales sobre un anillo de coeficientes con unidad; excluye series de Laurent (que permiten potencias negativas finitas) salvo que se extienda explícitamente, y excluye consideraciones que requieran convergencia analítica u otras topologías distintas de la filtración ádica.

Tensión semántica

La tensión surge entre la interpretación 'formal' (puramente algebraica, sin convergencia) y la interpretación 'analítica' (convergente) de las series de potencias; un sentido cercano es la completación de un anillo de polinomios frente a anillos de funciones evaluables punto por punto.

Síntesis

Un anillo de series formales es la completación algebraica de un anillo de polinomios en una o varias indeterminadas que admite sumas formales infinitas y una multiplicación tipo Cauchy, proporcionando una estructura de anillo local y completo útil en construcciones algebraicas y combinatorias sin requerir convergencia analítica.