lgebra

2012

VII. Estructuras Algebraicas

Objetivo

Se analizarn las operaciones binarias y sus propiedades dentro de una estructura algebraica.

Definicin de operacin binaria

Operaciones como la suma, resta, multiplicacin o divisin de nmeros son consideradas
operaciones binarias, ya que asocian a un par de nmeros con un resultado. En general, una
operacin binaria tiene dos caractersticas esenciales:

Se aplica a un par de elementos con una naturaleza determinada.

Asocia a dicho par con otro nico elemento de la misma naturaleza determinada; la
asociacin se realiza por medio de un criterio definido.

En forma general, una operacin binaria definida en un conjunto S no vaco es una funcin
que relaciona un par de elementos (, ) , con una imagen .

Ejemplo 7.1. Si se considera al conjunto de los nmeros racionales y la suma, se tendr que dicha
operacin asocia a un par de nmeros racionales otro nico nmero racional; es decir, para el par

de nmeros racionales , , existe un nico nmero denotado como + que se conoce como

la suma de y . El criterio para obtener la suma de dos nmeros racionales es

+
+ =

Adems de las operaciones tradicionales, es posible expresar otras operaciones binarias.

Ejemplo 7.2. La tabla 7.1 especifica la operacin binaria AND, que establece una operacin lgica
utilizada en la electrnica y la computacin

Tabla 7.1. Operacin AND.

En este caso, el criterio que se establece para realizar la operacin es la misma tabla, y el conjunto
sobre el cual se aplica es {0, 1}; en este caso se tendra:
01=0

11=1
126

Elabor: Ing. Aldo Jimnez Arteaga

10=0

00=0

lgebra

2012

Que son los resultados que la operacin puede asignar.

Las operaciones binarias tambin pueden definirse por medio de reglas de correspondencia, y
haciendo uso de las operaciones binarias tradicionales.
Ejemplo 7.3. Sea la siguiente operacin binaria
= ,

Se puede obtener un resultado para la pareja (1, 6):

Cuyo resultado es 1.

1 6 = (1)6

Propiedades de las operaciones binarias

Cuando un conjunto tiene definida una operacin binaria se puede formar un sistema algebraico
que posee una estructura definida, la cual est ligada a las diferentes propiedades que posea la
operacin binaria.
Los niveles y diferentes tipos de estructuras algebraicas estn sujetos a la naturaleza de las
propiedades que se cumplen para una operacin en un conjunto dado. As, las estructuras de
grupo, anillo y campo se diferencian por el nmero de operaciones y las propiedades que stas
cumplen en un conjunto numrico dado.
La primera de estas propiedades es inherente al concepto de operacin binaria: a cada par de
elementos de cierta naturaleza se le asigna un resultado de sa misma naturaleza.
Ejemplo 7.4. Si se aplica la suma a los nmeros naturales, el resultado ser otro nmero natural:
+=

, ,

Si se tuviesen los nmeros naturales 3 y 4, el resultado de su suma es 7, otro nmero natural.

Esto quiere decir que una operacin binaria es cerrada; o sea, una operacin definida en un
conjunto S da como resultado un elemento de ese conjunto S.
Cerradura
Si el resultado de aplicar una operacin binaria () est definido en un conjunto S, entonces se
dice que S es cerrado con respecto a dicha operacin binaria; es decir,
,

Ejemplo 7.5. Sea la operacin binaria = , . Se obtiene un resultado que puede o

no pertenecer a los nmeros enteros. Si el operando y fuese mayor a cero, el resultado es un
nmero entero; por ejemplo, (2,3) arrojara el siguiente resultado:
127

2 3 = (2)3

Elabor: Ing. Aldo Jimnez Arteaga

lgebra

2012

Que es 8 . En cambio si la pareja a operar fuese (3, 2), el resultado sera

3 2 = (3)2

1
9

Que es el nmero fraccionario , ya que es un nmero racional; por lo tanto, la operacin ()

no es cerrada para el conjunto de los nmeros enteros.

Ejemplo 7.6. Sea el conjunto = { , , } y la operacin definida por la tabla 7.2.

Tabla 7.2. Operacin Eszett definida para X.

Al aplicar la operacin a una pareja de elementos, se puede observar que la operacin es cerrada,
ya que siempre se obtendr como resultado un elemento del conjunto X.
=

