Coimagem
 | Este artigo ou secção contém uma lista de referências no fim do texto, mas as suas fontes não são claras porque não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. (Setembro de 2021) |
Em álgebra abstrata, a coimagem de um homomorfismo
- f: A → B
é o quociente
- coim f = A/ker f
do domínio e do núcleo. A coimagem é naturalmente isomorfa à imagem pelo primeiro teorema do isomorfismo, quando aquele teorema se aplica.
De forma mais geral, na teoria das categorias, a coimagem de um morfismo é a noção dual da imagem de um morfismo. Se f : X → Y, então a coimagem de f (se existir) é um epimorfismo c : X → C tal que
- existe uma aplicação fc : C → Y com f = fcc,
- para qualquer epimorfismo z : X → Z para o qual existe uma aplicação fz : Z → Y com f = fzz, existe uma única aplicação π : Z → C tal que c = πz e fz = fcπ.
Ver também[editar | editar código-fonte]
Referências[editar | editar código-fonte]
- Mitchell, Barry (1965). Theory of categories. Col: Pure and applied mathematics. 17. [S.l.]: Academic Press. ISBN 978-0-124-99250-4