Adrian Eulalio Pea Rodrguez Nl. 26 ndice 3.1 Grupos 3.1.1 Homeomorfismos 3.1.2 Isomorfismos. 3.1.3 Cclicos. 3.1.4 Cosets 3.1.5 Teorema de Lagrange 3.1.6 Mtrica de Hamming 3.1.7 Matrices Generadoras y de paridad. 3.2 Anillos. 3.2.1 Grupos de cdigos. 3.2.2 Cosets lderes. 3.2.3 Matrices de Hamming. 3.2.4 Campos finitos. 3.2.5 Anillos de polinomios. 3.2.6 Polinomios irreducibles 3.2.7 Cuadrados latinos 3.2.8 Criptografa.
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 e G, para todo a,;b eG. G1 La operacin es asociativa, es decir, (a * b)* c = a * (b * c)) , para todo a,;b e 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 e 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: t a(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 e 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 = {t a, 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 e 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 xe 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.
3.1.5 Teorema de Lagrange (Teora del grupo) Teorema de Lagrange, en matemticas de teora del grupo, indica eso para cualesquiera grupo finito G, orden (nmero de elementos) de cada subgrupo H de G divide la orden de G. El teorema de Lagrange se nombra despus Jos Lagrange Prueba del teorema de Lagrange Esto se puede demostrar usando el concepto de la izquierda cosets de H en G. Los cosets izquierdos son clases de equivalencia de un seguro relacin de equivalencia en G y por lo tanto forme una particin de G. Si podemos demostrar que todos los cosets de H tenga el mismo nmero de elementos, despus nos hacen, desde entonces H s mismo es un coset de H. Ahora, si ah y bH son dos cosets izquierdos de H, podemos definir un mapa f : ah bH fijando f(x) = Ba-1x. Este mapa es bijective porque su lo contrario se da cerca f -1(y) = ab-1y. Esta prueba tambin demuestra a eso el cociente de las rdenes |G| / |H| es igual a ndice [G : H] (el nmero de cosets izquierdos de H en G). Si escribimos esta declaracin como
|G| = [G : H] |H|, entonces, interpretado como declaracin alrededor nmeros cardinales, sigue siendo verdad incluso para los grupos infinitos G y H.
Existencia de subgrupos de cierta orden El teorema de Lagrange plantea la cuestin de si cada divisor de la orden de un grupo es la orden de un subgrupo. Este asimiento de la necesidad. Dado un grupo finito G y un divisor d de |G|, no existe necesariamente un subgrupo de G con orden d. El ejemplo ms pequeo es grupo que se alterna G = A4 cul tiene 12 elementos pero ningn subgrupo de la orden 6. Cualquier grupo finito que tenga un subgrupo con el tamao igual a cualquier divisor (del positivo) del tamao del grupo debe ser soluble, as que los grupos nonsolvable son ejemplos de este phenonenon, aunque A4 demuestra que no son los nicos ejemplos. Si G es abelian, entonces existe siempre un subgrupo de cualquier orden que divide el tamao de G. Una generalizacin parcial se da cerca Teorema de Cauchy.
3.1.6 Metrica de Hamming En Teora de la Informacin se denomina distancia de Hamming a la efectividad de los cdigos de bloque y depende de la diferencia entre una palabra de cdigo vlida y otra. Cuanto mayor sea esta diferencia, menor es la posibilidad de que un cdigo vlido se transforme en otro cdigo vlido por una serie de errores. A esta diferencia se le llama distancia de Hamming, y se define como el nmero de bits que tienen que cambiarse para transformar una palabra de cdigo vlida en otra palabra de cdigo vlida. Si dos palabras de cdigo difieren en una distancia d, se necesitan d errores para convertir una en la otra. Por ejemplo:
La distancia Hamming entre 1011101 y 1001001 es 2. La distancia Hamming entre 2143896 y 2233796 es 3. La distancia Hamming entre "tener" y "reses" es 3.
Definicin: Sea A un alfabeto y u,w e An. Se define la distancia Hamming d(u,w) como el nmero de posiciones en las que difieren v y w.
An xAn d Z _ R (u , w) d (u, w) Esta aplicacin es una mtrica: Es definida positiva: d(u,w) > 0 y d(u,w) = 0 u = w u , w e A n Es simtrica: d(u,w) = d(w,u) u , w e A n Desigualdad triangular: d (u,v) s d (u,w) + d (w,v) u, v, w e A n
La bola con centro en un elemento u y radio 1 es u, todos los puntos son abiertos ( topologa abierta).
3.1.7 Matriz de paridad La paridad consiste en aadir un bit, denominado bit de paridad, que indique si el nmero de los bits de valor 1 en los datos precedentes es par o impar. Si un solo bit cambiara por error en la transmisin, el mensaje cambiar de paridad y el error se puede detectar (ntese que el bit donde se produzca el error puede ser el mismo bit de paridad). La convencin ms comn es que un valor de paridad de 1 indica que hay un nmero impar de unos en los datos, y un valor de paridad de 0 indica que hay un nmero par de unos en los datos. 10
La comprobacin de paridad no es muy robusta, dado que si cambia de forma uniforme ms de un solo bit, el bit de paridad ser vlido y el error no ser detectado. Por otro lado, la paridad, aunque puede detectar que hay error, no indica en qu bit se cometi. Los datos se deben desechar por entero y volverse a transmitir. En un medio ruidoso, una transmisin correcta podra tardar mucho tiempo o incluso, en el peor de los casos, no darse nunca. El chequeo de paridad, aunque no es muy bueno, usa un nico bit, por lo que produce muy poca sobrecarga, y adems permite la correccin de ese bit si es conocida su posicin. Consideremos bloques de entrada de k bits:
d1 , d 2 ,...d k
Cada bloque forma un vector o palabra:
d = ( d1 , d 2 ,...d k )
Y a la salida se tiene la palabra:
C = (C1 , C 2 ,..., C k , C k +1 ,..., C n )
Para un cdigo sistemtico:
C1 = d1 . . .
Ck = d k
Y si es lineal, los bits de paridad estn dados por:
C k +1 = h11 d1 h12 d 2 ... h1k d k . . .
Cn
= hr1d1 hr 2 d 2 ... hrk d k
11
Donde: hij
r=nk =1 0
La eleccin de los hij determina el tipo de cdigo.
Matricialmente:
C = dG 1xn 1xk kxn
con sumas mod 2
a la matriz G se le llama matriz generadora del cdigo. G = [ Ik P] Ik = Porque los primeros k bits coinciden con los de datos. P = Formada por el arreglo de los hij transpuestos.
n k
Veamos por ejemplo, un cdigo (7, 3) cuya matriz p es: 1 1 0 0 ( ( P = 0 1 1 0( 1 1 1 1 (
P es de orden 3 x 4 k x r
entonces n =7 , k =3 y existen 4 bits de paridad, su matriz generadora es: I P
Los bits de paridad estn dados como: C 4 = d1 d 3 C 5 = d1 d 2 d 3 C6 = d 2 d 3 C7 = d 3
Supongamos que se recibe: 0 0 0 0 1 1 0,la palabra ms cercana es 3, cada vector C difiere de cualquier de cualquier otro en al menos tres posiciones, en consecuencia cualquier vector con un error es corregible puesto que la palabra recibida seguir estando ms prxima a la correcta. La diferencia entre el mnimo nmero de posiciones de dos vectores codificados cualesquiera, se llama distancia de Hamming. Para que sean corregibles t errores, la distancia de hamming (d) debe de ser: d > 2t + 1
En este caso d = 3 t = 1 puede corregir un solo error. El procedimiento de correccin de errores ms simple es el comparar la palabra codificada recibida, con una tabla de palabras codificadas y seleccionar la ms cercana; sin embargo el nmero de comparaciones crece exponencialmente con k, por lo que no es apropiado para cdigos grandes. Afortunadamente las relaciones algebraicas de los cdigos proporcionan otros mtodos ms eficientes. El siguiente mtodo es aplicable a los cdigos correctores de errores simples, pero su principio de aplica a otros mayores. A la matriz: H = [PT Ir] rxn rxk se le llama matriz de comprobacin de paridad. Es fcil verificar que : 1xn CHT = 0 nxr Sea r el vector recibido en lugar de C r = C e donde e es un vector de n bits formado por unos cuando hay un error y ceros cuando no hay un error. r H T = (C e ) H T = e H T ~ s a s se le llama vector sndrome, esta formado por: s = ( h1i , h2i ,..., hri )
e indica el rengln i-simo de la matriz H transpuesta ( H T ) donde est el error. Por ejemplo, supongamos que se enva C = (1,0,0,1,1,0,0) y se recibe r = (1,0,0,0,1,0,0) P ( HT = ( I nk nxr 1 0 1 T s = r H = r 1 0 0 0 1 0 0( ( 1 1 0( 1 1 1( ( 0 0 0( = (1,0,0,0) 1 0 0( ( 0 1 0( 0 0 1(
El vector s corresponde al cuarto rengln de H T , por lo tanto el error se encuentra en el 4 bit. Se observa que para que funcione este mtodo, H debe de tener las primeras k columnas definidas en forma nica, y deben diferir de las r siguiente columnas que conforman la submatriz identidad y tampoco deben de estar compuestas por ceros. Se debe cumplir entonces que para corregir un error: 2 r ( r + 1) > k
14
3.2 Anillos. Sea A un conjunto no vaco con dos elementos distinguidos, n y m, y sean y operaciones binarias. Se dice que el conjunto las siguientes propiedades: 1. A es cerrado bajo la operacin. 2. La operacin es asociativa. 3. Dos es un anillo si se cumplen la operacin tiene a n como elemento neutro.
4. Existe un elemento simtrico para
Estas cuatro condiciones definen un grupo. Una quinta condicin define un grupo abeliano: 5. La operacin es conmutativa.
Para definir un anillo, es necesario agregar cuatro condiciones ms que hablan acerca de la segunda operacin binaria y el segundo elemento destacado: 6. A es cerrado bajo la operacin . 7. La operacin es asociativa.
8. La operacin tiene a m como elemento neutro. La operacin es distributiva respecto de Y agregando una dcima condicin, se define un anillo conmutativo: 10. La operacin es conmutativa.
3.2.1 Grupos de cdigos. El problema de codificacin es representar mensajes distintos mediante diferentes secuencias de letras de un alfabeto dado. Por ejemplo, mensajes como " emergencia " , " la ayuda est en camino " ," est todo claro , etc., pueden ser representado por secuencias de puntos y rayas .
Nosotros supondremos que el alfabeto es binario {0,1} . Una secuencia de letras de un alfabeto se conoce como una palabra. Un cdigo es una coleccin de palabras que son utilizadas para representar distintos mensajes. Una palabra en un cdigo tambin es denominada como una palabra cdigo. Un cdigo de bloque es un cdigo consistente de palabras que son de la misma longitud. Uno de los criterios al escoger u bloque de cdigo para representar un conjunto de mensajes es su capacidad para corregir errores. Supongamos que una palabra cdigo es transmitida desde su origen hacia su destino.
En el curso de la transmisin, interferencias como ruido pueden ocasionar que algunos de los nmeros uno en la palabra cdigo sean recibidos como nmeros ceros y algunos de los cero como unos. En consecuencia, la palabra recibida podra no continuar siendo la palabra transmitida y es nuestro deseo recuperar la palabra transmitida lo mejor posible y esto es lo que entenderemos por correccin de errores. Denotemos por A al conjunto de todas las sucesiones binarias de longitud n. Sea una operacin binaria sobre A tal que para x y y en A, x y es una sucesin de longitud n que tiene nmeros uno en las posiciones donde x y y difieren y nmeros cero en las posiciones donde x y y son iguales.
Por ejemplo, sea x = 00101 y y = 10110, entonces x * y = 10011. Una palabra con nicamente ceros es la identidad, y que cualquier palabra es su propio inverso en (A, ).
Sea x una palabra en A. Definimos el peso de x, denotado por w(x) , como la cantidad de nmeros uno en x . As, el pero de 1110000 es igual a 3, al igual que el de 1001100. Para x y en A, definimos la distancia entre x y, w(x y). , denotada por, como el peso de x y Por ejemplo la distancia entre 1110000 y 1001100 es 4, y la distancia entre 1110000 y 0001111 es de 7. Observamos que en la distancia entre las dos palabras es exactamente el nmero de posiciones en las cuales stas difieren. Ahora sea G un cdigo de bloque. Definimos la distancia de G como la distancia mnima entre cualquier par de palabras de cdigo distintas en G. La distancia de un cdigo de bloque est relacionada con su capacidad de corregir errores. Supongamos que correspondiendo a la transmisin de una palabra cdigo en G , se ha recibido la palabra . Nuestro problema es determinar a partir de la palabra cdigo que fue transmitida. Pero para motivar nuestro anlisis supongamos el caso sencillo en el que resulta ser una de las palabras cdigo en G. En este caso, probablemente nos inclinaremos por la conclusin obvia de que la palabra transmitida efectivamente fue, pero an as est conclusin requiere de una justificacin. Supongamos que en el transcurso de la transmisin pueden ocurrir errores en cualquiera de las posiciones, cualquiera de las palabras cdigo en G podra haber sido la palabra transmitida . Pero cuando supusimos que la palabra transmitida fue, estbamos suponiendo de modo tcito que cuando la palabra fue transmitida era ms probable que no ocurriera error alguno a que hubiesen ocurrido algunos errores. Ahora estableceremos de manera general de determinar la palabra transmitida correspondiente a la palabra recibida. Denotemos por condicional para palabra transmitida ya que Si a las palabras cdigo en G. Calcularemos la probabilidad, donde es la probabilidad de que fue la palabra recibida. Fuese la mayor de todas las probabilidades condicionales calculadas, concluimos
que fue la palabra transmitida. Este criterio para determinar la palabra transmitida se conoce como criterio de decodificacin de la mxima probabilidad. El clculo de la probabilidad condicional puede ser realmente complicado ya que la probabilidad depende de muchos factores en el sistema de comunicacin. Pero analizaremos otro criterio que puede utilizarse para determinar la palabra transmitida. Calculamos para toda, y concluimos que fue la palabra transmitida
si es la menor distancia entre todas las distancias calculadas. Este se conoce como criterio de decodificacin de la mnima distancia. Por otra parte si suponemos que la presencia de errores en las posiciones es independiente, y que la probabilidad de que haya un error es donde es la distancia entre xi y mayor ser. . Para <, entonces entre menor sea
En consecuencia, el criterio de decodificacin de mxima probabilidad (en este caso, la conclusin de que la palabra transmitida fue cuando la palabra recibida es una palabra cdigo est justificada). Ahora no debemos dejar pasar que un cdigo distancia puede corregir o menos errores de distancia cuando se sigue el criterio de decodificacin de la mnima distancia. Supongamos que una palabra cdigo x fue transmitida y que la palabra fue recibida. Si no se han cometido ms de errores en el transcurso de la transmisin, tenemos que * Sea otra palabra cdigo. Puesto que * y * Tenemos por lo tanto que *
Entonces por el criterio de decodificacin de la mnima distancia efectivamente se seleccionar a x como la palabra transmitida. Ya que los cdigos de grupo son una clase de cdigos de bloque demostraremos que: Un subconjunto G de A es llamado un cdigo de grupo si (G,) es un subgrupo de (A,), donde A es el conjunto de sucesiones binarias de longitud .
Mostraremos que la distancia G es igual al peso mnimo de las palabras diferentes del nulo en G. A s este resultado hace ms sencillo calcular la distancia de un cdigo de grupo puesto que ya no es necesario calcular exhaustivamente la distancia para cada par de palabras distintas de G.
Supongamos que
es una palabra diferente del nulo en G. Debido a que
y ya que 0 est en g , tenemos que
Por otro lado, para cualesquiera
y
en G, ya que
y ya que
est tambin en g , tenemos que
A partir de (1*) obtenemos
Y a partir de (2*), obtenemos Al combinar (3*) y (4*) llegamos a que
Para cdigos de grupo , existe una manera eficiente para determinar la palabra transmitida correspondiente a una palabra recibida de acuerdo con el criterio de decodificacin de la mnima distancia . EJEMPLO 1 Consideremos que G = {0000, 0011, 1101, 1110}. Podemos verificar sencillamente que (G, ) es un grupo. Las filas de la figura 1 son los distintos conjuntos cociente en G.
Entonces de acuerdo al criterio de decodificacin de la mnima distancia, la palabra recibida 1011 ser decodificada como 0011, la palabra recibida ser 1010 ser decodificada como 1110, y la palabra recibida 1111 ser decodificada como 1101 o 1110, segn si 0010 o 0001 fuese escogida como el lder del conjunto cociente que contiene a la palabra 1111.
3.2.2 Cosets lderes.
En matemticas, si G es un grupo, H es un subgrupo de G, y G es un elemento de G, entonces gH = { gh : h an element of H } is a left coset of H in G , and gH = (gh: h un elemento de H) es una clase lateral izquierda de H en G, y Hg = { hg : h an element of H } is a right coset of H in G . Hg = (hg: h un elemento de H) es una clase lateral derecha de H en G. 20 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(g-1Hectogramo), los cosets derechos Hectogramo (de H) y los cosets izquierdos g(g-1Hectogramo) (de conjugacin subgrupo g-1Hectogramo) 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
3.2.3 Matrices de Hamming. La matriz de control de Hq(r) es una matriz que tiene r filas y n = columnas, y el cdigo Hq(r) es un [n,k,3]-cdigo donde k = n r. Esta matriz se llama matriz de Hamming y no es nica. Consideremos los elementos de Hq(r) como nmeros en el sistema de numeracin de base q. Elegimos los que son distintos de cero y que tienen dgitos ms significativo igual a 1. Entonces las columnas de Hq(r) son estos nmeros escritos en orden creciente.
H2(3)
r = 3. Las columnas son nmeros de 3 dgitos binarios. n= d=3 El tomar el dgito ms significativo igual a 1 implica que cogemos un nico punto en cada recta.
Las columnas estn ordenadas en orden creciente. n=
Si pusisemos la columna sera mltiplo de y as d = 2 (cogeramos 2 vectores en la misma recta).
r = 3 = n k k = 28 m = qk = qn-r Estos fueron los primeros cdigos correctores de errores. En el caso binario la matriz de control est formada por todos los nmeros binarios menos el cero.
Proposicin:
Los cdigos de Hamming son cdigos perfectos.
Demostracin: m = qn-r qn-r (1 + n (q 1)) = qn Vamos a ver la descodificacin de los cdigos de Hamming. Proposicin: Si una palabra x H2(r) sufre un nico error resultando la palabra y entonces el sndrome de y, , es la representacin binaria de la posicin del error de la palabra recibida. Demostracin: Supongamos que el error se ha cometido en la posicin i, es decir, y = x + e i, con la palabra de error. Entonces: h(y) = h(x+ei) = h(x) + h(ei) = h(ei) = ei= columna i-sima de H2(r) La columna i-sima es la representacin binaria del nmero i, i es la posicin del error. Conocido u se corrige el error calculando x = y - ei, cambiando el i-simo bit de y. [7,4,3]-cdigo Supongamos que se recibe la palabra y = 1101110 100 = 4 El error se ha cometido en la posicin 4. La palabra de error es e4 = (0001000). La palabra emitida es x = y e4 = 1100110 A este mtodo de descodificacin se le llama descodificacin de Hamming. Proposicin: Supongamos que una palabra x Hq(r) sufre un nico error, resultando la palabra recibida y. Sea h(y) Kr el sndrome de la palabra recibida y a K el smbolo ms significativo de h(y). Si la columna de Hq(r) que contiene a a- 1h(y) es la columna i-sima entonces la palabra de error es y se verifica que x = y - aei. Demostracin: Supongamos que el error se ha cometido en la posicin i-sima de modo que y = x + aei, con . Entonces: h(y) = h(aei) = = ai-sima columna de Hq(r). Ejemplo: H3(3) y supongamos que se recibe la palabra y = 1101112211201. Descodificar esta palabra. h(y) no es una columna de H3(3). (201) = 2 (102) (102) es la 7 columna de H3(3), luego la palabra de error es ae7 = 2(0000001000000). La palabra emitida es x = y 2e7 = 1101110211201
3.2.4 Campos finitos. En lgebra abstracta, un cuerpo finito, campo finito o campo de Galois (llamado as por variste Galois) es un cuerpo que contiene un nmero finito de elementos. Los cuerpos finitos son importantes en teora de nmeros, geometra algebraica, teora de Galois, y criptografa. Los cuerpos finitos son totalmente conocidos, y sern descritos ms abajo.
Dado que todo cuerpo de caracterstica 0 contiene a los racionales y es por lo tanto infinito, todos los campos finitos tienen caracterstica prima, y por lo tanto, su tamao (o cardinalidad) es de la forma pn, para p primo y n > 0 entero (pues el campo es un espacio vectorial sobre el subcuerpo de cardinalidad p generado por el elemento 1). No es en general cierto, sin embargo, que todo cuerpo de caracterstica prima sea finito. Para un primo p, los enteros mdulo p forman un cuerpo de p elementos, denotado por Z/pZ (pues su grupo aditivo es isomorfo al grupo cclico de p elementos), Fp, o GF(p); en algunos casos se usa Zp, aunque esta notacin es evitada por teoristas de los nmeros, pues puede crear confusin con el anillo de los nmeros p-dicos. Todo cuerpo con p elementos es isomorfo a ste. Si q = pn es una potencia de un primo, existe (salvo isomorfismo) exactamente un campo con q elementos, denotado por Fq o GF(q). Se puede construir como sigue: encuntrese un polinomio irreducible f(X) de grado n con coeficientes en Fp, y defnase Fq = Fp[X] / , donde Fp[X] denota el anillo de todos los polinomios con coeficientes en Fp, denota el ideal generado por f(X), y la barra diagonal indica el anillo cociente (definido de forma similar al grupo cociente). El polinomio f(X) se puede hallar factorizando Xq-X sobre Fp. El campo Fq contiene a (una copia de) Fp como subcampo. No hay otros campos finitos.
3.2.5 Anillos de polinomios. Sea A un anillo y S cualquier conjunto. El conjunto A[S] de todos los objetos en donde , y cada n-tupla de nmeros naturales es diferente para diferente valor de i, se dice anillo de polinomios con indeterminadas en S sobre A. Hechos de inters sobre anillos de polinomios tienen que ver con las propiedades del mismo a partir del anillo en el que tienen sus coeficientes. Por ejemplo, cuando A es un dominio ntegro, A[S] tambin lo es, y las unidades de A[S] son las mismas que las de A. Por el contrario A[S] nunca ser un cuerpo, no importando que A lo sea o no, pues aunque las unidades de A[S] sean las mismas que las de A, A es tan slo un subanillo de A[S]. Sin embargo, el anillo A[S] es un dominio integro si A lo es, luego, dado el caso, se puede construir el cuerpo de cocientes de A[S] (i.e. el cuerpo de fracciones de polinomios), que se denota comnmente por A(S). Los coeficientes de los polinomios de un anillo A[S] pueden tomarse no solo como los elementos de A. En la prctica podemos hacer agrupaciones del tipo y stas tambin deben hacerse en un anillo de polinomios A[S]. Para ello se separan los elementos de S en dos conjuntos disjuntos, digamos R y T, luego el anillo de polinomios A[R][T] tiene coeficientes en el anillo de polinomios A[R] e indeterminadas en . Si A es un anillo y , claramente A[R] es un subanillo de A[S].
Sea A un anillo unitario. Todo polinomio no nulo de A[x] cuyo coeficiente director sea una unidad puede dividir eucldeamente a cualquier otro polinomio de A[x] y el grado del resto es estrictamente menor que el grado de del divisor. Es decir, si D y d son polinomios de A[x] no nulos, con el coeficiente director de d una unidad de A, entonces existen polinomios c y r de A[x] tales que
con
As, para que la divisin de polinomios sea siempre posible en un anillo de polinomios A[x], A debe de ser un cuerpo (i.e. todo elemento de A debe ser una unidad), y si as sucede A[x] ser un dominio eucldeo. Un hecho muy importante es que un anillo de polinomios A[x] es un dominio de ideales principales (DIP) si y slo si A es un cuerpo. Puesto que todos los dominios eucldeos son DIPs, tenemos que A[S] no es un dominio eucldeo si S contiene ms de un elemento, pues ,y nunca es un cuerpo y por tanto tampoco un DIP.
3.2.6 Polinomios irreducibles En Teora de Anillos, un polinomio no constante (y por lo tanto no nulo) p con coeficientes en un dominio ntegro R (es decir, ) es irreducible si no puede factorizarse como producto de polinomios de manera que todos ellos tengan grados menor que deg(p). Es decir, si entonces ha de ser o (es decir, alguno de ellos ha de ser un polinomio constante). Esto es un caso particular de elemento irreducible en un dominio ntegro. El dominio ntegro R puede, entre otros, ser el conjunto de los nmeros reales (que es dominio ntegro por ser cuerpo), el conjunto de los nmeros complejos (tambin cuerpo), el conjunto de los nmeros racionales (cuerpo tambin) o el conjunto de los nmeros enteros (que no es cuerpo pero s dominio ntegro). Un polinomio irreducible es polinomio primitivo si y solo si p es primo y x es un elemento de orden Para probar si un polinomio es irreducible se pueden aplicar varios criterios, entre los que se encuentran el criterio de c o el criterio de reduccin.
3.2.7 Cuadrados latinos Un cuadrado latino es una matriz de nn elementos, en la que cada casilla est ocupada por uno de los n smbolos de tal modo que cada uno de ellos aparece exactamente una vez en cada columna y en cada fila. Las siguientes matrices son cuadrados latinos:
Los cuadrados latinos se dan como una Tabla de multiplicar (Tabla Cayley) de quasigrupos. Estos tienen su aplicacin en el diseo de experimentos. El nombre de Cuadrados Latinos se origina con Leonhard Euler quin utiliz caracteres Latinos como smbolos. Un cuadrado latino se dice que est reducido (o normalizado o de forma estandarizada) si la primera fila y la primera columna estn en orden natural. Por ejemplo, el primer cuadrado est reducido, porque la primera fila y la primera columna son 1, 2, 3. Es posible hacer un cuadrado latino permutando (reordenando) las filas y las columnas. Muchas operaciones sobre un Cuadrado latino produce otro Cuadrado latino (por ejemplo, alternar filas). Si permutamos las filas, permutamos las columnas, y permutamos los smbolos de un Cuadrado latino obtenemos un nuevo Cuadrado latino que decimos que es isotpico del primero. El isotopismo es una relacin de equivalencia, en base a esto se dice que todos los cuadrados latinos estn divididos en subgrupos, llamados clases isotpicas, segn esto dos Cuadrados de la misma clase se dice que son isotpicos, y dos de clases diferentes son no isotpicos. Otro tipo de operacin es simple de explicar usando la representacin de estos por arreglos ortogonales. Si reorganizamos consciente y sistemticamente los tres elementos de cada tripleta (f, c, s) por (c, f, s) lo cual corresponde a una transposicin del cuadrado (reflejado en la diagonal principal), o podemos remplazar cada tripleta (f, c, s) por (c, s, f), lo que es una operacin ms complicada. Todas juntas nos dan 6 posibilidades, incluida no hacer nada, dndonos 6 Cuadrados Latinos llamados conjugados del cuadrado original. Finalmente, podemos combinar estas dos operaciones equivalentes: Dos Cuadrados Latinos son paratpicos si uno de ellos es conjugado del otro. Esto es nuevamente una relacin de equivalencia, con la clase de equivalencia principal llamada Clase Principal, especies o clase paratpica. Cada clase contiene 6 clases isotpicas.
3.2.8 Criptografa. La criptografa (del griego krypto, oculto, y graphos, escribir, literalmente escritura oculta) es el arte o ciencia de cifrar y descifrar informacin mediante tcnicas especiales y se emplea frecuentemente para permitir un intercambio de mensajes que slo puedan ser ledos por personas a las que van dirigidos y que poseen los medios para descifrarlos. Con ms precisin, cuando se habla de esta rea de conocimiento como ciencia, se debera hablar de criptologa, que a su vez engloba tanto las tcnicas de cifrado, es decir, la criptografa propiamente dicha, como sus tcnicas complementarias, entre las cuales se incluye el criptoanlisis, que estudia mtodos empleados para romper textos cifrados con objeto de recuperar la informacin original en ausencia de las claves. En la jerga de la criptografa, la informacin original que debe protegerse se denomina texto en claro o texto plano. El cifrado es el proceso de convertir el texto plano en un galimatas ilegible, denominado texto cifrado o criptograma. Por lo general, la aplicacin concreta del algoritmo de cifrado (tambin llamado cifra) se basa en la existencia de una clave: informacin secreta que adapta el algoritmo de cifrado para cada uso distinto. Cifra es una antigua palabra arbiga para designar el nmero cero; en la Antigedad, cuando Europa empezaba a cambiar del sistema de numeracin romano al arbigo, se desconoca el cero, por lo que este resultaba misterioso, de ah probablemente que cifrado signifique misterioso. Las dos tcnicas ms sencillas de cifrado, en la criptografa clsica, son la sustitucin (que supone el cambio de significado de los elementos bsicos del mensaje -las letras, los dgitos o los smbolos-) y la trasposicin (que supone una reordenacin de los mismos); la gran mayora de las cifras clsicas son combinaciones de estas dos operaciones bsicas. El descifrado es el proceso inverso que recupera el texto plano a partir del criptograma y la clave. El protocolo criptogrfico especifica los detalles de cmo se utilizan los algoritmos y las claves (y otras operaciones primitivas) para conseguir el efecto deseado. El conjunto de protocolos, algoritmos de cifrado, procesos de gestin de claves y actuaciones de los usuarios, es lo que constituyen en conjunto un criptosistema, que es con lo que el usuario final trabaja e interacta. Existen dos grandes grupos de cifras: los algoritmos que usan una nica clave tanto en el proceso de cifrado como en el de descifrado, y los que emplean una clave para cifrar mensajes y una clave distinta para descifrarlos. Los primeros se denominan cifras simtricas, de clave simtrica o de clave privada, y son la base de los algoritmos de cifrado clsico. Los segundos se denominan cifras asimtricas, de clave asimtrica o de clave pblica y forman el ncleo de las tcnicas de cifrado modernas. En el lenguaje cotidiano, la palabra cdigo se usa de forma indistinta con cifra. En la jerga de la criptografa, sin embargo, el trmino tiene un uso tcnico especializado: los cdigos son un mtodo de criptografa clsica que consiste en sustituir unidades textuales ms o menos largas o complejas, habitualmente palabras o frases, para ocultar el mensaje; por ejemplo, "cielo azul" podra significar atacar al amanecer. Por el contrario, las cifras clsicas normalmente sustituyen o reordenan los elementos bsicos del mensaje -letras, dgitos o smbolos-; en el ejemplo anterior, rcnm arcteeaal aaa sera un criptograma obtenido por transposicin. Cuando se usa una tcnica de cdigos, la informacin secreta suele recopilarse en un libro de cdigos. Con frecuencia los procesos de cifrado y descifrado se encuentran en la literatura como encriptado y desencriptado, aunque ambos son neologismos errneos anglicismos de los trminos ingleses encrypt y decrypt todava sin reconocimiento acadmico. Hay quien hace distincin entre cifrado/descifrado y encriptado/desencriptado segn estn hablando de criptografa simtrica o asimtrica, pero la realidad es que la mayora de los expertos hispanohablantes prefieren evitar ambos neologismos hasta el punto de que el uso de los mismos llega incluso a discernir a los aficionados y novatos en la materia de aquellos que han adquirido ms experiencia y profundidad en la misma. Ideolgicamente cifrar equivale a escribir y descifrar a leer lo escrito.