Asociatividad
Al momento de definir una operacin binaria se precis que slo poda realizarse con dos
elementos de un solo conjunto; es decir, al tratar de operar tres elementos, primero se debe
realizar la operacin con dos de ellos, y despus trabajar con el resultado y el tercer elemento.
Este proceso de asociar elementos para operarlos se define como propiedad asociativa.
Para una operacin binaria () definida en el conjunto S, la asociacin de elementos especifica
que:
( ) = ( )

Ejemplo 7.7. En la suma de nmeros enteros se tiene la asociacin cumplida.

( + ) + = + ( + ) , ,

Que a su vez es extensin de la suma en los nmeros naturales.

Ejemplo 7.8. Para el conjunto X y la operacin de la tabla 7.2, la asociacin no puede cumplirse ya
que
( ) =

( ) =

Que son dos resultados completamente diferentes.

128

Elabor: Ing. Aldo Jimnez Arteaga

lgebra

2012

Ejemplo 7.9. Para las matrices de orden y la operacin de suma, es posible asociar los
elementos que se operarn:
( + ) + = + ( + )

Y el resultado no se ver alterado.

Existencia del elemento neutro

Si existe un elemento e dentro de un conjunto, que tiene la propiedad de no alterar a otro
elemento a cuando se les aplica una operacin binaria, entonces se habla de un elemento neutro.
Si se define la operacin binaria () dentro del conjunto S, y existe un elemento tal que

= , , entonces e es un elemento neutro por la derecha.

= , , entonces e es un elemento neutro por la izquierda.
= , , entonces e es un elemento neutro para ().

Esto quiere decir que un conjunto dado tendr, al menos, un elemento neutro si ste es neutro
por la izquierda y por la derecha.
Ejemplo 7.10. Si se considera al conjunto de las matrices de orden y la operacin de
multiplicacin, se verifica que el elemento neutro sera la matriz identidad:
=

Donde es la matriz identidad de orden m, la cual es un elemento neutro por la izquierda.

=

Donde es la matriz identidad de orden n, la cual es un elemento neutro por la derecha.

Estas son las propiedades que cumple la matriz identidad y que se estudiaron en el tema de
matrices y determinantes.
Ejemplo 7.11. El elemento neutro para la operacin de suma en los nmeros complejos sera el
nmero 0 + 0, ya que
( + ) + (0 + 0) = +

Por medio de la conmutacin en , se verifica que 0 + 0 es neutro por la izquierda y por la

derecha.
Ejemplo 7.12. En el conjunto X del ejemplo 7.6 y la operacin de la tabla 7.2, se puede verificar que
existen dos elementos neutros por la izquierda: y .
=

129

Elabor: Ing. Aldo Jimnez Arteaga

lgebra

2012

En cambio, estos elementos no son neutros por la derecha.

=

Y por lo tanto, la operacin no posee elementos neutros.

Existencia de elementos inversos

Los elementos inversos se relacionan directamente con el elemento neutro. En este caso, si el
resultado de la operacin binaria es el elemento neutro, entonces los dos elementos que
intervinieron en la operacin son inversos uno del otro.
Al definir la operacin binaria () dentro del conjunto S, y tomando en cuenta la existencia del
elemento neutro , se dice que

= , , entonces es el elemento inverso de a por la derecha.

= , , entonces es el elemento inverso de a por la izquierda.
= , , entonces es el elemento inverso de a para ().

Por lo tanto, si el inverso por la izquierda y por la derecha es el mismo, entonces es un elemento
inverso nico para a. Adems, un conjunto tendr para cada elemento su correspondiente inverso
en una operacin binaria.
Ejemplo 7.13. En la multiplicacin de matrices de orden n, y que son no-singulares, se tiene que
=

Donde define al elemento neutro. En consecuencia, el elemento inverso de A por la izquierda

ser el mismo que el inverso por la derecha:
Ejemplo 7.14. Cada elemento del conjunto de los nmeros reales tiene un solo inverso definido
para la operacin de multiplicacin:
1

Sabiendo que 1 es el elemento neutro en para la multiplicacin, y que el cero es el nico

