Coimage
In algebra, the coimage of a homomorphism f: A → B is the quotient coim f = A/ker f of domain and kernel. The coimage is canonically isomorphic to the image by the first isomorphism theorem, when that theorem applies. More generally, in category theory, the coimage of a morphism is the dual notion of the image of a morphism. If f : X → Y, then a coimage of f (if it exists) is an epimorphism c : X → C such that
primaryTopic
Coimage
In algebra, the coimage of a homomorphism f: A → B is the quotient coim f = A/ker f of domain and kernel. The coimage is canonically isomorphic to the image by the first isomorphism theorem, when that theorem applies. More generally, in category theory, the coimage of a morphism is the dual notion of the image of a morphism. If f : X → Y, then a coimage of f (if it exists) is an epimorphism c : X → C such that
has abstract
Em álgebra abstrata, a coimage ...... → C tal que c = πz e fz = fcπ.
@pt
In algebra, the coimage of a h ...... oth c = π ∘ z and fz = fc ∘ π.
@en
在代数中，同态 f: A → B 的余象是域和核的 商: c ...... 的映射π : Z → C使得c = πz且fz = fcπ。
@zh
数学の代数学において、ある種の代数系における準同型写像 f: ...... 成立するような唯一つの写像 π : Z → C が存在する。
@ja
Wikipage page ID
Wikipage revision ID
607,162,696
comment
Em álgebra abstrata, a coimage ...... epimorfismo c : X → C tal que
@pt
In algebra, the coimage of a h ...... pimorphism c : X → C such that
@en
在代数中，同态 f: A → B 的余象是域和核的 商: c ...... 的映射π : Z → C使得c = πz且fz = fcπ。
@zh
数学の代数学において、ある種の代数系における準同型写像 f: ...... 成立するような唯一つの写像 π : Z → C が存在する。
@ja
label
Coimage
@en
Coimagem
@pt
余像
@ja
余象
@zh