Sie sind auf Seite 1von 17

Codificacin

Programacin en Tiempo Real


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

1 0 0 1 1 0 0 ( ( G = 0 1 0 0 1 1 0 ( 0 0 1 1 1 1 1 (

Si d = (1,0,1)
1 0 0 1 1 0 0 ( C = d G = (1,0,1) = 0 1 0 0 1 1 0( = (1,0,1,0,0,1,1) ( 0 0 1 1 1 1 1 (

12

y sucesivamente:
d C

1 2 3 4 5 6 7 8

000 001 010 011 100 101 110 111

0000000 0011111 0100110 0111001 1001100 1010011 1101010 1110101

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.