elemento que no posee inverso.
Conmutatividad
Cuando una operacin binaria permite que el orden de los elementos no influya en el resultado
que se obtendr, se dice que la operacin permite la conmutacin.
Para una operacin binaria () definida en el conjunto S, la conmutacin especifica que:
=

Ejemplo 7.15. Para la multiplicacin de matrices de orden 2 no siempre se cumple la conmutacin:

130

Elabor: Ing. Aldo Jimnez Arteaga

lgebra

11

21

12 11
22 21

12
+ 12 21
= 11 11
22
21 11 + 22 21

11 12 + 12 22

21 12 + 22 22

11
21

12 11

22 21

12
11 11 + 12 21
22 = 21 11 + 22 21

11 12 + 12 22

21 12 + 22 22

En cambio, el producto

Que son dos matrices completamente diferentes.

2012

Ejemplo 7.16. Para el conjunto X y la operacin de la tabla 7.2, la conmutacin no puede

consumarse en los casos
=

Por lo tanto, no existe la conmutacin para esta operacin.

Ejemplo 7.17. Para las matrices diagonales de orden 3 y la multiplicacin se tiene que:
11

22

33

11

22

33

11

22

33

Cuyo resultado ser el mismo en ambos casos:

11 11

22 22

33 33

11

22

33

Estas cinco propiedades permiten establecer una jerarqua de estructuras, que se vuelven ms
completas segn la naturaleza de sus elementos, el nmero de operaciones binarias que se define
en ellos, y las propiedades que cumplen estas operaciones.

Definicin de grupo
La estructura algebraica ms simple que se estudiar ser el grupo. Este define a un conjunto que
posee una operacin binaria y se cumplen tres propiedades: asociacin, elemento neutro y
elemento inverso.
Sea G un conjunto no vaco con una operacin binaria () definida. G es un grupo si cumple que:
1.
2.
3.

( ) = ( )
, =
, =

Para cualquier , , .
131

Elabor: Ing. Aldo Jimnez Arteaga

lgebra

2012

Ejemplo 7.18. De los conjuntos numricos conocidos, el primero que posee una estructura de
grupo es el conjunto de los nmeros enteros estableciendo a la suma como su operacin binaria:
1.
2.
3.

( + ) + = + ( + )
0 , + 0 = 0 +
, + () = () + 0

Los nmeros naturales no poseen este tipo de estructura, ya que no est definido un elemento
neutro para la suma ni mucho menos los elementos inversos.
Ejemplo 7.19. Para el conjunto de los nmeros complejos y la operacin definida como
1 2 =
1 2

Se satisface que la operacin es cerrada, ya que la multiplicacin de nmeros complejos arroja un

resultado en ; adems, el conjugado de un nmero complejo es otro complejo.
1 2

Para comprobar si existe la asociacin se debe verificar que

(1 2 ) 3 = 1 (2 3 )

Entonces,

(1 2 ) 3 =
1 2 3

= (
)
1 2 3

= 1 2 3 (1)

Por otra parte,

1 (2 3 ) = 1
2 3
=
1 ()
2 3

= 1 2 3 (2)

Se constata que (1) y (2) no son iguales; por lo tanto, bajo la operacin no es un grupo.
Ejemplo 7.20. Sea el sistema dado por ( {0}, ~) donde
~ = 2

, 0

Se verifica que el resultado de la operacin ser un nmero real. Adems, se observa que

132

(~)~ = ~(~)
2~ = ~2
2(2) = 2(2)
4 = 4

Elabor: Ing. Aldo Jimnez Arteaga

lgebra

2012

Y la propiedad asociativa se cumple.

Por otro lado,
~ =
2 =
2 = 1
1
=
2

Como el elemento neutro e est definido, implica que se cumple esta propiedad.
Finalmente,
~ =
1
2 =
2
1
=
2

Y existe un elemento inverso para cada x que pertenezca al conjunto dado. Por lo tanto, los
nmeros reales diferentes de cero forman un grupo con respecto a la operacin definida.

Subgrupo
De un grupo G se pueden tomar subconjuntos, que posiblemente puedan formar un grupo
tomando la operacin definida para G.
Sea (,) un grupo. Un subconjunto H de G es un subgrupo si l mismo es un grupo para la
operacin (); es decir, (,) es un grupo.

Para poder identificar si es un subgrupo para la operacin (), basta con verificar si se
cumple que
, ,
,

