UNIDAD I

ESTRUCTURAS ALGEBRAICAS

El objetivo de esta unidad es definir una operación binaria y analizar

las estructuras algebraicas más importantes a partir de su definición
así como el estudio de las principales características comunes,
sobretodo de las estructuras algebraicas de grupo y campo.

INTRODUCCIÓN HISTORICA

El registro más antiguo que se conoce de la resolución de ecuaciones viene de los problemas
planteados en escritura cuneiforme, de Babilonia, de alrededor del año 1600 A.C., y que se
vinculan naturalmente al desarrollo del Álgebra. Sin duda, la historia de los avances de la
Humanidad en la resolución de ecuaciones polinómicas muestra cómo crece lentamente, a
través de los siglos, esa “semilla” de la abstracción sembrada en la cultura occidental por
los pensadores de la Grecia Antigua, en particular, la abstracción del número como hoy lo
concebimos, y que permitió desarrollar toda una simbología al servicio del estudio de la
resolución de ecuaciones en su sentido más general, y también al servicio de lo que se
conoce como Álgebra Moderna o Álgebra Abstracta, disciplina que ya no tiene, sin embargo,
el tema de la resolución de ecuaciones.

Es en Francia en el año 1832 que un brillante matemático autodidacta, Evariste

Galois (Bourg-la-Reine, 1811 - París, 1832)de 21 años de edad, a quien tres veces le habían
rechazado su solicitud de ingreso a la prestigiosa institución de Educación Superior École
Polytechnique, escribió una carta a su amigo Auguste Chevalier, en la última noche de su
breve vida, revelandole la conexión que había encontrado entre los grupos de
permutaciones y las ecuaciones polinómicas, además de otros descubrimientos, al margen
escribió: “¡No tengo tiempo!”.
Unidad Didáctica Estructuras Algebraicas

A pesar del rechazo y la indiferencia de que fue víctima durante su vida como
matemático, estaba seguro de que al transcurrir el tiempo, su legado seria valorado. Y no
se equivocaba. Once años más tarde, el Matemático francés Joseph Liouville (Saint-Omer,
1809-París, 1882) se dirigió a la Academia de Ciencias, anunciando que, entre los papeles
de Evariste Galois, “había encontrado una solución, tan precisa como profunda, del bello
problema de la factibilidad de resolución por radicales de cualquier ecuación polinómicas”.
El grupo definido por Galois, en 1832, como recurso para el desarrollo de su trabajo en
torno a la factibilidad de resolver por radicales un polinomio f, fue el grupo de las
permutaciones de las raíces de f. Por muchos años, los únicos grupos considerados por los
matemáticos fueron los grupos de permutaciones. La primera definición de un grupo
abstracto fue dada más tarde por uno de los padres del Algebra Lineal el Matemático
británico Arthur Cayley (Richmond, 1821-Cambridge, 1895) y en 1870 el Matemático
alemán Leopold Kronecker (Liegnitz, hoy Legnica, Polonia, 1823 - Berlín, 1893) estableció
un sistema axiomático satisfactorio para los grupos.

Después de estos acontecimientos, si bien los tratados de Álgebra durante mucho

tiempo reservaron todavía el lugar más importante a la teoría de ecuaciones, los nuevos
trabajos ya no están dominados por la preocupación de las aplicaciones inmediatas a la
resolución de ecuaciones numéricas, orientándose hacia lo que hoy se considera como el
problema fundamental del Álgebra, el estudio de las estructuras algebraicas por sí mismas.

OPERACIONES BINARIAS

Una operación binaria definida en un conjunto S, es una regla de correspondencia que

asocia a cada dos elementos de S un único elemento al que llamamos resultado, que en
general depende del orden en que se tomen los elementos. Si el resultado pertenece al
conjunto S decimos que S es cerrado respecto a la operación binaria.

