Unidad 3 Codificacin 3.

1 Grupos Un grupo es un par (G; _) formado por un conjunto y una operacin binaria que cumple: G0 La operacin es cerrada, es decir, a * b G, para todo a,;b G. G1 La operacin es asociativa, es decir, (a * b)* c = a * (b * c)) , para todo a,;b G._ G2 El conjunto G tiene elemento neutro, que se denotar por e, respecto de la operacin. G3 Cada elemento de G tiene inverso respecto de la operacin. El inverso del elemento a G se denotar por a -1. Grupo fundamental: dado un espacio topolgico X, se puede formar el conjunto de todos los lazos en X que salen de un cierto punto, considerando como equivalentes a dos lazos que se puedan superponer mediante una homotopa (es decir, tales que se pueda deformar a uno de ellos en forma continua hasta obtener el otro). A dicho conjunto se le asigna una estructura (algebraica) de grupo, lo que determina el llamado grupo fundamental de X. Se trata de un invariante topolgico muy til. Por ejemplo, el grupo fundamental de una circunferencia es Z, el conjunto de los nmeros enteros (Z = {..., - 3, - 2, - 1, 0, 1, 2, 3, ...}), hecho que resulta claro pues todo lazo cerrado sobre la circunferencia est determinado unvocamente por la cantidad de vueltas, y el sentido en que se las recorre. El grupo fundamental de un toro es Z Z, pues en este caso deben tenerse en cuenta las vueltas dadas "alrededor" del agujero, y tambin "a travs" del mismo. Este resultado es, claro est, coherente con el hecho de que el toro puede pensarse como el producto cartesiano de dos circunferencias Estas son algunas de las propiedades que tienen los grupos: El neutro es nico. El inverso de cada elemento tambin es nico. El inverso del inverso de un elemento es el propio elemento: (x1)1 = x. El inverso de un producto es el producto de los inversos, pero cambiado de orden:(xy)1 = y1x1. En un grupo la ecuacin ax = b siempre tiene solucin, que es nica: x = a1b. Anlogamente, x = ba1 es la nica solucin de xa = b. 3.1.1 Homeomorfismos

Se llama homeomorfismo entre dos espacios topolgicos X e Y a una funcin f: X Y que resulte biunvoca y bicontinua, es decir: f es "uno a uno" (biunvoca), lo que significa que para cada elemento x X existe un nico y Y tal que f(x) = y y viceversa. Esto permite definir la funcin inversa, f-1:Y X f y f-1 son continuas (f es bicontinua) La nocin de homeomorfismo responde a la idea intuitiva de "deformacin", y determina cierta clase de equivalencia: dos espacios homeomorfos tienen las mismas propiedades topolgicas.

3.1.2 Isomorfismos.

Podramos definir el significada de un isomorfismo que 2 semigrupos simplemente parezcan iguales, o que es cuando el dominio y la imagen de un isomorfismo propio pueden ser o son idnticos. Con relacin a este concepto podemos mencionar diversos teoremas, alguna de cuyas demostraciones veremos a continuacin. a) Teorema: La relacin G es isomorfo con G es una relacin de equivalencia entre grupos. b) Teorema: En todo isomorfismo entre dos grupos, los elementos idnticos se corresponden y los inversos de elementos correspondientes tambin se corresponden. c) Teorema: Todo grupo abstracto G es isomorfo con un grupo de transformaciones del grupo sobre s mismo. Demostracin: Para comprender esta demostracin el lector puede tener presente la tabla indicada ms arriba para n = 6. Asociemos a cada elemento a G la transformacin ta : G G tal que ta(x) = xa. El lector puede observar la segunda fila de la tabla mencionada para ver todas las imgenes de esta transformacin: ta(e) = a; ta(a) = b; ta(b) = c; ta(c) = d; ta(d) = g; ta(g) =e Para otro elemento cualquiera de G, tendremos otra transformacin; as para b G tendremos tb : G G, tal que tb(x) = xb (tercera fila de la tabla). Vale decir que si a b ta tb. Sea G = {t : G G} definidas en la forma indicada. Ser G = {ta, tb, tc, td, te, tg} para el caso de n = 6, todas transformaciones distintas, como puede verificarse observando las diferentes filas de la tabla correspondiente. Por otra parte, podemos definir en G el producto de transformaciones, tal que: x G, x(tatb) = (xta)tb = (xa)tb = (xa)b = x (ab) = tab y en el caso particular de nuestra tabla vemos que tab = tc . Esto significa que el producto de dos transformaciones de G es otra transformacin de G. Luego este producto

es cerrado. En G existe te tal que x G, te(x) = xe = x. Luego te es la identidad. En G existe tambin ( ta)-1 = tg = t(a-1) y as para todas las transformaciones de G. Luego cada elemento de G tiene en el conjunto su inversa. Esto nos indica que G tiene estructura de grupo y es isomorfo con el grupo abstracto considerado. Lo cual prueba la tesis.

3.1.3 Cclicos.

