Codificacin

Programacin en Tiempo Real

2

ndice





Pg.
3.1 Grupos 3
3.1.1 Homeomorfismos 4
3.1.2 I somorfismos. 4
3.1.3 Cclicos. 6
3.1.4 Cosets 7
3.1.5 Teorema de Lagrange 9
3.1.6 Mtrica de Hamming 10
3.1.7 Matrices Generadoras y de paridad. 10
3.2 Anillos. 15
3.2.1 Grupos de cdigos. 16
3.2.2 Cosets lderes. 20
3.2.3 Matrices de Hamming. 21
3.2.4 Campos finitos. 23
3.2.5 Anillos de polinomios. 24
3.2.6 Polinomios irreducibles 25
3.2.7 Cuadrados latinos 26
3.2.8 Criptografa. 27


3

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: (x
1
)
1
=x.
El inverso de un producto es el producto de los inversos, pero cambiado de orden:(xy)
1
=
y
1
x
1
.
En un grupo la ecuacin ax =b siempre tiene solucin, que es nica: x =a
1
b.
Anlogamente, x =ba
1
es la nica solucin de xa =b.









4


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
:YX
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 I somorfismos.
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.
5


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 t
a
: G G tal que t
a
(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; t
a
(a) =b; t
a
(b) =c; t
a
(c) =d; t
a
(d) =g; t
a
(g)
=e
Para otro elemento cualquiera de G, tendremos otra transformacin; as para b e G
tendremos t
b
: G G, tal que t
b
(x) =xb (tercera fila de la tabla). Vale decir que si
a = b t
a
= t
b
.
Sea G ={t : G G} definidas en la forma indicada. Ser G ={t
a
, t
b
, t
c
, t
d
, t
e
, t
g
}
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(t
a
t
b
) =(xt
a
)t
b
=(xa)t
b
=(xa)b =x (ab) =t
ab

y en el caso particular de nuestra tabla vemos que t
ab
=t
c
. Esto significa que el
producto de dos transformaciones de G es otra transformacin de G. Luego este producto
es cerrado.
En G existe t
e
tal que xe G, t
e
(x) = xe =x. Luego t
e
es la identidad.
En G existe tambin ( t
a
)
-1
=t
g
=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.



6

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 ={ a
n
| 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, g
1
, g
2
, g
3
, g
4
, g
5
} 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 g
n
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 g
n
=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 Z
m
, donde mes 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.




7

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
-1
y 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(g
1
Hectogramo), los cosets derechos Hectogramo (de H) y los cosets
izquierdos g(g
1
Hectogramo) (de conjugacin subgrupo g
1
Hectogramo ) 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
8

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 Z
4
={0, 1, 2, 3} =G tiene un subgrupo H ={0, 2} (isomorfo a
Z
2
). 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 Z
4
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.








9

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
-1
x. Este mapa es bijective porque su lo contrario se da cerca f
-1
(y) =ab
-1
y.
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 =A
4
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 A
4
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.






10

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 A
n
. Se define la distancia Hamming d(u,w) como el
nmero de posiciones en las que difieren v y w.

) , ( ) , ( w u d w u
R Z xA A
d n n

_

Esta aplicacin es una mtrica:
- Es definida positiva: d(u,w) >0 y d(u,w) =0 u =w
n
A w u e ,
- Es simtrica: d(u,w) =d(w,u)
n
A w u e ,
- Desigualdad triangular: d (u,v) s d (u,w) +d (w,v)
n
A w v u e , ,

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.
11

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:

k
d d d ,... ,
2 1


Cada bloque forma un vector o palabra:

) ,... , (
2 1 k
d d d d =

Y a la salida se tiene la palabra:

) ,..., , ,..., , (
1 2 1 n k k
C C C C C C
+
=

Para un cdigo sistemtico:


k k
d C
d C
=
=
.
.
.
1 1


Y si es lineal, los bits de paridad estn dados por:


1 + k
C
k k
d h d h d h
1 2 12 1 11
... =

.
.
.


n
C
k rk r r
d h d h d h = ...
2 2 1 1

12

n k
k x r
I P

Donde: r =n k

ij
h =1 0
La eleccin de los
ij
h determina el tipo de cdigo.

Matricialmente:
G d C = con sumas mod 2
1 x n k x n
1 x k

a la matriz G se le llama matriz generadora del cdigo.

G =[ I
k
P] I
k
=Porque los primeros k bits coinciden con los de datos.
P

=Formada por el arreglo de los
ij
h transpuestos.



Veamos por ejemplo, un cdigo (7, 3) cuya matriz p es:

(
(
(

=
1 1 1 1
0 1 1 0
0 0 1 1
P P es de orden 3 x 4

entonces n =7 , k =3 y existen 4 bits de paridad, su matriz generadora es:


(
(
(

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

Si ) 1 , 0 , 1 ( = d

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

=
1 1 1 1 1 0 0
0 1 1 0 0 1 0
0 0 1 1 0 0 1
) 1 , 1 , 0 , 0 , 1 , 0 , 1 ( =




13

y sucesivamente:

d C
1 000 0000000
2 001 0011111
3 010 0100110
4 011 0111001
5 100 1001100
6 101 1010011
7 110 1101010
8 111 1110101

Los bits de paridad estn dados como:

3 7
3 2 6
3 2 1 5
3 1 4
d C
d d C
d d d C
d d C
=
=
=
=


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:

1 2 + > t d

En este caso = = 1 3 t d 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 =[P
T
I
r
]

r x n r x k
se le llama matriz de comprobacin de paridad. Es fcil verificar que :

1 x n 0 =
T
H C
14

n x r

Sea r el vector recibido en lugar de C

e C r =
donde ees un vector de n bits formado por unos cuando hay un error y ceros cuando no hay
un error.

s H e H e C H r
T T T
~ = = ) (

a s se le llama vector sndrome, esta formado por:

) ,..., , (
2 1 ri i i
h h h s =
e indica el rengln i-simo de la matriz H transpuesta (
T
H ) donde est el error.

Por ejemplo, supongamos que se enva ) 0 , 0 , 1 , 1 , 0 , 0 , 1 ( = C y se recibe = r (1,0,0,0,1,0,0)

(

=
k n
T
I
P
H

n x r

) 0 , 0 , 0 , 1 (
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
1 1 1 1
0 1 1 0
0 0 1 1
=
(
(
(
(
(
(
(
(
(

= = r H r s
T

El vector s corresponde al cuarto rengln de
T
H , 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:

k r
r
> + ) 1 ( 2





15

3.2 Anillos.
Sea A un conjunto no vaco con dos elementos distinguidos, n y m, y sean y dos
operaciones binarias. Se dice que el conjunto es un anillo si se cumplen
las siguientes propiedades:
1. A es cerrado bajo la operacin .

2. La operacin es asociativa.

3.
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
mcomo elemento
neutro.

9.
La operacin es
distributiva respecto
de .
Y agregando una dcima condicin, se define un anillo conmutativo:
10. La operacin es conmutativa.

16


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 , denotada por , como el peso de x y
, w(x y) .
17

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 a las palabras cdigo en G. Calcularemos la probabilidad
condicional para , donde es la probabilidad de que fuese la
palabra transmitida ya que fue la palabra recibida.
Si es 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.

18

Por otra parte si suponemos que la presencia de errores en las posiciones son
independientes, y que la probabilidad de que haya un error es , entonces =
donde es la distancia entre x
i
y . Para < , entre menor sea ,
mayor ser .
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,
19

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



20

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 .
EJ EMPLO 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.
21


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
-1
Hectogramo), los cosets derechos Hectogramo (de H) y los cosets
izquierdos g(g
-1
Hectogramo) (de conjugacin subgrupo g
-1
Hectogramo) 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 H
q
(r) es una matriz que tiene r filas y n =columnas, y el cdigo
H
q
(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 H
q
(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 H
q
(r) son estos nmeros escritos en orden creciente.

H
2
(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 =
22

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 =q
k
=q
n-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 =q
n-r

q
n-r
(1 +n (q 1)) =q
n

Vamos a ver la descodificacin de los cdigos de Hamming.
Proposicin: Si una palabra x H
2
(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+e
i
) =h(x) +h(e
i
) =h(e
i
) =e
i
=columna i-sima de H
2
(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 - e
i
, cambiando el i-simo bit de y.
[7,4,3]-cdigo
Supongamos que se recibe la palabra y =1101110

23

100 =4 El error se ha cometido en la posicin 4.
La palabra de error es e
4
=(0001000). La palabra emitida es x =y e
4
=1100110
A este mtodo de descodificacin se le llama descodificacin de Hamming.
Proposicin: Supongamos que una palabra x H
q
(r) sufre un nico error, resultando la
palabra recibida y. Sea h(y) K
r
el sndrome de la palabra recibida y a K el smbolo ms
significativo de h(y). Si la columna de H
q
(r) que contiene a a
-1
h(y) es la columna i-sima
entonces la palabra de error es y se verifica que x =y - ae
i
.
Demostracin:
Supongamos que el error se ha cometido en la posicin i-sima de modo que y =x +ae
i
,
con . Entonces:
h(y) =h(ae
i
) ==ai-sima columna de H
q
(r).
Ejemplo:
H
3
(3) y supongamos que se recibe la palabra y =1101112211201. Descodificar esta
palabra.

h(y) no es una columna de H
3
(3).
(201) =2 (102)
(102) es la 7 columna de H
3
(3), luego la palabra de error es ae
7
=2(0000001000000). La
palabra emitida es x =y 2e
7
=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 p
n
, 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.
24

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), F
p
, o GF(p); en
algunos casos se usa Z
p
, 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 =p
n
es una potencia de un primo, existe (salvo isomorfismo) exactamente un campo
con q elementos, denotado por F
q
o GF(q). Se puede construir como sigue: encuntrese un
polinomio irreducible f(X) de grado n con coeficientes en F
p
, y defnase F
q
=F
p
[X] / <f(T)>,
donde F
p
[X] denota el anillo de todos los polinomios con coeficientes en F
p
, <f(X)>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 X
q
-X sobre F
p
. El
campo F
q
contiene a (una copia de) F
p
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
(1) ,
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

25

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).
26

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
27

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
28

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.