Ejemplo 7.21. Se sabe que (, +) es un grupo; sin embargo, los subconjuntos de los nmeros
naturales y los nmeros negativos no pueden ser subgrupos.
Para la cerradura de la suma se sabe que

Anlogamente,

+ , ,
+ , ,

133

Elabor: Ing. Aldo Jimnez Arteaga

lgebra

2012

Sin embargo, al tratar de determinar el elemento inverso para suma, se sabe que los inversos
aditivos para los nmeros naturales se encuentran en el conjunto de los nmeros negativos, y
viceversa. Esto quiere decir, que aunque es un grupo, sus subconjuntos no necesariamente lo
son.
Ejemplo 7.22. Sea el grupo (, +). Si , entonces se cumple que

+

Y adems, el inverso aditivo

Por lo tanto, forma un subgrupo del grupo para la suma.

Grupo abeliano

El grupo abeliano aade la propiedad conmutativa a la definicin de grupo.

Se dice que (,) es un grupo abeliano (o conmutativo) si la operacin () cumple con
=

Ejemplo 7.23. Sea M el siguiente conjunto:

11
=

21

12
22 11 , 12 , 21 , 22

Y la operacin suma de matrices tradicional. Para determinar si (, +) es un grupo abeliano se

deben demostrar las propiedades de asociacin, existencia de elemento neutro, existencia de
0 0
elementos inversos y conmutacin. De las propiedades del grupo se sabe que =
es el
0 0
11 12
elemento neutro de la suma, y =
representa a los elementos inversos; la
21 22
asociacin y conmutacin en la suma se cumplen como una extensin de las propiedades de la
suma en los nmeros reales. En consecuencia, el sistema (, +) es un grupo abeliano.

Ejemplo 7.24. Sea el conjunto = {, } y la operacin definida en la tabla 7.3.

+

Tabla 7.3. Operacin binaria en A.

Para verificar si (, +) es un grupo abeliano se tiene:

Asociacin:

134

Elabor: Ing. Aldo Jimnez Arteaga

lgebra

2012

+ ( + ) = ( + ) +
+ = +
=

+ ( + ) = ( + ) +
+ = +
=

+ ( + ) = ( + ) +
+ = +
=

+ ( + ) = ( + ) +
+ =+
=

+ ( + ) = ( + ) +
+ = +
=

+ ( + ) = ( + ) +
+ = +
=

Adems, para los casos en los cuales todos los operandos son iguales, se cumple la propiedad. Por
lo tanto existe la asociacin para (, +).
Elemento neutro:

+ =

+ =

+ =

Por lo tanto, existe un nico elemento neutro (a); y as, se cumple la propiedad.
Elementos inversos:

+ =

Para este ejemplo, los elementos inversos existen; por lo tanto, la propiedad se cumple.
Finalmente, la propiedad conmutativa queda como:
+ =+
=

Y la conmutacin tambin es vlida para la operacin. Por lo tanto, se concluye que el sistema
(, +) tiene estructura de grupo abeliano.

Definicin de anillo
Conocido el grupo, se puede ampliar esta estructura a una ms completa; que pueda abarcar no
slo nuevas propiedades para una operacin binaria, sino que permite definir una nueva
operacin dentro del conjunto al cual se asocia la primera operacin binaria. Este tipo de criterio
se presenta en los anillos.
Sea A un conjunto no vaco, donde se definen las operaciones () y (). El sistema (,,) es un
anillo, si se cumplen , , :
135

Elabor: Ing. Aldo Jimnez Arteaga

lgebra

2012

Para la primera operacin se satisface

1.
2.
3.
4.

La asociacin, ( ) = ( )
La conmutacin, =
La existencia del elemento neutro, =
La existencia de elementos inversos

Para la segunda operacin se satisface

5.
6.

La asociacin, ( ) = ( )
La distribucin por la izquierda sobre la primera operacin, ( ) = ( ) ( )
La distribucin por la derecha sobre la primera operacin, ( ) = ( ) ( )

