ESTRUCTURAS ALGEBRAICAS Prof.

Hugo Omar Pajello Una Estructura Algebraica es un objeto matemtico consistente en un conjunto no vaco y una relacin ley de composicin interna definida en l. En algunos casos ms complicados puede definirse ms de una ley de composicin interna y tambi n leyes de composicin e!terna. 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 e!terna definida en A con operadores de + es toda funcin aplicacin de B x A en A. En smbolos
es ley e!terna 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 0ue deban satisfacer estas leyes de composicin% se tienen los distintos tipos de estructuras sistemas a!iomticos. "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 por0ue la sustraccin no es ley de composicin interna en N # N $ * donde est definido como a b ' m!.(a % b) es un monoide. Semi(r)po Un monoide asociativo se denomina semigrupo. .i la ley de composicin interna tambi n es conmutativa se llama semigrupo conmutativo. .i e!iste el elemento neutro se dice 0ue 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 1. # 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 2 a % si a A a e = e a = a c* 3odo elemento de A es invertible en A respecto de . = a a = e A 2 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 0ue 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 4 b 4 5 forma un grupo abeliano. es una

6omprobacin"
es una ley de composicin interna en Z pues si a y b Z % a 4 b 4 5 Z es asociativa pues 5

( a b ) c ' ,a 4 b 45* c ' a 4 b 45 4 c 45 ' a 4 b 4 c 4 7 y a ( b c ) ' a ,b 4 c 4 5* ' a 4 b 4 c 4 5 4 5 ' a 4 b 4 c 4 7

tiene elemento neutro e ' 85 % pues a A % a e ' a entonces a 4 e 45 ' a e ' 85 y e a ' a entonces e 4 a 4 5 ' a e ' 85 tiene inverso a , a / a a = e % en nuestro caso a a ' 85 a + a + 3 ' 85 luego a9 ' 8 a 8 7 es inverso a derec:a a a = 3 a + a + 3 ' 85 luego a9 ' 8 a 8 7 es inverso a i;0uierda

es conmutativa pues a b ' a 4 b 4 5 ' b 4 a 4 5 ' b a

Otros ejemplos" #* #Z$&% . #Q$&% . #R$&% y #C$&% .on grupos abelianos . 3ambi n se llaman grupos aditivos debido a la operacin aditiva. & * # N $ & % <o es grupo. <o tiene neutro ni inverso de cada elemento. 5 * # N* $ & % <o es grupo. 3iene neutro% el 1 % pero no tiene inverso aditivo. = * # Q $ % <o es grupo% el 1 no tiene inverso multiplicativo. > * # R $ % <o es grupo% el 1 no tiene inverso multiplicativo. 7 * # 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. Por 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 $ $ % 0ue tambi n 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 2 a % si a A a e = e a = a c* 3odo elemento de A es invertible en A respecto de . = a a = e A 2 aa Es decir a A % a d* es conmutativa. Es decir a % b " a% b A a b = b a Estas = propiedades muestran 0ue # 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 0ue # 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 0ue" #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

>

6omo 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 0ue corresponde a cada operacin. 6on esta aclaracin debe 0uedar claro 0ue # A $ & $ % representa una estructura algebraica% talve; un anillo% pero 0ue la operacin & y la operacin no representan la suma y el producto conocido% salvo ello est e!presamente indicado. 6on igual margen de tolerancia en la interpretacin de este tema% debemos decir 0ue el elemento neutro de la operacin aditiva se representa con 1 ,cero* y el neutro de la operacin multiplicativa con # ,uno* sin 0ue ellos sean necesariamente el 1 y # conocidos. .i adems g* conmutativa. Es decir a % b " a% b A a b ' b a entonces tenemos un Anillo conmutativo. :* posee elemento neutro en A. Es decir e A 2 a % si a A a ge = e ga = a entonces tenemos un Anillo con identidad Anillo con unidad. i* 3odo elemento de A distinto de cero es invertible en A respecto de . A 2 a a9 ' a9 a ' e entonces se llama Es decir a A % a 1 % a Anillo de divisin.

Ejemplos #.A # N $ & $ % con las operaciones conocidas no es )n ani++o% pues en N no e!iste neutro para la adicin. &.A # N* $ & $ % con las operaciones conocidas no es ani++o% pues N* carece de inversos aditivos. 5.A # 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 1

