Semana 10[1/14]

Estructuras algebraicas

26 de abril de 2007

Estructuras algebraicas

Estructuras algebraicas

Semana 10[2/14]

Grupos

Un grupo es un caso particular de una estructura algebraica. Veremos que esta nocin rescata ampliamente las propiedades de estructuras tales como ( , +), ( , +) y ( , +). Dedicaremos una seccin especial a grupos, debido a que las particularidades que poseen nos permiten conocer muy bien sus propiedades, las cuales son bastantes.

Grupo
Sea (G, ) una estructura algebraica. Diremos que es un grupo si es asociativa. (G, ) posee neutro e G. Todo elemento x G posee inverso x 1 G. Adems, si es conmutativa, llamaremos a (G, ) grupo abeliano. A modo de ejemplo, notemos que ( , ) no es un grupo pues 0 no posee inverso. Sin embargo, ( es un grupo. Si (G, ) es un grupo, entonces cumple las siguientes propiedades (las cuales ya vimos):
1 2 3 4

\ {0}, ) s

El inverso de cada elemento es nico (x G) (x 1 )1 = x (x , y G) (x y )1 = y 1 x 1 Todo elemento x G es cancelable.

Estructuras algebraicas

Estructuras algebraicas

Semana 10[3/14]

Grupos: Propiedades
Si (G, ) es un grupo, las siguientes propiedades se agregan a las mencionadas:

Propiedades
Dado (G, ) grupo, entonces: 1 Para todo a, b G , las ecuaciones a x1 = b x2 a = b tienen solucin nica. Ellas son x1 = a1 b y x2 = b a1
2

El nico elemento idempotente de G es su neutro.

Demostracin.
1

Consideremos slo el caso de la primera ecuacin. Como G es grupo, a posee neutro a1 . Luego tendremos: a1 (a x1 ) = a1 b (a1 a) x1 = a1 b e x1 = a1 b x1 = a1 b Por asociativida.

Por denicin de inverso.

Por denicin de neutro.

Y esta ltima expresin es nica, pues a1 es nico. Si a es un elemento idempotente, satisface: a a = a. Pero esto es precisamente una ecuacin como la anterior (con b = a y a nuestra incgnita). Luego sabemos que la solucin es nica y es: a = a1 a = e.
Estructuras algebraicas

Estructuras algebraicas

Semana 10[4/14]

Subgrupos

Subgrupo
Sea (G, ) un grupo, y sea H G, H = . Diremos que H es subgrupo de G si (H , ) tambin es grupo. Si consideramos el grupo ( , +), entonces un posible subgrupo es ( , +). Tambin tenemos a ({1, 1}, ) como subgrupo de ( \ {0}, ).

Todo grupo (G, ) tiene dos subgrupos a los cuales llamaremos triviales: (G , ) y ({ e } , ) donde e es el neutro de (G, ).

Propiedades
Sea (G, ) un grupo, y (H , ) un subgrupo de l. Un par de propiedades bsicas que salen de ver los elementos de H como elementos de G: 1 Si e G es el neutro de G y eH H es el neutro de H , entonces e = eH .
2

H es el inverso de x en (H , ), entonces Adems, sea x H . Si x 1 G es el inverso de x en (G, ) y x 1 . x =x

Estas propiedades quedan propuestas como ejercicios.

Estructuras algebraicas

Estructuras algebraicas

Semana 10[5/14]

Subgrupos: Caracterizacin
En principio, si uno quisiera demostrar que un conjunto H G, H = , forma un subgrupo de (G, ), tendra que demostrar que (H , ) cumple todas las propiedades de la denicin de grupo, adems de mostrar (el cual es el punto de partida) que (x , y H ) x y H A esta propiedad se le conoce como cerradura, y es lo que nos permite decir que es una ley de composicin interna tambin en H . La siguiente es una forma compacta para determinar si (H , ) es subgrupo de (G, ).

Teorema
Sea H = . Entonces (H , ) es subgrupo de (G, ) (x , y H ) x y 1 H

Demostracin.
La implicancia se verica directamente. Sin embargo, la propiedad fuerte es la implicancia . Para demostrarla, supongamos que x , y H , x y 1 H . Debemos probar que (H , ) es grupo. Notemos que la asociatividad se hereda automticamente del hecho que (G, ) sea grupo.Nos basta entonces probar que: (H , ) es una estructura algebraica (cerradura de en H ). (H , ) admite un neutro (que por las propiedades anteriores, sabemos que debe ser el neutro de G). Todo elemento en H tiene inverso en H . Contina...
Estructuras algebraicas