La primera operacin define al grupo abeliano (,). Por lo que un anillo es un grupo abeliano
para la primera operacin definida; dicha estructura de grupo se conoce como la estructura
aditiva del anillo.
Un caso peculiar es el elemento neutro de la primera operacin, e, que es conocido como el cero
del anillo; se debe hacer hincapi que el trmino cero no se refiere al nmero 0, ya que A puede
ser un conjunto no-numrico.
Ejemplo 7.25. El sistema (, +,) es un anillo, ya que los nmeros reales cumplen las propiedades
de asociacin, existencia de elemento neutro, existencia de elementos inversos y conmutacin
para la suma:

( + ) + = + ( + )
+ =+
0+ =
+ () = 0

Mientras tanto, la multiplicacin cumple con la asociacin, y la distribucin sobre la suma:

( ) = ( )
( + ) = ( ) + ( )
( + ) = ( ) + ( )

Ejemplo 7.26. Dado el grupo abeliano del ejemplo 7.24, la primera operacin de la tabla 7.3, y
definiendo ahora (, +,), donde la segunda operacin se muestra en la tabla 7.4, se puede
determinar si este nuevo sistema es anillo o no.

Tabla 7.4. Segunda operacin binaria en A.

136

Elabor: Ing. Aldo Jimnez Arteaga

lgebra

2012

Debido a que un anillo contiene a un grupo abeliano para su primera operacin, entonces slo
bastar con probar las propiedades de asociacin y distribucin para la segunda operacin.
Asociacin:
( ) = ( )
=
=

( ) = ( )
=
=

( ) = ( )
=
=

( ) = ( )
=
=

( ) = ( )
=
=

( ) = ( )
=
=

Por lo que la asociacin en la segunda operacin se cumple.

Distribucin sobre la primera operacin:
( + ) = ( ) + ( )
=+
=

( + ) = ( ) + ( )
=+
=
( + ) = ( ) + ( )
= +
=

( + ) = ( ) + ( )
=+
=

( + ) = ( ) + ( )
= +
=
( + ) = ( ) + ( )
=+
=

Y la distribucin por la izquierda se cumple; para la distribucin por la derecha se realiza el

procedimiento anlogo, resultando como conclusin el cumplimiento de la distribucin de (+)
sobre (). Por lo que el sistema (, +,) es un anillo.

Anillo conmutativo

Un anillo conmutativo se define a partir de un anillo. Sea el sistema (,,) un anillo. Si para la
segunda operacin definida se cumple
=

Se dice que el anillo es conmutativo.

Ejemplo 7.27. Tomando el ejemplo anterior, donde la estructura (, +,) es un anillo, ahora se
verificar el cumplimiento de la conmutatividad para la segunda operacin:
137

Elabor: Ing. Aldo Jimnez Arteaga

lgebra

2012

=
=

Por lo que la conmutacin se cumple; en consecuencia, el anillo (, +,) es conmutativo.

Anillo con unidad

Si un anillo (,,) posee elemento neutro para la segunda operacin:

=

Entonces, el anillo tiene unidad (f). Al igual que el cero del anillo, al decir la unidad del anillo no se
habla precisamente del nmero 1, sino del elemento neutro para la segunda operacin de A.
Ejemplo 7.28. Siguiendo con el anillo (, +,) se deber encontrar el elemento neutro de la
segunda operacin:
= =
= =

Entonces, el elemento neutro = existe y es nico. En consecuencia, el anillo (, +,) tiene

unidad.
En este caso, el anillo (, +,) cumple las dos propiedades (conmutacin y elemento neutro) en la
segunda operacin; entonces, este tipo de estructura, que conjunta al anillo conmutativo y al
anillo con unidad, se conoce como anillo conmutativo con unidad.

Dominio entero
Si en un anillo existen elementos que presentan la caracterstica
, =

Donde e es el cero del anillo y adems , siendo f la unidad del anillo. Se dice entonces, que el
anillo posee divisores propios de cero. Por el contrario, la estructura que no posee este tipo de
elementos se conoce como dominio entero.
Si un anillo conmutativo con unidad (,,) posee la propiedad
=

= , =

Donde e es el cero del anillo, se dice entonces que (,,) es un dominio entero.

Ejemplo 7.29. El anillo (, +,), cuyo cero es 0 y su unidad es 1, es un dominio entero, ya que se
cumple 0 1; adems, si se tiene = 0 significa que = 0, = 0 = 0:

138

=0
+ =
( + 1) =

Elabor: Ing. Aldo Jimnez Arteaga

lgebra

2012

+1=1
= 11
=0

