Matrices generadoras y de paridad

Denticin. Sea L un [n, k] q -cdigo. Una matriz generadora de L es una matriz G Matn k (F q) cuyas columnas forman una base de L Denticin. Un [n, k]-cdigo q -ario es sistemtico si existen k coordenadas i1,. . ., ik tal que al restringir las palabras cdigo a estas cordel nadas se obtienen todas las q k palabras de longitud K. Denicion. Sea G una matriz generadora de un cdigo lineal L. Se dic e que G esta e n forma Estndar si es de la forma G = Idk/A donde Idk es la matriz identidad k k y A Matn k k. Si G esta en forma estndar, entonces L es sistemtico en las k primeras coordenadas pues Gx = (Idk/A) x = x/Ax. En esta situacin, codicar y decodicar es trivial ya que el esquema resulta x Gx = x/Ax x . Por otra parte, no todo cdigo lineal tiene matriz generadora en forma estndar. Por ejemplo, Si L esta generado por G =1 0 00 01 Sin embargo, se tiene el siguiente resultado: Teorema . Sea L un cdigo lineal con matriz de paridad H . Decodicar la palabra recibid a x como x e = c L por distancia mnima es equivalente a encontrar e con peso mnimo en la clase x + L, es decir, donde e es una palabra de peso mnimo con igual sndrome que x. Teorema 2. Sea L un [n, k , d ]q -cdigo y H una matriz de paridad de L. Entonces H tiene d columnas linealmente dependientes, pero cualquier conjunto de d 1 columnas so n linealmente independiente. d = min {r |hay r columnas l. d. en H }. Teorema 3. Sea L es un [n, k] q -cdigo.