Topological closure of formal power series ideals and application to topological rewriting theory
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866917860352196608 |
|---|---|
| author | Chenavier, Cyrille Cluzeau, Thomas Musson-Leymarie, Adya |
| author_facet | Chenavier, Cyrille Cluzeau, Thomas Musson-Leymarie, Adya |
| contents | 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 closed for the adic topology defined by the maximal ideal generated by the indeterminates. We provide a constructive proof of this result which, given a formal power series in the topological closure of an ideal, consists in computing a cofactor representation of the series with respect to a standard basis of the ideal. We apply this result in the context of topological rewriting theory, where two natural notions of confluence arise: topological confluence and infinitary confluence. We give explicit examples illustrating that in general, infinitary confluence is a strictly stronger notion than topological confluence. Using topological closure of ideals, we finally show that in the context of rewriting theory on commutative formal power series, infinitary and topological confluences are equivalent when the monomial order considered is compatible with the degree. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_05511 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Topological closure of formal power series ideals and application to topological rewriting theory Chenavier, Cyrille Cluzeau, Thomas Musson-Leymarie, Adya Commutative Algebra Rings and Algebras 13F25, 13J10, 68Q42 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 closed for the adic topology defined by the maximal ideal generated by the indeterminates. We provide a constructive proof of this result which, given a formal power series in the topological closure of an ideal, consists in computing a cofactor representation of the series with respect to a standard basis of the ideal. We apply this result in the context of topological rewriting theory, where two natural notions of confluence arise: topological confluence and infinitary confluence. We give explicit examples illustrating that in general, infinitary confluence is a strictly stronger notion than topological confluence. Using topological closure of ideals, we finally show that in the context of rewriting theory on commutative formal power series, infinitary and topological confluences are equivalent when the monomial order considered is compatible with the degree. |
| title | Topological closure of formal power series ideals and application to topological rewriting theory |
| topic | Commutative Algebra Rings and Algebras 13F25, 13J10, 68Q42 |
| url | https://arxiv.org/abs/2402.05511 |