Free Monoids are Coherent

DOI10.1017/S0013091516000079zbMATH Open1367.20064arXiv1412.7340MaRDI QIDQ2976355FDOQ2976355

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)

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.

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

Recommendations

• Free monoids
• scientific article
• 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

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)

Cites Work

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

Cited In (5)

• Coherency for monoids and purity for their acts
• Right ideal Howson semigroups
• Coherency, free inverse monoids and related free algebras
• An introduction to presentations of monoid acts: quotients and subacts
• Title not available (Why is that?)

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)