Es decir en este último caso, una operación binaria es una aplicación que asigna a
cada par de valores a, b de un conjunto no vacío S un solo valor c de S, que podemos
representar como:

f:S×S→S

2
 Algebra Lineal

Ejemplos:

I. Si representando la operación por un símbolo, como por ejemplo (∗), podemos

expresar la operación ∗ de alguna de las maneras siguientes:

∗
a ∗ b = c, ∗ (a, b) = c o (𝑎, 𝑏) → 𝑐

II. Considerando el conjunto de los números naturales ℕ y definiendo la siguiente regla

para dos de sus elementos cualesquiera; “al primero, sumarle dos veces el segundo”.

Si tomamos dos elementos, 9 y 8 por ejemplo, y les aplicamos la regla, obtenemos:

9 + 8 + 8 = 25

Una regla como la descrita, es una operación binaria definida en ℕ y el número que
se obtiene al aplicar la regla, es el resultado de la operación.

Si los números son los mismos, pero tomando primero el 8 y el 9 como segundo
elemento, al aplicar la regla, obtenemos:

8 + 9+ 9 = 26

De aquí concluimos que el resultado de la operación, en general, no solo depende

de los números a los que se aplica la regla, sino también del orden en que se consideran.

En tanto que, la operación suma definida en ℕ.

9 + 8 = 8 + 9 = 17

Y la multiplicación en ℕ.
9 * 8 = 72

III. Sea ℕ y la operación ∆ definida a partir de la suma de números naturales como:

x∆y=x+y+1  x, y  ℕ

Entonces observemos que para (ℕ, ∆); x ∆ y = x + y + 1  x, y  ℕ.

Por definición tenemos que;

x∆y=x+y+1=(x+y)+1
x + y  ℕ y 1  N  ( x + y )+ 1  ℕ

3
Unidad Didáctica Estructuras Algebraicas

Además

y ∆ x = y + x + 1 = ( y + x ) + 1=( x + y ) + 1=x + y + 1
Así que:
x∆y=y∆x

En general, una operación binaria puede cumplir las siguientes propiedades

i. a, b, c  A, abc  a(bc) Asociativa

ii. a, b, c  A, ab  ba Conmutativa
iii. e  A, (ae  ea  a, a  A) Elemento neutro
iv. a' A, aa'  a' a  e, e  A) Elemento inverso

Dadas 2 operaciones ‘*’ y ‘∆’, se dice que ‘*’ es Distributiva respecto de ‘∆’ si es

a * (bc)  (a * b)(a * c), a, b, c  A Distributiva por la izquierda y

(ab) * c  (a * c)(b * c), a, b, c  A Distributiva por la derecha

ESTRUCTURA ALGEBRAICA

Las estructuras algebraicas son conjuntos no vacíos donde están definidas una o dos
operaciones binarias que satisfacen determinadas propiedades.

ESTRUCTURA DE GRUPO

La estructura algebraica de grupo, consiste en un conjunto cualquiera no vacío S de

elementos y una operación binaria definida, que cumple las siguientes propiedades:

i. Cerradura.
ii. Asociativa.
iii. Existencia de elemento neutro.
iv. Existencia de elemento inverso.

4
 Algebra Lineal

ESTRUCTURA DE GRUPO ABELIANO O CONMUTATIVO

La estructura algebraica de grupo Abeliano consiste en un conjunto de elementos no vacío

S y una operación binaria definida, que cumple además de las propiedades anteriores de un
grupo la propiedad conmutativa, es decir que debe de cumplir con las propiedades
siguientes:

i. Cerradura.
ii. Asociativa.
iii. Existencia de elemento neutro.
iv. Existencia de elemento inverso.
v. Conmutativa.

En cualquier sistema algebraico con estructura de grupo, se cumple

la ley cancelativa para la operación binaria definida.

Ejemplos:

IV. En el caso de la suma en el conjunto de los números enteros “ℤ” que cumple con las
propiedades antes señaladas como observaremos a continuación, la estructura que forma
(ℤ, +) se llama grupo Abeliano o grupo conmutativo.

i. Cerradura x  y  ℤ

ii. Asociativa x  ( y  z )  ( x  y)  z

iii. Elemento Neutro  0 ℤ x  0  x

iv. Elemento Inverso  - x  ℤ x  ( x)  0

v. Conmutativa x y  yx

En este caso en el sistema (ℤ, +), la ley cancelativa para la suma se enuncia como:
x  y  x  z  y  z
 x, y, z  ℤ se cumple que 
y  x  z  x  y  z

V. Sea la operación ∆ definida por; x∆y=x+y+1  x, y  ℤ. Verifique si el

sistema (ℤ, ∆) tiene estructura de grupo y grupo Abeliano

5
Unidad Didáctica Estructuras Algebraicas

Debemos demostrar, para la estructura de grupo las propiedades de:

1.- Cerradura x  y  ℤ
2.- Asociativa x  ( y  z)  ( x  y ) z
3.- Elemento Neutro    ℤ  x    x

4.- Elemento Inverso     ℤ x  

Y para verificar que es un grupo Abeliano, además, la propiedad
5.- Conmutativa x y  yx

Comencemos con la primera propiedad.

1.- A verificar la Cerradura, es decir que: x  y  ℤ
Por Definición desarrollamos la operación, es decir; x  y  x  y  1
De donde como x , y  ℤ entonces x  y  ℤ

Y también como x  y, 1 ℤ entonces x  y  1 ℤ

Finalmente como x  y  1 x  y ,
Tenemos que x  y  ℤ, q.e.d.
q.e.d. (queda entonces demostrado).

2.- A demostrar la asociatividad, es decir que: x  ( y  z)  ( x  y ) z

Desarrollando ambos lados de la igualdad
Del lado izquierdo se obtiene
x  ( y  z)  x  ( y  z  1 )
 x  ( y  z 1) 1
 x  y  z 11
xyz2

Del lado derecho obtenemos

( x  y ) z  (x  y  1)  z
 (x  y  1)  z 
 x  y 1 z 1
 x  y  z 11

6
 Algebra Lineal

 xyz2

Por lo tanto al resultar idénticos tenemos que x  ( y  z)  ( x  y ) z , q.e.d.

3.- Debemos encontrar el elemento neutro  tal que   ℤ  x   x

Por un lado debe de cumplir que x   x

Por la definición tenemos que x    x   1
De manera que igualando resulta x  x   1
Por tanto tenemos que   1 ℤ l.q.q.d.

l.q.q.d. (lo que queríamos demostrar)

4.- Debemos encontrar el elemento inverso  tal que  ℤ x 

Por un lado debe de cumplir que x     con   1
Por la definición tenemos que x    x   1
Igualando resulta que -1  x    1
De donde   x  2
y como  x y  2  ℤ implica que  x  2  ℤ

Tenemos por lo tanto que:   x  2  ℤ

Por lo tanto queda demostrado que el sistema (ℤ,  ) tiene estructura de grupo.

Ahora bien comprobando la conmutatividad, es decir que: x y  yx

Por la definición tenemos

x  y  x  y 1
Por conmutatividad de los números enteros
 y  x 1
 yx

Entonces el sistema (ℤ,  ) también tiene estructura de grupo Abeliano.

7
 Unidad Didáctica Estructuras Algebraicas

Ejercicios:

I. Comprobar que (ℚ, +) es un grupo Abeliano o conmutativo.

II. Comprobar que (ℝ, +) es un grupo Abeliano o conmutativo.

SUBGRUPOS

Sea el grupo (A,  ) y B un subconjunto de A, se dice que B es un subgrupo de (A,  ) si y

sólo si (B,  ) es grupo.

Ejercicios:

III. Demostrar que (ℤ,  ) es un subgrupo de (ℚ,  ) siendo  la suma ordinaria.

