Isomorfismo

 Nota: Para o conceito na teoria das categorias, veja Isomorfismo (teoria das categorias).

Na álgebra abstrata, um isomorfismo[1] é um homomorfismo[2] bijetivo. Duas estruturas matemáticas são ditas isomorfas se há um mapeamento bijetivo entre elas.

Essencialmente, dois objetos são isomorfos se eles são indistinguíveis dado apenas pela seleção de sua característica, e isomorfismo é o mapeamento entre objetos que mostra um relacionamento entre duas propriedades ou operações.

Na Teoria das categorias, um isomorfismo é um morfismo f: XY em uma categoria para a qual existe uma "inversa" f −1: YX, com a propriedade de que ambas f −1f = idX e f f −1 = idY.[3]

  1. Do Grego: ἴσος isos "equal", and μορφή morphe "shape"
  2. Buchmann, Johannes (2004). Introduction to cryptography. [S.l.]: Springer. p. 54. ISBN 9780387207568 
  3. Awodey, Steve (2006). «Isomorphisms». Category theory. [S.l.]: Oxford University Press. p. 11. ISBN 9780198568612 

Developed by StudentB