Finitary conditions for graph products of monoids

TL;DR

This paper studies how certain finitary algebraic properties are preserved or characterized in graph products of monoids, including conditions like weakly left noetherian and weakly left coherent, with specific results for trace monoids.

Contribution

It provides a comprehensive analysis of the preservation and characterization of finitary conditions in graph products of monoids, including new results for weakly left noetherian monoids.

Findings

Finitary conditions are preserved under retracts in graph products.

Most conditions are characterized by properties of constituent monoids.

The paper precisely characterizes when graph products are weakly left noetherian.

Abstract

Graph products of monoids provide a common framework for free products and direct products. Trace monoids are graph products of finitely generated free monoids. We investigate the interaction of certain finitary conditions with graph products. Specifically, we examine the conditions of being weakly left noetherian (that is, every left ideal is finitely generated) and weakly left coherent (that is, every finitely generated left ideal has a finite presentation) and the related conditions of the ascending chain condition on principal left ideals, being left ideal Howson, and being finitely left equated. All of these conditions, and others, are preserved under retract; as a consequence, if a graph product has such a property, then so do all the constituent monoids. We show that the converse is also true for all the conditions listed except that of being weakly left noetherian. In the latter case we precisely determine the graph products of monoids which are weakly left noetherian.