Published online by Cambridge University Press: 20 November 2018
Let V be a class of similar algebras. An algebra is V-injective provided
and whenever
and fis a one-to-one homomorphism from
into
and g is a homomorphism from
into
, then there is a homomorphism h from
into
such that h º f = g. So
is injective provided all diagrams of the following sort can be completed.
Dually, is V-projective provided
and whenever
and f is a homomorphism from
onto
and g is a homomorphism from
into
, then there is a homomorphism h from
into
such that f º h = g. So
is projective provided all diagrams of the following sort can be completed:
This usage of the words “projective” and “injective” differs somewhat from the usage current in category theory.