Na álgebra abstrata, um isomorfismo é um homomorfismo bijetivo. Duas estruturas matemáticas são ditas isomorfas se há um mapeamento um-para-um entre os elementos das estruturas matemáticas.