In rigid analysis, a branch of mathematics, the Tate algebra over a complete ultrametric field k, named for John Tate, is the subring R of the formal power series ring
Define the Gauss norm of
This makes R a Banach k-algebra.
With this norm, any ideal