On the variety generated by involutive pocrims
James Raftery · 2007
An involutive pocrim (a.k.a. an L0–algebra) is a residuated integral partially ordered commutative monoid with an involution operator, considered as an algebra. It is proved that the variety generated by all involutive pocrims satisfies no nontrivial idempotent Maltsev condition. That is, no nontrivial 〈∧, ∨, ◦〉-equation holds in the congruence lattices of all involutive pocrims. This strengthens a theorem of A. Wroński. The result survives if we restrict the generating class to totally ordered involutive pocrims.