Algebra Abstracta. Fundamentos

lgebra 3
Clase No. 1. Captulo 1. Grupos
Dr.rer.nat. Prof. Asoc. Glauco Alfredo Lpez Daz

Departamento de Matemticas Facultad de Ciencias Universidad de Los Andes Mrida, Estado Mrida Repblica Bolivariana de Venezuela.
23 de Octubre de 2013
Perl
Perl
lgebra lgebra lgebra Abstracta Estructura Algebraica
Operaciones Binarias Deniciones y Propiedades Tablas
Dr. Prof. Glauco Alfredo Lpez Daz (ULA)
lgebra 3
2 / 36
Perl
Perl
lgebra lgebra lgebra Abstracta Estructura Algebraica
Operaciones Binarias Deniciones y Propiedades Tablas
lgebra 3
2 / 36
lgebra
lgebra
lgebra lgebra es una de las amplias ramas de las matemticas, junto con Teora de Nmeros, Geometra y Anlisis. Por razones histricas, la palabra lgebra tiene muchos signicados relacionados en matemticas, como una sola palabra o con calicativos. Como una sola palabra sin el artculo, lgebra nombra una amplia reas de las matemticas. Como una sola palabra con el artculo o en el plural, lgebra denota una estructura matemtica especca. Con un calicativo, existe la misma distincin:
Sin artculo, signica una parte de lgebra, como lgebra lineal, lgebra elemental o lgebra abstracta. Con un artculo, signica un caso de alguna estructura abstracta, como un lgbra de Lie o una lgebra asociativa. Frecuentemente existen ambos signicados para el mismo calicativo, como en la oracin: lgebra Conmutativa es el estudio de los anillos conmutativos, que son todos las lgebras conmutativas sobre los enteros.
Dr. Prof. Glauco Alfredo Lpez Daz (ULA) lgebra 3 23 de Octubre de 2013 3 / 36
lgebra
lgebra
lgebra Algunas veces lgebra es usada tambin para denotar las operaciones y mtodos relacionados al lgebra en el estudio de una estructura que no pertenece al lgebra. Por ejemplo, el lgebra de las series innitas podra denotar los mtodos para calcular con series sin usar la nocin de suma innita, lmites y convergencia.
El lgebra puedes ser considerada esentialmente como hacer clculos similares a los de la aritmtica con objetos matemticos no numricos.
Inicialmente, estos objetos representados por nmeros que no son conocidos an (incgnitas) o nmeros no especicados (indeterminada o parmetro), permitiendole a uno enunciar y probar propiedades que son verdad sin importar los nmeros involucrados.
lgebra 3
4 / 36
lgebra
lgebra
lgebra Por ejemplo, en la ecuacin cuadrtica ax 2 + bx + c = 0
a, b , c son indeterminadas y x es la incgnita. Resolver esta ecuacin es buscar cantidades calculando con las variables para expresar las incgnitas en trminos de las indeterminadas.
Entonces, la sustitucin de nmeros cualesquiera para las indeterminadas, da la solucin de una ecuacin particular despus de un simple clculo aritmtico.
lgebra 3
5 / 36
lgebra
lgebra Abstracta
lgebra Abstracta En lgebra, lgebra abstracta es el nombre para la sub-rea que estudia las estructuras algebraicas. Estas estructuras incluyen grupos, anillos, cuerpos, mdulos, espacios vectoriales y lgebras. El trmino especco lgebra abstracta fue acuado al principio del siglo XX para distinguir esta rea de las otras reas del lgebra.
Dos tpicos matemticos que estudian las propiedades de estructuras algebraicas vistos en su conjunto son el lgebra universal y la teora de categoras. Las estructuras algebraicas, junto con los homomorsmos asociados, forman categoras. La teora de categoras es un potente formalismo para estudiar y comparar las diferentes estructuras algebraicas.
lgebra 3
6 / 36
lgebra
lgebra Abstracta
lgebra Abstracta Por abstraccin de diversas cantidades en detalle, los matemticos han creado teoras de diversas estructuras algebraicas que se aplican a muchos objetos. Por ejemplo, casi todos los sistemas estudiados son conjuntos, a los que se aplican los teoremas de la teora de conjuntos. Los conjuntos que tienen una cierta operacin binaria denida en ellos forman magmas, a los que se aplican los conceptos relativos a los magmas, adems de las relativas a los sistemas.
Podemos agregar restricciones adicionales a la estructura algebraica, como la asociatividad (para formar semigrupos); asociatividad, la identidad e inversos (para formar grupos) y otras estructuras ms complejas. Con una estructura adicional, ms teoremas pueden ser probadas, pero la generalidad se reduce.
lgebra 3
7 / 36
lgebra
lgebra Abstracta
lgebra Abstracta La jerarqua de objetos algebraicos (en trminos de generalidad) crea una jerarqua de las teoras correspondientes: por ejemplo, los teoremas de la teora de grupos se aplican a los anillos (objetos algebraicos que tienen dos operaciones binarias con ciertos axiomas) ya que un anillo es un grupo con una de sus operaciones.
Los matemticos eligen un equilibrio entre la cantidad de generalidad y la riqueza de la teora.
lgebra 3
8 / 36
lgebra
Estructura Algebraica
Estructura Algebraica En las matemticas y ms especcamente en lgebra abstracta, el trmino estructura algebraica generalmente se reere a un conjunto arbitrario (llamado conjunto portador o conjunto subyacente) con una o ms operaciones nitarias denidas en l.
Los ejemplos ms comunes de las estructuras algebraicas incluyen grupos, anillos, cuerpos y lattices. Las estructuras algebraicas ms complejas pueden ser denidas mediante la introduccin de mltiples operaciones, diferentes conjuntos subyacentes o mediante la alteracin de los axiomas que se denen. Ejemplos de estructuras ms complejas incluyen espacios vectoriales, mdulos y lgebras.
lgebra 3
9 / 36
lgebra
Estructura Algebraica
Estructura Algebraica Las propiedades de las estructuras algebraicas especcas son estudiadas en la rama conocida como lgebra abstracta.
La teora general de estructuras algebraicas se ha formalizado en el lgebra universal.
La teora de categoras es usada para estudiar las relaciones entre dos o ms clases de estructuras algebraicas, a menudo de diferentes tipos. Por ejemplo, la teora de Galois estudia la conexin entre ciertos cuerpos y grupos, estructuras algebraicas de dos tipos diferentes.
lgebra 3
10 / 36
Operaciones Binarias
Deniciones y Propiedades
Operacin Binaria Una operacin binaria sobre un conjunto S es una funcin de S S en S . Para cada (a, b ) S S , denotamos al elemento ( (a , b ) ) de S por a b.
Observacin Intuitivamente, podemos considerar una operacin binaria sobre S asignando, a cada par ordenado (a, b ) de elementos de S , un elemento a b de S .
lgebra 3
11 / 36
Ejemplo 1 La adicin usual + es una operacin binaria sobre el conjunto R. La multiplicacin usual es una operacin binaria sobre el conjunto R. En este ejemplo, uno puede reemplazar R por cualquiera de los conjuntos C, Z, R+ o Z+ .
Observacin Ntese que no se requiere que una operacin binaria sobre un conjunto S est denida para todo par ordenado ( a, b ) de elementos de S .
lgebra 3
12 / 36
Ejemplo 2 Sea M(R) el conjunto de todas las matrices con entradas reales. La adicin usual de matrices + no es una operacin binaria sobre este conjunto, ya que A + B no est denida para un par ordenado ( A, B ) de matrices que tienen diferente nmero de las o de columnas.
Observacin Algunas veces una operacin binaria sobre S tambin provee una operacin binaria sobre un subconjunto H de S .
lgebra 3
13 / 36
Operacin Inducida Sea una operacin binaria sobre S y sea H un subconjunto de S . El subconjunto H es cerrado bajo o con respecto a si para todo a, b H tenemos tambin que a b H.
En este caso, la operacin binaria sobre H dada por la restriccin de sobre H es llamada la operacin inducida de sobre H .
lgebra 3
14 / 36
Observacin Por nuestra denicin de una operacn binaria sobre S , tenemos que el conjunto S es cerrado con respecto a ; pero un subconjunto puede que no lo sea, como lo muestra el siguiente ejemplo.
Ejemplo 3 La adicin usual + sobre el conjunto de los nmeros reales R no induce una operacin binaria sobre el conjunto de los nmeros reales no nulos R , ya que 2 R y 2 R , y 2 + (2) = 0 pero 0 / R .
Luego, R no es cerrado con respecto a +.
lgebra 3
15 / 36
Observacin Frecuentemente vamos a tener la ocacin de decidir si un subconjunto H de S es cerrado con respecto a una operacin binaria sobre S . Para llegar a la conclusin correcta, tenemos que saber que signica que un elemento est en H y usar este hecho.
lgebra 3
16 / 36
Ejemplo 4 Sean + y . las operaciones binarias usuales de adicin y multiplicacin sobre el conjunto de los nmeros enteros Z. Sea
H = { n2 : n Z }.
Determine si H es cerrado con respecto a la (a) adicin y (b) multiplicacin. Para la parte (a) necesitamos observar que 12 = 1 y 22 = 4 estn en H, pero 1+4=5 y 5 / H.
As, H no es cerrado bajo la adicin. Para la parte (b), supongamos que r , s H . Usando el hecho que signica estar en H , vemos que deben existir enteros n, m Z+ tales que r = n2 y s = m2 . En consecuencia, rs = n2 m2 = (nm)2 .
Por la caracterizacin de los elementos en H y el hecho que nm Z+ , esto signica que rs H y por lo tanto, H es cerrado con respecto a la multiplicacin.
lgebra 3
17 / 36
Ejemplo 5 Sea F ( R ) = { f : R R : f es funcin } el conjunto de todas las funciones reales a valores reales. De Clculo sabemos que las operaciones binarias +, , y estn denidas para cada par (f , g ) de funciones en F (R) por f +g f g f g y f g por por por por [ f + g ](x ) = f (x ) + g (x ) [ f g ](x ) = f (x ) g (x ) [ f g ](x ) = f (x ) g (x ) adicin, sustraccin,
multiplicacin, composicin,
[ f g ](x ) = f (x ) g (x )
para todo x R. Como todas estas cuatro son funciones reales a valores reales, se tiene que F ( R ) es cerrado bajo la cuatro operaciones +, , y .
Dr. Prof. Glauco Alfredo Lpez Daz (ULA) lgebra 3 23 de Octubre de 2013 18 / 36
Observaciones Queremos abstraer conceptos estructurales bsicos de nuestra lgebra familiar. Para enfatizar este concepto de la abstraccin de lo familiar, debemos ilustrar estos conceptos estructurales con ejemplos no familiares.
Por otra parte, el mtodo ms importante para describir una operacin binaria en particular sobre un conjuntos es caracterizar el elemento a b asignado a cada par (a, b ) por alguna propiedad denida en trminos de a y b .
lgebra 3
19 / 36
Ejemplo 6 Sobre Z+ denimos una operacin binaria por m n(a, b ) ab = a b si a = b. si a = b,
As, 2 11 = 2, 15 10 = 10 y 3 3 = 3.
lgebra 3
20 / 36
Ejemplo 7 Sobre Z+ denimos una operacin binaria por a b = a.
Luego, 2 3 = 2, 25 10 = 25 y 5 5 = 5.
Ejemplo 8 Sobre Z+ denimos una operacin binaria por a b = (a b ) + 2,
donde est denida como antes. Por lo tanto, 4 7 = 6, 25 9 = 11 y 6 6 = 8.
lgebra 3
21 / 36
Operacin Binaria Conmutativa Una operacin binaria sobre un conjunto S es conmutativa s y solo si a b = b a, para todo a, b S .
Ejemplo 9 Todas las operaciones binarias denidas en los Ejemplos 1, 4, 5, 6 y 8 son conmutativas sobre sus conjuntos respectivos.
La operacin binaria denida en el Ejemplo 7 no es conmutativas sobre el conjunto que se deni.
lgebra 3
22 / 36
Observacin Ahora supongamos que queremos considerar una expresin de la forma a b c.
Una operacin binaria nos permite combinar solo dos elementos y aqu tenemos tres. Los intentos obvios para combinar tres elementos son o (a b ) c o oa (b c ).
Lo ideal es que (a b ) c = a (b c ) siempre, pero eso es cierto; cuando esto ocurre dene un tipo especial de operacin binaria.
lgebra 3
23 / 36
Operacin Binaria Asociativa Una operacin binaria sobre un conjunto S es asociativa s y solo si (a b ) c = a (b c ), para todo a, b , c S .
Ejemplo 10 Todas las operaciones binarias denidas en los Ejemplos 1, 4, 5, 6 y 8 son asociativas sobre sus conjuntos respectivos.
lgebra 3
24 / 36
Observacin Si podemos demostrar que es asociativa, entonces expresiones como abc d
no son ambiguas. Los parntesis pueden ser insertados en cualquier parte solo para propsitos de clculo; el resultado nal de dos clculos tales sern el mismo.
lgebra 3
25 / 36
Teorema (Asociatividad de la Composicin) Sea S un conjunto y sean f , g y h funciones de S en S . Entonces, f ( g h ) = ( f g ) h.
Prueba: Para demostrar que estas dos funciones son iguales, debemos probar que ellas asignan el mismo elemento para cada x S . Calculando vemos que [ f ( g h ) ](x ) = f [ ( g h )(x ) ] = f { g [h(x ) ] } [ ( f g ) h ](x ) = [ f g ]h(x ) = f { g [h(x ) ] }, luego el mismo elemento f { g [h(x ) ] } de S es obtenido. y
lgebra 3
26 / 36
Tablas
Tablas Para un conjunto nito, una operacin binaria sobre el conjunto puede ser denida por medio de una tabla en la cual los elementos del conjunto son listados en la parte superior como cabezas de las columnas y en el lado izquierdo como cabezas de las.
Siempre se requiere que los elementos del conjunto sean listados como cabezas de la parte superior en el mismo orden que las cabezas en la parte izquierda.
lgebra 3
27 / 36
Tablas
Ejemplo 11 La siguiente tabla a b c | | | | a b a c | | | | b c c b | | | | c b b a
dene una operacin binaria sobre S = { a, b , c } por medio de la siguiente regla: ( i sima entrada de la izquierda ) ( j sima entrada de la derecha ) = ( entrada de la j -sima la y la j -sima columna del cuerpo de la tabla ) Luego, a b = c y b a = a. Por consiguiente, no es conmutativa.
lgebra 3
28 / 36
Tablas
Observacin Uno puede ver fcilmente que una operacin binaria denida por una tabla es conmutativa s y solo si las entradas de la tabla son simtricas con respecto a la diagonal que empieza en la esquina superior izquierda de la tabla y termina en la esquina inferior derecha.
lgebra 3
29 / 36
Tablas
Ejemplo 12 Complete la siguiente tabla a b c d | | | | | a b d a a | | | | | b a c b | | | | | c | | | | | d
d b
para que sea una operacin binaria conmutativa sobre el conjunto S = { a, b , c , d }.
lgebra 3
30 / 36
Tablas
Observacin En un intento para denir una operacin binaria sobre un conjunto S debe satisfacer las siguientes condiciones: exactamente un elemento a cada posible par ordenado de elementos de S , para cada par de elementos de S , el elemento asignado a l est de nuevo en S .
lgebra 3
31 / 36
Tablas
Observacin En cuanto a la Condicin 1, un estudiante suele hacer un intento que asigna un elemento de S a la mayora de los pares ordenados, pero para algunos pares, no determina ningn elemento. En este caso, no est denida para todas partes en S .
Tambin puede ocurrir que para algunos pares, el intento podra asignar cualquiera de muchos elementos de S , es decir, no hay ambigedad. En cualquier caso de ambigedad, no est bien denida.
Si la condicin 2 no es satisfecha, entonces S no es cerrado con respecto a .
lgebra 3
32 / 36
Tablas
Ejemplo 13 Sobre Q, sea ab =
a . b
Aqu no est denida sobe todo Q, ya que no hay ningn nmero racional que sea asignado al par ordenado (2, 0).
lgebra 3
33 / 36
Tablas
Ejemplo 14 Sobre Q+ , sea ab =
a . b
Aqu ambas Condiciones 1 y 2 se satisfacen y es una operacin binaria sobre Q+ .
lgebra 3
34 / 36
Tablas
Ejemplo 15 Sobre Z+ , sea ab =
a . b
Aqu la Condicin 2 falla porque 1 3 no est en Z+ . Luego, no es una operacin binaria sobre Z+ , ya que Z+ no es cerrado bajo .
lgebra 3
35 / 36
Tablas
Ejemplo 16 Sea F ( R ) el conjunto de todas la funciones a valores reales con dominio R, como en el Ejemplo 5. Supongamos que denimos para que nos de el cociente usual de f entre g , esto es, f g = h, donde h(x ) = f (x ) . g (x )
Aqu la Condicin 2 no es satisfecha, ya que las funciones de F ( R ) fueron denidas para todos los nmeros reales y para alguna funcin g F ( R ), si g (x ) es cero para algunos valores de x en R, entonces h(x ) no estara denida para esos nmeros en R. Por ejemplo, si f (x ) = cos(x ) y g (x ) = x 2 ,
entonces h(0) no est denido, de hecho no tiene sentido y por lo tanto h / F ( R ).
lgebra 3
36 / 36

