Está en la página 1de 14

ESTRUCTURAS ALGEBRAICAS Una Estructura Algebraica es un objeto matemtico consistente en un conjunto no vaco y una relacin ley de composicin interna

a definida en l. En algunos casos ms complicados puede definirse ms de una ley de composicin interna y tambin leyes de composicin externa. Empecemos por recordar algunas definiciones: Operacin binaria Ley de composicin interna definida en un conjunto no vaco A Es una aplicacin o funcin del producto cartesiano de A x A en A En smbolos: es una ley interna en A : A x A A (a1, a2 ) a1 a2 Es decir Ejemplo !a suma la multiplicacin en N " en Z " en Q " en R en C Ejemplo # !as siguientes tablas definen leyes de composicin interna en el conjunto A $ %a " b " c &

a b c

a a b c

b b c a

c c a b

i'

a b c

a a c b

b b a c

c b c a

ii'

Ley de composicin e!terna Una ley de composicin externa definida en A con operadores de ( es toda funcin aplicacin de B x A en A. En smbolos
es ley externa en A con operadores en ( B x A A es decir" si b B y a A la imagen del par )b * a' $ b a A

+eg,n las propiedades -ue deban satisfacer estas leyes de composicin" se tienen los distintos tipos de estructuras sistemas axiomticos. "onoide El par #A $ % donde A es un conjunto no vaco dotado de una operacin ley de composicin interna se denomina monoide. Ejemplos de monoides #N$&% $ #Z$&% $ # Q $ & % $ son monoides. # N $ ' % no es un monoide por-ue la sustraccin no es ley de composicin interna en N # N $ ' donde est definido como a b $ mx.%a " b& es un monoide. Semi(r)po Un monoide asociativo se denomina semigrupo. +i la ley de composicin interna tambin es conmutativa se llama semigrupo conmutativo. +i existe el elemento neutro se dice -ue es un semigrupo con unidad semigrupo con identidad. El elemento neutro de llama identidad.
#

Ejemplos de semigrupos # N $ & % es un semigrupo conmutativo sin elemento neutro. # N* $ & % es un semigrupo conmutativo con elemento neutro" el .. # N $ % es un semigrupo conmutativo con elemento neutro identidad igual a .

Gr)po +ea el par #A $ % " donde A es un conjunto no vaco dotado de una ley de composicin interna binaria : #A $ % es un grupo se define sobre A una estructura de grupo s: a' es asociativa. Es decir a " b " c : a" b" c A ( a b ) c = a ( b c ) b' posee elemento neutro en A. Es decir e A / a " si a A a e = e a = a c' 0odo elemento de A es invertible en A respecto de . = a a = e A / aa Es decir a A " a Gr)po Abe+iano Gr)po conm)tati,o es cuando adems de ser un grupo" d' es conmutativa. Es decir a " b : a" b A a b = b a +i G - #A $ ' es un grupo" se dice -ue es un grupo finito si el conjunto A es finito y su cardinal se llama orden del grupo. Ejemplos
' El par # Z $ % donde Z es el conjunto de los n,meros enteros y operacin definida como a b $ a 1 b 1 2 forma un grupo abeliano. es una

3omprobacin:
es una ley de composicin interna en Z pues si a y b Z " a 1 b 1 2 Z es asociativa pues 2

( a b ) c $ )a 1 b 12' c $ a 1 b 12 1 c 12 $ a 1 b 1 c 1 4 y a ( b c ) $ a )b 1 c 1 2' $ a 1 b 1 c 1 2 1 2 $ a 1 b 1 c 1 4
tiene elemento neutro e $ 52 " pues a A " a e $ a entonces a 1 e 12 $ a e $ 52 y e a $ a entonces e 1 a 1 2 $ a e $ 52 tiene inverso a , a / a a = e " en nuestro caso a a $ 52 a + a + 3 $ 52 luego a6 $ 5 a 5 4 es inverso a derec7a a a = 3 a + a + 3 $ 52 luego a6 $ 5 a 5 4 es inverso a i8-uierda

es conmutativa pues a b $ a 1 b 1 2 $ b 1 a 1 2 $ b a

