Introduccin al Algebra Abstracta

Ulises Martinez Araiza umartinez@gdl.cinvestav.mx www.ulisesmartinez.com

Introduccin al Algebra Abstracta

Contenido
Contenido ............................................................................................................................................ 2 1. Introduccin a los Sistemas Algebraicos Abstractos ....................................................................... 3 2. Propiedades de las Operaciones Binarias ....................................................................................... 4 3. Grupos ............................................................................................................................................. 6 4. Campos ............................................................................................................................................ 7 5. Anillos .............................................................................................................................................. 8 6. Funcin o Mapeos ........................................................................................................................... 9 7. Referencias .................................................................................................................................... 11

Ulises Martinez Araiza umartinez@gdl.cinvestav.mx www.ulisesmartinez.com

Introduccin al Algebra Abstracta

1. Introduccin a los Sistemas Algebraicos Abstractos

El concepto de espacio vectorial es una generalizacin matemtica desde el espacio fsico tridimensional. Los elementos de un espacio vectorial son llamados vectores. Estos sistemas matemticos son llamados sistemas abstractos. Una matriz es un arreglo de nmeros los cuales pueden ser tratados como objetos nicos. La formulacin de matrices de un problema es muy compacta y elegante. Son bastante tiles en muchos campos, tales como la solucin de sistemas de algebra lineal y ecuaciones diferenciales. Un sistema algebraico consiste de un conjunto de elementos junto a un conjunto de operaciones cerradas y un conjunto de axiomas o postulados. Las operaciones son maneras de combinar elementos para producen otros elementos. Una operacin es cerrada si el resultado de combinar dos elementos del sistema produce un elemento del mismo sistema. Si una operacin combina dos elementos para producir un solo elemento, esta es llamada una operacin binaria. Los Axiomas son ciertas restricciones apropiadas en las operaciones, es decir, las propiedades que las operaciones satisfacen con respecto de los elementos del sistema. En el lgebra abstracta, podemos generalizar los conceptos de sistemas ordinarios de algebras de nmeros a conjuntos y operaciones arbitrarias. Podemos asumir que los elementos de un conjunto no son nmeros necesariamente y las operaciones pueden ser formas arbitrarias de combinar los elementos.

Ulises Martinez Araiza umartinez@gdl.cinvestav.mx www.ulisesmartinez.com

Introduccin al Algebra Abstracta

2. Propiedades de las Operaciones Binarias

Estas son algunas propiedades importantes de las operaciones binarias que son requeridas normalmente para satisfacer a los sistemas algebraicos. 1. Asociatividad Una operacin es asociativa si: ( ) = ( ) Para elementos , , cuanlquiera de un conjunto.

2. Conmutatividad La operacin es conmutativa si: = 3. Distributividad La operacin es distributiva sobre la operacin si: ( ) = ( ) ( ) 4. Existencia del elemento identidad Un elemento es llamado identidad con respecto a la operacin si: = = Para cualquier elemento perteneciente al conjunto considerado. La identidad es nica para cada operacin. 5. Existencia del inverso El elemento es el inverso de con respecto a la operacin si: = = Cada elemento tiene un nico inverso en cada operacin asociativa. En los nmeros reales, tanto la adicin como la multiplicacin son asociativas y conmutativas, y la multiplicacin es distributiva sobre la adicin. La identidad de la adicin 4 Ulises Martinez Araiza umartinez@gdl.cinvestav.mx www.ulisesmartinez.com

Introduccin al Algebra Abstracta

es cero y la identidad de la multiplicacin es 1. Las propiedades de una operacin dependen del conjunto de elementos considerados.

Ulises Martinez Araiza umartinez@gdl.cinvestav.mx www.ulisesmartinez.com

Introduccin al Algebra Abstracta

3. Grupos
Un grupo es un sistema algebraico {.} que tiene una operacin binaria sobre los elementos del conjunto y satisface los siguientes axiomas: es asociativa. Existe un elemento identidad en . Cada elemento en tiene un inverso en . Grupos conmutativos Si adicionalmente a los tres axiomas anteriores, tambin satisface la conmutatividad, el grupo es llamado un grupo conmutativo o un grupo abeliano.

Ulises Martinez Araiza umartinez@gdl.cinvestav.mx www.ulisesmartinez.com

Introduccin al Algebra Abstracta