Algebra Abstracta. Fundamentos

Transféré par

Informations du document

Description originale:

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Algebra Abstracta. Fundamentos

Transféré par

Droits d'auteur :

Formats disponibles

lgebra 3

Clase No. 1. Captulo 1. Grupos

Dr.rer.nat. Prof. Asoc. Glauco Alfredo Lpez Daz

lgebra lgebra lgebra Abstracta Estructura Algebraica

Operaciones Binarias Deniciones y Propiedades Tablas

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

lgebra lgebra lgebra Abstracta Estructura Algebraica

Operaciones Binarias Deniciones y Propiedades Tablas

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

lgebra Por ejemplo, en la ecuacin cuadrtica ax 2 + bx + c = 0

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Los matemticos eligen un equilibrio entre la cantidad de generalidad y la riqueza de la teora.

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

La teora general de estructuras algebraicas se ha formalizado en el lgebra universal.

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Luego, R no es cerrado con respecto a +.

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Ejemplo 6 Sobre Z+ denimos una operacin binaria por m n(a, b ) ab = a b si a = b. si a = b,

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Ejemplo 7 Sobre Z+ denimos una operacin binaria por a b = a.

Ejemplo 8 Sobre Z+ denimos una operacin binaria por a b = (a b ) + 2,

donde est denida como antes. Por lo tanto, 4 7 = 6, 25 9 = 11 y 6 6 = 8.

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