Un grupo cclico es un grupo que puede ser generado por un solo elemento; es decir, hay un elemento a del grupo G (llamado "generador" de G), tal que todo elemento de G puede ser expresado como una potencia de a. Si la operacin del grupo se denota aditivamente, se dir que todo elemento de G se puede expresar como na, para n entero. En otras palabras, G es cclico, con generador a, si G = { an | n Z }. Dado que un grupo generado por un elemento de G es, en s mismo, un subgrupo de G, basta con demostrar que el nico subgrupo de G que contiene a a es el mismo G para probar que ste es cclico. Por ejemplo, G = { e, g1, g2, g3, g4, g5 } es cclico. De hecho, G es esencialmente igual (esto es, isomorfo) al grupo { 0, 1, 2, 3, 4, 5 } bajo la operacin de suma mdulo 6. El isomorfismo se puede hallar fcilmente haciendo g 1. Contrariamente a lo que sugiere la palabra "cclico", es posible generar infinitos elementos y no formar nunca un ciclo real: es decir, que cada gn sea distinto. Un tal grupo sera un grupo cclico infinito, isomorfo al grupo Z de los enteros bajo la adicin. Salvo isomorfismos, existe exactamente un grupo cclico para cada cantidad finita de elementos, y exactamente un grupo cclico infinito. Por lo anterior, los grupos cclicos son de algn modo los ms simples, y han sido completamente clasificados. Propiedades Dado un grupo cclico G de orden n (donde n puede valer infinito), y dado g G, se tiene:

G es abeliano; es decir, su operacin es conmutativa: ab = ba para cualesquiera a y

b G. Esto es cierto, puesto que cualquier par de enteros a y b, a + b md n = b + a md n.

Si n < , entonces gn = e, puesto que n md n = 0. Si n = , entonces el grupo tiene exactamente dos generadores: 1 y -1 en Z, y sus

imgenes isomrficas en otros grupos cclicos infinitos.

Todo subgrupo de G es cclico. De hecho, para n finito, todo subgrupo de G es

isomorfo a un Zm, donde m es divisor de n; y si n es infinito, todo subgrupo de G corresponder a un subgrupo mZ de Z (el cual es tambin isomorfo a Z), bajo el isomorfismo entre G y Z.

3.1.4 Cosets

Tenemos gH = H si y solamente si g es un elemento de H, desde como H es un subgrupo, debe ser cerrado y debe contener la identidad. Cualquier dos cosets izquierdos son o idnticos o desuna -- los cosets izquierdos forman a particin de G: cada elemento de G pertenece a un y solamente un coset izquierdo. Particularmente la identidad est solamente en un coset, y ese coset es H s mismo; ste es tambin el nico coset que es un subgrupo. Podemos ver esto claramente en los ejemplos antedichos. Los cosets izquierdos de H en G sea clases de equivalencia debajo de relacin de equivalencia en G dado cerca x ~ y si y solamente si x -1y H. Las declaraciones similares son tambin verdades para los cosets derechos. Todos los cosets izquierdos y todos los cosets derechos tienen igual orden (nmero de elementos, o cardinality en el caso de infinito H), igual a la orden de H (porque H est s mismo un coset). Adems, el nmero de cosets izquierdos es igual al nmero de cosets derechos y se conoce como ndice de H en G, escrito como [G : H ]. Teorema de Lagrange permite que computemos el ndice en el caso donde G y H sea finito, segn el frmula: |G | = [G : H ] |H | En matemticas, si G es a grupo, H a subgrupo de G, y g un elemento de G, entonces gH = {gh : h un elemento de H } es a coset izquierdo de H en G, y Hectogramo = {hectogramo : h un elemento de H } es a coset derecho de H en G. Solamente cuando H es normal voluntad los cosets derechos e izquierdos de H coincida, que es una definicin de la normalidad de un subgrupo. A coset es un coset izquierdo o derecho de algunos subgrupo adentro G. Desde entonces Hectogramo = g ( g1Hectogramo ), los cosets derechos Hectogramo (de H ) y los cosets izquierdos g ( g1Hectogramo ) (de conjugacin subgrupo g1Hectogramo ) son iguales. Por lo tanto no es significativo hablar de un coset como ido o correcto a menos que un primer especifique a subgrupo subyacente. Para grupos abelian o los grupos escritos aditivo, la notacin utilizaron cambios a g+H y H+g respectivamente.

Si H no es normal en G, entonces sus cosets izquierdos son diferentes de sus cosets derechos. Es decir, hay a en G tales que ningn elemento b satisface ah = Hb. Esto significa que la particin de G en los cosets izquierdos de H es una diversa particin que la particin de G en cosets derechos de H. (Es importante observar eso algunos los cosets pueden coincidir. Por ejemplo, si a est en centro de G, entonces ah = Ha.) Por otra parte, el subgrupo N es normal si y solamente si gN = Ng para todos g en G. En este caso, el sistema de todos los cosets forma a grupo llamado grupo del cociente G /H con el de la operacin definido cerca (ah )(bH ) = abH. Puesto que cada coset derecho es un coset izquierdo, no hay necesidad de distinguir cosets izquierdos de cosets derechos. Ejemplos El aadido grupo cclico Z4 = {0, 1, 2, 3} = G tiene un subgrupo H = {0, 2} (isomorfo a Z2). Los cosets izquierdos de H en G sea 0 + H = {0, 2} = H 1 + H = {1, 3} 2 + H = {2, 0} = H 3 + H = {3, 1} Hay por lo tanto dos cosets distintos, H s mismo, y 1 + H = 3 + H. Observe eso H (1 + H ) = G, tan los cosets distintos de H en G particin G. Desde entonces Z4 es grupo abelian, los cosets derechos sern iguales que la izquierda (esto no es difcil de verificar). Otro ejemplo de un coset viene de la teora de espacios del vector. Los elementos (vectores) de una forma del espacio del vector Grupo Abelian debajo adicin de vector. No es duro demostrar eso subspaces de un espacio del vector est subgrupos de este grupo. Para un espacio del vector V, un subspace W, y un vector fijo a en V, los sistemas se llaman afine los subspaces, y son los cosets (ambos a la izquierda e a la derecha, puesto que el grupo es Abelian). En trminos de geomtrico los vectores, stos afinan subspaces son todos los alinean o acepilla paralelo al subspace, que es una lnea o un plano que pasa con el origen.