Solution to a problem of FitzGerald

Abstract: FitzGerald identified four conditions (RI), (UR), (RI*) and (UR*) that are necessarily satisfied by an algebra, if its monoid of endomorphisms has commuting idempotents. We show that these conditions are not sufficient, by giving an example of an algebra satisfying the four properties, such that its monoid of endomorphisms does not have commuting idempotents. This settles a problem presented by Fitzgerald at the Conference and Workshop on General Algebra and Its Applications in 2013 and more recently at the workshop NCS 2018. After giving the counterexample, we show that the properties (UR), (RI*) and (UR*) depend only on the monoid of endomorphisms of the algebra, and that the counterexample we gave is in some sense the easiest possible. Finally, we list some categories in which FitzGerald's question has an affirmative answer.

Review text

Here, dependencies of properties of an algebra and its endomorphism monoid are considered. It is known that if the monoid of endomorphisms of an algebra has commuting idempotents, then the algebra itself should satisfy four conditions \((RI)\), \((UR)\), \((RI*)\), \((UR*)\). The open problem was: are these conditions also sufficient for an algebra to have commuting idempotents in its monoid of endomorphisms? Here, a negative answer is given. It is also shown, that for any algebra \(A\) with endomorphism monoid \(S\) the four properties for \(A\) do hold iff they also hold for \(S\) as the right \(S\)-set under multiplication. If \(S\) satisfies \((UR)\), \((RI*)\), \((UR*)\) then \(A\) also does, but for the property \((RI)\) an example of an algebra is provided whose right \(S\)-set satisfies \((RI)\), but the algebra itself may not satisfy the property.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Solution to a problem of FitzGerald

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2037087)