Estructuras algebraicas

Semana 10[6/14]

Subgrupos: Caracterizacin

Continuacin demostracin.
Probaremos estas armaciones en un orden distinto: Veamos primero que, si e G es el neutro de (G, ), entonces e H . Con esto e ser el neutro de H . En efecto, como H = , tomando h H , por hiptesis se tiene que h h 1 = e H .

Ahora probemos que dado h H , ste admite un inverso en H . Sabemos que h1 es inverso de h, pero slo para (G, ). O sea, no sabemos si pertenece a H . Pero usando la hiptesis con x = e e y = h, tenemos que: e h 1 H h 1 H .

Finalmente, probamos la cerradura de en H . Dados x , y H . Por lo que vimos antes, y 1 H . As que aplicando la hiptesis para x e y 1 , tenemos que: x (y 1 ) 1 H x y H . Conclumos de esta manera que (H , ) es subgrupo de (G, ).

Estructuras algebraicas

Estructuras algebraicas

Semana 10[7/14]

Ejemplo:
Propiedad

como grupo

Sea n 2. Entonces (

n , +n )

es un grupo.

Demostracin.
Demostraremos que +n es asociativa, y que posee neutro. Las otras propiedades necesarias quedan de ejercicio para el lector. Asociatividad: Sean [x ]n , [y ]n , [z ]n n . Se tiene que ([x ]n +n [y ]n ) +n [z ]n = [x + y ]n +n [z ]n = [(x + y ) + z ]n Como + es asociativa en y x, y, z entonces (x + y ) + z = x + (y + z ) Entonces ([x ]n +n [y ]n ) +n [z ]n = [x + (y + z )]n = [x ]n +n [y + z ]n = [x ]n +n ([y ]n +n [z ]n ) Contina...

Estructuras algebraicas

Estructuras algebraicas

Semana 10[8/14]

Ejemplo:

como grupo

Continuacin demostracin.
Neutro: Demostraremos que [0]n En efecto, si [x ]n n
n

es neutro para +n . [x ]n +n [0]n = [x + 0]n = [x ]n [0]n +n [x ]n = [0 + x ]n = [x ]n

Estructuras algebraicas

Estructuras algebraicas

Semana 10[9/14]

Teorema de Lagrange
Sea (G, ) un grupo. Diremos que es un grupo nito si G es un conjunto nito. A |G| se le llama orden del grupo. Por ejemplo, 3 es un grupo nito de orden 3.

Teorema de Lagrange
Sea (G, ) un grupo nito y (H , ) un subgrupo cualquiera de l. Entonces |H | divide a |G|.

Demostracin.
Denamos primero, dado g G, la traslacin izquierda de H como el conjunto g H = {g h | h H }. Notemos que dado que g es cancelable, |H | = |g H |. Adems, denimos las siguiente relacin R sobre G por: g1 Rg2 (g1 , g2 G) g2 g1 H .
1 Lo cual equivale a (h H ) g2 = g1 h y tambin a g1 g2 H (Verifquelo). Se tiene que R es una relacin de equivalencia. En efecto: Reeja. Sea g G. Como H es subgrupo, e H y g = g e, pero esto es exactamente que g Rg . 1 Simtrica. Sean g1 , g2 G tales que g1 Rg2 g1 g2 H . Pero como H es subgrupo, el inverso de este ltimo trmino tambin pertence a H . Es decir: 1 (g1 g2 )1 = g2 1 g1 H .

As, g2 Rg1 . Contina...

Estructuras algebraicas

Estructuras algebraicas

Semana 10[10/14]

Teorema de Lagrange
Continuacin demostracin.
Transitiva. Supongamos que g1 Rg2 y g2 Rg3 . Esto se traduce en que
1 1 g1 g2 , g2 g3 H .

Y como H es cerrado para , se deduce que:

1 1 1 (g1 g2 ) (g2 g3 ) = g1 g3 H .

