Algebraic properties of separated power series

We study the commutative algebra of rings of separated power series over a ring E and that of their extensions: rings of separated (and more specifically convergent) power series from a field K with a separated E-analytic structure. Both of these collections of rings already play an important role in the model theory of non-Archimedean valued fields and we establish their algebraic properties. This will make a study of the analytic geometry over such fields through the classical methods of algebraic geometry possible.