Topological closure of formal power series ideals and application to topological rewriting theory

Cyrille Chenavier, Thomas Cluzeau, Adya Musson-Leymarie

We investigate formal power series ideals and their relationship to topological rewriting theory. Since commutative formal power series algebras are Zariski rings, their ideals are…