Since "subdirect product" can reasonably be interpreted as abbreviating
"subalgebra of direct product" (with a particular subalgebra in mind, up
to isomorphism), how about "quodirect sum" as abbreviating "quotient of
direct sum" (with the analogous particular quotient in mind)?

Vaughan Pratt


univalg@yahoogroups.com wrote:
> There is 1 message in this issue.
>
> Topics in this digest:
>
> 1. Homomorphic sum?
> From: Bill Rowan
>
>
> Message
> ________________________________________________________________________
>
> 1. Homomorphic sum?
> Posted by: "Bill Rowan" whrowan@... whrowan94620
> Date: Sun Jul 16, 2006 11:49 am (PDT)
>
> 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
>
>
>
>
>
> Messages in this topic (1)
> ________________________________________________________________________
> ________________________________________________________________________
>
>
>
> ------------------------------------------------------------------------
> Yahoo! Groups Links
>
>
>
>
> ------------------------------------------------------------------------
>
>
>