ISOMORFISMO

El término ‘isomorfismo’ quiere decir ‘igual forma’, con ello se busca destacar la idea según
la cual existen similitudes y correspondencias formales entre diversos tipos de sistemas. La
palabra isomórfico se refiere entonces a la construcción de modelos de sistemas similares al
modelo original. El descubrimiento de un isomorfismo entre dos estructuras significa
fundamentalmente que el estudio de cada una puede reducirse al de la otra, lo cual deja ver
en claro dos puntos de vista desiguales sobre cada cuestión y suele ser primordial en su
adecuada comprensión. Dos estructuras matemáticas entre las que existe una relación de
isomorfismo se llaman isomorfas. En álgebra abstracta, isomorfismo es una biyectiva f tal
que f y su inverso (que sería f elevado a -1) sean ambos homomorfismos. Esto significa que
dos sistemas tienen una parte de su estructura general.

En la teoría de la categoría, un isomorfismo (o iso), es una flecha que posee una propiedad
distintiva.
Sea una categoría C y objetos a y b de esta categoría. Una flecha,

es isomorfismo se y solamente se existe,

Isomorfismo de anillos

Sean B y C dos conjuntos con estructura de anillo y sea f una aplicación de B en C, f es un

isomorfismo si cumplen las siguientes condiciones:

1- f es inyectiva (uno a uno).

2- f(x + y) = f(x) + f(y) (para todo x, y)

3- f(x . y) = f(x) . f(y) (para todo x, y)

O sea que la imagen del elemento x + y del conjunto B es idéntica a la imagen del elemento
x + la imagen del elemento y.
Es importante saber que los signos + y . no representan la operaciones suma y producto, sino
que representan a las operaciones que han sido definidas en el conjunto para que tenga
estructura de anillo.

Veamos un Ejemplo:

Sean B = Z (el conjunto de los enteros) y C = 2Z (el conjunto de los enteros pares)

En B Y C se definirán las operaciones suma y producto tal como las conocemos.

La aplicación f que consiste en multiplicar por 2 no es un isomorfismo de anillo ya que no
cumple la condición 3:

f(2) = 4, f(3) = 6, f(6) = 12

El concepto que está detrás del isomorfismo es puntualizar cuándo dos anillos son
estructuralmente iguales, independientemente de si sus elementos son diferentes.

Comparar un anillo con otro mediante una función que sea compatible con las operaciones
que ellos poseen es una forma útil para estudiar anillos conmutativos..Las funciones que se
utilizan para ellos son los clásicos teoremas de homomorfismo e isomorfismo de la teoría de
grupos, los cuales se cumplen también para anillos.