IV. Demostrar que (ℤ +, ∆) es un subgrupo de (ℤ,  ) donde ∆ es el producto ordinario.

ESTRUCTURA DE ANILLO

La estructura algebraica de anillo consiste en un conjunto no vacío S de elementos en el

que se definen dos operaciones binarias que cumplen con las siguientes propiedades:

i. El conjunto S forma un grupo Abeliano respecto a la primera operación.

ii. La segunda operación es:
a).- Cerrada
b).- Asociativa
iii. La segunda operación es distributiva sobre la primera.

Una operación es distributiva sobre otra operación, si es distributiva tanto por la

izquierda como por la derecha.

Al elemento idéntico o neutro de la primera operación le llamamos elemento cero

del Anillo.

La segunda operación no es necesariamente conmutativa, en caso de serlo, la

estructura recibe el nombre de anillo conmutativo.

8
 Algebra Lineal

Si en el anillo existe un elemento idéntico para la segunda operación, a dicho

elemento le llamamos elemento unidad del anillo y la estructura recibe el nombre de anillo
con unidad.

A la estructura Algebraica con dos operaciones binarias la denotamos con (𝐒,  ,  ) donde
 y  son respectivamente la primera y segunda operaciones.

Ejemplos:

VI. Determinar si el conjunto de números enteros ℤ forma un Anillo respecto a las

operaciones  y  , definidas en este orden por:

x  y=x+y+1  x, y  ℤ.
x  y=x+y+xy  x, y  ℤ.

De tener estructura de anillo determine; el elemento cero, si es un anillo conmutativo y si

tiene elemento unidad.

Recordemos que la estructura algebraica de anillo tiene un conjunto no vacío, en

este caso ℤ, en el que se definen dos operaciones binarias que deben de cumplir con las
siguientes propiedades:

1.- El conjunto ℤ forma un grupo Abeliano respecto a la primera operación.

2.- La segunda operación es;
a).- Cerrada
b).- Asociativa
3.- La segunda operación es distributiva sobre la primera.

Que el conjunto ℤ forme un grupo Abeliano respecto a la primera operación,

verificamos que:

1.1.- x  y  ℤ
Por definición desarrollamos la operación, es decir; x  y  x  y  1
De donde como x , y  ℤ entonces x  y  ℤ
Y también como x  y, 1 ℤ entonces x  y  1 ℤ
Finalmente como x  y  1 x  y ,
Tenemos que x  y  ℤ, q.e.d.

9
Unidad Didáctica Estructuras Algebraicas

1.2.- x  ( y  z)  ( x  y ) z
Desarrollando ambos lados de la igualdad
Del lado izquierdo se obtiene
x  ( y  z)  x  ( y  z  1 )
 x  ( y  z 1 ) 1
 x  y  z 11  x  y  z  2

Del lado derecho obtenemos

( x  y ) z  (x  y  1)  z
 (x  y  1)  z  1
 x  y 1 z 1
 x  y  z 11
xyz2
Por lo tanto al resultar idénticos tenemos que x  ( y  z)  ( x  y ) z , q.e.d.

1.3.- Encontrar  tal que   ℤ  x    x

Por un lado debe de cumplir que x   x
Por la definición tenemos que x    x   1
De manera que igualando resulta x  x   1
Por tanto tenemos que   1 ℤ l.q.q.d.

1.4.- Encontrar  tal que   ℤ x 

Por un lado debe de cumplir que x     con   1
Por la definición tenemos que x    x   1
Igualando resulta que -1  x    1
De donde    x  2 y como  x,2  ℤ implica que  x  2  ℤ
Tenemos por lo tanto que:   x  2  ℤ

1.5.- xy  yx

Por la definición
xy  x  y  1
 y  x 1
 yx

Entonces el sistema (ℤ,  ) tiene estructura de grupo Abeliano.

