Open Research Index

Schreyer resolution of modules over formal power series

Cyrille Chenavier, Thomas Cluzeau, Adya Musson-Leymarie

arXivarxiv/2607.06635Jul 7, 2026math.ACscore 0

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 of the diamond lemma for modules over formal power series; it characterises standard bases in terms of unique remainders and standard representations. Then, using standard representations, we provide a method to construct a standard basis of the module of syzygies of a standard basis. This construction can be applied inductively to obtain a free resolution, similar to the Schreyer resolution, for finitely…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2607.06635
curl -X POST /api/v1/records/arxiv/2607.06635/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.06635/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'