Two weaker variants of congruence permutability for monoid varieties (Q2037085)

Here, varieties of monoids are studied as semigroups with an additional 0-ary operation fixing the identity element and a description of fi-permutable and almost fi-permutable monoid varieties is presented. A variety of algebras \(V\) is called fi-permutable if every two fully invariant congruences \(\alpha\), \(\beta \) (congruences preserved by endomorphisms) on any \(V\)-free object \(F\) permute (\(\alpha \beta = \beta \alpha \)); \(V\) is called almost fi-permutable, if instead of all fully invariant congruences permuting is required only of those of them that are contained in the least semilattice congruence on \(F\).