Hi,
I have been looking at a situation which is basically the dual of a
subdirect product: you have several algebras B_i, and a homomorphic
image of the sum (i.e., coproduct) of the B_i such that the
homomorphisms mapping each B_i through to the homomorphic image are one
to one.
It seems to me that "homomorphic sum" would be a good term for this,
but I wonder what other people may already use to describe this
situation.
Bill Rowan