10
 Algebra Lineal

Que el conjunto ℤ con la segunda operación  es cerrado y asociativa, tenemos

2.a.- x  y  ℤ
Por Definición desarrollamos la operación, es decir; x  y  x  y  xy
De donde como x , y  ℤ entonces x  y  ℤ como xy ℤ
Por lo tanto x  y  xy  ℤ
Finalmente como x  y  xy x  y ,
Tenemos que x  y  ℤ, q.e.d.

2.b.- x  ( y  z)  ( x  y ) z
Desarrollando ambos lados de la igualdad
Del lado izquierdo se obtiene
x  ( y  z)  x  ( y  z  yz )
 x  ( y  z  yz )  x( y  z  yz )
 x  y  z  yz  xy  xz  xyz
Del lado derecho obtenemos
( x  y ) z  (x  y  xy ) z
 (x  y  xy )  z  (x  y  xy )z
 x  y  xy  z  xz  yz  xyz
 x  y  z  yz  xy  xz  xyz
Por lo tanto el resultar idénticos tenemos que x  ( y  z)  ( x  y ) z , q.e.d.

Que la segunda operación  es distributiva sobre la primera  implica demostrar que:

3.- x  ( y  z)  ( x  y )( x  z) .
Desarrollando ambos lados de la igualdad
Del lado izquierdo se obtiene
x  ( y  z)  x  ( y  z  1 )
 x  ( y  z  1 )  x( y  z  1 )
 x  y  z  1  xy  xz  x
 2 x  y  z  1  xy  xz

Del lado derecho obtenemos

( x  y )(x z)  (x  y  xy )(x  z  xz)
 (x  y  xy )  (x  z  xz)  1
 x  y  xy  x  z  xz  1
 2x  y  z  1  xy  xz

11
 Unidad Didáctica Estructuras Algebraicas

Por lo tanto el resultar idénticos nos implica que x  ( y  z)  ( x  y )( x  z) , q.e.d.

Por tanto la estructura Algebraica (ℤ,  ,  ) forma un Anillo

Para encontrar el Cero del Anillo debemos encontrar  tal que   ℤ  x    x

Por un lado debe de cumplir que x   x
Por la definición tenemos que x    x   1
De manera que igualando resulta x  x   1
Por tanto tenemos que   1 ℤ es al Cero de la estructura (ℤ,  ,  ).

Para encontrar la Unidad del Anillo debemos encontrar un  tal que   ℤ  x    x

Por un lado debe de cumplir que x   x
Por la definición tenemos que x    x    x
De manera que igualando resulta x  x    x
Y por lo tanto que 0   (1  x)
Implica que   0  ℤ corresponde a la Unidad de la estructura (ℤ,  ,  ).

Ejercicios:

V. Comprobar que (ℚ, +, x) es un anillo conmutativo.

VI. Comprobar que (ℝ, +, x) es un anillo conmutativo.
VII. Verificar que el caso de ℤ con las operaciones comunes de adición y multiplicación,
cumple con las propiedades antes señaladas, y determinar el cero y unidad.

ESTRUCTURA DE DOMINIO ENTERO

Un dominio entero, es un anillo conmutativo y con unidad que no contiene divisores propios
de cero.

DIVISORES PROPIOS DE CERO

En un sistema, a y b son divisores propios de cero, si a • b = 0 para a  0 y b  0.

Ejemplo:

12
 Algebra Lineal

VII. El sistema (ℤ, +, •) es un ejemplo de dominio entero, ya que:

 a, bℤ, a•b=0  a=0 ó b=0
Por lo que, en ℤ no existen divisores propios de cero

ESTRUCTURA DE CAMPO

La estructura algebraica de campo consiste en un conjunto S no vacío de elementos y dos

operaciones binarias que satisfacen (ambas) las siguientes propiedades (en el ejemplo
particular del conjunto de los números reales ℝ):

