Abstract:A monoid $S$ is said to be weakly right coherent if every finitely generated right ideal of $S$ is finitely presented as a right $S$-act. It is known that $S$ is weakly right coherent if and only if it satisfies the following conditions: $S$ is right ideal Howson, meaning that the intersection of any two finitely generated right ideals of $S$ is finitely generated; and the right annihilator congruences of $S$ are finitely generated as right congruences. We examine the behaviour of these two conditions (in the more general setting of semigroups) under certain algebraic constructions and deduce closure results for the class of weakly right coherent monoids. We also show that the property of being right ideal Howson is related to the axiomatisability of a class of left acts satisfying a condition related to flatness.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to explore the properties of weakly right coherent monoids and their closure under certain algebraic constructions. Specifically, the paper mainly focuses on the following points:
1. **Definition and Background**:
- Definition of a weakly right coherent monoid \( S \): \( S \) is called weakly right coherent if every finitely generated right ideal, as a right \( S \)-act, is finitely presented.
- Right - ideal Howson property: A semigroup is called right - ideal Howson if the intersection of any two finitely generated right ideals in it is also finitely generated.
- Right - annihilator congruence finitely generated: For each element \( a\in S \), its right - annihilator congruence \( r_S(a)=\{(s, t)\in S\times S\mid as = at\} \) is finitely generated.
2. **Research Objectives**:
- To explore the closure of the class of weakly right coherent monoids under standard algebraic and semigroup - theoretical constructions.
- To study the behavior of these properties in more general semigroups and derive closure results about weakly right coherent monoids.
3. **Specific Problems**:
- To analyze the closure of right - ideal Howson semigroups and right - annihilator congruence finitely generated semigroups under different algebraic constructions.
- To explore the connection between these properties and the axiomatization of certain act classes.
Through these studies, the paper aims to gain a deep understanding of the structure and properties of weakly right coherent monoids and provide a theoretical basis for their application in a broader mathematical field.
### Formula Summary
- **Definition Conditions for Weakly Right Coherent Monoids**:
\[
S \text{ is weakly right coherent} \iff
\begin{cases}
\text{The intersection of any two finitely generated right ideals is finitely generated}\\
\text{The right - annihilator congruence of each element is finitely generated}
\end{cases}
\]
- **Definition of Right - Annihilator Congruence**:
\[
r_S(a)=\{(s, t)\in S\times S\mid as = at\}
\]
- **Right - Ideal Howson Property**:
\[
\forall I, J\subseteq S \text{ (finitely generated right ideals)}, \quad I\cap J \text{ is finitely generated}
\]
These formulas and definitions help us better understand the core problems and properties discussed in the paper.