Purity and equational compactness of projection algebras (Q5947275)

A projection algebra is a set \(A\) together with a map \(\mathbb{N}^\infty\times A\to A\), \((n,a)\mapsto na\), such that \(\min\{m,n\}a= m(n,a)\), \(\infty a=a\) for all \(m,n\in\mathbb{N}^\infty\), \(a\in A\). A map \(f: A\to B\) between projection algebras \(A\), \(B\) is called a projection map if \(f(na)= nf(a)\) for \(n\in\mathbb{N}^\infty\), \(a\in A\). The category of all projection algebras with projection maps between them is denoted by PRO. It is shown that every monomorphism in PRO is pure. From this it follows that, for a projection algebra \(A\), the following are equivalent: (i) \(A\) is equationally compact, (ii) \(A\) is complete, (iii) \(A\) is injective. The equationally compact hulls and the injective hulls of projective algebras are constructed.