De manera similar se puede demostrar que para este producto a es 0. Por lo tanto, el anillo
(, +,) no tiene divisores propios de cero, y es un dominio entero.
Ejemplo 7.30. Sea M el siguiente conjunto:

, , ,

Y las operaciones de suma y multiplicacin en las matrices. El sistema (, +,) define un anillo con
unidad, donde el cero del anillo es
0 0
=

0 0

Y su unidad es

1 0
=

0 1

Se verifica inmediatamente que la matriz nula e identidad son diferentes entre s. Sin embargo,
este anillo si posee divisores propios de cero; es decir,
, , =

Tomando como caso particular a la matriz

Al multiplicarla por si misma se tiene que

1
1

=
1 1

(1)(1) + (1)(1)
(1)(1) + (1)(1)
1
1
1
1
=

(1)(1) + (1)(1) (1)(1) + (1)(1)

1 1 1 1
0 0

=
0 0

Donde se observa que la matriz A es un divisor propio de cero.

Definicin de campo
Si a la segunda operacin se le agrega la posibilidad de la existencia de elementos inversos, se
obtendr la estructura algebraica ms completa: el campo o cuerpo. Dicha estructura contiene las
propiedades ya estudiadas en el lgebra Superior al momento de formalizar el conjunto de los
nmeros reales y de los nmeros complejos: cerradura, asociacin, conmutacin, elemento neutro
y elementos inversos para las operaciones de suma y multiplicacin; y la distribucin de la
139

Elabor: Ing. Aldo Jimnez Arteaga

lgebra

2012

multiplicacin sobre la suma. , y son los nicos campos numricos; esto no quiere decir que
sean los nicos, ya que pueden establecerse operaciones con conjuntos no-numricos.
Sea K un conjunto no vaco, y sean () y () dos operaciones binarias definidas sobre K. El sistema
(,,) es un campo, si
Para la primera operacin se cumple:
1.
2.
3.
4.

La asociacin, ( ) = ( )
La conmutacin, =
La existencia del elemento neutro, =
La existencia de elementos inversos, =

Para la segunda operacin se cumple:

5.
6.
7.
8.
9.

La asociacin, ( ) = ( )
La conmutacin, =
La existencia del elemento neutro, =
La existencia de elementos inversos, = ,
La distribucin por la izquierda sobre la primera operacin, ( ) = ( ) ( )
La distribucin por la derecha sobre la primera operacin, ( ) = ( ) ( )

Donde e es el cero del campo y f es la unidad del campo.

En forma general y compacta, un campo es un sistema (,,) si se demuestra que

(,) es un grupo abeliano.

( {},) es un grupo abeliano.
() es distributiva sobre () tanto por la izquierda como por la derecha.

Ejemplo 7.31. Los sistemas (, +,) y (, +,) son campos, ya que en ambos conjuntos, con las
operaciones de suma y multiplicacin se cumplen las 9 propiedades de un campo. Adems, se
tiene que el cero del campo no tiene inverso en la multiplicacin y es diferente de la unidad del
campo; en ambos sistemas stos ltimos elementos pertenecen tanto a los nmeros reales como
a los nmeros complejos.
Ejemplo 7.32. Sea el conjunto V, definido por:

Y las operaciones definidas como:

= {(, , )|, , }

(1 , 1 , 1 ) + (2 , 2 , 2 ) = (1 + 2 , 1 + 2 , 1 + 2 )
(1 , 1 , 1 )(2 , 2 , 2 ) = (1 2 , 1 2 , 1 2 )

140

Elabor: Ing. Aldo Jimnez Arteaga

lgebra

2012

Se debe verificar si la estructura (, +,) es un campo. En este caso, la primera operacin define
una suma tradicional de vectores; por lo tanto, las propiedades de la primera operacin del campo
son:

Asociacin, + ( +
) = ( + ) +

Conmutacin, + = +
Elemento neutro, + = = 0
Elementos inversos, + = =

Para todo , ,
.