Cerraduras i. x  y  ℝ vi. x  y  ℝ
Asociativas ii. x  ( y  z )  ( x  y)  z vii. x  ( y  z )  ( x  y)  z
Elementos neutros iii.  0  ℝ x  0  x viii.  1  ℝ x 1  x
Elementos inversos iv.  - x  ℝ x  ( x)  0 ix.  x -1  0  ℝ x  x -1  1
Conmutativas v. x  y  y  x x. x  y  y  x

Así como la propiedad distributiva de la segunda operación sobre la primera.

Distributiva xi. x  ( y  z)  x  y  x  z
( y  z)  x  y  x  z  x

Obsérvese que; x  ( y  z)  ( x  y)  ( x  z)

Es decir, un campo o una estructura algebraica de campo es un anillo conmutativo

con unidad en el que todos los elementos, a excepción del cero, tienen inverso para la
segunda operación.

Un campo de manera alternativa se define como un conjunto S, que contiene al

menos dos elementos, en el que:

i.- S es cerrado para ambas operaciones.

ii.- S forma un grupo Abeliano respecto a la primera operación (cuyo
elemento idéntico se llama elemento cero)

13
 Unidad Didáctica Estructuras Algebraicas

iii.- Los elementos de S, diferentes de cero, forman un grupo Abeliano

respecto a la segunda operación (cuyo elemento idéntico se llama
elemento unidad)
iv.- La segunda operación es distributiva sobre la primera.

Todo campo también es un dominio entero, es decir no existen divisores propios de cero.

Ejemplo:

VIII. Considérese el conjunto ℕ y las operaciones  y (ℕ,∗, ∆), definidas de la manera

siguiente:

(ℕ,∗, ∆), x * y  x 2 y 2 x, y  ℕ,

x  y  x  y  1x, y  ℕ,

Verifique si ℕ con cada una de las operaciones forman un grupo Abeliano y con
ambas un campo.

Para la operación  , tenemos;

Cerradura
x  y  x2 y 2 x  N  x 2  xx  N
y  N  y 2  yy  N
 x 2 y 2  N  Se cumple la propiedad

Asociativa
( x * y) * z  x 2 y 2 * z  ( x 2 y 2 )2 z 2  x 4 y 4 z 2
x * ( y * z )  x * y 2 z 2  x 2 ( y 2 z 2 )2  x 2 y 4 z 4
x4 y 4 z 2  x2 y 4 z 4
( x * y) * z  x * ( y * z)

Así que ( N,*) No es un grupo

y por lo tanto ( N,*, ) No es un campo

ISOMORFISMOS Y HOMOMORFISMOS

14
 Algebra Lineal

El concepto de isomorfismo es de relevante importancia en las matemáticas; especialmente

desde el punto de vista de sus aplicaciones. Dicho concepto se encuentra subyacente en el
empleo mismo de modelos matemáticos, ya sea para la resolución de problemas físicos o
para la resolución de problemas matemáticos más complicados.

El término "isomorfo", que etimológicamente significa "de igual forma", se emplea

en el álgebra para denotar la idea de que dos sistemas son tan parecidos que pueden
considerarse, en esencia, como el mismo.

Por ejemplo, al analizar las tablas siguientes

• 1 -1 # p q
1 1 -1 p p q
-1 -1 1 q q p

Nos queda la impresión de que podríamos reemplazar los símbolos 1, -1 y • por los
símbolos p, q y # respectivamente. Con ello cambiaríamos un sistema por otro sin alterar
esencialmente los resultados.

En general, la sustitución de los elementos de un conjunto A por los elementos de

otro conjunto B puede hacerse mediante una función f: A → B. Cuando dicha función es
biyectiva los elementos de A y de B se encuentran en relación "uno a uno", y cada uno de
ellos puede considerarse como el "reflejo" de su elemento correspondiente en el otro
conjunto.

