Free Monoids are Coherent

DOI10.1017/S0013091516000079MaRDI QIDQ2976355zbMATHFDO

Authors Miklós Hartmann, Victoria Gould, N. Ruškuc

Publication date 28 April 2017

Published in Proceedings of the Edinburgh Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1412.7340

zbMATH Keywords

coherencyfree monoids\(S\)-acts

Mathematics Subject Classification ID

Representation of semigroups; actions of semigroups on sets (20M30) Free semigroups, generators and relations, word problems (20M05)

Abstract: A monoid $S$ is said to be right coherent if every finitely generated subact of every finitely presented right $S$-act is finitely presented. Left coherency is defined dually and $S$ is coherent if it is both right and left coherent. These notions are analogous to those for a ring $R$ (where, of course, $S$-acts are replaced by $R$-modules). Choo, Lam and Luft have shown that free rings are coherent. In this note we prove that, correspondingly, any free monoid is coherent, thus answering a question posed by the first author in 1992.

Recommendations

• Free monoids
• scientific article; zbMATH DE number 98757
• scientific article; zbMATH DE number 17297
• Coherency, free inverse monoids and related free algebras
• Coherency and constructions for monoids
• On classification of monoids by properties of cofree acts
• On the algebra of a free monoid
• Free monoid in monoidal abelian categories
• Coherency for monoids and purity for their acts
• Cofree coalgebras

Cites work

• MODEL COMPANIONS OF S-SYSTEMS
• Model-companions and definability in existentially complete structures

Cited in

(6)

• An introduction to presentations of monoid acts: quotients and subacts
• Coherency for monoids and purity for their acts
• Right ideal Howson semigroups
• Coherency and constructions for monoids
• Coherency, free inverse monoids and related free algebras
• scientific article; zbMATH DE number 98757 (Why is no real title available?)

This page was built for publication: Free Monoids are Coherent

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2976355)