Showing math.ACShow all
2 papers · 1 filter
math.AC2026
Schreyer resolution of modules over formal power series
Cyrille Chenavier, Thomas Cluzeau, Adya Musson-Leymarie
Standard bases of modules over algebras of formal power series play the same role as Gröbner bases of modules over polynomial algebras. In this article, we first prove the analogu…
math.AC2024
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…