En la segunda operacin es necesario demostrar que las 5 caractersticas restantes del campo se
satisfacen correctamente.
Asociacin:
(1 , 1 , 1 ) [(2 , 2 , 2 ) (3 , 3 , 3 )] = [(1 , 1 , 1 ) (2 , 2 , 2 )] (3 , 3 , 3 )
(1 , 1 , 1 ) (2 3 , 2 3 , 2 3 ) = (1 2 , 1 2 , 1 2 ) (3 , 3 , 3 )
(1 2 3 , 1 2 3 , 1 2 3 ) = (1 2 3 , 1 2 3 , 1 2 3 )

Por lo cual, se cumple la propiedad.

Conmutacin:

(2 , 2 , 2 ) (3 , 3 , 3 ) = (3 , 3 , 3 ) (2 , 2 , 2 )
(2 3 , 2 3 , 2 3 ) = (3 2 , 3 2 , 3 2 )

Y por la conmutacin en la multiplicacin de los nmeros reales, se satisface la propiedad.

Elemento neutro:
(, , ) (1 , 2 , 3 ) = (, , )
(1 , 2 , 3 ) =

Entonces, se plantean las ecuaciones

1 =
2 =
3 =

Por la multiplicacin en los reales se obtiene que el elemento neutro del campo para la segunda
operacin es = (1, 1, 1); y se satisface la propiedad.

Elementos inversos:

141

(, , ) (1 , 2 , 3 ) = (, , )
(1 , 2 , 3 ) =

Elabor: Ing. Aldo Jimnez Arteaga

lgebra

2012

Las ecuaciones resultantes son

1 = 1
2 = 1
3 = 1

Nuevamente, con la multiplicacin en los reales se obtiene que el elemento inverso general del
1 1 1

campo en la segunda operacin es = , , ; y esta propiedad se satisface, ya que el nico

= (0, 0, 0).
elemento que no tiene inverso es 0

Distribucin:

(1 , 1 , 1 ) [(2 , 2 , 2 ) + (3 , 3 , 3 )]
= [(1 , 1 , 1 ) (2 , 2 , 2 )] + [(1 , 1 , 1 ) (3 , 3 , 3 )]
(1 , 1 , 1 ) (2 + 3 , 2 + 3 , 2 + 3 ) = (1 2 , 1 2 , 1 2 ) + (1 3 , 1 3 , 1 3 )
1 (2 + 3 ), 1 (2 + 3 ), 1 (2 + 3 ) = (1 2 + 1 3 , 1 2 + 1 3 , 1 2 + 1 3 )

Por lo que la distribucin por la derecha est satisfecha. La distribucin por la izquierda sigue el
mismo procedimiento; al basarse en la multiplicacin y suma de los nmeros reales; entonces, se
concluye que la distribucin en ambos sentidos se cumple satisfactoriamente. El sistema (, +,)
tiene estructura de campo.
Como punto final, se debe notar que un campo es un dominio entero, ya que la existencia de
elementos inversos en la segunda operacin establece que todos los elementos del campo poseen
inverso, excepto el cero del campo; por lo que se concluye que los respectivos elementos neutros
de cada operacin son diferentes y no existen divisores propios de cero.

Isomorfismos y homomorfismos
Dentro de la lgebra Moderna pueden establecerse relaciones entre las estructuras algebraicas y
sus operaciones. Dichas relaciones permiten intercambiar los smbolos u operaciones de una
estructura sin alterar sus propiedades algebraicas o sus resultados.

Homomorfismos
Sean (, +) y (,) dos grupos. Un homomorfismo de A en B es una funcin : tal que
( + ) = () ()

El trmino viene de los vocablos griegos (homos, mismo) y (morphe, forma).

Ejemplo 7.33. Sean el grupo

2 =

142

0; , , ,

Elabor: Ing. Aldo Jimnez Arteaga

lgebra

2012

Donde se define la multiplicacin matricial tradicional, y el grupo ( {0},). Si se define la

funcin
() = det

Determnese si : {0} es un homomorfismo.

Al aplicar la definicin de isomorfismo se establece que

( ) = () ()
| | = || ||

Por propiedades de los determinantes se sabe que la igualdad es verdadera; por lo tanto,
: {0} es un homomorfismo.

Ejemplo 7.34. Sean el anillo (3 , +,), donde

3 =

Y el anillo (, +,). Determina si la funcin

Es un homomorfismo.

, ,

= ( + ) +

En este caso se tienen dos operaciones binarias; por lo tanto, la propiedad del homomorfismo se
deber probar dos veces:
( + ) = () + ()
( ) = () ()