Si en el conjunto A está definida una operación * y en el conjunto B una operación ∆,

es necesario que los resultados obtenidos en el sistema (A, *) se conserven al efectuar las
operaciones en el sistema (B, ∆) con las imágenes respectivas; por lo que la función f debe
ser tal que

𝑓(𝒂 ∗ 𝒃) = 𝑓(𝒂) ∆ 𝑓(𝒃); ∀ 𝒂, 𝒃 ∈ A

Esta propiedad de la función f garantiza que se llega al mismo resultado empleando

cualquiera de los dos procedimientos siguientes:

1) Efectuando la operación * en el sistema (A, *) y aplicando después la función f al

resultado.

15
Unidad Didáctica Estructuras Algebraicas

2) Aplicando la función f a cada uno de los elementos y efectuando después la

operación ∆ con las imágenes en el sistema (B, ∆).

La diferencia entre ambos procedimientos puede apreciarse claramente en el

diagrama siguiente

*
(a, b) a*b

f f
∆
f(a*b)=
(f(a), f(b))
f(a) ∆ f(b)

Una función que satisface dicha propiedad se dice que es un "homomorfismo" de

(A,*) en (B, ∆). Cuando la función es, además, biyectiva se dice que es un "isomorfismo"
entre (A,*) y (B, ∆), y que dichos sistemas son "isomorfos".

El caso particular del isomorfismo ofrece una ventaja adicional:

Por ser f una función biyectiva existe su inversa f - 1 y podemos, mediante esta última,
emprender el "regreso" del sistema (B, ∆) al sistema (A,*) una vez que se ha efectuado la
operación. Esto último fundamenta el empleo de modelos matemáticos para la resolución
de problemas físicos ya que, debido al isomorfismo, es posible emplear un proceso como el
que se indica en el siguiente diagrama:

Operación
elementos físicos resultado físico
Física

interpretación
modelo (f)
del modelo (f-1)

16
 Algebra Lineal

operación
elementos matemáticos resultado matemático
matemática

A continuación se presentan las definiciones formales de estos conceptos así como

algunos ejemplos y teoremas relacionados.

Definición:

Sean (G,*) y (G', ∆) dos grupos. Una función f: G → G' es un homomorfismo si

𝑓(𝐚 ∗ 𝐛) = 𝑓(𝐚)∆ 𝑓(𝐛), ∀ 𝐚, 𝐛 ∈ 𝐆

Si f es, además, biyectiva, se dice que es un isomorfismo y que los grupos (G,*) y
(G', ∆) son isomorfos.

Ejemplos:

IX. Para los grupos (ℤ,+) y (S, •), donde S = {1, -1, i, -i}, la función

𝑓(m) = im , ∀ m ∈ ℤ

Constituye un homomorfismo ya que

∀ m, n ∈: ℤ 𝑓(m + n) = im+n = im ∙ in = 𝑓(m) ∙ 𝑓(n)

Pero no se trata de un isomorfismo puesto que f no es biyectiva. Es claro que no

puede existir un isomorfismo entre dichos grupos ya que S es finito (tiene cuatro
elementos) y ℤ, es infinito.

X. El conjunto S de matrices simétricas de orden dos con elementos en ℝ y el conjunto

3
ℝ de las ternas ordenadas de números reales; ambos con las operaciones definidas en
forma usual son un ejemplo de grupo isomorfo.

17
 Unidad Didáctica Estructuras Algebraicas

En efecto, si

a b
M=[ ]
b c

Representa un elemento arbitrario de S, podemos definir una función f: S → ℝ 3

mediante la regla

a b 𝑓
[ ] → (a, b, c)
b c

Se tendrá entonces, para dos matrices cualesquiera de S

a b d e
M=[ ] yN= [ ] Que
b c e f

a+d b+e
𝑓(M + N) = 𝑓 ([ ]) = (a + d, b + e, c + f)
b+e c+f

Y que

𝒇(M) + f(N) = (a, b, c) + (d, e, f) = (a + d, b + e, c + f)

Por lo que

𝒇(M + N) = 𝒇(M) + 𝒇(N); ∀ M, N ∈ S

Además, como f es biyectiva se trata de un isomorfismo; en consecuencia, (S,+) y

(ℝ 3,+) son isomorfos.

XI. Un conocido ejemplo de isomorfismo entre el grupo multiplicativo (ℝ +, •) y el grupo

aditivo (ℝ, +) lo constituye la función logaritmo; ya que, además de ser biyectiva, cumple
con la condición

L(x ∙ y) = L(x) + L(y); ∀ x, y ∈ ℝ +

Como es del conocimiento del alumno lector, la función logaritmo se emplea

comúnmente para transformar problemas multiplicativos en problemas aditivos.

18
 Algebra Lineal

Teoremas:

T1. Sean (G,*) y (G', ∆) dos grupos, y f: G → G' un homomorfismo:

i) Si e es el idéntico para * y e' es el idéntico para ∆, entonces

𝑓(𝐞) = 𝐞′

ii) Si â es el inverso de a ∈ G para * y 𝑓(̂a) es el inverso de f(a) ∈ G’ para ∆, entonces

𝑓(â) = 𝑓(̂𝐚)

Se demuestra únicamente la parte i) dejando como ejercicio la demostración de la

