Purity and equational compactness of projection algebras (Q5947275)
From MaRDI portal
scientific article; zbMATH DE number 1660714
Language | Label | Description | Also known as |
---|---|---|---|
English | Purity and equational compactness of projection algebras |
scientific article; zbMATH DE number 1660714 |
Statements
Purity and equational compactness of projection algebras (English)
0 references
21 November 2001
0 references
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.
0 references
projection algebra
0 references
projection map
0 references
category
0 references
equationally compact hulls
0 references
injective hulls
0 references