9tros ejemplos: ' #Z$&% . #Q$&% . #R$&% y #C$&% +on grupos abelianos . 0ambin se llaman grupos aditivos debido a la operacin aditiva. # ' # N $ & % :o es grupo. :o tiene neutro ni inverso de cada elemento. 2 ' # N* $ & % :o es grupo. 0iene neutro" el . " pero no tiene inverso aditivo. ; ' # Q $ % :o es grupo" el . no tiene inverso multiplicativo. < ' # R $ % :o es grupo" el . no tiene inverso multiplicativo. 4 ' # Q / 0 * 1 $ % y # R / 0 * 1 $ % +on grupos. S)b(r)po Un subconjunto no vaco (" del conjunto A es un subgrupo de # A $ % si y solo s # B $ % es un grupo. =or ejemplo" # Z $ & % es un subgrupo de # Q $ & %.

+i en estas estructuras se introduce una nueva ley de composicin interna con ciertas restricciones" se obtienen ternas ordenadas del tipo #A $ $ % -ue tambin son estructuras algebraicas. Estas nuevas estructuras son:

Ani++o >ados" un conjunto no vaco A y dos leyes de composicin interna y " la terna ordenada #A $ $ % tiene estructura de Anillo si y solo si a' es asociativa. Es decir a " b " c : a" b" c A ( a b ) c = a ( b c ) b' posee elemento neutro en A. Es decir e A / a " si a A a e = e a = a c' 0odo elemento de A es invertible en A respecto de . = a a = e A / aa Es decir a A " a d' es conmutativa. Es decir a " b : a" b A a b = b a Estas ; propiedades muestran -ue # A $ % es un grupo abeliano. e' es asociativa. Es decir a " b " c : a" b" c A )a b' c $ a ) b c' Esta propiedad muestra -ue # A $ % es un semigrupo. f' distribuye doblemente sobre . Es decir" a " b " c : a" b" c A a )b c ' $ ) a b ' )a c ' y )b c ' a $ )b a ' ) c a ' ?esumiendo podemos decir -ue: #A $ $ % es un Anillo sii #A $ % es un grupo abeliano * # A $ % es un semigrupo y la segunda operacin distribuye sobre la primera. Una ac+aracin oport)na

<

3omo la operacin es aditiva y la operacin es multiplicativa" es com,n representarlas con los conocidos signos de la suma y el producto" pero en todos los casos deber respetarse la definicin -ue corresponde a cada operacin. 3on esta aclaracin debe -uedar claro -ue # A $ & $ % representa una estructura algebraica" talve8 un anillo" pero -ue la operacin & y la operacin no representan la suma y el producto conocido" salvo ello est expresamente indicado. 3on igual margen de tolerancia en la interpretacin de este tema" debemos decir -ue el elemento neutro de la operacin aditiva se representa con . )cero' y el neutro de la operacin multiplicativa con )uno' sin -ue ellos sean necesariamente el . y conocidos. +i adems g' conmutativa. Es decir a " b : a" b A a b $ b a entonces tenemos un Anillo conmutativo. 7' posee elemento neutro en A. Es decir e A / a " si a A a ge = e ga = a entonces tenemos un Anillo con identidad Anillo con unidad. i' 0odo elemento de A distinto de cero es invertible en A respecto de . A / a a6 $ a6 a $ e entonces se llama Es decir a A " a . " a Anillo de divisin.

Ejemplos .@ # N $ & $ % con las operaciones conocidas no es )n ani++o" pues en N no existe neutro para la adicin. #.@ # N* $ & $ % con las operaciones conocidas no es ani++o" pues N* carece de inversos aditivos. 2.@ # Z $ & $ % con las operaciones conocidas" es )n ani++o conm)tati,o con )nidad Ani++os sin di,isores de cero

Un anillo #A $ $ % se dice sin divisores de cero si y solo s elementos no n)+os de A dan producto no n)+o. En smbolos: #A $ $ % carece de divisores de cero si y solo s a " b : a" b A si a 0 y b 0 entonces a b .

