isomorfismo

Definizione (tra gruppi)

Definizione

Si definisce isomorfismo un’applicazione biettiva $f$ tra due insiemi dotati di strutture della stessa specie tale che sia $f$ sia la sua inversa $f^{-1}$ siano omomorfismi, cioè applicazioni che preservano le caratteristiche strutture.

Più in generale, nella teoria delle categorie, un isomorfismo è un morfismo $f:X\to Y$ in una categoria per la quale esiste un inverso $f^{-1}:Y\to X$ tale che:

• $f^{-1}f=I{d}_X$
• $f{f}^{-1}=I{d}_Y$

teoria delle categorie

Risorse