Source author record

Miklos Hartmann

Miklos Hartmann appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

3works
2topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

3 published item(s)

preprint2020arXiv

Coherency and constructions for monoids

A monoid $S$ is right coherent if every finitely generated subact of every finitely presented right $S$-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 $S$ to be finitely generated.

preprint2015arXiv

Coherency, free inverse monoids and free left ample monoids

A monoid $S$ is right coherent if every finitely generated subact of every finitely presented right $S$-act is finitely presented. The corresponding notion for a ring $R$ states that every finitely generated submodule of every finitely presented right $R$-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 $S$-acts (right $R$-modules) and hence that the class of existentially closed right $S$-acts (right $R$-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 $({\bf R})$, $({\bf r)}$, $({\bf L})$ and $({\bf l)}$, conditions arising from the axiomatisability of classes of right $S$-acts and of left $S$-acts.

preprint2015arXiv

Free monoids are coherent

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.