Professional Documents
Culture Documents
2015
Estructuras Algebraicas
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:
Una operacin binaria () definida en un conjunto 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
+
+ =
0
1
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
10=0
00=0
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
= ,
AL
2015
1 6 = (1)6
cuyo resultado es 1.
, ,
EJEMPLO 7.5. Sea la operacin binaria = , . Se obtiene un resultado que puede o no pertenecer a los
nmeros enteros. Si el segundo operando fuese mayor a cero, el resultado es un nmero entero; por ejemplo, (2,3)
arrojara el siguiente resultado:
2 3 = (2)3
3 2 = (3)2
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.
Existen casos ms claros que permiten establecer la cerradura de una operacin binaria; el ejemplo clsico es cuando
dicha operacin est definida por una tabla.
2
AL
2015
Al aplicar la operacin a una pareja de elementos, se puede observar que la operacin es cerrada ya que, al buscar el
resultado en la tabla, siempre se obtendr como resultado un elemento del conjunto ; es decir, la tabla no contiene
elementos fuera del conjunto donde se define la operacin.
=
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 , la asociacin de elementos especifica que
( ) = ( )
EJEMPLO 7.8. Para el conjunto y la operacin de la tabla 7.2, la asociacin no puede cumplirse ya que
( ) =
( ) =
EJEMPLO 7.9. Para las matrices de orden y la operacin de suma, es posible asociar los elementos que se
operarn:
( + ) + = + ( + )
AL
2015
Si se define la operacin binaria () dentro del conjunto , y existe un elemento tal que
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:
=
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 del ejemplo 7.6 y la operacin de la tabla 7.2, se puede verificar que existen dos
elementos neutros por la izquierda: y .
=
AL
2015
Al definir la operacin binaria () dentro del conjunto , y tomando en cuenta la existencia del elemento neutro ,
se dice que
Por lo tanto, si el inverso por la izquierda y por la derecha es el mismo, entonces es un elemento inverso nico para .
Adems, un conjunto tendr para cada elemento su correspondiente inverso en una operacin binaria.
EJEMPLO 7.13. En la multiplicacin de matrices de orden , y que son no-singulares, se tiene que
=
donde define al elemento neutro. En consecuencia, el elemento inverso de 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 uno 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 , la conmutacin especifica que:
=
EJEMPLO 7.15. Para la multiplicacin de matrices de orden dos no siempre se cumple la conmutacin:
En cambio, el producto
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
EJEMPLO 7.16. Para el conjunto y la operacin de la tabla 7.2, la conmutacin no puede consumarse en los casos
5
AL
2015
EJEMPLO 7.17. Para las matrices diagonales de orden 3 y la multiplicacin se tiene que:
11
22
33
11
22
33
11 11
22 22
11
22
33 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 un conjunto no vaco con una operacin binaria () definida. es un grupo si cumple que:
( ) = ( )
, =
, =
para cualquier , , .
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
6
AL
2015
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
(1 2 ) 3 = 1 (2 3 )
(1 2 ) 3 = 1 (2 3 )
1 2 3 = 1
2 3
()
(
1 2 3
1 2 3
1 2 3 1 2 3
Se obtiene que ambos lados de la igualdad son diferentes; 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
( ~ ) ~ = ~ ( ~ )
2 ~ = ~ 2
2(2) = 2(2)
4 = 4
Como el elemento neutro est definido, implica que se cumple esta propiedad.
Finalmente,
~ =
1
2 =
2
1
=
2
Y existe un elemento inverso para cada que pertenezca al conjunto dado. Por lo tanto, los nmeros reales diferentes
de cero forman un grupo con respecto a la operacin definida.
7
AL
2015
Subgrupo
De un grupo se pueden tomar subconjuntos, que posiblemente puedan formar un grupo tomando la operacin
definida para .
Sea (,) un grupo. Un subconjunto de 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,
+ ,
+ ,
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
Grupo abeliano
= ,
AL
11
=
21
2015
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 elementos inversos y conmutacin. De las
11 12
0 0
propiedades del grupo se sabe que =
es el elemento neutro de la suma, y =
representa a
0 0
21 22
los elementos inversos; la 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.
a
+ ( + ) = ( + ) +
+ =+
=
+ ( + ) = ( + ) +
+ = +
=
+ ( + ) = ( + ) +
+ = +
=
+ ( + ) = ( + ) +
+ =+
=
+ ( + ) = ( + ) +
+ =+
=
+ ( + ) = ( + ) +
+ =+
=
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 (); y as, se cumple la propiedad.
Elementos inversos:
+ =
AL
2015
Para este ejemplo, los elementos inversos existen; por lo tanto, la propiedad se cumple.
Finalmente, la propiedad conmutativa queda como:
+ =+
=
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 un conjunto no vaco, donde se definen las operaciones () y (). El sistema (,,) es un anillo, si se cumplen
, , :
Para la primera operacin se satisface
1.
2.
3.
4.
La asociacin, ( ) = ( )
La conmutacin, =
La existencia del elemento neutro, =
La existencia de elementos inversos, =
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, , que es conocido como el cero del anillo; se debe
hacer hincapi que el trmino cero no se refiere al nmero 0, ya que 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
AL
2015
( ) = ( )
( + ) = ( ) + ( )
( + ) = ( ) + ( )
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.
a
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:
( ) = ( )
=
=
( ) = ( )
=
=
( ) = ( )
=
=
( ) = ( )
=
=
( ) = ( )
=
=
( ) = ( )
=
=
( + ) = ( ) + ( )
=+
=
( + ) = ( ) + ( )
= +
=
11
( + ) = ( ) + ( )
=+
=
( + ) = ( ) + ( )
=+
=
( + ) = ( ) + ( )
= +
=
AL
2015
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
= ,
EJEMPLO 7.27. Tomando el ejemplo 7.26, donde la estructura (, +,) es un anillo, ahora se verificar el cumplimiento
de la conmutatividad para la segunda operacin:
=
=
= ,
Al igual que el cero del anillo, al decir la unidad del anillo no se habla precisamente del nmero uno, sino del elemento
neutro para la segunda operacin de .
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
, =
12
AL
2015
donde es el cero del anillo y adems , siendo 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 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:
=0
+ =
( + 1) =
+1=1
=11
=0
De manera similar se puede demostrar que para este producto es 0. Por lo tanto, el anillo (, +,) no tiene divisores
propios de cero, y es un dominio entero.
EJEMPLO 7.30. Sea 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
y su unidad es
0 0
=
0 0
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,
, , =
1
1
=
1 1
13
AL
2015
(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
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 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.
Sean un conjunto no vaco, () y () dos operaciones binarias definidas sobre . 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, =
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, ( ) = ( ) ( )
EJEMPLO 7.31. Los sistemas (, +,) y (, +,) son campos, ya que en ambos conjuntos, con las operaciones de suma y
multiplicacin se cumplen las 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.
14
AL
2015
= {(, , )|, , }
(1 , 1 , 1 ) + (2 , 2 , 2 ) = (1 + 2 , 1 + 2 , 1 + 2 )
(1 , 1 , 1 ) (2 , 2 , 2 ) = (1 2 , 1 2 , 1 2 )
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 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 )
(2 , 2 , 2 ) (3 , 3 , 3 ) = (3 , 3 , 3 ) (2 , 2 , 2 )
(2 3 , 2 3 , 2 3 ) = (3 2 , 3 2 , 3 2 )
(, , ) (1 , 2 , 3 ) = (, , )
(1 , 2 , 3 ) =
1 =
2 =
3 =
15
AL
2015
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:
(, , ) (1 , 2 , 3 ) = (, , )
(1 , 2 , 3 ) =
1 = 1
2 = 1
3 = 1
Nuevamente, con la multiplicacin en los reales se obtiene que el elemento inverso general del campo en la segunda
1 1 1
operacin es = , , ; y esta propiedad se satisface, ya que el nico elemento que no tiene inverso es 0 = (0, 0, 0).
Distribucin:
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 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 en es una funcin : tal que
( + ) = () ()
16
AL
2 =
2015
0; , , ,
donde se define la multiplicacin matricial tradicional, y el grupo ( {0},), donde () es la multiplicacin usual en
. Si se define la funcin
() = det
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
es un homomorfismo.
3 =
, ,
= ( + ) +
En este caso se tienen dos operaciones binarias; por lo tanto, la propiedad del homomorfismo se deber probar dos
veces:
( + ) = () + ()
( ) = () ()
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 )
1 + 2
AL
1 2
1
=
2015
= [(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,
() = log
( ) = () + ()
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
Para verificar la funcin inversa se toma a ambos lados la funcin exponencial en la base .
log () = log +log
= log log
=
Lo cual indica que si existe la funcin inversa, entonces la funcin es uno-a-uno. Con respecto a la propiedad sobre, todo
nmero real positivo tiene su correspondiente logaritmo dentro de los nmeros reales. En consecuencia, la funcin
logaritmo entre los grupos (+ ,) y (, +) es un isomorfismo.
18
AL
2015
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 .
Tabla 7.6.
Operacin en .
(0 0) = (0) (0)
(0) =
=
(1 1) = (1) (1)
(1) =
=
(0 1) = (0) (1)
(1) =
=
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 y , donde es un campo. En se definen las operaciones
Suma de vectores + .
Multiplicacin por un escalar .
+ .
( + ) +
= + ( +
).
+ = + .
es el vector nulo o elemento neutro para la suma.
+ 0 = , donde 0
+ () = 0 , donde es el elemento inverso de para la suma.
.
19
AL
7.
8.
9.
10.
2015
() = ().
( + ) = + .
( + ) = + .
(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.
20