On the internal characterization of injective algebras

Abstract

It is shown that universal algebras that are injective in their equational classes are characterized by internal property that can be called completeness. We define universal algebra $A$ as complete (closed to simple extensions) if for each its subalgebra $A'$ and each set of extension conditions for this subalgebra there is $a \in A$ that satisfies these conditions. We define a set of extension conditions for $A'$ to some extension $A''$ as the difference between factorization kernels of free algebras for $A''$ and $A'$. It's proved that each injective universal algebra is complete and each complete universal algebra belonging to the class of algebras with CEP is injective. It's checked directly that complete (in the sense of ordering) boolean algebras and divisible Abelian groups are complete in the sense defined here.