Universidade Estadual do Oeste do Paran

Centro de Engenharias e Cincias Exatas

Especializao em Educao Matemtica
Cdigos Lineares
Alex de Oliveira Ornold
Foz do Iguau-PR
2008
Cdigos Lineares
Alex de Oliveira Ornold
Monograa apresentada como requisito par-
cial obteno do grau de especialista em Ed-
ucao Matemtica, Programa de Especial-
izao em Educao Matemtica, Centro de
Engenharias e Cincias Exatas, Universidade
Estadual do Oeste do Paran.
FOZ DO IGUAU-PR
2008
Agradecimentos
Agradeo a Deus, pela vida que este me proporciona.
Aos meus pais por tudo que eles sempre zeram para que eu pudesse ter
chegado a este momento.
i
Resumo
No presente trabalho vamos apresentar uma introduo teoria dos Cdi-
gos, que uma parte da matemtica utilizada na rea de transmisso de
informaes. Falaremos especicamente de uma classe de cdigos, os cdigos
lineares e seus conceitos. Estaremos trabalhando com o espao vetorial F
n
q
das n-uplas sobre o corpo nito F
q
. Faremos uma abordagem inicial sobre os
corpos nitos F
q
. Os cdigos binrios de Hamming tambm sero abordados.
Palavras-chave: Cdigos lineares, corpos nitos, cdigo binrio de Ham-
ming.
ii
Sumrio
Resumo ii
Introduo v
1 lgebra Linear sobre Corpos Finitos 1
1.1 Nmeros Inteiros . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1 Divisores . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.2 Mximo Divisor Comum (MDC) . . . . . . . . . . . . . 3
1.1.3 Nmeros Primos . . . . . . . . . . . . . . . . . . . . . 4
1.1.4 Congruncia . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.1 Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3 Anis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4 Espaos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . 15
2 Corpo Finito 20
3 Cdigos Lineares 24
3.1 Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.2 Matriz geradora e de paridade . . . . . . . . . . . . . . . . . . 31
iii
SUMRIO iv
3.3 Cdigo de Hamming . . . . . . . . . . . . . . . . . . . . . . . 37
3.4 Cdigo de Reed-Solomon . . . . . . . . . . . . . . . . . . . . . 39
3.5 Consideraes Finais . . . . . . . . . . . . . . . . . . . . . . . 40
Referncias Bibliogrcas 41
Introduo
O estudo inicial sobre a teoria dos cdigos se d no nal dos anos 40 do sculo
XX, especicamente em 1948 com o matemtico e engenheiro estadunidense
Claude Elwood Shannon (1916 - 2001), com seu trabalho A Mathematical
Theory of Communication (Uma Teoria Matemtica da Comunicao), a
partir deste trabalho a matemtica ganha uma nova rea a Teoria da Infor-
mao.
Claude Elwood Shannon procurou em seu trabalho em detectar e corrigir
erros durante o armazenamento e transmisso das mensagens.
Entre os mais variados tipos de cdigos, a classe mais utilizada e mais
fceis de descrever, codicar e decoticar so os cdigos lineares, que so
denidos como um subespao vetorial de F
n
. A partir da dcada de 50,
novos cdigos comearam a surgir, como exemplo temos o cdigo binrio de
Hamming, que foi inserido Teoria dos Cdigos pelo matemtico Richard
Wesley Hamming (1915 - 1998).
Atualmente notamos que a Teoria dos Cdigos esta cada vez mais presente
no dia-a-dia da sociedade. Vemos que ela est se popularizando ao meio
a uma velocidade incrvel, atravs de cdigos que esto sendo usados na
transmisso de informaes, imagens, no audio-visual, etc.
Como exemplo tivemos em 1972 a transmisso de imagens de Marte com
v
SUMRIO vi
64 tonalidades de cinza pela espaonave Mariner, atravs do cdigo Reed-
Muller, e em 1979 a espaonave Voyager enviou imagens com4096 tonalidades
de cores de Jpiter e Saturno utilizando o cdigo de Golay [3].
O presente trabalho ser descrito em 03 captulos, sendo que no primeiro
captulo abordaremos conceitos de algebra, denies e conceitos que nos
serviro como alicerce para a leitura do trabalho.
No segundo captulo, faremos uma introduo a teoria dos corpos nitos,
mostrando suas denies, para que que mais claro o estudo posterior de
cdigos lineares que ser visto no terceiro captulo.
Captulo 1
lgebra Linear sobre Corpos
Finitos
A lgebra linear fundamental para o estudo da teoria dos cdigos, pois a
mesma nos d ferramentas essencias para entedermos os processos de cod-
icao e decodicao, responsveis pela conabilidade da transmisso de
informaes de grande parte dos novos sistemas de comunicao. Portanto,
vamos relembrar conceitos elementares sobre o conjunto dos nmeros inteiros,
anis, corpos e espaos vetoriais.
1.1 Nmeros Inteiros
Seja
N =1, 2, 3, . . .
o conjunto dos nmeros naturais e
Z =. . . , 3, 2, 1, 0, 1, 2, 3, . . .
1
CAPTULO 1. LGEBRA LINEAR SOBRE CORPOS FINITOS 2
o conjunto dos nmeros inteiros. Considerando em Z
1
as operaes usuais
de adio + e multiplicao , destacamos em relao a estas operaes,
as seguintes propriedades elementares (bem conhecidas).
Para todo a, b, c Z, valem:
(A1) Associativa: a + (b +c) = (a +b) +c;
(A2) Comutativa: a +b = b +a;
(A3) Elemento neutro: a + 0 = a;
(A4) Simtrica: a + (a) = 0;
Tambm valem:
(M1) Associativa: a (b c) = (a b) c;
(M2) Comutativa: a b = b a;
(M3) Distribuitiva: a (b +c) = a b +a c;
(M4) Elemento Neutro: a 1 = a.
Todo conjunto A no vazio equipado com duas operaes, denotadas
usualmente por + e , que satisfazem as propriedades (A1)-(A4) e (M1)-
(M4) chamado de anel. Neste sentido (Z, +, ) um anel.
Se em um anel (K, +, ) vale a propriedade de que para todo 0 ,= x K
existe y K tal que x y = 1, ento diremos que (K, +, ) um corpo. O
elemento y denotado por x
1
e chamado de elemento simtrico de x.
1
A letra Z que representa o conjunto dos nmeros inteiros, provm da palavra alem
Zahlen que signica nmero ou algarismo.
CAPTULO 1. LGEBRA LINEAR SOBRE CORPOS FINITOS 3
Example 1 (a) (Z, +, ), (Q, +, ), (R, +, ), (C, +, ) so anis;
(b) Qualquer corpo um anel comutativo.
1.1.1 Divisores
Sejam a, b, c Z. Se c = a b, ento diremos que a divide c (ou c mltiplo
de a) e denotaremos por a [ c.
Considerando a diviso exata entre dois nmeros inteiros quaisquer, segue
as seguintes propriedades, a, b, c Z:
(a) Se a ,= 0, a [ a;
(b) Se a, b 0, a [ b e b [ a ento a = b;
(c) Se a [ b e b [ c ento a [ c;
(d) Se a [ b e a [ c ento a [ (xb +yc), para todo x, y Z.
1.1.2 Mximo Divisor Comum (MDC)
O maior divisor comum positivo de dois ou mais nmeros inteiros quaisquer
chamado de mximo divisor comum desses nmeros e indicado por mdc
(a, b).
Denio 1.1 Sejam a, b Z. Ento d Z o mximo divisor comum de
a e b se:
(a) d 0;
(b) d [ a e d [ b;
(c) Se d

Z tal que d

[a e d

[b, ento d

[d.
CAPTULO 1. LGEBRA LINEAR SOBRE CORPOS FINITOS 4
Proposio 1.1 Dois inteiros a e b so primos entre si se, e somente se,
existem inteiros x
0
e y
0
tais que ax
0
+by
0
= 1.
Demonstrao A implicao imediata da identidade de Bezout (sejam
quais forem os inteiros a, b Z e sendo d o mximo divisor desses inteiros
possvel garantir a existncia de inteiros x
0
e y
0
tais que d = ax
0
+ by
0
).
Vejamos a recproca.
Suponha que existam inteiros x
0
e y
0
de forma que ax
0
+by
0
= 1. Como
mdc (a, b)[a e mdc(a, b)[b, ento mdc(a, b)[(ax
0
+by
0
). Portanto mdc(a, b)[1,
donde segue que mdc(a, b) = 1.
1.1.3 Nmeros Primos
Denio 1.2 Um nmero p Z considerado primo se:
(a) p ,= 0;
(b) p ,= 1;
(c) os nicos divisores de p so 1, p, e estes so chamados divisores
triviais de p.
Por exemplo, o nmero 7 primo pois seus divisores inteiros so 1 e
7. Se um inteiro diferente de 1 e no primo, diz-se que ele um nmero
composto.
Uma metodologia utilizada para se encontrar nmeros primos
2
atravs
do Crivo de Eratstenes [5]. Mtodo este que permite obter uma tabela de
2
Atualmente o maior primo encontrado o nmero 2
32.582.657
1 descoberto pela equipe
de colaboradores formado pelos doutores Curtis Cooper e Steven Boone, nmero este que
fora descoberto em 4 de setembro de 2006, contendo 9.808.358 dgitos. o 44
o
nmero
primo de Mersenne (dado um nmero Mp, este primo de Mersenne, se Mp for primo,
CAPTULO 1. LGEBRA LINEAR SOBRE CORPOS FINITOS 5
nmeros primos. Escreve-se a sucesso natural dos nmeros inteiros at ao
nmero desejado. Suprime-se o nmero 1. O nmero 2 o menor nmero
primo. A partir do que lhe segue o 3, cortam-se todos os mltiplos de 2.
O nmero 3, o primeiro que no foi cortado, primo. A partir dos que lhe
seguem cortamos todos os mltiplos de trs. O primeiro no riscado 5, que
ser nmero primo, e a partir de 6 cortamos todos os mltiplos de cinco e
assim sucessivamente.
1.1.4 Congruncia
As congruncias esto presentes em nosso cotidiano nos mais variados mo-
mentos de nossas vidas, com as mais variadas atividades. Como exemplo
fcil de se observar temos, os relgios, que trabalham com mdulos 12 ou 24
para as horas e mdulo 60 para os minutos e segundos.
A linguagem da congruncia foi desenvolvida pelo matemtico, astrnomo
e fsico alemo Carl Friedrich Gauss (1777 - 1855) no incio do sculo XIX.
Gauss era conhecido como o prncipe dos matemticos.
Denio 1.3 Seja m > 1 um nmero inteiro. Dados a, b Z, dizemos que
a congruente a b mdulo m, e escrevemos a b (mod m), se m[(a b).
Vejamos algumas propriedades da relao de congruncia, sejama, b, c, d
Z, temos:
sendo que Mp = 2
p
1, para um primo positivo p).
Aos interessados em conhecerem os demais 43 nmeros primos de Mersenne, in-
dicamos o sitio: http://www.profcardy.com/artigos/mersenne.php. E para os mais cu-
riosos e entendiados ressaltamos que a fundao The Electronic Frontier Foundation
(http://www.e.org/), oferece um prmio de U$$ 100 mil a primeira pessoa ou grupo
que encontrar um primo com 10 milhes de casas decimais, boa sorte e no esquea de
ns.
CAPTULO 1. LGEBRA LINEAR SOBRE CORPOS FINITOS 6
Denio 1.4 (a) Reexiva: a a (mod m);
(b) Simtrica: a b (mod m), ento b a (mod m);
(c) Transitiva: a b (mod m) e b c (mod m), ento a c (mod m);
(d) a b (mod m) e c d (mod m), ento a +c b +d (mod m);
(e) a b (mod m), ento ac bc (mod m);
(f) a b (mod m), ento a
r
b
r
(mod m).
Exemplo 1.1 (a) 10 2 (mod 4), porque 10 2 = 8, e 8 divisvel por
4;
(b) 1 9 (mod 5), porque 1 9 = 10, e 10 divisvel por 5;
(c) 12 2 (mod 5), porque 12 2 = 10 que divisvel por 5;
(d) 7
2
5
2
(mod 12), por que 49 25 = 24 que divisvel por 12.
1.2 Grupos
Grupos esto por trs de muitas estruturas algbricas, como corpos e espaos
vetoriais, sendo que sua estrutura parte essencial para a teoria de cdigos,
ou seja, papel fundamental na gerao, codicao, decodicao e anlise
de desempenho de cdigos.
A origem histrica do conceito de grupo vem da Teoria de Galois, que
deve-se ao matemtico francs Evariste Galois (1811 - 1832).
O objetivo da teoria de Galois estudar as solucces da equao polino-
mial
f(t) = t
n
+a
n1
t
n1
+... +a
1
t +a
0
= 0
CAPTULO 1. LGEBRA LINEAR SOBRE CORPOS FINITOS 7
e a idia principal de Galois olhar os polinomios simtricos de f(t), os quais
formam um grupo [6], mais conhecido como grupo de Galois, assim dando
incio a Teoria dos Grupos.
Podemos descrever um grupo como sendo um conjunto com uma oper-
ao binria que satisfaz certos axiomas. Uma operao binria sobre um
conjunto W uma regra que associa algum elemento de W a cada par orde-
nado (a, b) de elementos de W (a b denotar o elemento associado a (a, b)
atravs de ).
Denio 1.5 Um grupo (G, ) um par ordenado, sendo G um conjunto
no vazio, junto com uma operao binria sobre G, tal que as seguintes
sentenas so satisfeitas:
(i) a, b, c G, (a b) c = a (b c), (Associativa);
(ii) e G, a G, e a = a e = a, (Elemento Neutro);
(iii) a G, a G, a a = a a = e, (Elemento Simtrico).
Exemplo 1.2 (a) O conjunto dos nmeros inteiros um grupo com re-
lao operao de adio;
(b) A operao de adio usual uma operao binria sobre o conjunto
dos nmeros reais. Por outro lado ela no uma operao binria
sobre R

= R0 j que, por exemplo, 5 + (5) no pertence a R

.
Denio 1.6 Um grupo G abeliano
3
se a sua operao binria for comu-
tativa, ou seja, a b = b a para todo a e b em G.
3
Os grupos abelianos so assim chamados devido ao brilhante matemtico noruegus
Niels Henrik Abel (1802 - 1829), que aos dezesseis anos comeou, por conta prpria, a
degustar integralmente os maiores trabalhos de seus predecessores, como dos renomados
matemticos: Isaac Newton, Leonhard Euler e Lagrange.
CAPTULO 1. LGEBRA LINEAR SOBRE CORPOS FINITOS 8
Proposio 1.2 Dado um grupo (G, ), ento:
(a) O elemento neutro nico;
(b) Para cada a G, o simtrico de a nico e (a) = a;
(c) a, b G; (a b) = b a;
(d) Todo elemento de G regular: a x = a y se, e somente se, x = y.
Demonstrao ()Provaremos apenas o item (d), os demais itens cam a
cargo do leitor. Suponha que x a = y a, com x, y G. Ento:
(x a) a = (y a) a
= x (a a) = y (a a)
= x e = y e
= x = y.

Exemplo 1.3 (a) (R, +), (Z, +), (Q, +) e (C, +) so grupos abelianos;
(b) (R

, ), (Q

, ) e (C

, ) so grupos abelianos;
(c) M
m n
(R) = (a
ij
)/a
ij
R um grupo aditivo abeliano;
(d) O grupo das rotaes em torno de um eixo formam um grupo abeliano.
Teorema 1.1 O conjunto Z
n
um grupo sob a operao adio mdulo n.
CAPTULO 1. LGEBRA LINEAR SOBRE CORPOS FINITOS 9
Teorema 1.2 Se m for um nmero primo, ento o conjunto Z

m
= 1, 2, ..., m
1 um grupo sob a operao multiplicao mdulo m.
Demonstrao (): (Z

m
, ) um grupo e m no primo ento
r s > 1 tal que r s = m
= r s = r s = m = 0
Absurdo pois 0 / (Z

m
, ).
(): i) assotividade (obvia); ii) 1 Z

m
e o elemento neutro; iii) como
m primo ento todo a Z

m
tem simtrico. Agora provamos que (Z

m
, )
fechado em relao a operao . Sejam r, s Z

m
tal que r s = 0 ento
r s 0 (mod m)
= r s 0 = m q
= r s = m q
= m [ rs,
como m primo ento m [ r ou m [ s ento r = 0 ou s = 0. Absurdo, pois
r e s Z

m
.
1.2.1 Subgrupos
Denio 1.7 Se um subconjunto H no vazio de um grupo G fechado
sob a operao binria de G e se H forma um grupo, ento diz-se que H
um subgrupo de G e denota-se isto por H G.
Exemplo 1.4 (a) (C, +) um grupo abeliano e Z, Q e R so subgrupos
de C;
CAPTULO 1. LGEBRA LINEAR SOBRE CORPOS FINITOS 10
(b) (C

, ) um grupo abeliano e Q

e R

so subgrupos de C

;
(c) Consideremos o grupo multiplicativo (R

, ). Mostremos que H = x
R, x > 0 um subgrupo de (R

, ):
Sejam a, b H ento a > 0 e b > 0 ento a > 0 e 1/b > 0 =
a b = a.1/b > 0 = a/b > 0,
logo a/b H ento um grupo.
Denio 1.8 Seja G um grupo nito. A ordem de G, denotada por [ G [,
o nmero de elementos de G.
Denio 1.9 Dado um elemento a em um grupo G, se acontecer que G =
a
n
[ n Z ento dizemos que G um grupo cclico gerado por a.Neste
caso escrevemos G = a.
Denio 1.10 A ordem n de um elemento a em um grupo G {(multiplica-
tivo) ou (com identidade e)} o menor inteiro positivo tal que a
n
= e.
Denio 1.11 Em um grupo G, um subconjunto S de elementos com a
propriedade de que todo elemento de G pode ser escrito como um produto de
elementos de S denominado um conjunto de geradores de G. Denota-se
isto por G = S e diz-se que G gerado por S.
Exemplo 1.5 (a) (Z
m
, +) cclico, m > 1.
Z
m
= 0, 1, . . . , (m1). Tomando como exemplo Z
2
temos que
Z
2
= 0, 1, que gerado por 1. Vejamos: 0 1 = 0 e 1 1 = 1. E Z
3
,
Z
4
, . . ., Z
m
, tambm so gerado por 1, logo temos que para m Z
m
e a 0, 1, . . . , (m1), temos Z
m
= a 1 tal que a Z
m
. Assim
como 1 gera o grupo (Z
m
, +), logo (Z
m
, +) cclico.
CAPTULO 1. LGEBRA LINEAR SOBRE CORPOS FINITOS 11
(b) Se G = a um grupo cclico de ordem 6. Sendo H = a
2
, construa
a tbua do grupo G/H:
H aH
H H aH
aH aH H
Sendo G = e, a, a
2
, a
3
, a
4
, a
5
e H = e, a
2
, a
4
. Ento G/H = e, a
2
, a
4
=
H, G/H = a, a
3
, a
5
= a.H, G/H = a
2
, a
4
, a
6
= a
2
, a
4
, e = H,
como G abeliano ento xH = Hx, x G.
(c) Considere o conjunto dos nmeros inteiros Z sob a operao de adio
usual. Claramente o conjunto 4Z forma um subgrupo de Z. As classes
laterais de 4Z em Z so dadas por:
0 = 0 + 4Z = . . . , 12, 8, 4, 0, 4, 8, 12, . . .,
1 = 1 + 4Z = . . . , 11, 7, 3, 1, 5, 9, 13, . . .,
2 = 2 + 4Z = . . . , 10, 6, 2, 2, 6, 10, 14, . . .,
3 = 3 + 4Z = . . . , 9, 5, 1, 3, 7, 11, 15, . . .,
4 = 4 + 4Z = 0.
O conjunto dessas classes laterais Z/4Z = 0, 1, 2, 3 forma ento um
grupo quociente cuja tabela de Cayley ilustrada abaixo:
0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2
CAPTULO 1. LGEBRA LINEAR SOBRE CORPOS FINITOS 12
1.3 Anis
O estudo de anis tem seu ponto de partida a partir da teoria de anis de
polinmios e da teoria de inteiros algbricos, sendo que o conceito de anel
surge com o matemtico alemo Julius Wilhelm Richard Dedekind (1831 -
1916).
O termo anel (Zahlring) foi estabelecido no artigo Die Theorie der al-
gebraischen Zahlkrper, Jahresbericht der Deutschen Mathematiker Vere-
iningung, Vol. 4, 1897, do matemtico alemo David Hilbert (1862 1943),
mas somente em 1914 surge a primeira denio axiomtica de anis que
foi dada pelo matemtico israelense Adolf Abraham Halevi Fraenkel (1891
1965).
Denio 1.12 Um anel (A, +, ) um conjunto A no vazio, junto com
duas operaes binrias, adio + e multiplicao , tal que as seguintes
condies so satisfeitas: a, b, c R:
(a) (A, +) um grupo abeliano (A tem um elemento neutro, denotado por
0, e todo x A tem um inverso aditivo, denotado por x);
(b) a (b c) = (a b) c;
(c) a (b +c) = a b +a c e (b +c) a = b a +c a.
Denio 1.13 Um anel no qual a multiplicao comutativa, a b = b a,
a, b A, um anel comutativo. Um anel A com uma identidade multiplica-
tiva 1, ( 1 A, a A, a 1 = a = 1 a) um anel com unidade. Uma
identidade multiplicativa em um anel uma unidade.
CAPTULO 1. LGEBRA LINEAR SOBRE CORPOS FINITOS 13
Exemplo 1.6 (a) (Z, +, ), (Q, +, ), (R, +, ), (C, +, ) e (Z
m
, , ), m >
1, so anis comutativos com unidades;
(b) R[x] =
n
i=1
a
i
x
i
tal que a
i
R, n N, um anel comutativo com
unidade;
(c) M
n
(R) = (a
ij
) tal que a
ij
R, um anel no comutativo com
unidade In;
(d) Qualquer corpo um anel comutativo.
Denio 1.14 Seja (A, +, ) um anel e B A, B ,= . Dizemos que B
um subanel de A se, e somente se,
(a) B fechado para as operaes de A, isto , a+ b e a b B;
(b) (B, +, ) tambm um anel.
Proposio 1.3 Sejam A um anel e, B A, B ,= . Ento B um subanel
de A se e somente se, a, b B, temos que:
a b B e a b B.
Demonstrao (): Se B um subanel ento B um subgrupo de A, ento
a, b B, temos que ab B. Ainda como L subanel ento B fechado
em relao segunda operao, ou seja, a b B.
(): a, b B, temos que a b B ento L um grupo de A. Logo
a + b B e a b B. Para terminarmos esta prova resta mostrar que B
um anel alm de ser grupo, como j mostramos. Mas a, b, c B A
temos a (b c) = (a b) c e a (b +c) = a b +a c, pois A um anel.
CAPTULO 1. LGEBRA LINEAR SOBRE CORPOS FINITOS 14
Exemplo 1.7 (a) Z
[i]
= a + bi : a, b Z um subanel de C, chamado
de anel dos inteiros de Gauss.
Denio 1.15 Seja (A, +, ) um anel, ento:
(a) Dizemos que um elemento x ,= 0, x A, um divisor de zero se existe
um elemento y ,= 0 em A, tal que x y = 0 ou y x = 0;
(b) Em um anel comutativo (A, +, ), com unidade, no contendo divisor
de zero diferente de zero chamado anel de integridade ou domnio de
integridade ou simplesmente domnio, se A satisfaz a seguinte condio:
a b = 0 ento a = 0 ou b = 0;
(c) Considere que A seja um anel com unidade. Um elemento a de A
denominado inversvel em A se existir a
1
em A tal que a a
1
=
a
1
a = 1. Se todo elemento no nulo inversvel o anel chamado
de anel de diviso.
Exemplo 1.8 (a) O anel Z dos nmeros inteiros no tem divisores de
zero;
(b) Seja n um nmero natural maior do que 1 e seja Z
n
= 0, 1, . . . , n1
com a adio e o produto assim denidos: se a, b Z
n
, ento a + b
o resto da diviso por n da soma dos nmeros inteiros a e b e a b
o resto da diviso por n do produto dos nmeros inteiros a e b. Ento
Z
n
tem divisores de zero quando e s quando n for primo. Se n no
for primo e se a e b forem nmeros naturais tais que a b = n ento,
em Z
n
, a b = 0;
(c) (Z, +, ), (Q, +, ), (R, +, ) e (C, +, ) so anis de integridade;
CAPTULO 1. LGEBRA LINEAR SOBRE CORPOS FINITOS 15
(d) Todo corpo um domnio;
(e) Z
m
um domnio, se e somente se, m um nmero primo;
(f) Se A um domnio ento A[x] =

n
i
=1
a
i
x
i
[ a
i
A; n N um
domnio. (Anel dos Polinmios com coecientes em A na varivel x).
1.4 Espaos Vetoriais
A noo comum de vetores como objetos com tamanho, direo e sentido,
juntamente com as operaes de adio e multiplicao por nmeros reais
forma o conceito bsico de um espao vetorial. Deste ponto de partida en-
to, para denirmos um espao vetorial, precisamos de uma uma estrutura
(V, +, ) formada por um conjunto V de elementos, assim temos apenas que
especicar o conjunto, o corpo F, e denir as operaes sobre os elementos
deste conjunto, adio em V e multiplicao por escalar em V .
Denio 1.16 Seja F um corpo. Um espao vetorial sobre F consiste de
um grupo abeliano V sob as operaes binrias, adio e multiplicao por
escalar, de cada elemento de V por cada elemento de F esquerda, satis-
fazendo as seguintes propriedades, u, v, w V e a, b F:
(a) Associatividade: (u +v) +w = u + (v +w);
(b) Comutatividade: u +v = v +u;
(c) Elemento neutro: 0 V ; u + 0 = 0 +u = u;
(d) Elemento inverso: u V ; u + (u) = (u) +u = 0;
(e) Se 1 a unidade de F: 1.u = u.1 = u;
CAPTULO 1. LGEBRA LINEAR SOBRE CORPOS FINITOS 16
(f) a (b u) = (a b) u;
(g) (a +b) u = au +bu;
(h) a(u +v) = au +av.
Exemplo 1.9 (a) Todo corpo K um espao vetorial sobre o prprio corpo
K com as operaes usuais de adio e multiplicao de K;
(b) O corpo R dos nmeros reais um espao vetorial sobre o corpo Q dos
nmeros racionais com as operaes de adio e multiplicao de R;
(c) O corpo C dos nmeros complexos um espao vetorial sobre o corpo
R dos nmeros reais com as operaes de adio e multiplicao de C;
(d) O conjunto P[K] de todas as funes polinomiais da forma:
p(x) = a
0
+a
1
x +a
2
x
2
+... +a
n
x
n
onde a
i
K ( i = 0, 1, 2, ..., n) um espao vetorial sobre o corpo K;
(e) O conjunto F, dado por F
n
q
= (a
1
, a
2
, ..., a
n
); a
i
F
q
; 1 i n,
formado por n-uplas de elementos em F
q
com as operaes:
(a
1
, a
2
, ..., a
n
) + (b
1
, b
2
, ..., b
n
) =
(a
1
+b
1
, a
2
+b
2
, ..., a
n
+b
n
)
e
a (a
1
, a
2
, ..., a
n
) = (a a
1
, a a
2
, ..., a a
n
)
determina um espao vetorial sobre o corpo F
q
, onde q uma potncia
de primo.
CAPTULO 1. LGEBRA LINEAR SOBRE CORPOS FINITOS 17
Como veremos futuramente, um cdigo linear de comprimento n sobre F
q
nada mais do que um subespao vetorial do espao de todas as n-uplas F
n
q
.
Denio 1.17 Seja (V, +, ) um espao vetorial. Um subconjunto W V
, no vazio, ser um subespao vetorial de V , se as seguintes propriedades
so satisfeitas:
(a) Se o vetor nulo (0) W;
(b) Se u, v W = u +v W;
(c) a R; u W = a u W.
Observao 1.1 Obviamente 0 e V so subespaos vetoriais do espao
vetorial V , e so chamados de subespaos vetoriais triviais.
Exemplo 1.10 (a) Seja P

n
P
n
, dado por P

n
= p(x) P
n
; p(0) = 0.
Veriquemos que P

n
, de fato, um subespao vetorial de P
n
.
(i) O polinomio nulo se anula em x = 0, logo, pertence a P

n
;
(ii) Se p(x), q(x) P

n
= p(0) +q(0) = 0 e, portanto, p(x) +q(x)
P

n
;
(iii) Se p(x) P

n
= p(0) = 0, para qualquer R. Assim,
p(x) P

n
.
(b) Veriquemos que S = (x, y, z) R
3
; x + y + z = 0 um subespao
vetorial de R
3
.
(i) claro que (0, 0, 0) satisfaz 0 + 0 + 0 = 0;
CAPTULO 1. LGEBRA LINEAR SOBRE CORPOS FINITOS 18
(ii) Se (x, y, z), (u, v, w) S ento
(x +u) + (y +v) + (z +w) =
(x +y +z) + (u +v +w) = 0,
portanto, (x, y, z) + (u, v, w) S;
(iii) Se (x, y, z) S ento x + y + z = (x + y + z) = 0, para
qualquer R. Assim (x, y, z) S.
(c) Considere o seguinte conjunto S = y C
2
(R; R); y y = 0 onde
y representa a derivada de segunda ordem de y. Veriquemos que S
um subespao vetorial de C
2
(R; R).
(i) Claramente a funo nula satisfaz 0 0 = 0;
(ii) Se y
1
, y
2
S entao (y
1
+y
2
)(y
1
y
2
) = (y
1
y
1
)(y
2
y
2
) = 0.
Logo, y
1
+y
2
S;
(iii) Se y S e R entao (y) y = (y y) = 0. Portanto,
y S.
Denio 1.18 Seja V ,= 0 um espao vetorial. Uma base de V uma
sequncia de vetores linearmente independentes (LI) (
1
v
1
+... +
n
v
n
= 0

1
= ... =
n
= 0) de V que tambm gera V .
Exemplo 1.11 (a) Os vetores de B = (1, 0, 0), (0, 1, 0), (0, 0, 1) formam
uma base de R
3
. V-se facilmente que os vetores de B so LI, e que
todo (x, y, z) R
3
se escreve como
(x, y, z) = x(1, 0, 0) +y(0, 1, 0) +z(0, 0, 1);
CAPTULO 1. LGEBRA LINEAR SOBRE CORPOS FINITOS 19
(b) Os vetores e
1
, ..., e
n
R
n
onde e
1
= (1, 0, . . . , 0), e
2
= (0, 1, 0, . . . , 0),
. . . , e
n
= (0, . . . , 0, 1) formam uma base de R
n
.
Proposio 1.4 Sejam v
1
, v
2
, ..., v
n
vetores no nulos que geram um espao
vetorial V . Ento dentre estes vetores sempre podemos extrair uma base para
V .
Demonstrao Se v
1
, v
2
, . . . , v
n
so LI, ento por denio eles formam
uma base. Se v
1
, v
2
, . . . , v
n
so LD, ento deve existir uma combinao linear
desses vetores com algum coeciente diferente de zero, satisfazendo x
1
v
1
+
... +x
n
v
n
= 0. Suponha x
n
,= 0. Da equao acima,
v
n
=
x
1
x
n
v
1
. . .
x
n1
x
n
v
n1
onde, v
n
combinao linear de v
1
, v
2
, . . . , v
n1
e portanto v
1
, v
2
, . . . , v
n1
geram V . Se v
1
, v
2
, . . . , v
n1
for LD, ento existe uma combinao linear
no nula desses vetores resultando no vetor nulo. Portanto, podemos extrair
aquele vetor que corresponde a este coeciente. Seguindo dessa forma, aps
uma quantidade nita de passos, chegamos a um subconjunto de v
1
, v
2
, . . . , v
r

formado por r(r n) vetores LI, que ainda geram V , ou seja, formamos uma
base.
Denio 1.19 Seja V um espao vetorial nitamente gerado. Se V =
0 denimos a dimenso de V como sendo 0. Se V ,= 0 denimos a
dimenso de V como sendo o nmero de elementos de uma base qualquer de
V . Indicaremos por dimV para designar a dimensao de V .
Denio 1.20 Um espao vetorial V sobre um corpo F tem dimenso nita,
se existe um subconjunto nito de V cujos vetores geram V .
Captulo 2
Corpo Finito
Entre os mais variados tipos de corpos estaremos nos detendo aos que mais
nos interessam neste trabalho, o corpos nitos.
Denio 2.1 Seja (K, +, ) um anel comutativo, com unidade, tal que todo
elemento no nulo inversvel, dizemos que K um corpo, se
a ,= 0 K, b = a
1
K,
tal que a a
1
= 1.
Denio 2.2 Seja K um corpo e L ,= K. Ento, L um subcorpo de
K se, e somente se, (L, +, ) um corpo,
a, b L; a b e a b L e a L0; a
1
L.
Exemplo 2.1 (a) Os anis (Q, +, ), (R, +, ) e (C, +, ) so corpos;
(b) Q[i] = a +bi tal que a, b Q um subcorpo de C;
(c) Q[

p] = a + b

p tal que a, b Q um subcorpo de R se p > 0 e

um subcorpo de C se p < 0.
20
CAPTULO 2. CORPO FINITO 21
Equivalentemente, podemos denir:
Denio 2.3 Seja K um conjunto no vazio sobre o qual podem ser denidas
as operaes binrias e , a estrutura (K, , ) um corpo se:
(a) (K, ) um grupo abeliano;
(b) (K 0, ) um grupo abeliano;
(c) distribuitiva em relao operao .
Exemplo 2.2 (a) O conjunto K = 0, 1, 2, 3 munido com as operaes
de adio e multiplicao , denidas pelas tabelas:
0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2
e
0 1 2 3
0 0 0 0 0
1 0 1 2 3
2 0 2 0 1
3 0 3 2 1
representa um estrutura de corpo com uma quantidade nita de ele-
mentos.
Os corpos so ferramentas de suma importncia para o estudo da teoria
dos cdigos, a seguir estaremos trazendo uma abordagem mais aprofundada
sobre corpos nitos, sobre os quais os cdigos esto denidos, mais especi-
camente os corpos Z
p
, que ser a base para o entendimento do proxmo
captulo.
Um corpo nito um corpo em que o conjunto dos elementos nito,
sendo que a sua estrutura se aplica em muitas reas, entre elas a teoria
dos cdigos (podemos nos deter aqui ao corpo binrio), geometria projetiva,
CAPTULO 2. CORPO FINITO 22
combinatria, criptograa (estudo dos Sistemas Criptogrcos Baseados em
Curvas Elpticas).
Um exemplo bem familiar o corpo nito F
p
= (Z
p
) dos inteiros mdulo
p (p primo).
Existem corpos nitos com cardinalidade no prima (por exemplo, existe
corpo com 4 elementos). De forma geral, para todo primo p e para todo in-
teiro positivo m, existe um corpo nito com p
m
elementos (este o conhecido
teorema de Galois da teoria dos corpos nitos). Mais ainda, se K um corpo
nito, ento a cardinalidade de K uma potncia de primo (se K um corpo
nito ento sua caracterstica um nmero primo p; consequntemente existe
um subcorpo K

K isomorfo a Z
p
; desta forma temos que K um espao
vetorial sobre o corpo Z
p
; como dim
Zp
(K) nita, digamos m, conclumos
que [K[ = p
m
).
Exemplo 2.3 Seja f = z
4
+z + 1. Armamos que o anel quociente
Z
2
[x]
f
um corpo nito com 2
4
elementos:
0 z
2
z
3
z
3
+z
2
1 z
2
+ 1 z
3
+ 1 z
3
+z
2
+ 1
z z
2
+z z
3
+z z
3
+z
2
+z
z + 1 z
2
+z + 1 z
3
+z + 1 z
3
+z
2
+z + 1
Multiplicao: (z
3
+z
2
+ 1).(z
2
+z + 1) = z
2
+ 1, j que (z
3
+z
2
+ 1).(z
2
+
z + 1) = z
5
+ z + 1, e (z
5
+ z + 1) mod (z
4
+ z + 1) = z
2
+ 1, a tabela da
multiplicao ca como exerccio ao leitor; Inverso: (z
3
+ z
2
+ 1)
1
= z
2
,
j que (z
3
+z
2
+ 1) z
2
mod(z
4
+z + 1) = 1.
CAPTULO 2. CORPO FINITO 23
Aps esta analise dos corpos nitos, onde j exemplicamos os de ordem
prima e binria, devemos ressaltar que existem outros corpos nitos muito
comuns no estudo de cdigos lineares, que so os corpos: ternrio com 3
elementos (q = 3) e o quaternrio, de 4 elementos (q = 4), que sero exem-
plicados a seguir:
Exemplo 2.4 (a) O corpo ternrio F
3
com os elementos 0, 1, 2 tem as
seguintes tabelas de adio e multiplicao no mdulo 3:
+ 0 1 2
0 0 1 2
1 1 2 0
2 2 0 1
e
. 0 1 2
0 0 0 0
1 0 1 2
2 0 2 1
;
(b) O corpo quaternrio F
4
com os elementos 0, 1, a, b, admite as seguintes
tabelas de adio e multiplicao (F
4
no o anel dos inteiros mdulo
4):
+ 0 1 a b
0 0 1 a b
1 1 0 b a
a a b 0 1
b b a 1 0
e
. 0 1 a b
0 0 0 0 0
1 0 1 a b
a 0 a b 1
b 0 b 1 a
Devemos evidenciar que no existe nenhum corpo nito em que a ordem
no seja uma potncia de nmero primo, como exemplo, evidenciamos que
no existe um corpo de ordem 6. No entanto, temos uma innita sequncia
de corpos Z
m
nitos, dado por:
Z
2
, Z
3
, Z
5
, Z
7
, Z
11
, ... (m Z, m primo).
Captulo 3
Cdigos Lineares
No ano de 1948, com a publicao do artigo A Mathematical Theory of
Communication, do engenheiro e matemtico estadunidense Claude Elwood
Shannon (considerado fundador da teoria da informao), surge a teoria dos
cdigos, que trabalha com sistemas de comunicao, transmisso de dados,
codicao, correo de erros, etc.
A teoria dos cdigos atravs da sua estrutura trata da codicao, decod-
icao, deteco e correo de erros, durante a transmisso e recepo de
dados (informaes).
Hoje em nosso meio, a quase todo momento de nosso cotidiano, estamos
utilizando algum tipo de cdigo, dos mais variados que existem, podemos nos
referir quando usamos algum meio digital, como exemplos podemos citar:
quando estamos utilizando a internet, enquanto ouvimos msica de um CD
ou de uma rdio, quando assistimos a um programa de televiso, falamos ao
celular, entre muitos outros. Mas em determinados momentos podem surgir
alguns tipos de erros, como chuvisco, rudos, turbulncia, etc, podendo assim
nos dar uma informao no desejada. Diante disso a teoria dos cdigos vem
24
CAPTULO 3. CDIGOS LINEARES 25
para detectar e corrigir estes erros para que possamos receber a mensagem
correta.
Um signicado em termos gerais para um determinado cdigo, para uma
melhor visualizao do leitor, a idia de substituio simples de palavras ou
frases por algum tipo de alfabeto, por exemplo, podemos substituir a frase
Atacar imediatamente por Sou Brasileiro.
Para o envio de uma mensagem, necessitamos de umsistema de comunica ao,
que segue a seguinte ordem na transmisso de dados: a mensagem ser envi-
ada de uma determinada fonte, que processada pelo codificador da fonte,
que codica os dados em determinados smbolos (palavra cdigo da fonte),
logo os dados passam ao codificador de canal, transformando a palavra
cdigo da fonte em palavra cdigo do canal, em seguida o modulador con-
verte cada smbolo da palavra cdigo do canal, que transmitida pelo canal
de comunicacc ao ao demodulador, que converte cada smbolo da palavra
cdigo do canal, cometendo as vezes alguns erros, aps demoluda, a palavra
recebida passa ao decodificador do canal, que corrige os erros, aps feita
a correo, o decodificador da fonte (operao inversa do codicador da
fonte), transmiti a mensagem para o determinado destino.
Neste captulo estaremos abordando a classe dos cdigos lineares, que so
os mais utilizados entre as famlias de cdigos, utilizando-se aqui o contedo
estudado nos captulos anteriores.
Um corpo nito ser designado por F
q
. O espao vetorial sobre F
q
de
dimenso n N ser denotado por F
n
q
.
CAPTULO 3. CDIGOS LINEARES 26
3.1 Preliminares
Podemos representar nossa mensagem por uma sequncia de dados, chamado
de Alfabeto do c odigo e denotado por A. O alfabeto mais usado em teoria
dos cdigos o dos corpos binrios. Esta sequncia pode ser escrita por
uma informao binria, sendo que podemos denir as operaes de soma e
produtdo deste alfabeto binrio atravs dos anis dos inteiros mdulo m.
A critrio de exemplo temos A = 0, 1, e para que esta informao con-
tenha o mnimo de erros, partimos para o acrescmo de smbolos ao alfabeto,
como podemos ver no cdigo de repetio, que acrescenta o mesmo smbolo
n vezes a informao, por sua vez nosso alfabeto A poderia ser escrito por:
0 0000
1 1111
logo nosso cdigo seria C = 0000, 1111.
Denio 3.1 Um cdigo C F
n
q
ser chamado de cdigo linear se for um
subespao vetorial de F
n
q
.
Um cdigo, cujo seu tamanho seja T, designado pelo seu comprimento
n, e por sua dimenso K, denotado por [n, k] c odigo, na maioria das vezes
T = 2
k
(k Z), e temq
k
palavras cdigos, sendo que a soma de duas palavras-
cdigo quaisquer uma palavra-cdigo e o produto de qualquer palavra-
cdigo por elemento de F
q
uma palavra-cdigo, de um determinado cdigo.
Dado um cdigo de dimenso K e u
1
, u
2
, ..., u
k
a base de C, temos:
C =
1
u
1
,
2
u
2
, ...,
k
u
k
;
1
, ...,
1
Fq.
Exemplo 3.1 Seja C o [n, k] - cdigo
C = 00000, 01011, 10110, 11101,
CAPTULO 3. CDIGOS LINEARES 27
assim temos que n = 5, k = 2 e T = 4.
Denio 3.2 Dados dois vetores u, v F
n
q
, a distncia entre u e v de-
nominada distncia de Hamming, denida como:
d (u, v) = [i : u
i
,= v
i
[
onde u = (u
1
, ..., u
n
) e v = (v
1
, ..., v
n
).
A distncia de Hamming entre duas palavras-cdigo, u e v, o nmero de
coordendas distintas entre estes vetores, sendo que distncia mnima (menor
distncia de Hamming entre quaisquer duas palavras-cdigo) de um cdigo
C, determina o nmero de erros para serem corrigidos, ou seja, um cdigo
pode detectar at d 1 erros e corrigir at t erros, onde t = [
d 1
2
]. Um
[n, k] c odigo com distncia mnima d denotado por [n, k, d] c odigo.
Exemplo 3.2 (a) Calculando a distncia de Hamming das palavras-cdigo
durante uma certa transmisso de dados, sendo u = (11101) enviada e
v = (10110) recebida, ento temos:
d(11101, 10110) = 3;
(b) Dado o cdigo linear C = (00000), (01011), (11101) , devemos encon-
trar a distncia mnima entre as palavras-cdigos e o nmero de erros
a serem corrigidos:
d(00000, 01011) = 3;
d(00000, 11101) = 4;
d(01011, 11101) = 3;
d(c) = mind(x, y) = 3;
t = [
d 1
2
] =
3 1
2
= 1.
CAPTULO 3. CDIGOS LINEARES 28
Denio 3.3 Dados um elemento a F
n
q
e um nmero natural t > 0 ,
denimos o disco e a esfera de centro a e raio t como sendo, respectivamente,
os conjuntos:
(a) D(a, t) = u F
n
q
: d(u, a) t;
(b) S(a, t) = u F
n
q
: d(u, a) = t
Exemplo 3.3 (a) Considere
F
4
2
= (0, 0, 0, 0), (0, 0, 0, 1), (0, 0, 1, 0), (0, 1, 0, 0), (1, 0, 0, 0),
(1, 0, 0, 1), (1, 0, 1, 0), (1, 1, 0, 0), (0, 1, 0, 1), (0, 1, 1, 0),
(0, 0, 1, 1), (1, 1, 1, 0), (0, 1, 1, 1), (1, 0, 1, 1), (1, 1, 0, 1),
(1, 1, 1, 1),
Assim, para a = (0, 0, 0, 0) e t = 1, temos que :
D(a, 1) = (0, 0, 0, 0), (0, 0, 0, 1),
(0, 0, 1, 0), (0, 1, 0, 0), (1, 0, 0, 0)
e
S(a, 1) = (0, 0, 0, 1), (0, 0, 1, 0),
(0, 1, 0, 0), (1, 0, 0, 0)
Note que F
n
q
= D(a, 4).
(b) Considere
F
3
2
= (0, 0, 0), (1, 0, 0), (0, 1, 0), (0, 0, 1),
(1, 0, 1), (1, 1, 0), (0, 1, 1), (1, 1, 1)
CAPTULO 3. CDIGOS LINEARES 29
Assim, para a = (0, 0, 0) temos que :
D(a, 2) = (0, 0, 0), (0, 0, 1), (1, 0, 0), (0, 1, 0),
(1, 0, 1), (1, 1, 0), (0, 1, 1)
e
S(a, 2) = (1, 0, 1), (0, 1, 1), (1, 1, 0).
Denio 3.4 Seja C F
n
q
um cdigo com distncia mnima d e seja t =
[
d 1
2
]. O cdigo C ser dito perfeito se:
c C
D
t
(c, t) = F
n
q
.
Exemplo 3.4 O cdigo C = (000), (111) F
3
2
que possui raio de empa-
cotamento t = 1 perfeito. Como c e c so palavras distintas de C, ento
Dt(c) Dt(c) = :
D
1
(000) D
1
(111) = (000), (100), (010), (001)
(111), (110), (011), (101)
=
e
D
1
(000) D
1
(111) = F
3
2
.
Logo C perfeito.
Denio 3.5 Seja F
n
q
, dene-se o peso de Hamming de como sua
distncia palavra nula, dado pelo nmero inteiro:
w() = [i :
i
,= 0[ , ou seja, w() = d(, 0).
Denio 3.6 O peso mnimo de um cdigo C o inteiro:
w(C) = minw(v) : v C 0.
CAPTULO 3. CDIGOS LINEARES 30
Proposio 3.1 Seja um cdigo linear C F
n
q
, com distncia mnima d,
temos que:
(a) Para quaisquer u, v F
n
q
, d(u, v) = w(u v);
(b) d(C) = w(C).
Demonstrao O item a provm das denies de mtrica e peso de Ham-
ming, e o item b alm da mtrica de Hamming, decorre do peso do cdigo C,
de fato temos:
(a) d(u, v) = [i : u
i
,= v
i
[ = [i : u
i
v
i
,= 0[
(b) u, v C, com u ,= v , temos que u v = z C ento d(u, v) = w(z).
Logo, o conjunto w(z) : z C 0 = d(u, v) : u, v C e u ,= v
ento d = mind(u, v) : u, v C e u ,= v = minw(z) : z C
0 = w(C).

Antes de entrarmos no proxmo sub item deste captulo, vamos vericar

a maneira de como podemos representar um cdigo linear.
Com vimos anteriormente, j sabemos por denio que um cdigo linear
C um subespao vetorial do espao vetorial F
n
q
, ento pela lgebra lin-
ear, temos duas maneiras de descrev-lo, sendo como imagem (Im) ou como
ncleo (Ker) de uma transformao linear. Para descrever o cdigo linear
C como a imagem, tomamos uma base v
1
, v
2
, . . . , v
k
C e consideramos a
transformao linear T:
CAPTULO 3. CDIGOS LINEARES 31
T : F
k
q
F
n
q
(x
1
, . . . , x
k
) (x
1
v
1
+. . . +x
k
v
k
)
Como o ncleo de T nulo, temos que T injetora. No entanto para
construirmos C F
n
q
basta mostrarmos uma transformao linear injetora
T : F
k
q
F
n
q
, denindo o cdigo linear C = Im(T).
Considerando a transformao linear:
T : F
2
2
F
4
2
(a
1
, a
2
) (a
1
, a
2
, a
2
, a
1
),
Temos que T(a
1
, a
2
) = (0, 0, 0, 0), se (a
1
, a
2
, a
2
, a
1
) = 0, ou seja, a
1
=
a
2
= 0. Logo Ker(T) = (0, 0) e Im(T) = C. Portanto T injetora. Como
a
1
, a
2
F
2
, temos que [C[ = 2
2
= 4 e:
C = (0, 0, 0, 0); (1, 0, 0, 1); (0, 1, 1, 0); (1, 1, 1, 1)
Como d(C) = w(C) = 2 ento C corrige t = 0 erros, ou seja, um cdigo
ineciente.
3.2 Matriz geradora e de paridade
Como um cdigo linear um subespao vetorial, logo o que o gera um
conjunto de vetores que forma uma base para este subespao. Se C um
[n, k, d] c odigo em F
n
q
, podemos tomar uma base ordenada v
i
, ..., v
k
=
B C onde v
i
= (v
i1
, v
i2
, ..., v
in
), com 1 i k. Logo denimos a matriz
de ordem k n, cujas linhas so os vetores da base, da seguinte forma:
CAPTULO 3. CDIGOS LINEARES 32
G =

v
i
.
.
.
v
k

v
11
v
12
v
1n
.
.
.
.
.
.
.
.
.
.
.
.
v
k1
v
k2
v
kn

,
A matriz G denominada de matriz geradora de C.
Ressaltamos que a matriz geradora no nica, ela varia de acordo com
a base escolhida.
Podemos obter uma nova matriz G

para gerar o mesmo cdigo, atravs

de sequncias de operaes elementares de escalonamento: permutao de
duas linhas, multiplicao de uma linha por um elemento no nulo de F
q
,
substituio de uma linha por ela mesma somada a um mltiplo escalar de
outra linha.
Consideremos a transformao linear denida por:
T : F
k
q
F
n
q
a a G
Temos ento que C = a G : a F
k
q
.
Denio 3.7 Uma matriz geradora G de um [n, k]c odigo C est na forma
padro se G = (Id
k
[A), sendo que Id
k
a matriz indentidade k k e A uma
matriz k (n k).
Exemplo 3.5 Seja a matriz geradora G na forma padro:
G =

1 0 0 0 1 1
0 1 0 1 0 1
0 0 1 1 1 0

,
CAPTULO 3. CDIGOS LINEARES 33
ento temos k = 3 e n = 6, ou seja, [n, k] = [6, 3] c odigo. Dado um vetor
u = (101), temos que
C = u G =
u
1
v
11
+u
2
v
21
+u
3
v
31
, ...,
u
1
v
16
+u
2
v
26
+u
3
v
36
= (101101).
Para denio a seguir, denotaremos o produto interno entre dois vetores
por a, b, ou seja, u, v, w F
n
q
e F
q
, temos:
u, v = u
1
v
1
+u
2
v
2
+... +u
n
v
n
= u v =

i = 1
n
u
i
v
i
,
desta operao temos algumas propriedades usuais:
(a) u, v = v, u;
(b) u +w, v = u, v +w, v;
(c) u, v = u, v.
Denio 3.8 Dado o cdigo linear C F
n
q
, dene-se o cdigo dual da
seguinte forma:
C

= v F
n
q
: v, u = 0, u C.
Atravs da dimenso de um cdigo dual, que dada por nk, podemos es-
crever uma base h
1
, h
2
, . . . , h
nk
para C

, sendo onde h
i
= (h
i1
, h
i2
, ..., h
in
),
CAPTULO 3. CDIGOS LINEARES 34
com 1 i n k, assim podemos escrever a matriz geradora de C

, de
ordem (n k) n:
H =

h
1
.
.
.
h
nk

h
11
h
12
h
1n
.
.
.
.
.
.
.
.
.
h
(nk)1
h
(nk)2
h
(nk)n

Esta matriz H recebe o nome de matriz vericao de paridade do cdigo

C, a partir dela podemos concluir que se uma n-upla uma palavra-cdigo
do cdigo C. Logo uma n-upla ser uma palavra-cdigo se e s se, H x
t
= 0
(vetor nulo), onde x
t
denota a transposta de x.
Teorema 3.1 Seja C F
n
q
um cdigo de dimenso k gerado pela matriz
G = (Id
k
[A). Ento H = (A
T
[Id
nk
) matriz vericao de paridade de C
a matriz geradora de C

.
Demonstrao De fato por Id
nk
as linhas de H so LI, logo geram um
subespao vetorial W de dimenso n k. As linhas de H so ortogonais as
linhas de G, pois H.G
T
= 0. Portanto os vetores formados pelas linhas de H
esto contidos em C

, logo W C

. Como a dimW = nk = dim(C

) en-
to estes subespaos coicidem e conclumos que H =

A
T
[Id
nk

gera C

.
No podemos nos esquecer que como existem inmeras maneiras de se
escolher uma base para um mesmo cdigo, ento um nmero igual de matrizes
geradoras G tambm possvel, logo podemos concluir que existe mais de
uma matriz de paridade H.
CAPTULO 3. CDIGOS LINEARES 35
Exemplo 3.6 (a) Considere a matriz G na forma padro, dada por:
G =

1 0 0 1 0
0 1 0 0 1
0 0 1 1 1

,
ento temos que
H =

1 0 1 1 0
0 1 1 0 1

.
(b) Suponha o cdigo C sobre F
2
com matriz geradora G abaixo. Vamos
determinar se o vetor v = (1010101) F
7
2
pertence a C.
G =

1 0 0 0 1 0 1
0 1 0 0 1 1 1
0 0 1 0 0 1 1
0 0 0 1 1 1 0

= (Id
4
[A) = A
t
=

1 1 0 1
0 1 1 1
1 1 1 0

,
logo podemos escrever H,
H =

1 0 0 1 1 0 1
0 1 0 0 1 1 1
0 0 1 1 1 1 0

= (Id
3
[ A
T
),
Agora basta vericar se H v
t
= 0, ento:
CAPTULO 3. CDIGOS LINEARES 36
H v
t
=

1 0 0 1 1 0 1
0 1 0 0 1 1 1
0 0 1 1 1 1 0

1
0
1
0
1
0
1

1 + 1 + 1
1 + 1
1 + 1

1
0
0

,= (000),
logo no obtivemos o vetor nulo, portanto v no uma palavra cdigo
de C.
(c) Seja um [5, 2] c odigo F
2
, onde temos a seguir a matriz de paridade
H. Vericaremos se z = (10110) pertence ao cdigo.
H =

1 0 1 0 0
1 1 0 1 0
0 1 0 0 1

,
basta ento vericar se H z
t
= 0:
H z
t
=

1 0 1 0 0
1 1 0 1 0
0 1 0 0 1

1
0
1
1
0

CAPTULO 3. CDIGOS LINEARES 37

=

1 + 0 + 1 + 0 + 0
1 + 0 + 0 + 1 + 0
0 + 0 + 0 + 0 + 0

0
0
0

= (000),
ou seja, z C.
Proposio 3.2 (Limitante de Singleton): A distncia mnima (peso mn-
imo) de um [n, k, d] c odigo linear C F
n
q
satisfaz:
d n k + 1
Demonstrao Considere um subespao linear W F
n
q
dado por W =
(a
1
, . . . , a
n
) F
n
q
[ a
i
= 0; i d e d o menor peso de uma palavra-
cdigo no nula. Logo para um a W temos que w(a) d 1, portanto
W C = 0. Como dimW = d 1 temos,
dimC +dimW = dim(C +W) +dim(C W)
= dim(C +W) n
Logo k +d 1 n = k +d n + 1 = d n k + 1.
Satisfazendo a igualdade do Limitante de Singleton (d = n k + 1),
temos excelentes cdigos os denominados MDS (maximum distance separa-
ble), como exemplo o cdigo de Reed-Solomon.
3.3 Cdigo de Hamming
Vamos nos deter aqui ao cdigo binrio de Hamming, que denido sobre
o corpo Z
2
, que serve para a deteco de erros em transmisses de dados
CAPTULO 3. CDIGOS LINEARES 38
binrios, mas no apenas para detectar o erro de um bit, mas tambm para
a localizao do bit errado . Este cdigo foi implementado por Richard
Hamming em 1950.
Proposio 3.3 Seja C um cdigo binrio e seja H uma matriz de teste
para C. Se todas as colunas de H so no-nulas e distintas, ento a distncia
mnima de C pelo menos trs.
Um cdigo binrio de Hamming, um exemplo de cdigo cuja a distncia
mnima pelo menos 3, sendo que a sua matriz vericao de paridade a
matriz H
r
de ordem r n, onde:
H
r
= x F
2
r
1
2
: H
r
x
t
= 0
O comprimento das palavras deste cdigo n = 2
r
1, pois o nmero
de colunas da matriz H
r
2
r
1, a dimenso k = n r = 2
r
r 1, e
como a distncia pelo menos 3, temos ento que os parmetros de H
r
so
[2
r
1, 2
r
r 1, 3], para qualquer r > 1.
Exemplo 3.7 (a) Seja r = 2, ento:
H
r
=

1 0 1
0 1 1

a matriz vericao de paridade do cdigo H

2
= (000), (111). Ob-
serve que quaisquer duas colunas de H
r
so LI e que h
3
= h
1
+ h
2
.
Portanto d(H
2
) = 3 e os parmetros de H
2
so [3, 1, 3].;
CAPTULO 3. CDIGOS LINEARES 39
(b) Dado o cdigo [7, 4], a matriz vericao de paridade que gera o cdigo
H
3
:
H
3
=

1 0 0 0 1 1 1
0 1 0 1 0 1 1
0 0 1 1 1 0 1

.
Teorema 3.2 (Limitante de Hamming) Seja um [n, k, d] c odigo C F
n
2
e
seja t = [
d - 1
2
] ento:
q
nk

n
0

n
1

+... +

n
t

.
Logo o cdigo que obter a igualdade na expresso acima, ser dito que
um cdigo perfeito, assim podemos concluir que o cdigo de Hamming H
r

perfeito.
3.4 Cdigo de Reed-Solomon
O cdigo de Reed-Salomon um cdigo corretor de erros, que foi desenvolvido
para efetuar a correo de erros mltiplos em diversos sistemas. Este cdigo
uma importante subclasse dos cdigos de blocos no-binrios BCH (Bose-
Chaudhuri-Hocquenghem).
O cdigo de Reed-Salomon uma forma de FEC (Forward Correction
Error: procura inferir e imediatamente corrigir erros pela caracterstica do
sinal recebido) e utilizado em diversas aplicaes em comunicao digital e
armazenamento, como o caso do ADSL e comunicao via celular.
Um cdigo de Reed-Solomon denotado como RS, com smbolos de b-
bits, onde n o nmero total de bits por palavra do cdigo e k o nmero
de bits de informao por palavra de cdigo.
CAPTULO 3. CDIGOS LINEARES 40
Por exemplo, se forem utilizados grupos de 6 bits, pode-se gerar cdigos
de Reed-Solomon. Um cdigo RS [64, 40] consisti em palavras cdigo de
646 = 384 bits, cada uma contendo 240 bits de informao, tratados como
40 smbolos de 6 bits. Um decodicador Reed-Solomon pode corrigir at
t smbolos incorretos, onde t =
nk
2
, ou seja, pode-se corrigir ento neste
exemplo t =
64 40
2
= 12 smbolos.
Exemplo 3.8 (a) Dado um RS [255, 223], ento teremos, 223 bits de
informao, 32 bits de correco de erros e corrige at 16 bits errados.
Teorema 3.3 Seja A
m
(m um natural menor do que q) um conjunto de
polinmios, que tem grau no maxmo m,
A
m
= a
0
+a
1
x +... +a
m
x
m
: a
i
F
q
,
ento da aplicao
: A
m
F
q
q
p (p (0) , p (
1
) , . . . , p (
q1
))
que linear e injetora, temos que a imagem de o cdigo Reed-Solomon
[q, m+ 1, q m].
3.5 Consideraes Finais
A teoria dos cdigos cresce gradativamente, junto a evoluo dos meios de
comunicao (telefone, celular, internet, televiso) e a cada dia se tornando
mais acessvel a toda sociedade. Por causa deste acesso, logo nossos pro-
fessores de matemtica do ensino secundrio podero instigar seus alunos a
uma pesquisa sobre cdigos lineares.
CAPTULO 3. CDIGOS LINEARES 41
Nosso trabalho visa emrelembrar conceitos de algebra e mostrar as denies
de cdigos lineares, para que o leitor ganhe interesse pelo assunto, para que
o mesmo possa posteriormente degustar de uma leitura mais profunda.
Como a teoria dos cdigos um assunto muito novo esperamos que este
assunto seja tema de muitas monograas a serem escritas, pois existe muito
a se descobrir.
Referncias Bibliogrcas
[1] BERLEKAMP, E. R. Key papers in the development of coding theory.
IEEE Press, 1974.
[2] BOLDRINI, J. L. et al. lgebra linear. Editora Harbra Ltda, 1980.
[3] CRISSAFF, Lhaylla.Uma construo algbrica de cdigos geomtri-
cos. Dissertao (Mestrado). Orientador: Nicolau Coro Saldanha; co-
orientador: Miriam Del Milagro Abdn. Rio de Janeiro : PUC-Rio, De-
partamento de Matemtica, 2005.
[4] DOMINGUES, H. H.; IEZZI, G. lgebra moderna. Atual Editora, 1982.
[5] GUNDLACH, B. H. Histria dos nmeros e numerais. Trad. Hygino H.
Domingues. So Paulo, Atual, 1992.
[6] MELO, F. D. A Teoria de Galois e os Nmeros Algbricos. Ar-
tigo (Ps-Graduao). Orientador: Trajano Pires da Nbrega Neto.
IBILCE/UNESP - Sao Jos do Rio Preto - SP, Brasil.
[7] PLESS, V. S.; HUFFMAN, W. C. Handbook of coding theory. Elsevier,
1998.
[8] SHANNON, C. E. A mathematical theory of communication. Bell System
Tech. J. 27 (1948), 379-423.
42
REFERNCIAS BIBLIOGRFICAS 43
[9] VERA, Paula Fernanda. Cdigo Binrio de Golay Estendido em Es-
paos Poset. Monograa (Graduao). Orientador: Luciano Panek. Foz
do Iguau: UNIOESTE-PR, Centro de Engenharias e Cincias Exatas,
2007.