WHEN ARE DIVISIBLE ABELIAN GROUPS INJECTIVE?

Abstract

The above question is considered, in the categories ShL of sheaves on a local lattice L and MEns of sets acted upon by a monoid M, for either all divisible abelian groups or all torsionfree divisible abelian groups, the aim being to characterize those L and M for which these types of abelian groups are Injective. Typical results: All divisible abelian groups are injective (i) in ShL iff L is Boolean, (ii) in MEns, M left or right cancellative, iff M is trivial, and (iii) in MEns, M commutative iff M is finite and idempotent.