×

Sequentially pure monomorphisms of acts over semigroups. (English) Zbl 1175.20055

A subact \(A_S\) of a right \(S\)-act \(B_S\), \(S\) a semigroup, is called ‘sequentially pure’ or ‘\(s\)-pure’ if for every \(b\in B\) with \(bS\subseteq A\) there is an element \(a\in A\) such that \(bs=as\) for each \(s\in S\). A monomorphism \(f\colon A\to B\) is said to be ‘\(s\)-pure’ if \(f(A)\) is \(s\)-pure in \(B\); \(\mathcal M_p\) denotes the class of sequentially pure monomorphisms of the category of right \(S\)-acts. A number of results about limits and colimits of \(s\)-pure monomorphisms are obtained. For example, \(\mathcal M_p\) is closed under coproducts and direct sums.

MSC:

20M50 Connections of semigroups with homological algebra and category theory
18A20 Epimorphisms, monomorphisms, special classes of morphisms, null morphisms
18A30 Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)
20M30 Representation of semigroups; actions of semigroups on sets