In matematica, in particolare in algebra astratta, un isomorfismo (dal greco , isos, che significa uguale, e , morphé, che significa forma) è un'applicazione biunivoca fra oggetti matematici tale che l'applicazione e la sua inversa siano omomorfismi.