Para toda , 3 . En la primera operacin se tiene

2
+

1 + 2

1 + 2

1
=

2
+

= (1 + 1 ) + 1 + (2 + 2 ) + 2

1 + 2
(1 + 2 + 1 + 2 ) + (1 + 2 ) = (1 + 1 + 2 + 2 ) + (1 + 2 )

Para la segunda operacin:

143

Elabor: Ing. Aldo Jimnez Arteaga

lgebra

1 2

1
=

2012

= [(1 + 1 ) + 1 ] [(2 + 2 ) + 2 ]
1 2
(1 2 + 1 2 ) + (1 2 ) =
1 2

Al realizar las operaciones, se observa que no existe igualdad. Se concluye que la funcin dada no
es un homomorfismo entre los anillos.

Isomorfismos
Se considera que una funcin : entre dos estructuras algebraicas es un isomorfismo, si
adems de ser homomorfismo es una funcin uno-a-uno y sobre; es decir,

A cada elemento de A le corresponde un asociado en A.

Todos los elementos de A se asocian con todos los elementos de A.
La funcin f tiene inversa.
El elemento neutro de A se transforma en el neutro de A.

Ejemplo 7.35. Sean los grupos (+ ,) y (, +). Se define la funcin

() = log

Por propiedades de los logaritmos se sabe que

( ) = () + ()
log ( ) = log + log

Por lo tanto, la funcin es un homomorfismo. Para verificar si es un isomorfismo se prueba el

elemento neutro del primer grupo, que es 1.
(1 1) = log 1 + log 1
=0

Que es el elemento neutro para el segundo grupo.

Para verificar la funcin inversa se toma a ambos lados la funcin exponencial en la base b.
log() = log +log
= log log
=

Lo cual indica que si existe la funcin inversa, entonces la funcin en uno-a-uno. Con respecto a la
propiedad sobre, todo nmero real positivo tiene su correspondiente logaritmo dentro de los

144

Elabor: Ing. Aldo Jimnez Arteaga

lgebra

2012

nmeros reales. En consecuencia, la funcin logaritmo entre los grupos (+ ,) y (, +) es un

isomorfismo.
Ejemplo 7.36. Sean los grupos (,) y (,), donde = {0, 1} y = {, } y las operaciones en
cada conjunto estn definidas por las tablas 7.5 y 7.6, respectivamente.
0

Tabla 7.5.
Operacin en A.

Tabla 7.6.
Operacin en B.

Determnese si : , donde (0) = y (1) = es un isomorfismo.

Comprobando cada operacin se tiene

(0 0) = (0) (0)
(0) =
=

(1 1) = (1) (1)
(1) =
=

(0 1) = (0) (1)
(1) =
=

Como la ltima expresin no es cierta, entonces la funcin dada no es un isomorfismo.

Espacio vectorial
Existe una estructura algebraica donde se definen dos operaciones, que a diferencia del anillo y
del campo, una de esas operaciones trabaja con dos conjuntos diferentes. Dicha estructura se
conoce como espacio vectorial.
Sean dos conjuntos no vacos V y K, donde K es un campo. En V se definen las operaciones
1.
2.

Suma de vectores + .
Multiplicacin por un escalar .

El conjunto V es un espacio vectorial sobre el campo K, si para todo vector , ,

y para todo
escalar , se cumple que
1.
2.

+ .
( + ) +
= + ( +
).

145

Elabor: Ing. Aldo Jimnez Arteaga

lgebra

3.
4.
5.
6.
7.
8.
9.
10.

2012

+ = + .
= , donde 0
es el elemento neutro para la suma.
+ 0
, donde es el elemento inverso de para la suma.
+ () = 0
.
() = ().
( + ) = + .
( + ) = + .
(1) = , donde 1 es la unidad del campo.

Algunos ejemplos de este tipo de estructura son los espacios , los nmeros complejos y reales,
los polinomios, y las matrices de orden .

Los espacios vectoriales son el centro del estudio del lgebra Lineal, la cual permite establecer
conceptos, relaciones y justificaciones de mtodos y procedimientos utilizados en otras ramas de
la Matemtica como la Geometra Analtica, el Clculo, o incluso la misma lgebra Superior.

146

Elabor: Ing. Aldo Jimnez Arteaga