Ani++o de inte(ridad #A $ $ % es un Anillo de integridad si y solo s #A $ $ % es un anillo y . es su ,nico divisor de cero 2ominio de inte(ridad !a terna #A $ $ % se llama Dominio de integridad si y solo s #A $ $ % es un Anillo conmutativo con unidad y sin divisores de cero. >ic7o de otra manera" un Dominio de integridad es un Anillo conmutativo con identidad y de integridad. Ejemplos .@ # Z $ & $ % con las operaciones conocidas es un dominio de inte(ridad. #.@ # Q $ & $ % . # R $ & $ % y son dominio de inte(ridad. # C $ & $ % con las operaciones conocidas

2.@ !os polinomios en una indeterminada ) o ms ' con coeficientes en Q " R C forman dominio de inte(ridad con las operaciones conocidas.

C)erpo !a terna ordenada # A $ & $ % es un cuerpo" o tiene estructura de cuerpo si y solo si # A $ & $ % es un ani++o de di,isin conm)tati,o.
A

Esto es: # A $ & $ % es un c)erpo si y so+o si # A $ & $ % es un ani++o conm)tati,o$ con )nidad cuyos elementos no n)+os admiten in,erso m)+tip+icati,o Un c)erpo -ueda caracteri8ado por las siguientes estructuras: # A $ & $ % es un c)erpo si y so+o si a' # A $ & % es un (r)po abe+iano. b' # A / 0*1 $ % es un (r)po abe+iano. c' distribuye respecto de &

Ejemplos .@ # Z $ & $ % con las operaciones conocidas" no es c)erpo" pues Z carece de inversos multiplicativos. #.@ # Q $ & $ % . # R $ & $ % y son c)erpos. # C $ & $ % con las operaciones conocidas

2.@ 0odo c)erpo es un dominio de inte(ridad. =ara proveer de un ejemplo de estructura algebraica no tan conocida" definiremos el conjunto Zn llamado conjunto de los enteros modulo n.

Enteros md)+o n #Zn% +i n es un n,mero entero tal -ue n # " se denomina Zn al conjunto Zn - 0 . " " # " 2 "..." n@ 1

Este conjunto" provisto de las operaciones de suma y producto definidas as: 1 suma : si 7 y B pertenecen a Zn " entonces 7 1 B es igual al resto de la divisin de 7 1 B por n. Ejemplo: si n $ C * 7 $ < y B $ A " entonces 7 1 B $ ;
prod)cto : si 7 y B pertenecen a Zn " entonces 7 B es igual al resto de la C

divisin de 7 B por n. Ejemplo: si n $ C * 7 $ < y B $ A " entonces 7 B $ 2 !a terna #Zn $ & $ % es un anillo conmutativo con unidad. +e llama Anillo de los enteros mdulo n. # Zn $ & $ % es un dominio de integridad si y solo s n es primo. Esto puede verse en las siguiente tablas de operaciones en el conjunto Zn =ara n $ 2 =ara la suma 1 . # . . # # . # # . Zn - 0 . " " # 1 las tablas de operaciones son: =ara el producto

. #

. . . .

. #

# . #

El producto No posee divisores de cero

=ara n $ ; =ara la suma 1 . # 2 . . # 2

Zn - 0 . "

" # " 2 1 las tablas de operaciones son: =ara el producto # # 2 . 2 2 . #

. # 2

# 2 .

. . . . .

. # 2

# . # . #

2 . 2 #

El producto posee divisores de cero

Espacio 3ectoria+ Un espacio vectorial sobre un cuerpo 4 es un conjunto 3 " cuyos elementos se denominan vectores" provisto de dos operaciones" una interna -ue se denomina s)ma y otra e!terna -ue se denomina prod)cto y -ue cumplen ciertas propiedades. !a operacin externa " multiplica un elemento del conjunto 4 por un elemento del conjunto 3. Notacin Esta estructura suele representarse de las siguientes maneras: 3omo la cuaterna ordenada # 3 $ & $ 4 $ % . como la terna ordenada # 4 $ 3 $& % y tambin es muy usual la expresin sinteti8ada 34 $ todas ellas se leen Espacio Vectorial V sobre el cuerpo K . o simplemente K espacio vectorial. !as operaciones enunciadas deben cumplir las siguiente propiedades: . # 3 $ & % es un Grupo conmutativo a' 1 Es asociativa b' 1 Es conmutativa c' 1 0iene neutro d' 1 0iene inverso

#. 2. ;.

!a operacin externa asocia de la siguiente manera: a " b : a" b E y x A " a # b ! % - # a b % ! !a operacin externa distribuye sobre la interna de la siguiente manera: a : a E y x , y A " a # ! & y % - a ! & a y !a operacin externa tiene elemento neutro.