Ani++o de inte(ridad #A $ $ % es un Anillo de integridad si y solo s #A $ $ % es un anillo y 1 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. ?ic:o de otra manera% un Dominio de integridad es un Anillo conmutativo con identidad y de integridad. Ejemplos #.A # Z $ & $ % con las operaciones conocidas es un dominio de inte(ridad. &.A # Q $ & $ % . # R $ & $ % y son dominio de inte(ridad. # C $ & $ % con las operaciones conocidas

5.A $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.
B

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 0ueda caracteri;ado 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 #.A # Z $ & $ % con las operaciones conocidas% no es c)erpo% pues Z carece de inversos multiplicativos. &.A # Q $ & $ % . # R $ & $ % y son c)erpos. # C $ & $ % con las operaciones conocidas

5.A 3odo c)erpo es un dominio de inte(ridad. Para 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 0ue n & % se denomina Zn al conjunto Zn - 0 1 % # % & % 5 %...% nA#1 Este conjunto% provisto de las operaciones de suma y producto definidas as" 4 suma " si : y C pertenecen a Zn % entonces : 4 C es igual al resto de la divisin de : 4 C por n. Ejemplo" si n ' D - : ' > y C ' B % entonces : 4 C ' =
prod)cto " si : y C pertenecen a Zn % entonces : C es igual al resto de la D

divisin de : C por n. Ejemplo" si n ' D - : ' > y C ' B % entonces : C ' 5 $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 Para n ' 5 Para la suma 4 1 # & 1 1 # & # # & 1 & & 1 # Zn - 0 1 % # % & 1 las tablas de operaciones son" Para el producto

1 # &

1 1 1 1

# 1 # &

& 1 & #

El producto No posee divisores de cero

Para n ' = Para la suma 4 1 # & 5 1 1 # & 5

Zn - 0 1 % # % & % 5 1 las tablas de operaciones son" Para el producto # # & 5 1 & & 5 1 # 5 5 1 # &

1 # & 5

1 1 1 1 1

# 1 # & 5

& 1 & 1 &

5 1 5 & #

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 0ue se denomina s)ma y otra e!terna 0ue se denomina prod)cto y 0ue cumplen ciertas propiedades. $a operacin e!terna % multiplica un elemento del conjunto 4 por un elemento del conjunto 3. Notacin Esta estructura suele representarse de las siguientes maneras" 6omo la cuaterna ordenada # 3 $ & $ 4 $ % . como la terna ordenada # 4 $ 3 $& % y tambi n es muy usual la e!presin sinteti;ada 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* 4 Es asociativa b* 4 Es conmutativa c* 4 3iene neutro d* 4 3iene inverso

&. 5. =.

$a operacin e!terna asocia de la siguiente manera" a % b " a% b F y x A % a # b ! % - # a b % ! $a operacin e!terna distribuye sobre la interna de la siguiente manera" a " a F y x , y A % a # ! & y % - a ! & a y $a operacin e!terna tiene elemento neutro.

Ejemplos #.A # Rn$ & $ R $ % es un Espacio Gectorial con las suma y el producto conocidos. .iendo Rn $ con n # el conjunto de las n 8 uplas de n/meros reales.

#1

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

5.A # Rm ! n$ & $ R $ % en el Espacio Gectorial de la matrices de orden m ! 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 0ue es un morfismo de la estructura #A $ % en la estructura #B $ % o simplemente un morfismo de A en + si se cumple 0ue" x , y A - f(x y) ' f(x) f(y) Ejemplo" .ean las estructuras # R $ & % y # R & $ % con las operaciones 4 y usuales. $a aplicacin 5 7 R R & definida por 5#!% - 8 ! es un morfismo de estas estructuras ya 0ue cumple 0ue" f ,! 4 y* ' & ! 4 y ' & ! & y ' f ,!* 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 , !# % !& % !5 * ' 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 4 x3 y1 y 2 0 ' y3 x1 0

' f es un morfismo.

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

Adems es inyectivo% es decir un monomorfismo. puesto 0ue x y al dominio% resulta"

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

#&

Para probar 0ue no es sobreyectivo% basta ver 0ue% por ejemplo no es 3 4 imagen de nadie. &. f " R R tal 0ue f ,!* ' 8 5! es un automorfismo respecto a la suma. i* Es morfismo pues f ,! 4 y * ' 8 5 ,! 4 y * ' 8 5! 8 5y ' f ,! * 4 f ,y * ii* f es biyectiva por0ue" es inyectiva" ! y - f ,! * f ,y * ya 0ue 8 5! 8 5y
y 3

1 2

y es suryectiva" y R ! R tal 0ue f ,! * ' y 8 5! ' y entonces ! ' 8

5. f " R R tal 0ue f,!* ' ! 4 # no es :omomorfismo respecto a la adicin. Efectivamente no cumple la definicin de morfismo f ,! 4 y* f ,!* 4 f ,y* ya 0ue ! 4 y 4 # ! 4# 4 y 4 # ' ! 4 y 4 &

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

#5

Bib+io(ra5:a cons)+tada A Hlgebra $ineal y Ieometra Hngel @afael $arrotonda A <otas de Hlgebra J En;o @. Ientile A Hlgebra J Armando @ojo Editorial Eudeba A #EB5 Editorial Eudeba A #EB7 Editorial El Ateneo A #EBD

#=