A multivariate Strassmann theorem
Number Theory
2026-05-06 v1
Abstract
By a theorem of Strassmann, a non-zero convergent power series in one variable over a complete non-Archimedean field has finitely many zeros, with an explicit bound on their number. We generalize this result to convergent power series in several variables, characterizing finiteness of the zero set and bounding its cardinality in terms of the reduction of the saturated ideal defined by the power series. We discuss how to make our result effective, under suitable assumptions, when working with approximate power series.
Cite
@article{arxiv.2605.03683,
title = {A multivariate Strassmann theorem},
author = {Guido Maria Lido and Luca Mauri},
journal= {arXiv preprint arXiv:2605.03683},
year = {2026}
}
Comments
21 pages, one associated file with code