Ejemplos .@ # Rn$ & $ R $ % es un Espacio Fectorial con las suma y el producto conocidos. +iendo Rn $ con n el conjunto de las n 5 uplas de n,meros reales.

x $ & $ 4 $ % es un Espacio Fectorial con la suma y el producto #.@ # 4 x el conjunto de los polinomios en una conocidos" siendo 4 un cuerpo y 4 indeterminada con coeficientes en 4.

2.@ # Rm ! n$ & $ R $ % en el Espacio Fectorial de la matrices de orden m x n en el cuerpo de los reales" con la suma y el producto conocidos.

"or5ismo u 6omomor5ismo Una aplicacin de conjuntos 57 A B se dir -ue es un morfismo de la estructura #A $ % en la estructura #B $ % o simplemente un morfismo de A en ( si se cumple -ue: x , y A * f(x y) $ f(x) f(y) Ejemplo: +ean las estructuras # R $ & % y # R & $ % con las operaciones 1 y usuales. !a aplicacin 5 7 R R & definida por 5#!% - 8 ! es un morfismo de estas estructuras ya -ue cumple -ue: f )x 1 y' $ # x 1 y $ # x # y $ f )x' f )y' Endomor5ismo +e llama as a todo morfismo de A en A. "onomor5ismo +e llama as a todo morfismo inyectivo. Epimor5ismo +e llama as a todo morfismo sobreyectivo.

Isomor5ismo +e llama as a todo morfismo biyectivo. A)tomor5ismo +e llama as a todo endomorfismo biyectivo.

Ejemplos . +ean las estructuras # R9 $ & % y # R8 ! 8 $ & % y la aplicacin f ) x " x# " x2 ' $ x x 3 2 !as operaciones consideradas son las de suma de ternas ordenadas de n,meros reales y la de suma de matrices. Entonces" como :
f ( x1, x2 , x3 ) + ( y1, y2 , y3 ) $ f ( x1 + y1 , x2 + y2 , x3 + y3 ) $ x1 + y1 x + y 2 2 0 $ x3 + y3 x1 x 2 0 1 x3 y1 y 2 0 $ y3 x1 0

$ f es un morfismo.

f x1, x2 , x3 1 f y1, y2 , y3

Adems es inyectivo" es decir un monomorfismo. puesto -ue x y al dominio" resulta:


x1 f x1, x2 , x3 $ x 2 0 y1 y1, y2 , y3 f $ y x3 2 0 y3

=ara probar -ue no es sobreyectivo" basta ver -ue" por ejemplo no es 3 4 imagen de nadie. #. f : R R tal -ue f )x' $ 5 2x es un automorfismo respecto a la suma. i' Es morfismo pues f )x 1 y ' $ 5 2 )x 1 y ' $ 5 2x 5 2y $ f )x ' 1 f )y ' ii' f es biyectiva por-ue: es inyectiva: x y * f )x ' f )y ' ya -ue 5 2x 5 2y
y 3

1 2

y es suryectiva: y R x R tal -ue f )x ' $ y * 5 2x $ y entonces x $ 5

2. f : R R tal -ue f)x' $ x 1 adicin.

no es 7omomorfismo respecto a la

Efectivamente no cumple la definicin de morfismo f )x 1 y' f )x' 1 f )y' ya -ue x1y1


x1 1y1

$x1y1#

Es interesante saber -ue la Topo+o(:a es la parte de la matemtica -ue se ocupa de estudiar los conjuntos estructurados mediante relaciones -ue nos permiten decir cuando un elemento del conjunto es ;conti()o< o prximo a una parte del mismo. Topo+o(:a deriva del griego -ue significa: Topos7 !ugar " extensin posicin. Lo(os7 3iencia saber. !uego la topologa puede definirse como la ; Ciencia de +a e!tensin de+ +)(ar<

Bib+io(ra5:a cons)+tada @ Glgebra !ineal y Heometra Gngel ?afael !arrotonda @ :otas de Glgebra I En8o ?. Hentile @ Glgebra I Armando ?ojo Editorial Eudeba @ DA2 Editorial Eudeba @ DA4 Editorial El Ateneo @ DAC