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.