De donde se conlcluye que g1 Rg3 . Ahora, dado que R es de equivalencia podemos calcular, para g G: [g ]R = {g G | g Rg } = {g G | (h H ) g = g h} = g H. Luego, |[g ]R | = |H |. Sean entonces [g1 ]R , [g2 ]R , . . . , [gs ]R las clases de equivalencia de R. Sabemos que estas clases conforman una particin de G, es decir: G = [g1 ]R [g2 ]R [gs ]R .Luego:
s

|G | =
i =1 s

|[gi ]R | |H | = s |H |.
i =1

De donde se concluye el resultado.

Estructuras algebraicas

Estructuras algebraicas

Semana 10[11/14]

Ejemplo: diferencia simtrica

Antes de seguir:

Observacin
Como implicancia de este teorema, tenemos por ejemplo que ( 3 , +3 ) slo puede tener subgrupos de orden 1 3. Si (H , +3 ) es un subgrupo de orden 1, entonces debe tenerse que H = {[0]3 }, y si (H , +3 ) es un subgrupo de orden 3, entonces necesariamente H = 3 (ejercicio para el lector). Es decir, los nicos subgrupos que tiene ( 3 , +3 ) son los triviales. Este resultado es tambin vlido para ( p , +p ) con p primo.

Sea A un conjunto no vaco. Veamos que (P (A), ) es un grupo abeliano, donde denota la diferencia simtrica X Y = (X \ Y ) (Y \ X ) = (X Y ) \ (X Y )

Demostracin.
Es claro que es una ley de composicin interna en P (A). De nuestro estudio de teora de conjuntos, sabemos que es asociativa y conmutativa. Si X A, entonces X = (X ) \ (X ) = X \ = X . Concluimos as que es el neutro de . Adems, notando que X X = (X \ X ) (X \ X ) = = , obtenemos que todo X P (A) es invertible, y que X 1 = X (es decir, cada elemento es su propio inverso).

Estructuras algebraicas

Estructuras algebraicas

Semana 10[12/14]

Morsmos

Sean (A, ) y (B , ) dos estructuras algebraicas, y sea f : A B una funcin. Sabemos que si x , y A entonces f (x ), f (y ) B . Como sobre A tenemos denida una operacin , podemos hacernos la pregunta: cunto vale f (x y )? Los morsmos sern las funciones de A en B tales que f (x y ) se construye operando f (x ) y f (y ), es decir tales que f (x y ) = f (x )f (y ) (recordemos que como f (x ), f (y ) B , entonces la operacin que podemos aplicarles no es , sino ).

Morsmo
Una funcin f : A B es un homomorsmo, o simplemente un morsmo, si (x , y A) f (x y ) = f (x )f (y )

Isomorsmo
Si f : A B es un morsmo, y adems es una funcin biyectiva, entonces le llamaremos isomorsmo. Si existe un isomorsmo f : A B , diremos que (A, ) y (B , ) son estructuras isomorfas, lo cual denotaremos (A, ) = resulta ser una relacin de equivalencia entre estructuras algebraicas con una = (B , ). operacin.

Estructuras algebraicas

Estructuras algebraicas

Semana 10[13/14]

Morsmos

Propiedad
(

+ , )

= ( , +)

Demostracin.
Consideremos la funcin log:

log(x )

log es una funcin biyectiva, y cumple log(x y ) = log(x ) + log(y ) para x , y

+.

Estructuras algebraicas

Estructuras algebraicas

Semana 10[14/14]

Morsmos sobreyectivos
Propiedades
Sean (A, ) y (B , ) estructuras algebraicas, y sea f : A B un morsmo sobreyectivo. Se tiene que: 1 Si es asociativa, entonces tambin. 2 Si es conmutativa, entonces tambin. 3 Si (A, ) tiene neutro e A, entonces (B , ) tambin tiene neutro, el cual es f (e). 1 4 Sea (A, ) es asociativa con neutro e, y sea a A. Si a posee inverso a , entonces f (a) tambin posee inverso, y ms an, (f (a))1 = f (a1 ).

Demostracin.
Demostraremos lo segundo. Sean b1 , b2 B . Como f es sobreyectiva, entonces existen a1 , a2 A tales que f (a1 ) = b1 Entonces b1 b2 f (a1 )f (a2 ) f (a1 a2 ) (f es morsmo) f (a2 a1 ) ( es conmutativa) f (a2 )f (a1 ) (f es morsmo) b2 b1 f (a2 ) = b2

= = = = =

Estructuras algebraicas