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

Adems, sea x H. Si x 1 G es el inverso de x en (G, ) y x H es el inverso de x en (H, ), entonces 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 h1 = 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 h1 H h1 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 gRg. 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 | gRg } = {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, ) (B, ). resulta ser una relacin de equivalencia entre estructuras algebraicas con una = = 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