La operacin binaria denida en el Ejemplo 7 no es conmutativas sobre el conjunto que se deni.

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Observacin Ahora supongamos que queremos considerar una expresin de la forma a b c.

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Observacin Si podemos demostrar que es asociativa, entonces expresiones como abc d

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Teorema (Asociatividad de la Composicin) Sea S un conjunto y sean f , g y h funciones de S en S . Entonces, f ( g h ) = ( f g ) h.

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Ejemplo 11 La siguiente tabla a b c | | | | a b a c | | | | b c c b | | | | c b b a

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Ejemplo 12 Complete la siguiente tabla a b c d | | | | | a b d a a | | | | | b a c b | | | | | c | | | | | d

para que sea una operacin binaria conmutativa sobre el conjunto S = { a, b , c , d }.

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Si la condicin 2 no es satisfecha, entonces S no es cerrado con respecto a .

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Ejemplo 13 Sobre Q, sea ab =

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Ejemplo 14 Sobre Q+ , sea ab =

Aqu ambas Condiciones 1 y 2 se satisfacen y es una operacin binaria sobre Q+ .

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

Ejemplo 15 Sobre Z+ , sea ab =

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)

entonces h(0) no est denido, de hecho no tiene sentido y por lo tanto h / F ( R ).

Dr. Prof. Glauco Alfredo Lpez Daz (ULA)