4. Campos
Un campo es un sistema algebraico {, +,} con dos operaciones binarias cerradas (+) y (), llamadas adicin y multiplicacin respectivamente, sobre los elementos del conjunto y satisfaciendo los siguientes postulados: El sistema {, +} es un grupo conmutativo cuya identidad es denotada por 0 y se llama cero. El conjunto 0 con elementos diferentes de cero forman un grupo conmutativo {,} cuya identidad es denotada por 1 y se llama unidad. La multiplicacin () es distributiva sobre la adicin (+). Estas operaciones no son necesariamente la adicin y la multiplicacin ordinaria, aunque estas usen los mismos nombres y smbolos.

Ulises Martinez Araiza umartinez@gdl.cinvestav.mx www.ulisesmartinez.com

Introduccin al Algebra Abstracta

5. Anillos
Un anillo es un sistema algebraico {, +,} con dos operaciones binarias cerradas (+) y (), llamadas adicin y multiplicacin respectivamente, sobre los elementos del conjunto y satisfaciendo los siguientes postulados: Para todo , , ( + ) + = + ( + ) + = + ( ) = ( ) ( + ) = + ( + ) = + Existe un elemento 0 , llamado cero, tal que por cada : + 0 = 0 + = Por cada elemento , existe un elemento , llamado negativo de , tal que: + () = () + = 0 se dice que es un anillo conmutativo si: = Un campo se puede definir en trminos de un anillo de la siguiente manera: Un anillo conmutativo con un elemento unidad (1) es llamado un campo si por cada elemento diferente de cero, tiene un inverso multiplicativo 1 , tal que: 1 = 1 = 1

Ulises Martinez Araiza umartinez@gdl.cinvestav.mx www.ulisesmartinez.com

Introduccin al Algebra Abstracta

6. Funcin o Mapeos
Una funcin desde el conjunto en el conjunto es la correspondencia (o regla) en la cual se asocia cada elemento con un elemento nico . La notacin convencional para denotar las funciones es la siguiente: : Una funcin tambin se le puede decir mapeo. Esto es porque se le puede dar una descripcin geomtrica a una funcin. Sean y dos conjuntos definidos como: = {1 , 2 , 3 , 4 , 5 } = {1 , 2 , 3 , 4 } Sea una funcin de a , definida por: (1 ) = 1 (2 ) = 1 (3 ) = 2 (4 ) = 3 (5 ) = 4 Podemos representar este mapeo geomtricamente como:

Podemos decir que cada elemento de es mapeado a un nico elemento de por el mapeo . Se debe considerar que pueden existir muchas funciones desde un conjunto a otro. Algunas correspondencias no pueden ser descritas como funciones o mapeos, ya que estas pueden asociar ms de un elemento al conjunto de la definicin. Dominio, Imagen y Rango de un mapeo Dado un mapeo: 9 Ulises Martinez Araiza umartinez@gdl.cinvestav.mx www.ulisesmartinez.com

Introduccin al Algebra Abstracta

: El conjunto es llamado el dominio de y el conjunto es llamado la imagen (o condominio) de . El subconjunto de es llamado el rango de y es definido por: = { = ()| } Mapeos en y sobre Si = , decimos que el mapeo desde sobre . Los mapeos sobre nos dicen que cada elemento de es imagen sobre algn(os) elementos de . Mapeos muchos a uno y uno a uno Los mapeos muchos a uno son los mapeos : que mapean mas de un elemento del conjunto a un elemento del conjunto . Si los distintos elementos de son mapeados a elementos distintos de , entonces el mapeo se dice que es uno a uno. Si adicionalmente, un mapeo uno a uno es un mapeo sobre, entonces se puede definir un mapeo inverso 1 definido desde hasta . Podemos decir entonces que es invertible o reversible. Mapeos compuestos: Sea , y tres conjuntos y y dos mapeos tal que: : : Debido a que es un subconjunto del dominio de , podemos definir directamente el mapeo : por () = [()], para todo . Escribimos simblicamente: = Se dice que es un mapeo compuesto de y . Si tenemos mapeos 1 , 2 , , es aplicado en ese orden, el mapeo compuesto se escribe como: = 1 2 1

10

Ulises Martinez Araiza umartinez@gdl.cinvestav.mx www.ulisesmartinez.com

Introduccin al Algebra Abstracta

7. Referencias
[1] M. C. Jain. 2008. Vector Spaces and Matrices in Physics, Second Edition. Alpha Science Intl Ltd, Delhi, India.

11

Ulises Martinez Araiza umartinez@gdl.cinvestav.mx www.ulisesmartinez.com