Gr{ö}bner bases over Tate algebras
Abstract
Tate algebras are fundamental objects in the context of analytic geometry over the p-adics. Roughly speaking, they play the same role as polynomial algebras play in classical algebraic geometry. In the present article, we develop the formalism of Gr{ö}bner bases for Tate algebras. We prove an analogue of the Buchberger criterion in our framework and design a Buchberger-like and a F4-like algorithm for computing Gr{ö}bner bases over Tate algebras. An implementation in SM is also discussed.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2019
- DOI:
- 10.48550/arXiv.1901.09574
- arXiv:
- arXiv:1901.09574
- Bibcode:
- 2019arXiv190109574C
- Keywords:
-
- Mathematics - Algebraic Geometry;
- Computer Science - Symbolic Computation;
- Mathematics - Number Theory