Un isomorfismo es un homomorfismo biyectivo entre dos estructuras algebraicas cuya inversa también es un homomorfismo; exhibe las dos estructuras como idénticas desde el punto de vista estructural dentro de la firma elegida.

Principio

Indistinguibilidad estructural: los objetos isomorfos satisfacen exactamente las mismas oraciones algebraicas en el lenguaje elegido, de modo que la clasificación hasta isomorfismo captura la 'igualdad' de estructura más que la igualdad de conjuntos subyacentes.

Demostración

Dos espacios vectoriales sobre el mismo cuerpo con la misma dimensión son isomorfos; un isomorfismo explícito envía una base de uno a la base del otro. El isomorfismo de grafos es un ejemplo combinatorio: una biyección de vértices que preserva la adyacencia realiza el isomorfismo.

Aplicación incorrecta

Confundir isomorfismo con igualdad de conjuntos subyacentes o asumir que un isomorfismo es canónico sin especificar elecciones (bases, ordenaciones). Tratar biyecciones que no preservan operaciones como isomorfismos es incorrecto.

Consecuencia

Los isomorfismos preservan todas las propiedades e invariantes estructurales; los problemas de clasificación se reducen a describir clases de isomorfismo y módulos, y las construcciones se transfieren a lo largo de isomorfismos sin pérdida de información.

Inversión

Un homomorfismo no biyectivo o una biyección que no preserva operaciones proporciona una relación más débil (incrustación, epimorfismo) o ninguna relación estructural útil; la igualdad es más fuerte que el isomorfismo cuando la identidad de los elementos importa más allá de la estructura.

Límite

Depende de la firma: el isomorfismo debe preservar cada operación y relación primitiva especificada. Las clases de isomorfismo, no los representantes particulares, son el foco; los automorfismos son isomorfismos de un objeto sobre sí mismo y forman un grupo.

Tensión semántica

Isomorfismo vs igualdad: el isomorfismo equipara estructuras hasta renombrado, mientras que la igualdad exige conjuntos subyacentes y operaciones idénticas; isomorfismo vs relación de equivalencia: el isomorfismo es una relación de equivalencia que puede refinarse por equivalencias más estrictas según el contexto.

Síntesis

Un isomorfismo es la aplicación biyectiva que preserva la estructura e identifica dos objetos algebraicos como iguales hasta renombrado, haciendo que invariantes y clasificaciones sean significativas al colapsar instancias indistinguibles.