En matemáticas , el teorema de Strassmann es un resultado de la teoría de campos . Establece que, para campos adecuados, las series de potencias formales adecuadas con coeficientes en el anillo de valoración del campo tienen solo un número finito de ceros.
Sea K un campo con valor absoluto no arquimediano | · | y sea R el anillo de valoración de K . Sea f ( x ) una serie formal de potencias con coeficientes en R distintos de la serie cero, con coeficientes an convergentes a cero con respecto a | · |. Entonces f ( x ) tiene solo un número finito de ceros en R . Más precisamente, el número de ceros es como máximo N , donde N es el índice más grande con | un norte | = máx. | un n |.