parte ii)

i) Sea a ∈ G, como e es el idéntico para * en G

e ∗ a = a; ∀ a ∈ G

Por lo que
𝑓(e ∗ a) = 𝑓(a)

Como f es un homomorfismo
𝑓(e ∗ a) = 𝑓(e)∆𝑓(a)

Por lo que
𝑓(e)∆ 𝑓(a) = 𝑓(a)

Y en consecuencia
𝑓(e) = e′

Como queríamos.

T2.- Sean (G,*) y (G', ∆) dos grupos. Si f: G → G' es un isomorfismo entonces f-l: G' → G es un
isomorfismo.

19
Unidad Didáctica Estructuras Algebraicas

Como f: G → G' es biyectiva; entonces, de la teoría de funciones, sabemos que existe

su inversa f-l: G' → G y que también es biyectiva.

Para probar que f-l es homomorfismo consideremos dos elementos a′ = 𝑓(a) y b’ =

𝑓(b) de G´, donde a, b ∈ G. Entonces

𝑓 −1 (a′ ∆b′ ) = 𝑓 −1 [𝑓(a)∆𝑓(b)]

como f es un homomorfismo podemos escribir

𝑓 −1 (a′ ∆b′ ) = 𝑓 −1 [𝑓(a ∗ b)]

Y si
𝑓 −1 [𝑓(x)] = x

Se tiene que
f −1 (a′ ∆b′ ) = a ∗ b

Finalmente como
a = 𝑓 −1 (a′ ) y b = 𝑓 −1 (b′ )

𝑓 −1 (a′ ∆b′ ) = 𝑓 −1 (a′ ) ∗ 𝑓 −1 (b′ )

Por lo que 𝑓 −1 es un homomorfismo.

Para finalizar esta unidad cabe mencionar que los conceptos de isomorfismo y
homomorfismo no se limitan al caso de la estructura de grupo la podemos extender entre
estructuras algebraicas en general.

Así, en el caso de dos anillos (A, +, •) y (A', ⨁, ⨀), una función f: A → A' tal que

𝑓(a + b) = 𝑓(a) ⨁ 𝑓(b)

𝑓(a • b) = 𝑓(a)⨀𝑓(b); ∀ a, b ∈ A

20
 Algebra Lineal

Es un homomorfismo de A en A', Si f es biyectiva se trata de un isomorfismo y se dice

que los anillos son isomorfos.

De esta manera, se habla de isomorfismos entre anillos, entre campos o entre

espacios vectoriales.

21