Strassmann's theorem
{{short description|Result in field theory about zeros of formal power series}}
In mathematics, Strassmann's theorem is a result in field theory. It states that, for suitable fields, suitable formal power series with coefficients in the valuation ring of the field have only finitely many zeroes.
History
It was introduced by {{harvs|txt|last=Straßmann|first= Reinhold|year=1928}}.
Statement of the theorem
Let K be a field with a non-Archimedean absolute value | · | and let R be the valuation ring of K. Let f(x) be a formal power series with coefficients in R other than the zero series, with coefficients an converging to zero with respect to | · |. Then f(x) has only finitely many zeroes in R. More precisely, the number of zeros is at most N, where N is the largest index with |aN| = max |an|.
As a corollary, there is no analogue of Euler's identity, e2πi = 1, in Cp, the field of p-adic complex numbers.
See also
References
- {{cite book|last = Murty|first = M. Ram|authorlink = M. Ram Murty|title = Introduction to P-Adic Analytic Number Theory|publisher = American Mathematical Society|date = 2002|pages = 35|isbn = 978-0-8218-3262-2|url = https://books.google.com/books?id=xi3ueDVuO7sC}}
- {{Citation | authorlink = Reinhold Strassmann | last1=Straßmann | first1=Reinhold | title=Über den Wertevorrat von Potenzreihen im Gebiet der p-adischen Zahlen. | url=http://gdz.sub.uni-goettingen.de/en/dms/load/img/?PPN=GDZPPN002170485 | language=German | doi=10.1515/crll.1928.159.13 |jfm=54.0162.06 | year=1928 | journal=Journal für die reine und angewandte Mathematik | issn=0075-4102 | volume=1928 | issue=159 | pages=13–28| s2cid=117410014 | url-access=subscription }}
External links
- {{MathWorld |title=Strassman's Theorem |urlname=StrassmansTheorem}}