Source author record

Miklos Hartmann

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
2topics
4close collaborators

Published work

3 publications

preprint2020arXiv

Coherency and constructions for monoids

A monoid SS is right coherent if every finitely generated subact of every finitely presented right SS-act is finitely presented. This is a finiteness condition, and we investigate whether or not it is preserved under some standard algebraic and semigroup theoretic constructions: subsemigroups, homomorphic images, direct products, Rees matrix semigroups, including Brandt semigroups, and Bruck--Reilly extensions. We also investigate the relationship with the property of being weakly right noetherian, which requires all right ideals of SS to be finitely generated.

preprint2015arXiv

Coherency, free inverse monoids and free left ample monoids

A monoid SS is right coherent if every finitely generated subact of every finitely presented right SS-act is finitely presented. The corresponding notion for a ring RR states that every finitely generated submodule of every finitely presented right RR-module is finitely presented. For monoids (and rings) right coherency is a finitary property which determines the existence of a model companion of the class of right SS-acts (right RR-modules) and hence that the class of existentially closed right SS-acts (right RR-modules) is axiomatisable. Choo, Lam and Luft have shown that free rings are right (and left) coherent; the authors, together with Ruskuc, have shown that groups, and free monoids, have the same properties. We demonstrate that free inverse monoids do not. Any free inverse monoid contains as a submonoid the free left ample monoid, and indeed the free monoid, on the same set of generators. The main objective of the paper is to show that the free left ample monoid is right coherent. Furthermore, by making use of the same techniques we show that both free inverse and free left ample monoids satisfy (R)({\bf R}), (r)({\bf r)}, (L)({\bf L}) and (l)({\bf l)}, conditions arising from the axiomatisability of classes of right SS-acts and of left SS-acts.

preprint2015arXiv

Free monoids are coherent

A monoid SS is said to be right coherent if every finitely generated subact of every finitely presented right SS-act is finitely presented. Left coherency is defined dually and SS is coherent if it is both right and left coherent. These notions are analogous to those for a ring RR (where, of course, SS-acts are replaced by RR-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.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.