Articulo de referencia

Teorema de Strassmann

En matemáticas , el teorema de Strassmann es un resultado de la teoría de cuerpos . Afirma que, para cuerpos adecuados, las series de potencias formales adecuadas con coeficient...

En matemáticas , el teorema de Strassmann es un resultado de la teoría de cuerpos . Afirma que, para cuerpos adecuados, las series de potencias formales adecuadas con coeficientes en el anillo de valuación del cuerpo tienen solo un número finito de ceros.

Historia

Fue introducido por Reinhold Strassman . [ 1 ]

Enunciado del teorema

DejarK{\displaystyle K}ser un campo con un valor absoluto no arquimediano||{\displaystyle |\cdot |}y dejarR{\displaystyle R}ser el anillo de valoración deK{\displaystyle K}. DejarF(incógnita)=a0+a1incógnita+a2incógnita2+{\displaystyle f(x)=a_{0}+a_{1}x+a_{2}x^{2}+\dots }sea ​​una serie de potencias formal que no sea idénticamente cero, con coeficientesanorteR{\displaystyle a_{n}\in R}convergiendo a cero con respecto a||{\displaystyle |\cdot |}. EntoncesF(incógnita){\displaystyle f(x)}tiene solo una cantidad finita de ceros enR{\displaystyle R}. Más precisamente, el número de ceros es como máximonorte{\displaystyle N}, dóndenorte{\displaystyle N}es el índice más grande con|anorte|=máximonorte0|anorte|{\displaystyle |a_{N}|=\max _{n\geq 0}|a_{n}|}.

Aplicaciones

Un corolario del teorema es que no existe un análogo de la identidad de Euler ,mi2πi=1{\displaystyle e^{2\pi i}=1}endopag{\displaystyle \mathbb {C} _{p}}, el campo de los números complejos p-ádicos .

El teorema de Strassman también puede utilizarse para demostrar el teorema de Skolem-Mahler-Lech , que establece que el conjunto de índices en los que una secuencia de recurrencia lineal es igual a cero está compuesto por la unión de un número finito de progresiones aritméticas y un conjunto finito.

El teorema de preparación de Weierstrass sobre anillos locales completos generaliza el teorema de Strassman. Mientras que el teorema de Strassman afirma queF(incógnita){\displaystyle f(x)}tiene como máximonorte{\displaystyle N}ceros enR{\displaystyle R}, un corolario del teorema de preparación de Weierstrass es queF(incógnita){\displaystyle f(x)}tiene exactamentenorte{\displaystyle N}ceros en el anillo de valuación de la clausura algebraica deK{\displaystyle K}.

Véase también

Referencias

  1. Strassmann, Reinhold (1928). "Über den Wertevorrat von Potenzreihen im Gebiet der -adischen Zahlen" . crll . 1928 (159): 13– 28. doi : 10.1515/crll.1928.159.13 . ISSN 1435-5345 .