4 papers
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 analogue…
Computing in complete local equicharacteristic Noetherian rings via topological rewriting on commutative formal power series
Adya Musson-Leymarie
In commutative algebra, the theory of Gröbner bases enables one to compute in any finitely generated algebra over a given computable field. For non-finitely generated algebras howe…
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…
On Anick resolution: from the original setting to the language of non-commutative Groebner bases
Adya Musson-Leymarie
Anick introduced a resolution, that now bears his name, of a field using an augmented algebra over that field. We present here what one could call a dictionary between Anick's orig…