04 TopicosdeAlgebra PDF

TPICOS
DE
LGEBRA
1a Edio - 2008
SOMESB
S OCIEDADE M ANTENEDORA DE E DUCAO S UPERIOR DA B AHIA S/C LTDA .
W ILLIAM O LIVEIRA
P RESIDENTE
S AMUEL S OARES
S UPERINTENDENTE A DMINISTRATIVO E F INANCEIRO
G ERMANO TABACOF
S UPERINTENDENTE DE E NSINO, P ESQUISA E E XTENSO
P EDRO DALTRO G USMO DA S ILVA
S UPERINTENDENTE DE D ESENVOLVIMENTO E P LANEJAMENTO ACADMICO
FTC-EAD
FACULDADE DE T ECNOLOGIA E C INCIAS E NSINO A D ISTNCIA

R EINALDO DE O LIVEIRA B ORBA
D IRETOR G ERAL
M ARCELO N ERY
D IRETOR ACADMICO
R OBERTO F REDERICO
D IRETOR DE D ESENVOLVIMENTO
M ERHY
E I NOVAES
M RIO F RAGA
D IRETOR C OMERCIAL
J EAN C ARLO N ERONE

D IRETOR
DE
T ECNOLOGIA
A NDR P ORTNOI
D IRETOR A DMINISTRATIVO
F INANCEIRO
R ONALDO C OSTA
G ERENTE DE D ESENVOLVIMENTO E I NOVAES
J ANE F REIRE
G ERENTE DE E NSINO
L US C ARLOS N OGUEIRA A BBEHUSEN
G ERENTE DE S UPORTE T ECNOLGICO
O SMANE C HAVES
C OORD. DE T ELECOMUNICAES E H ARDWARE
J OO J ACOMEL
C OORD. DE P RODUO DE M ATERIAL D IDTICO
M ATERIAL D IDTICO
P RODUO ACADMICA
J ANE F REIRE
G ERENTE DE E NSINO
A NA PAULA A MORIM
S UPERVISO
G ECIARA
DA S ILVA C ARVALHO
C OORDENADOR DE C URSO
R ICARDO L UIZ Q UEIROZ F REITAS

AUTOR ( A )
P RODUO T CNICA
J OO J ACOMEL
C OORDENAO
C ARLOS M AGNO B RITO A LMEIDA S ANTOS
R EVISO
DE
T EXTO
PAULO H ENRIQUE R IBEIRO DO

R EVISO DE C ONTEDO
N ASCIMENTO
A DRIANO P EDREIRA C ATTAI

PAULO H ENRIQUE R IBEIRO DO N ASCIMENTO
E DIO
EM
LATEX 2
E QUIPE
A LEXANDRE R IBEIRO, A NGLICA J ORGE , B RUNO LEMOS C EFAS G OMES, C LAUDER F ILHO, DANILO B ARROS D IEGO D ORIA
A RAGO, FBIO G ONALVES, F RANCISCO F RANA J NIOR , H ERMNIO F ILHO, I SRAEL DANTAS, LUCAS DO VALE , MARCIO
S ERAFIM , MARIUCHA P ONTE , RUBERVAL DA F ONSECA E TATIANA C OUTINHO.
c 2.007 FTC-EAD
Copyright
Todos os direitos reservados e protegidos pela lei 9.610 de 19/02/98.
proibida a reproduo total ou parcial, por quaisquer meios, sem autorizao prvia, por escrito, da
FTC-EAD- Faculdade de Tecnologia e Cincias - Ensino a distncia.
www.ead.ftc.br
Sumrio
Bloco 1: Teoria de Nmeros e Polinmios
Tema 1: Nmeros Inteiros e Congruncias
Nmeros Inteiros
1.1
Sistemas de Numerao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6
6
1.1.1 O Processo de Contagem. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.1.2 A Representao de um Nmero em uma Base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2
Princpios da Induo e Boa Ordenao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6
7
8
1.2.1
1.2.2
Primeira Forma do Princpio da Induo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

Segunda Forma do Princpio da Induo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2.3 O Princpio da Boa Ordenao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

1.2.4 Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3
Diviso Euclidiana e Critrios de Divisibilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3.1
1.3.2
O Algoritmo da Diviso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Mudana de Base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.3.3 Critrios de Divisibilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

1.4
Nmeros Primos e o Teorema Fundamental da Aritmtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.4.1
1.4.2
Nmeros Primos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
Crivo de Eratstenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.4.3 O Teorema Fundamental da Aritmtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

1.5
MMC e MDC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.5.1
1.5.2
Mximo Divisor Comum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

Mnimo Mltiplo Comum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32

1.6
Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.7
Definio e Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
1.8

Classes de Congruncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
1.8.1
Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
Tema 2: Polinmios
48
Diviso de Polinmios
48
2.1
Corpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.2

Definies e Operaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.3
Lema da Diviso de Euclides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52

2.4
MDC e MMC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2.4.1 Mximo Divisor Comum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2.4.2 Mnimo Mltiplo Comum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
2.4.3
TPICOS DE LGEBRA
2.5
Razes e Fatorao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.5.1 O Algoritmo de Briot-Ruffini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.5.2 Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6
O Teorema Fundamental da lgebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.7
Fatorao em Polinmios Irredutveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.7.1
Bloco 2: Grupos
71
Tema 3: Grupos, Subgrupos e Homomorfismos.
71
Teoria de Grupos
3.1
Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2
Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3
Homomorfismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.4
Isomorfismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
71
71
75
76
78
78
79
79
80
Tema 4: Outros Tipos de Grupos
81
Grupos Cclicos
4.1
Potncias e Mltiplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2
Grupos Cclicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2.1 Grupos Cclicos Infinitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2.2 Grupos Cclicos Finitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3
Grupos Gerados Por Subconjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.4
Classes Laterais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.4.1 Proposies Sobre Classes Laterais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.4.2 Teorema de Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
81
81
83
83
84
85
86
86
87
88
89
89
4.5
Subgrupos Normais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.6
Grupos Quocientes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.7
Teorema do Isomorfismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.8
Anel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.9
Exemplos Importantes de Anis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Referncias Bibliogrficas
62
62
64
64
67
67
FTC EAD | LICENCIATURA EM MATEMTICA
90
90
90
91
91
92
92
93
94
A PRESENTAO
DA
D ISCIPLINA
Caro aluno,
A lgebra Moderna um ramo da Matemtica que estuda a teoria dos nmeros e as estruturas
algbricas tais como grupos, anis e corpos.
A construo dos conjuntos numricos clssicos como os naturais, inteiros, racionais e reais se
constituem em partes importantes da lgebra. Outras estruturas associadas a conjuntos de Matrizes
e Polinmios tambm so abordadas no estudo da disciplina.
O objetivo do nosso trabalho o uso de um texto ameno, que procura motivar cada conceito
introduzido e, dentro do possvel, apresent-lo dentro de um contexto histrico. Um texto que admita
a inexperincia inicial do aluno, mas que fosse capaz de acompanhar sua evoluo com o decorrer
do curso. Tentamos adotar o mesmo enfoque empregado no ensino bsico, tornando nosso texto
uma fonte de consulta imediata para os professores daqueles nveis.
O Princpio da induo bastante abordado devido sua importncia para a demonstrao da
maior parte dos resultados obtidos para nmeros naturais, nmeros inteiros e polinmios.
No Bloco Temtico 1, veremos, no Tema 1, os inteiros e o conceito de congruncias. No Tema
2, estudaremos os polinmios salientando a similaridade destes com os inteiros em diversos teoremas. J no Bloco Temtico 2, trataremos, no Tema 3, do estudo de uma estrutura algbrica muito
importante denominada Grupo e por fim no Tema 4 apresentaremos vrios tipos importantes de caracterizao dessas estruturas e uma breve introduo ao estudo dos anis, os quais se constituem
numa outra estrutura algbrica importante da lgebra Moderna.
Encontra-se disponvel nesse material, alm de vrios exerccios resolvidos e exemplos de aplicao, questes propostas, ao final de cada seo.
Esse trabalho foi elaborado com bastante cuidado, sendo que cada tpico da teoria foi cuidadosamente pensado com o objetivo de facilitar o seu aprendizado. Os erros so previsveis. Portanto,
para que possamos melhorar este material a sua contribuio ser necessria.
Prof.
Ricardo Luiz Queiroz Freitas.
BLOCO 01
TEMA 01
Teoria de Nmeros e Polinmios

Nmeros Inteiros e Congruncias
Nmeros Inteiros
1.1
1.1.1
Sistemas de Numerao
O Processo de Contagem
O conceito de nmero, com o qual estamos acostumados, evoluiu muito lentamente. Para o homem civilizado de hoje, o numero natural um ente puramente matemtico, uma conquista de seu pensamento.
Todos os tipos de sociedades foram obrigadas a desenvolver um conceito de nmero e, associado a este,
algum processo de contagem. O processo de contagem passou a ser definido, ento, a partir de um conjunto
familiar ao qual se fazia corresponder os objetos a serem contados.Estes conjuntos eram chamados conjuntos
de contagem e poderiam estar associados, por exemplo, aos dedos da mo, do p, pedras e etc. Com a
evoluo da humanidade, o homem sentiu que era necessrio sistematizar o processo de contagem, e os
povos de diversas partes do mundo desenvolveram vrios tipos de sistema de contagem. Estabelecia-se
ento um conjunto de smbolos juntamente com algumas regras que permitem contar, representar e enunciar
os nmeros. Alguns desses conjuntos continham cinco, outros dez, doze, vinte ou at sessenta smbolos,
chamados smbolos bsicos.
Hoje, o processo de contagem consiste em fazer corresponder os objetos a serem contados com o conjunto
N = {1, 2, 3, . . .}.
A possibilidade de se estender indefinidamente a seqncia numrica e, portanto, a existncia de nmeros
arbitrariamente grandes, foi uma descoberta difcil. Arquimedes (287-212 a.C.), em sua monografia O contador
de Areia, descreve um mtodo para enunciar um nmero maior do que o nmero de gros de areia suficiente
para encher a esfera das estrelas fixas (ento considerada como Todo isto , o Universo). Em outras palavras,
Arquimedes descreveu um nmero maior do que o nmero de elementos do maior conjunto de contagem
possvel: o Universo.
Tendo sido escolhido o conjunto de smbolos bsicos, os primeiros sistemas de numerao, em grande
maioria, tinha por regra formar os numerais pela repetio de smbolos bsicos e pela soma de seus valores.
Assim eram os sistemas egpcio, grego e romano.
Por volta de 3000 a.C. os egpcios usavam figuras para representar seus numerais. Tinham ento um
sistema que consistia em separar os objetos a serem contados em grupos de dez, mas no tinham um smbolo
para zero. Portanto, pra representar cada mltiplo de dez, eles utilizavam um smbolo diferente dos bsicos.
Por volta de 400 a.C., os gregos utilizavam letras para representar os nmeros.
Como essas notaes eram aditiva apresentavam um grande inconveniente: medida que os nmeros
6
maiores so escritos, mais smbolos devam represent-los (j que utilizar apenas os smbolos antes empregados torna a representao do nmero demasiadamente extensa). Entretanto, essa dificuldade superada
atribuindo-se importncia posio que um smbolo ocupa na representao de um nmero. Assim j era o
sistema desenvolvido pelos babilnios por volta de 1800 a.C. Estes usavam grupos de 60 elementos e seus
smbolos eram combinaes de cunhas verticais ( representando a unidade) e angulares (representando a
dezena), dando origem ao que se chama sistema sexagesimal - ainda nos tempos de hoje utilizamos esse
sistema ao medir o tempo em horas, minutos e segundos e os ngulos em graus. Um smbolo em uma seqncia fica ento multiplicado por 60 cada vez que avanamos uma casa esquerda. Estes sistemas posicionais
sero estudados mais adiante, a partir do conceito de base de numerao.
Os babilnios tambm no tinham um smbolo que representasse o zero, mas nas posies em que ele
deveria aparecer era deixado um espao em branco, ficando a cargo do leitor a tarefa de adivinhar, pelo
contexto o valor correto que estava sendo representado.
A origem do zero incerta; entretanto, os maias da Amrica central, que possuam um sistema vigesimal
posicional, j faziam uso dele por volta de 300 d.C.
Atualmente, quase todos os povos do mundo usam o mesmo sistema de numerao e aproximadamente os
mesmos algoritmos para efetuar as operaes bsicas da aritmtica. Esse sistema quase que universalmente
adotado conhecido como sistema numrico hindu-arbico, por acreditar-se ter sido ele inventado pelos indianos e introduzido na Europa pelos rabes.
Esse sistema decimal posicional. Ele decimal, pois faz uso de dez smbolos (chamados algarismo): nove
para representar os nmeros de um a nove e outro para representar posies vazias ou o nmero zero. Usamos
os algarismos 0,1,2,3,4,5,6,7,8 e 9. posicional, pois todos os nmeros podem ser expressos por meio desses
algarismos, que tm valor alterado medida que eles avanam para a esquerda na representao do nmero:
cada mudana para a esquerda multiplica seu valor por dez. o que passaremos a explicar.
1.1.2
A Representao de um Nmero em uma Base
Vimos, na seo anterior que a cada sistema de numerao posicional est associado um conjunto de
smbolos (algarismos), a partir dos quais escrevemos todos os outros nmeros. Chamamos de base do sistema
quantidade destes smbolos. Por exemplo, os babilnios usavam um sistema sexagesimal (isto , de base
60), e hoje utilizamos o sistema decimal, ou seja, de base 10.
A razo de utilizarmos base 10 convencional e, provavelmente, conseqncia do fato de quase todos os
povos terem usado os dedos das mos para contar. Temos ento que no nosso sistema todo nmero pode ser
representado por uma seqncia
an an1 ...a1 a0 ,
em que cada algarismo ai {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}. O que cada algarismo representa depende de sua posio
nessa seqncia, de acordo com a seguinte regra: cada vez que deslocamos uma casa para a esquerda na
seqncia anterior, o valor do algarismo fica multiplicado por dez.
Generalizando: se o nmero de elementos de um conjunto representado por uma seqncia an an1 . . . a1 a0 ,
esse conjunto tem an grupos de 10n elementos, mais an1 grupos de 10n1 e assim por diante, at a1 grupos de
10 mais a0 elementos; ou seja, ele tem
an 10n + an1 10n1 + . . . + a1 10 + a0

elementos.
De forma anloga, podemos escrever qualquer nmero natural em outra base, bastando para isso tomar
quantidades de smbolos maior ou menor que dez e escrevermos o nmero com a mesma notao acima,
sendo que, ao invs de usarmos grupos de dez usaramos grupos com outro nmero de elementos.
TPICOS DE LGEBRA
Na verdade, no difcil demonstrar que podemos ter sistemas de numerao posicionais com qualquer
base b N. Uma vez selecionada a base b , escolhemos b smbolos para representar os nmeros de 0 a
b 1 . Se b 10, podemos utilizar os nossos algarismos hindu-arbicos. Caso contrrio, ou seja, se b > 10,
podemos utilizar os mesmos algarismos hindu-arbicos de 0 at 9 e escrever outros smbolos ( por exemplo,
as letras do alfabeto) para representar os nmeros 10, . . . , b 1.
Resumindo, se b N , qualquer nmero inteiro no-negativo a pode ser escrito como
a = an b n + ... + a1 b + a0 ,
em que os coeficientes ai , i = 0, 1, ..., n tomam valores de 0 a b 1.
O nmero a representado posicionalmente na base b pela seqncia
an an1 . . . a2 a1 a0
e escrevemos a = (an an1 . . . a2 a1 a0 )b . Convencionamos no escrever o subscrito b quando estamos utilizando
a base 10, que usual. Para cada i N, o smbolo ai representa, portanto, um mltiplo de alguma potncia
da base, a potncia dependendo da posio na qual o algarismo aparece, de modo que ao mover um smbolo
uma casa para a esquerda este tem seu valor multiplicado por b .
A afirmao de que possvel representar um nmero natural a em uma base b faz parte de um resultado
conhecido como Teorema de Representao de um nmero em uma base, o qual estudaremos mais adiante.
Este teorema nos garante no s a existncia, mas tambm a unicidade dessa representao, uma vez fixada
a base. Veremos tambm um algoritmo que nos permite obter a representao de um nmero natural qualquer
em uma base.
1.2
Princpios da Induo e Boa Ordenao
Na Matemtica, muitos resultados so admitidos como verdadeiros desde que possam ser demonstrados,
isto , deduzidos de resultados j conhecidos (teoremas, proposies,lemas, corolrios, etc.), ou ento de
afirmaes aceitas como verdadeiras de forma intuitiva, ou seja, que no possuem uma demonstrao formal
(axiomas, postulados, princpios). A seguir descreveremos os nmeros naturais a partir de uma indispensvel
ferramenta na demonstrao de muitos teoremas: o Postulado do Princpio da Induo Finita. Veremos, assim,
como utiliz-lo na demonstrao de vrias afirmaes a respeito dos nmeros naturais.
Toda a teoria dos nmeros naturais pode ser desenvolvida a partir dos axiomas devido a Giussepe Peano
(1858-1932). Dados, como objetos no definidos, um conjunto N, cujos elementos so chamados nmeros
naturais, e uma funo s : N N. Para cada n N, o nmero s (n), valor que a funo s assume no ponto n,
chamado o sucessor de n.
A funo s satisfaz aos seguintes axiomas:
(i) s : N N injetiva, isto , dados m, n N, s (m) = s (n) m = n. Em outras palavras, dois nmeros que
tm o mesmo sucessor so iguais.
(ii) N s (N) consta de um s elemento, ou seja, existe um nico nmero natural que no sucessor de
nenhum outro. Ele se chama um e representado pelo smbolo 1. Assim, qualquer que seja n N,
tem-se 1 6= s (n).
(iii) Se X N um subconjunto tal que 1 X e para todo n X tem-se tambm s (n) X , ento X = N.
No desenvolveremos, aqui, as demais definies de operaes entre naturais e suas propriedades, bem
como as relaes de ordem entre naturais, lembrando que estas definies e propriedades so obtidas por
8
induo, ou seja, a partir dos axiomas dados acima ( para detalhes, o leitor pode consultar...). O terceiro
axioma , exatamente, o Princpio da Induo e o enunciaremos de outra forma, a qual ser mais conveniente
para se trabalhar.
1.2.1
Primeira Forma do Princpio da Induo
Suponhamos que uma afirmao seja vlida em muitos casos particulares e que seja impossvel considerar
todos os casos possveis - por exemplo, uma afirmativa a respeito de todos os nmeros naturais. Como se pode
determinar se essa afirmativa vlida em geral? Na maior parte das vezes podemos resolver essa questo
aplicando um mtodo de induo matemtica (induo completa), baseado no
Princpio da Induo Matemtica - primeira forma:
Suponha que para cada nmero natural n se tenha uma afirmativa P (n) que satisfaa as seguintes propriedades:
(i)P (1) verdadeira;
(ii) sempre que a afirmativa for vlida para um nmero natural arbitrrio n = k , ela ser vlida para o seu
sucessor n = k + 1 (ou seja, P (k ) verdadeira implica P (k + 1) verdadeira).
Ento P (n) verdadeira para todo nmero natural n.
As hipteses do Princpio da Induo (quer dizer, os tens 1 e 2 acima) possuem significados especficos. A
primeira hiptese cria, digamos assim, a base para se fazer a induo. A segunda hiptese nos d o direito de
passar de um nmero inteiro para o seu sucessor (de k para k + 1), ou seja, o direito de uma extenso ilimitada
desta base. Observe que o item ii uma implicao possuindo uma hiptese (P (k ) verdadeira) e uma tese
(P (k + 1) verdadeira). Assim, provar o item ii significa provar que a hiptese acarreta a tese. A hiptese do
item ii chamada hiptese de induo.
ER 1. Calcular a soma
Sn =
Soluo: Sabemos que S1 =
1
1
1
1
+
+
+ +
.
12 23 34
n(n + 1)
1
2
3
4
, S2 = , S3 = , S4 = .
2
3
4
5
Observando os valores das somas S1 , S2 , S3 , S4 , tentaremos provar, usando o mtodo de induo

matemtica que
Sn =
n
n+1
para todo natural n.A afirmao vale para n = 1, pois S1 =
Sk =
1
. Supondo vlido para n = k , isto ,
2
1
1
k
1
+
+ +
=
.
12 23
k (k + 1)
k +1
Provaremos que vale para n = k + 1, ou seja,
Sk +1 =
k +1
.
k +2
De fato,
Sk +1 =
1
1
1
1
1
+
+ +
+
= Sk +
.
12 23
k (k + 1) (k + 1)(k + 2)
(k + 1)(k + 2)
TPICOS DE LGEBRA
Pela hiptese de induo, Sk =
Sk +1 = Sk +
k
. Logo,
k +1
k
1
k 2 + 2k + 1
k +1
1
=
+
=
=
(k + 1)(k + 2)
k + 1 (k + 1)(k + 2)
(k + 1)(k + 2)
k +2
Verificadas as hipteses do Princpio da Induo Matemtica, podemos ento afirmar que, para todo natural
n.
Sn =
n
n+1
O mtodo de induo matemtica se baseia no fato de que, depois de cada nmero inteiro k , existe um
sucessor (k + 1) e que cada nmero inteiro maior do que 1 pode ser alcanado mediante um nmero finito de
passos, a partir de 1.
Nota 1. Muitas vezes uma afirmao sobre nmeros inteiros aceita a partir de um nmero n0 fixo (no
necessariamente n = 1). Assim, podemos reescrever o Princpio da Induo Matemtica da seguinte
forma:
1.1 Teorema. [Formulao equivalente do Princpio da Induo] Suponha que, para cada nmero inteiro
n n0 , se tenha uma afirmativa P (n) satisfazendo as seguintes propriedades:

(i)P (n0 ) verdadeira;
(ii) sempre que a afirmativa for vlida para um inteiro n = k n0 ela tambm ser vlida para n = k + 1.
Ento P (n) verdadeira para todo nmero inteiro n n0 .
1.2.2
Segunda Forma do Princpio da Induo
Algumas vezes no princpio da induo a validade de P (k + 1) no pode ser obtida facilmente apenas da
validade de P (k ), dependendo tambm da validade de algum P (r ) tal que 1 r k .
Nesses casos podemos usar uma outra forma do princpio da induo, a qual apresentamos a seguir.
1.2 Teorema. (Princpio da Induo Matemtica - segunda forma) Seja r um nmero inteiro. Suponha que,
para todo inteiro n r , se tenha uma afirmativa P (n) que satisfaa as seguintes propriedades:
(i) P (r ) verdadeira;
(ii) P (m) verdadeira para todo natural m com r m k implica P (k + 1) verdadeira.
Ento P (n) verdadeira para todo n r
Nota 2. Note que aqui tambm a condio (ii) consiste em uma implicao. Sua hiptese, como antes,
chamada hiptese de induo. A diferena entre as duas formas do Princpio da Induo Matemtica
est exatamente na hiptese de Induo: na primeira forma, supe-se que P (k ) seja verdadeira e, na
segunda, supe-se que
P (k ), P (k 1), ..., P (r + 1), P (r )

sejam todas verdadeiras.
10
Por ser uma afirmao sobre nmeros naturais, a segunda forma do principio da Induo pode ser provada
usando-se a primeira forma. Vejamos:
Demonstrao da segunda forma do princpio da Induo: Para mostrar que a afirmativa P (n) verdadeira
para todo natural n r , tomaremos o conjunto
S = {n Z : n r e P (r ), P (r + 1), . . . , P (n) so verdadeiras}

e mostraremos, usando a primeira forma do Princpio da Induo, que
S = {n Z : n r }
Pela condio (i ) temos que P (r ) verdadeira, ou seja, r S . Seja, k r tal que k S . Logo, pela
definio de S , P (r ), P (r + 1), ..., P (k ) so verdadeiras e ento, pela condio (ii), temos que P (k + 1) tambm
verdadeira, donde (k + 1) S .
Temos, assim, pelo terceiro axioma de Peano, que todos os inteiros n tais que n r pertencem a S , ou seja:
S = n Z : n r,
Desta forma, conclumos que P (n) verdadeira para todo n r .
1.2.3
O Princpio da Boa Ordenao
Uma outra propriedade importante dos nmeros naturais o Princpio da Boa Ordenao, tambm conhecido como Princpio do Menor Inteiro. Tal princpio tambm muito til na demonstrao de resultados a
respeito dos nmeros inteiros. Veremos mais tarde que o princpio da induo e da boa ordenao, na verdade, se equivalem, e que podemos tomar qualquer um deles como postulado e provar o outro.
Um conjunto S R dito limitado inferiormente, se existe um nmero a R tal que a s para todo s S .
Nesse caso, a uma cota inferior para o conjunto S . Se a cota inferior est no conjunto S , dizemos que a o
menor elemento de S .
1.3 Teorema. (Princpio da Boa Ordenao) Seja S Z um conjunto no-vazio e limitado inferiormente.
Ento S possui um menor elemento.
Exemplo 1.1. No conjunto {6, 8, 10, 12, 14, . . .} dos nmeros pares maiores do que 4, temos que 6 o menor
elemento.
Exemplo 1.2. O conjunto dos nmeros inteiros
Z = {0, 1, 2, 3, . . .}
no possui menor elemento, pois, se z Z ento (z 1) Z, isto , Z no limitado inferiormente.
De acordo com o exemplo anterior, no podemos esperar que conjuntos no-limitados inferiormente possuam um menor elemento. O prximo exemplo mostra que mesmo conjuntos que so limitados inferiormente
podem no possuir um menor elemento.
Exemplo 1.3. Considere o conjunto dos nmeros racionais positivos
Q+ =
nm
n
; m e n so naturais positivos ,
ou seja, o conjunto de todas as fraes positivas. Note que 0 menor do que todos os elementos de Q+ .
Assim, conclumos que Q+ limitado inferiormente. Mas, 0 no menor elemento de Q+ pois 0
/ Q+ . Iremos
TPICOS DE LGEBRA
11
mostrar que Q+ no possui menor elemento. Suponha, por absurdo, que a Q+ seja o menor elemento de
a
a
Q+ . Como tambm pertence a Q+ e < a chegamos a uma contradio.
2
2
Em geral, qualquer resultado sobre os nmeros inteiros que pode ser demonstrado usando-se o Princpio
da Induo, tambm pode ser demonstrado usando-se o Princpio da Boa Ordenao.
A seguir daremos uma demonstrao do princpio da boa ordenao utilizando a segunda forma do princpio
da induo. A melhor forma de se obter tal resultado considerarmos um conjunto S Z de inteiros maiores
do que o inteiro a e supormos que S no possui menor elemento. Ento provaremos que este conjunto s pode
ser o conjunto vazio e desta forma podemos concluir que, se S for um conjunto de inteiros maiores do que o
inteiro a e S 6= , ento S possui menor elemento. Vejamos, ento a prova:
Demonstrao do Princpio da Boa Ordenao: Seja S Z um conjunto no-vazio e limitado inferiormente.
seja a Z uma cota inferior para S . Suponhamos que S no possua menor elemento.
Temos ento que a
/ S pois, caso contrrio, a seria o menor elemento de S . Suponhamos que a, a + 1, a +
2, . . . , a + k no estejam em S (segunda forma do Princpio da Induo). Afirmamos que a + (k + 1)
/ S . De
fato, se a + (k + 1) S ento a + (k + 1) seria o menor elemento de S , pois todos os inteiros maiores do que a e
menores do que a +(k +1) no esto em S ; como S no possui menor elemento, conclumos que a +(k +1)
/ S.
Logo, pela segunda forma do Principio da Induo, nenhum elemento de Z maior do que a est em S .
Como S Z um conjunto de nmeros maiores do que a, s podemos ter S = . Conclumos que a nica
possibilidade de S no possuir menor elemento quando S = o que mostra o Princpio da Boa Ordenao.
A segunda forma do Princpio da Induo e o Princpio da Boa Ordenao foram apresentados como teoremas: a segunda forma do Princpio da Induo foi provada utilizando-se a primeira forma, enquanto que o
Princpio da Boa Ordenao resultou da segunda forma do Princpio da Induo.
Dizemos que duas afirmaes A e B so equivalentes se A implica B (notao: A B ) e, reciprocamente,
B implica A (notao: B A) e escrevemos A B , que se l: A se, e somente se, B .
Observe que j demonstramos que a primeira forma do Princpio da Induo implica a segunda forma, e que
esta implica o Princpio da Boa Ordenao. Assim, para completarmos a verificao que esses Princpios so
todos equivalentes, basta mostrarmos que o Princpio da Boa Ordenao implica a primeira forma do Princpio
da Induo. o que faremos a seguir.
1.4 Teorema. O Princpio da Boa Ordenao implica a primeira forma do Princpio da Induo.
Prova: Seja P (n) uma afirmativa respeito dos nmeros inteiros, tais que
(a) P (n0 ) verdadeira;
(b) Se k n0 , P (k ) verdadeira implica P (k + 1) verdadeira.
Queremos mostrar que P (n) verdadeira para todo n n0 . Para isso, definimos o conjunto
S = {n Z; n n0 e P (n) falsa} .
Vamos mostrar, usando o Princpio da Boa Ordenao, que S = , donde podemos concluir o desejado.
Claramente S um conjunto limitado inferiormente. Suponhamos que S no seja vazio. Ento, pelo
Princpio da Boa Ordenao, S tem um menor elemento k0 S . Temos que k0 6= n0 pois, por hiptese,
P (n0 ) uma afirmao verdadeira. Logo, k0 > n0 . Isso quer dizer que k0 1
/ S e tambm que P (k0 1)
uma afirmao verdadeira (pois k0 a primeira afirmativa falsa). Mas isso uma contradio com a hiptese
(b):P (k0 1) verdadeira implica P (k0 ) verdadeira.
12
1.2.4
Exerccios Propostos
EP 1.1. Mostre, por induo, a validade de

3
1 + 2 + 3 + ... + n =
n(n + 1)
2
2
.
EP 1.2. Prove, usando o princpio da induo, que o nmero de diagonais dn de um polgono convexo de n
lados dado por
dn =
n(n 3)
.
2
EP 1.3. Encontre a lei geral sugerida para as somas abaixo e, em seguida, mostre tal lei por induo.
1
2
1 1
1+ +
2 4
1 1 1
1+ + +
2 4 8
1+
1.3
1
= 2 ,
2
1
= 2 ,
4
1
= 2 .
8
Diviso Euclidiana e Critrios de Divisibilidade
Por volta de 300 a.C., Euclides de Alexandria (325-265 a.C.) escreveu o mais antigo texto matemtico
grego conhecido at nossos dias, denominado Os elementos. Alguns captulos da obra so sobre teoria de
nmeros. Para os gregos, a palavra nmero significava o que hoje denominamos nmero natural e se refere
a um nmero como AB e no usa as expresses mltiplo de ou dividido por, mas medido por ou
mede, respectivamente. O modelo concreto de nmero utilizado por Euclides era um segmento de reta de
comprimento igual a esse nmero, sendo a unidade de medida u escolhida arbitrariamente; por exemplo, o
nmero 7 era entendido como o seguimento AB , como na seguinte figura:
u
A
Uma caracterstica dos inteiros que um nmero nem sempre divide o outro, e Euclides interessava-se
particularmente pelo estudo dessa relao, ou seja, pela teoria da divisibilidade. Resultados sobre os inteiros
j eram encontrados na obra de Euclides, com demonstraes que so utilizadas at hoje, apenas reescritas
numa notao moderna.
Nesta seo apresentaremos o importante resultado sobre nmeros inteiros conhecido como o Lema da
Diviso de Euclides e mostraremos tambm outros teoremas como conseqncia desse lema, alm de alguns
critrios de divisibilidade.
1.3.1
O Algoritmo da Diviso
Utilizando o modelo de nmero utilizado por Euclides, sejam os segmentos AB e C D de forma que o
comprimento de C D seja maior do que o comprimento de AB e suponhamos que o segmento C D possa ser
obtido pela justaposio do segmento AB num certo nmero de vezes. Dessa forma, podemos dizer que C D
possui AB como parte exata ou que AB pode servir para medir C D . A partir dessa idia podemos obter a
definio abstrata de mltiplo.
1.5 Definio. Dados os nmeros naturais a e b , dizemos que a mltiplo de b , se existe um nmero natural
n tal que a = nb .
TPICOS DE LGEBRA
13
No entanto, se o segmento AB no for uma parte exata do segmento C D , teremos que o segmento AB cabe
em C D um nmero mximo de vezes mais um segmento restante, por exemplo MN , o qual possui comprimento
menor do que o de AB .
Dessa forma, se os segmentos C D e AB representam os nmeros naturais a e b , respectivamente, temos
que a = nb + r , em que r < b o nmero natural que representa o segmento MN e n o nmero mximo de
segmentos do tamanho de AB que cabe em C D .
Este o enunciado, para os nmeros naturais , do que hoje conhecemos como Lema da Diviso de Euclides
o qual demonstraremos atravs da induo matemtica.
Sejam a e b nmeros naturais. Vemos que existe somente duas possibilidades: ou a mltiplo de b , isto
, a = qb , em que q N, ou a est compreendido entre dois mltiplos consecutivos de b como indica a figura
abaixo.
qb
(q + 1)b
Nesse caso, temos que a distncia de a a qb menor do que a distncia entre dois mltiplos consecutivos
de b . Assim, podemos escrever a = qb + r , em que 0 < r < b .
Nota 3. At agora, consideramos o 1 como o primeiro nmero natural. No Lema de Euclides, a seguir,
consideraremos 0 como nmero natural. uma simples conveno a questo do zero ser ou no um
nmero natural.
1.6 Teorema. (Lema da Diviso de Euclides) Sejam a e b nmeros naturais, com b > 0. Ento existem
nmeros naturais q e r , com 0 r 0 (inclusive menor que b ) e suponhamos, por induo, que o resultado seja vlido para o
nmero natural (a 1): existem q , r N, tais que
(a 1) = q b + r ,
em que 0 r < b . Logo, a = q b + r + 1 com 1 r + 1 b .
Se r + 1 < b , tomamos q = q e r = r + 1, o que mostra o resultado. Se, por outro lado, r + 1 = b temos
que
a = q b + b = (q + 1)b ,
e basta tomar, nesse caso, q = q + 1 e r = 0.
Portanto, o Lema da Diviso de Euclides nos garante que, dados a, b N, com b > 0, sempre podemos
achar o quociente q e o resto r da diviso de a por b , o que fazamos desde o ensino bsico, para pares
particulares de nmeros naturais a e b .
Podemos agora nos perguntar se o quociente e o resto so nicos. A nossa experincia nos diz que a
resposta a essa pergunta afirmativa: h muito tempo sabemos que existe uma nica resposta certa para
a diviso de a por b (verifique que essa unicidade fica clara ao considerarmos o nosso modelo geomtrico).
Para demonstrar formalmente esse fato, vamos supor que (q , r ) e (q , r ) sejam dois pares de nmeros
14
naturais tais que
a = q b + r , a = q b + r ,
com 0 r q , obteramos aps subtrair membro a membro as equaes acima que (q q )b =
r r , e como q q um nmero natural no-nulo, q q 1 e, portanto, (q q )b b . Logo, obteramos

r r b , o que absurdo, j que 0 r q . Analogamente,
no podemos ter q > q e, portanto ,q = q . Como
r = a q b = a q b = r ,
est provada, ento, a unicidade no Lema da Diviso de Euclides.
Queremos, agora, estender o Lema de Euclides para o conjunto dos inteiros
Z = {. . . , 2, 1, 0, 1, 2, . . .} .
Estes podem ser representados sobre uma reta escolhendo um ponto arbitrrio como posio do zero
(chamado origem) e associando os pontos direita do zero aos nmeros naturais e os pontos esquerda do
zero aos nmeros inteiros negativos:
Temos, ento, que o ponto correspondente a 2 fica direita da origem e a duas unidades dessa, enquanto
que o nmero 2 fica esquerda da origem, tambm a duas unidades dessa. Assim a cada inteiro b est
associado um nmero natural que a distncia de b origem chamado valor absoluto de b .
1.7 Definio. O valor absoluto de um nmero inteiro b , denotado por |b |,

|b | =
8
<
: b ,
se b 0
se b < 0.
Nota 4. Para todo b Z, |b | um nmero natural. Alm disso, |b | = | b |.

Podemos, agora, estender a definio de mltiplo para os inteiros.
1.8 Definio. Dados dois inteiros a e b , dizemos que a mltiplo de b , se existe um inteiro q tal a = qb .
Exemplo 1.4. 8 mltiplo de 4, pois 8 = 2 4; 8 tambm mltiplo de 4 pois 8 = (2)(4); 8 mltiplo
de 4 e de 4, pois 8 = (2)4 = 2(4).
Dado um inteiro b 6= 0, destacando na reta os mltiplos deste, temos que, para todo inteiro a, ou a mltiplo
de b ou a est entre dois mltiplos consecutivos de b :
q |b |
(q + 1)|b |
Como estamos agora considerando tambm nmeros negativos, podemos exprimir o fato de a estar entre
TPICOS DE LGEBRA
15
os mltiplos consecutivos de b , q |b | e (q + 1)|b |, de duas maneiras:
a = q |b | + r , com 0 < r < |b |, ou a = (q + 1)|b | + r , com |b | < r < 0.

Trabalharemos sempre com a primeira forma exigindo, assim, que o resto seja no-negativo.
Exemplo 1.5. Se a = 8 e b = 3, escreveremos 8 = 2 3 + 2 ao invs de 8 = 3 3 + (1). Dessa forma, o
quociente da diviso de 8 por 3 2 e o resto tambm 2.
Se a = 8 e b = 3, escreveremos 8 = (3)3 + 1 e no 8 = (2)3 2, ou seja, o quociente da diviso de
8 por 3 3 e o resto 1. Quais so os quocientes e os restos das divises de 8 por 3 e de 8 por 3?
Enunciaremos agora o Lema da Diviso de Euclides para nmeros inteiros.
1.9 Teorema. (Lema da Diviso de Euclides para inteiros) Sejam a e b inteiros, com b 6= 0. Ento existem
inteiros q e r , com 0 r < |b |, tais que a = qb + r . Alm disso, so nicos os inteiros q e r satisfazendo essas
condies.
Prova: Supondo a existncia do quociente q e do resto r , podemos considerar quatro casos:
1. a 0 e b > 0;
2. a 0 e b < 0;
3. a < 0 e b > 0;
4. a < 0 e b < 0.
Observe que o caso 1 uma repetio do Lema de Euclides para os naturais. Os outros casos possuem
demonstraes anlogas e por isso mostraremos apenas o caso 4 deixando os outros a cargo do leitor.
Como a < 0 e b < 0, temos a > 0, b > 0 e |b | = b . Pelo Lema de Euclides para naturais, existem
q , r N tais que a = q (b ) + r , com 0 r 0, temos a = q b + (r ) e, portanto,
a = q b + b b + (r ) = (q + 1)b + (b r )
e, ento, basta fazer q = q + 1 e r = b r , pois, como 0 < r < b , temos, aps adicionar b a todos os
membros, b < b + r < 0 0 < b r < b = |b |, uma vez que, por hiptese, b < 0.
A unicidade de q e r pode ser provada de forma similar quela feita para nmeros naturais e tambm
deixamos a cargo do leitor.
Exemplo 1.6. Se a Z, ento a = 2q + r , em que q , r Z e 0 r < 2. Assim, a = 2q ou a = 2q + 1. Os
nmeros da primeira forma so chamados pares e os da segunda forma mpares.
ER 2. Mostre que o quadrado de um inteiro qualquer da forma 3k ou 3k + 1, com k N.
Soluo: De fato, usando o Lema de Euclides conclumos que qualquer inteiro a pode ser escrito na
forma a = 3q + r , em que r 0, 1, 2. Portanto, a2 = 9q 2 + 6qr + r 2 = 3(3q 2 + 2qr ) + r 2 .
Analisando a expresso acima, temos os seguintes casos a considerar:
(i) se r = 0, ento a2 = 3(3q 2 + 2qr ) = 3k , em que k = 3q 2 + 2qr ; (observe que k N pois a2 0, a Z)
(ii) se r = 1, ento a2 = 3(3q 2 + 2qr ) + 1 = 3k + 1, em que k = 3q 2 + 2qr ;
(iii) se r = 2, ento a2 = 3(3q 2 + 2qr ) + 4 = 3(3q 2 + 2qr + 1) + 1 = 3k + 1, em que k = 3q 2 + 2qr + 1, k N
16
Veremos, agora, propriedades importantes sobre o caso em que a diviso euclidiana exata (r = 0).
Quando a mltiplo de b , dizemos tambm que b divide a ou que b divisor de a e escrevemos b | a. Se b
no divide a, denotamos b a.
Exemplo 1.7. Observe que 3 | (21), pois 21 = 3(7). No entanto 2 3, pois no existe n Z tal que
3 = 2n. Note ainda que 0 | 0 porque 0 = k 0 para todo k Z. Tambm temos que n | 0 para todo n Z, pois
0 = n 0. Por outro lado 0 n, n 6= 0, pois no existe k Z tal que n = k 0. Temos ainda que a | a para todo
a Z, pois a = 1a.
1.10 Proposio. Sejam a,b e c inteiros quaisquer. Ento vale:
(i) se a | b , ento a | (b );
(ii)se a | b e a | c , ento a | (b + c );
(iii) se a | b e a | (b + c ), ento a | c ;
(iv) se a | b e b | a, ento a = b ;
(v) se a | b e a | c , ento a | (bx + cy ) para quaisquer x , y Z;
(vi) se a | b e b | c , ento a | c .
Prova: Faremos as provas de (ii), (v) e (vi). Os outros tens so provados de forma similar e deixaremos
como exerccio.
(ii) Se a | b , ento existe q Z tal que b = aq . Se a | c , existe p Z tal que c = ap . Logo, somando
membro a membro teremos
b + c = aq + ap = a(q + p ).
Como (q + p ) Z, conclumos que a | (b + c ).
(v) Se a | b , ento existe k Z tal que b = ka. Se a | c , existe t Z tal que c = ta. Multiplicando
essas duas equaes por x e y teremos xb = xka e y c = y ta. Somando-se membro a membro obtemos
xb + y c = xka + y ta = (xk + y t )a. Como (xk + y t ) Z temos que a | (bx + cy ).

(vi) Como a | b e b | c , existem inteiros k1 e k2 com b = k1 a e c = k2 b . Substituindo o valor de b na
equao c = k2 b teremos c = k2 k1 a o que implica que a | c uma vez que k2 k1 Z.
Nota 5. A recproca de (ii) no verdadeira, ou seja, no podemos garantir que se a | (b + c ), ento a | b

e a | c . Por exemplo, 5 | (8 + 2) mas 5 8 e 5 2
1.3.2
Mudana de Base
Vimos que um nmero natural arbitrrio a possui uma representao posicicional numa base qualquer b .
Essa representao dada por uma seqncia an an1 . . . a1 a0 , em que cada ai (i = 0, 1, . . . , n) assume um valor
em {0, 1, . . . , b 1} de forma que podemos escrever
a = an b n + an1 b n1 + . . . + a1 b + a0 .
Demonstraremos, formalmente, que essa representao sempre existe e que, escolhida a base b , ela
nica. Antes vejamos um exemplo:
TPICOS DE LGEBRA
17
ER 3. Represente 32 na base 5.
Soluo: Para representar 32 na base 5, de acordo com o raciocnio utilizado na seo 1.1.2, devemos
efetuar as seguintes divises:
32 = 6 5 + 2
6
= 15+1
= 05+1
Dessa forma, temos que

32 = 6 5 + 2 = (1 5 + 1) 5 + 2 = 1 52 + 1 5 + 2,
isto , a representao de 32 na base 5 (112)5 , sendo que os algarismos 1, 1 e 2 so exatamente os restos
das divises efetuadas, tomados de baixo para cima.
Generalizando, podemos obter um algoritmo para a representao de um nmero natural a qualquer numa
base b atravs de sucessivas divises e obtenes dos restos das mesmas, da seguinte forma:
a
q0
qn1
= q0 b + a0 , 0 a0 < b
= q1 b + a1 , 0 a1 < b
..
.
= 0 b + an , 0 an < b
Observe que qn1 o ltimo quociente no nulo e, como os quocientes vo decrescendo, necessariamente,
devemos ter qn = 0, para algum n.
De acordo com o exerccio resolvido anteriormente, a representao de a na base b , ento, (an an1 . . . a1 a0 )b .
1.11 Teorema. Dado um nmero natural a 0 e um natural b 2, existe e nica a representao de a na
base b .
Prova: A afirmao claramente vlida para a = 0. Seja a > 0 e suponhamos, por induo, que o
resultado seja vlido para para todo natural c , com 0 c < a. Ou seja, vamos supor que c possa ser escrito
de forma nica como
c = an b n + an1 b n1 + ... + a1 b + a0 ,
em que 0 ai < b .
Vamos mostrar que o resultado vale para o natural a.
Pelo Lema de Euclides, existem e so nicos os naturais q 0 e 0 r 0, uma
vez que b 2, teremos que
a = qb + r 2q + r 2q > q .
Assim, pela hiptese de induo, podemos escrever de modo nico
q = an b n + an1 b n1 + ... + a1 b + a0
e, portanto,
a = qb + r = an b n+1 + an1 b n + ... + a1 b 2 + a0 b + r ,

18
com 0 r < b . Conseguimos, assim, uma representao de a na base b . A unicidade segue imediatamente
da unicidade de q e r , dadas pelo Lema da Diviso de Euclides, e da unicidade da representao de q na
base b , de acordo com a hiptese de induo.
1.3.3
Critrios de Divisibilidade
Nesta parte apresentaremos algumas idias sobre como deduzir critrios de divisibilidade de nmeros na
base 10. Os resultados usam, basicamente, as definies de mltiplos e divisores e suas respectivas propriedades. Eventualmente, precisaremos lembrar do desenvolvimento do binmio de Newton para a concluso
de certas multiplicidades nas dedues desses critrios.
1.12 Proposio. (Critrio de divisibilidade por 2) Um nmero natural a divisvel por 2 se, e somente se, o
algarismo das unidades for divisvel por 2.
Prova: Seja an an1 . . . a2 a1 a0 a representao de a N na base 10. Assim,
a = an 10n + . . . + a2 102 + a1 10 + a0 ,
em que os algarismos ai assumem valores de 0 a 9.
Colocando o nmero 10 em evidncia a partir da segunda parcela, teremos:
a = 10 an 10n1 + . . . + a2 10 + a1 + a0 = 10m + a0 ,
em que m = an 10n1 + . . . + a2 10 + a1 um inteiro.
Se 2 | a = 10m + a0 e uma vez que 2 | 10m temos pelo item (iii) da proposio anterior que 2 | a0 .
Reciprocamente, suponhamos que o algarismo das unidades de a seja divisvel por 2, isto , suponhamos
que 2 | a0 . Como a = 10m + a0 temos , pela mesma proposio item (ii), que 2 | a.
1.3.4
Exerccios Propostos
EP 1.4. Prove os itens (i), (iii) e (iv) da Proposio 1.10.

EP 1.5. Seja a Z. Mostre que, na diviso de a2 por 8, os restos possveis so 0, 1 ou 4.
EP 1.6. Se m e n forem inteiros mpares, mostre que m2 n2 divisvel por 8.
EP 1.7. Mostre que, dados 3 inteiros consecutivos, um deles mltiplo de 3.
EP 1.8. Transforme para a base 10 os seguintes nmeros
(a) (2351)7
(b) (1001110)2
EP 1.9. Expresse o nmero 274 na base 5.

EP 1.10. Mostre critrios de divisibilidade por 5 e por 3. Para isso, use raciocnios similares aos critrios de
divisibilidade por 2 e por 9, respectivamente.
TPICOS DE LGEBRA
19
1.4
Nmeros Primos e o Teorema Fundamental da Aritmtica
Veremos nesta seo que determinados nmeros naturais podem ser escritos como produto de dois fatores
positivos menores que ele (por exemplo, 10 = 2 5 ). No entanto, existem outros que no admitem tal escrita
( por exemplo, 1,3,17 e 19 ). Veremos tambm que qualquer inteiro pode ser construdo multiplicativamente a
partir de certos nmeros de forma nica, a menos de ordenao dos fatores.
1.4.1
Nmeros Primos
1.13 Definio. Seja n N, com n > 1. Dizemos que n um nmero primo, se seus nicos divisores positivos
so a unidade e ele mesmo. Caso contrrio, dizemos que n composto.
De outra forma podemos dizer que um nmero natural n primo se, sempre que escrevemos n = ab , com
a, b N, temos necessariamente que a = 1 e b = n ou a = n e b = 1. Conseqentemente, um nmero natural
n composto, se existem a, b N, com 1 < a < n e 1 < b < n, tais que n = ab . Observe que o nmero 1 no
primo nem composto.
ER 4. Determine todos os nmeros primos p que so iguais a um quadrado perfeito menos 1.
Soluo: Se p = n2 1, ento temos que p = (n + 1)(n 1). Pela definio de nmero primo s existem
duas possibilidades: n + 1 = 1 e n 1 = p ou n + 1 = p e n 1 = 1.
Do primeiro sistema de equaes temos, para soluo, n = 0 e p = 1, o que no convm, pois p N,
por definio. J do segundo sistema, temos n = 2 e p = 3. Segue que p = 3.
De acordo com a definio apresentada, para decidir se um determinado nmero n primo, necessrio
verificar a divisibilidade dele por todos os nmeros naturais menores do que ele, o que fica extremamente
trabalhoso medida que avanamos na seqncia dos nmeros naturais. Entretanto, suficiente testar a
divisibilidade de n pelos primos menores do que a sua raiz quadrada.
Antes de provarmos esse resultado, gostaramos de observar que, se considerarmos o conjunto dos divisores positivos diferentes da unidade de um nmero natural n 2 (por exemplo, n = 12, 17 e 25), ento o seu
menor elemento sempre um nmero primo. Esse o fato que fundamenta a demonstrao de nosso lema:
1.14 Lema. Seja n N, com n 2. Ento n admite um divisor primo.
Prova: Considere o conjunto S dos divisores positivos de n, alm da unidade, ou seja:
S = {d N : d 2 e d | n} .
claro que S um conjunto no-vazio, pois o prprio n est em S . Assim, pelo principio da Boa Ordenao, S possui um menor elemento d0 . Mostraremos que d0 primo. Com efeito, se d0 no fosse primo,
existiriam nmeros naturais a e b tais que d0 = ab , com
2 a (d0 1) e 2 b (d0 1).
Uma vez que a | d0 e d0 | n, temos pela proposio 1.10 item (vi) que a | n. Alm disso, a 2, de onde
conclumos que a S . Chegamos, assim, a um absurdo pois a menor do que o menor elemento de S .
20
Mostraremos agora um resultado devido ao matemtico grego Eratstenes, que viveu por volta de 230 anos
antes de Cristo.
1.15 Proposio. Se um nmero natural n 2 no divisvel por nenhum nmero primo p tal que p 2 n,
ento ele primo.
Prova: Suponhamos, por absurdo, que n no seja divisvel por nenhum nmero primo p tal que p 2 n e
que no seja primo. Seja q o menor nmero primo que divide n; ento, n = qn1 , com q n1 . Segue da que
q 2 qn1 = n. Logo, n divisvel por um nmero primo q tal que q 2 n, o que um absurdo.
Portanto, o primeiro passo para se decidir se um dado nmero n primo consiste na determinao de
todos os nmeros primos menores que n. (Determine, por exemplo, se n = 1969 primo).
2
conveniente ento, temos nossa disposio uma lista de primos. Vrias tabelas de nmeros primos, at
certo limite, j foram calculadas. Antigamente essas tabelas eram baseadas num algoritmo ou crivo, desenvolvido por Eratstenes (276-194 a.C.), e cujo princpio abordaremos a seguir.
1.4.2
Crivo de Eratstenes
Escrevem-se, na ordem natural, todos os nmeros naturais entre 2 e n. Em seguida, eliminam-se todos os
nmeros inteiros compostos que so mltiplos dos primos p tais que p n, isto : primeiro elimine todos os
mltiplos 2k de 2, com k 2; a seguir, todos os mltiplos 3k de 3, com k 2; depois os mltiplos 5k de 5,
com k 2; e assim sucessivamente, para todo primo p n. Os nmeros que sobraram na lista so todos os
primos entre 2 e n.
ER 5. Construa a tabela de todos os primos menores que 100.
Soluo: Como
100 = 10, pelo crivo de Eratstenes devemos eliminar da lista dos nmeros naturais
de 2 a 100 todos os mltiplos dos primos p tais que p 10, ou seja, os mltiplos de p = 2, 3, 5 e 7. Assim,
obtemos:
2
10
11
12 13 14 15 16 17 18 19
20
21
22 23 24 25 26 27 28 29
30
31
32 33 34 35 36 37 38 39
40
41
42 43 44 45 46 47 48 49
50
51
52 53 54 55 56 57 58 59
60
61
62 63 64 65 66 67 68 69
70
71
72 73 74 75 76 77 78 79
80
81
82 83 84 85 86 87 88 89
90
91
92 93 94 95 96 97 98 99 100
Segue-se,
ento,
do
crivo
de
Eratstenes,
que
os
primos
entre
100
so:
2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 71, 73, 79, 83, 89 e 97.
Os problemas de determinao de nmeros primos tm fascinado bastante os matemticos, desde pocas
remotas. Uma das demonstraes mais antigas em teoria de nmeros que chegou at ns foi a prova da
infinitude dos nmeros primos, que se encontra mo Livro IX dOs elementos de Euclides. Apresentaremos essa
demonstrao usando linguagem moderna.
TPICOS DE LGEBRA
21
1.16 Teorema. Existem infinitos nmeros primos.

Prova: Suponhamos, por absurdo, que exista somente uma quantidade finita de nmeros primos. Sejam
eles p1 , p2 , . . . , pk . Considere ento o nmero
m = p1 p2 . . . pk + 1
Como m maior que qualquer um dos primos p1 , ldots , pk , segue-se da nossa hiptese que m no
primo. Logo, pelo Lema 1.14, m admite um divisor primo, que teria de ser um dos primos p1 , ldots , pk . Mas
nenhum desses pode dividir m. De fato, se p fosse primo que divide m, ento p teria que dividir 1 tambm, j
que
1 = m p1 p2 . . . pk .
Portanto, qualquer que seja k N, o conjunto {p1 , p2 , . . . , pk } no pode conter todos os primos.
Muitas questes interessantes sobre nmeros primos no foram respondidas at hoje. Por exemplo, dizemos que dois primos so gmeos se eles so nmeros mpares consecutivos. Assim 3 e 5 e 7, 11 e 13 so
nmeros primos gmeos. Um antigo problema, que at hoje no foi resolvido, se existe ou no um nmero
infinito de primos gmeos.
1.4.3
O Teorema Fundamental da Aritmtica
Veremos agora que qualquer inteiro pode ser construdo multiplicativamente a partir de nmeros primos. De
fato, se um nmero no primo, podemos decomp-lo at que os seus fatores sejam todos primos.
Exemplo 1.8.
360 = 3 120 = 3 30 4 = 3 3 10 2 2 = 3 3 5 2 2 2 = 23 32 5.
Consideraremos que uma decomposio de um nmero primo p dada por ele mesmo.
Observamos agora que, se um nmero foi expresso como produto de primos, podemos dispor esses fatores primos em qualquer ordem. A experincia nos diz que, a menos de arbitrariedade da ordenao, tal
decomposio nica. Tal afirmao no to simples de se demonstrar, embora parea bvia pela nossa
experincia no uso da decomposio em fatores primos. A demonstrao clssica desse resultado, conhecido
como o Teorema Fundamental da Aritmtica, dada por Euclides, est baseada em um mtodo (ou algoritmo)
para o clculo do mximo divisor comum de dois nmeros, e diz respeito apenas existncia da fatorao
de um nmero natural em primos. Acredita-se que Euclides conhecia a unicidade dessa fatorao e que, por
dificuldades de notao, no conseguiu estabelecer a demonstrao desse resultado, a qual ser apresentada
a seguir. As demonstraes, tanto da existncia quanto da unicidade, sero feitas pelo Princpio da Induo, o
qual s comeou a ser utilizado muito depois da poca de Euclides.
Dividiremos a demonstrao desse teorema em duas partes: a primeira mostrar a existncia dessa fatorao em nmeros primos, a segunda mostrar a unicidade dessa fatorao, a menos da ordem dos fatores.
1.17 Teorema. (Teorema Fundamental da Aritmtica) Todo nmero natural n 2 pode ser escrito como um
produto de nmeros primos. Essa decomposio nica, a menos da ordem dos fatores.
Prova: Seja P (n) a afirmativa: n um nmero primo ou pode ser escrito como um produto de nmeros
primos. P (2) verdadeira, pois 2 primo. Suponhamos a afirmativa verdadeira para todo nmero m com
22
2 m k e provemos que P (k + 1) verdadeira.

Se k + 1 for primo, ento P (k + 1) verdadeira.
Se k + 1 no for um nmero primo, ento k + 1 pode ser escrito como
k + 1 = ab , em que 2 a k e 2 b k .
Portanto, pela hiptese de induo, ou a e b podem ser escritos como produto de primos, ou so nmeros
primos. Logo k + 1 = ab tambm um produto de nmeros primos , a saber, o produto dos nmeros primos
da fatorao de a multiplicados pelos nmeros primos da fatorao de b . Isso completa a primeira parte da
demonstrao: provamos que todo nmero natural k > 1 pode ser decomposto como produto de fatores
primos.
Para mostrar a unicidade dessa decomposio, consideramos
S = {n N : n 2 e n tem duas decomposies distintas em fatores primos} .

Suponhamos, por absurdo, S 6= . Logo, pelo Principio da Boa Ordenao, S tem um menor elemento m.
Assim,
m = p1 p2 . . . pr = q1 q2 . . . qs ,
so duas fatoraes distintas de m como produto de nmeros primos. Reordenando esses primos, se
necessrio, podemos supor que
p1 p2 . . . pr eq1 q2 . . . qs .
Notemos que p1 6= q1 . De fato, caso contrrio, teramos duas decomposies diferentes para um nmero
natural menor do que m (a saber, o nmero natural m/p1 ), contrariando assim o fato de m ser o elemento
m
2. Assim, podemos assumir que p1 < q1 .
mnimo de S . Observe que temos
p1
Definimos, ento
m = m (p1 q2 q3 . . . qs ).
Substituindo m pelas expresses dadas nas igualdades acima, obtemos
m
m
= p1 p2 . . . pr p1 q2 . . . qs = p1 (p2 . . . pr q2 . . . qs )
= q1 q2 . . . qs p1 q2 . . . qs = (q1 p1 )(q2 q3 . . . qs ).
Por definio, temos m < m. Por outro lado, a penltima igualdade nos mostra que m 2 pois p1 | m .
Assim, m tem decomposio nica como produto de fatores primos.
Se for (p2 . . . pr q2 . . . qs ) 2, podemos decompor esse termo como produto de fatores primos. Caso
contrrio, (p2 . . . pr q2 . . . qs ) = 1. De qualquer modo, vemos que p1 um fator na decomposio de m em

fatores primos.
A mesma decomposio em fatores primos pode ser feita com respeito ltima igualdade. Como p1 <
q2 . . . qs , necessariamente o fator primo p1 deve estar presente na decomposio que (q1 p1 ). Mas
isso quer dizer que q1 p1 = cp1 para algum inteiro c e, portanto, q1 = (c + 1)p1 , contrariando o fato de ser
q1 > p1 . Temos, assim, um absurdo, o que prova que S = e completa a demonstrao.
ER 6. Determine todos os nmeros primos p tais que 3p + 1 seja um quadrado perfeito.

TPICOS DE LGEBRA
23
Soluo: Se 3p + 1 = n2 , ento 3p = n2 1 e, portanto,

(n + 1)(n 1) = 3p .
Observe que no podemos ter nem n + 1 = 1 nem n 1 = 1. Isso implica que devemos ter n + 1 2 e
n 1 2. J que temos dois nmeros primos do lado direito da igualdade anterior, pelo Teorema Fundamental
da Aritmtica, n + 1 e n 1 so ambos primos. Mais do que isso, s existem duas possibilidades:
n + 1 = 3 e n 1 = p , ou n + 1 = p e n 1 = 3.
No primeiro sistema de equaes temos n = 2 e p = 1 o que no convm, uma vez que p primo. J no
segundo sistema temos n = 4 e p = 5 e portanto conclumos que a nica soluo para o problema p = 5.
O prximo resultado uma conseqncia imediata do Teorema Fundamental da Aritmtica.
1.18 Corolrio. Todo nmero inteiro no-nulo diferente de 1 pode ser escrito como 1 vezes o produto de
nmeros primos. Essa expresso nica, exceto pela ordem na qual os fatores primos aparecem.
1.19 Definio. Um nmero negativo q cujo simtrico q um nmero natural primo chamado nmero
primo negativo.
Exemplo 1.9. Temos ento que 2, 3 e 5 so nmeros primos, enquanto que 2, 3 e 5 so primos negativos.
Nota 6. Observemos que, na fatorao de um nmero inteiro a, o mesmo primo p pode aparecer vrias
vezes. Agrupando esses primos, podemos escrever a decomposio de a como:
a = (1)p1r1 p2r2 . . . pnrn ,

em que 0 < p1 < p2 < . . . < pn e ri > 0 para i = 1, 2, . . . , n.
Quando nos referirmos a uma decomposio (ou fatorao) de um nmero inteiro em nmeros primos,
estaremos nos referindo a essa decomposio, em que os primos so todos positivos. Assim, por exemplo,
aceitamos as decomposies 40 = 23 5 e 12 = (22 3). Mas no aceitamos as decomposies 40 =
(23 ) (5) e 12 = 22 (3).
1.20 Corolrio. Sejam a, b Z e p um nmero primo. Se p for um fator de ab , ento p um fator de a ou p
um fator de b .
Prova: J sabemos que m | n se, e somente se, m | (n); portanto suficiente mostrar esse resultado
para a eb nmeros naturais.
Se p no fosse um fator de a nem de b , ento as fatoraes de a e b em produtos de primos levaria a uma
fatorao de ab no contendo p . Por outro lado como, por hiptese, p um fator de ab , existiria um q N tal
que pq = ab . Ento, o produto de p por uma fatorao de q daria uma fatorao de ab em primos contendo
p , contrariando a unicidade da decomposio de ab em primos.
1.4.4
Exerccios Propostos
EP 1.11. Encontre todos os pares de primos p e q tais que p q = 3.

24
EP 1.12. Mostre que 7 o nico nmero primo da forma n3 1.

EP 1.13. Mostre que o nico nmero primo n tal que 3n + 1 um quadrado 5.
EP 1.14. Verifique entre os nmeros 239, 241, 247, 253 e 1789 quais so primos.
EP 1.15. Uma das afirmativas abaixo sobre nmeros naturais FALSA. Qual ela?
(a) Dado um nmero primo, existe sempre um nmero primo maior do que ele.
(b) Se dois nmeros no primos so primos entre si, um deles mpar.
(c) Um nmero primo sempre mpar.
(d) O produto de trs nmeros naturais consecutivos mltiplo de 6.
(e) A soma de trs nmeros naturais consecutivos mltiplo de trs.
1.5
1.5.1
MMC e MDC
Mximo Divisor Comum
Considere a e b nmeros inteiros positivos. Queremos saber se existe um nmero c > 1 que divide simultaneamente a e b , isto , que seja um divisor comum de a e b . Por exemplo, se a = 12 e b = 8, temos c = 4
ou c = 2. No entanto, se a = 7 e b = 5, no existe tal nmero c .
Chamaremos de mximo divisor comum de dois inteiros positivos a e b ao maior dos divisores comuns
de a e b . Nos exemplos antes considerados, temos ento que 4 o mximo divisor comum dos nmeros 12
e 8, enquanto 1 o mximo divisor comum dos nmeros 7 e 5. Assim, podemos generalizar para os nmeros
inteiros a seguinte definio:
1.21 Definio. defmdc Dados dois inteiros a e b , no simultaneamente nulos, dizemos que um inteiro d o
mximo divisor comum de a e b , se d satisfaz:
(i) d | a e d | b ;
(ii) se c Z for tal que c | a e c | b , ento c d .
Se d for mximo divisor comum de a e b , escrevemos d = mdc (a, b ) ou simplesmente d = (a, b ), quando
no houver dvidas quanto notao.
1.22 Definio. Dizemos que dois nmeros inteiros so primos entre si, se o mximo divisor comum entre
eles for igual a 1.
Nota 7. O leitor deve observar que, na definio de mximo divisor comum, exigimos a e b no simultaneamente nulos porque, caso contrrio, qualquer inteiro c seria um divisor de a e b , o que tornaria
impossvel tomar o maior desses nmeros.
1.23 Proposio. Sejam a e b inteiros no simultaneamente nulos. Ento:
TPICOS DE LGEBRA
25
(i) mdc(a, b ) > 0;

(ii) se a 6= 0 e b 6= 0, ento mdc(a, b ) min {|a|, |b |};
(iii) nico o mdc(a, b );
(iv) mdc(a, b ) = mdc(b , a);
(v) mdc(a, b ) = mdc(|a|, |b |);
(vi) se a 6= 0, mdc(a, 0) = |a|.
Em um dos exerccios propostos desta seo convidamos o leitor a demonstrar os resultados acima.
O mximo divisor comum de a e b sempre existe, pois o conjunto de divisores positivos de a e b no-vazio,
uma vez que 1 divide tanto a quanto b e limitado superiormente, pelo item (ii) da proposio 1.23. Dessa forma,
tal conjunto possui um maior elemento.
ER 7. Obter o mximo divisor comum de 24 e 18.
Soluo: Como D18 = {18, 9, 6, 3, 2, 1} e D24 = {24, 12, 8, 4, 3, 2, 1} so, respectivamente, os conjuntos dos divisores de 18 e 24, ento o conjunto dos divisores comuns de 24 e 18 :
D18 D24 = {6, 4, 3, 2, 1} .

Assim, mdc(18, 24) = 6.
Este processo para se encontrar o mdc se torna bastante trabalhoso, caso os nmeros a e b sejam muito
grandes. Euclides descreveu um mtodo mais prtico conhecido atualmente como o Algoritmo de Euclides o
qual estudaremos a seguir.
fcil ver que se a e b forem inteiros positivos e b | a, ento mdc(a, b ) = b .
O Algoritmo de Euclides usa, basicamente, o resultado do Lema da Diviso Euclidiana, j estudado por ns.
ER 8. Calcule o mdc(15, 4).
Soluo: Fazendo as divises sucessivas de 15 por 4 teremos
15 = 3 4 + 3
4
= 13+1
= 31+0
ou, como escrevemos desde o ensino fundamental:

3
15
quocientes
restos
Assim, mdc(a, b ) = 1, que o ultimo resto no-nulo obtido nas divises sucessivas.
1.24 Lema. Se b for no-nulo e a = qb + r , ento mdc (a, b ) = mdc (b , r ).
26
Prova: Seja d o mximo divisor comum de a e b .

Como r = a qb (por hiptese) e d divide tanto a quanto b , conclumos que d | r e, portanto, d | b e d | r .
Por outro lado, se u for um inteiro tal que u | b e u | r , ento u | a (pois a = qb + r ). Portanto, como d
o mximo divisor comum de a e b conclumos que u d , ou seja, d satisfaz a definio do mximo divisor
comum de b e r , como queramos demonstrar.
Agora fica mais fcil entender o algoritmo de Euclides. Sejam a e b inteiros positivos e b a. Dividindo a
por b obtemos
a = q1 b + r1 , com 0 r1 < b a
e, pelo lema, mdc(a, b ) = mdc(b , r1 ). Se r1 = 0, ento mdc(a, b ) = mdc(b , 0) = b .
Caso contrrio, podemos dividir b por r1 , obtendo
b = q2 r1 + r2 , com 0 r2 < r1 < b a

e mdc(b , r1 ) = mdc(r1 , r2 ). Se r2 = 0, ento mdc(a, b ) = mdc(b , r1 ) = mdc(r1 , 0) = r1 .
Se r2 6= 0, e obtendo r3 6= 0, . . . , rn 6= 0, podemos escrever
q1 b + r1 , 0 < r1 < b
q2 r1 + r2 , 0 < r2 < r1
r1
=
..
.
q3 r2 + r3 , 0 < r2 < r1
rn2
qn rn1 + rn , 0 < rn < rn1 rn1 = qn+1 rn
e ento, por aplicao sucessiva do lema,

mdc(a, b ) = mdc(b , r1 ) = mdc(r1 , r2 ) = . . . = mdc(rn1 , rn ) = mdc mdc (rn , 0) = rn .
Observe que, com certeza, obteremos um resto nulo em algum momento desse processo, j que decrescente a seqncia,
b > r1 > r2 > r3 > . . . > 0

e entre 0 e b s existe um nmero finito de nmeros naturais.
Para formalizar a demonstrao do processo descrito anteriormente, usaremos o Princpio da induo.

1.25 Teorema. (Mximo Divisor Comum - Algoritmo de Euclides) Sejam a e b dois nmeros naturais no-nulos,
com a b . Dividindo sucessivamente segundo o algoritmo de Euclides, obtemos:
= q1 b + r1 ,
0 < r1 < b
= q2 r1 + r2 ,
0 < r2 < r1
r1
= q3 r2 + r3 ,
..
.
0 < r3 < r2
rn2
= qn rn1 + rn , 0 < rn < rn1
rn1
= qn+1 rn .
Temos, ento, que o mximo divisor comum de a e b rn , o ltimo resto no-nulo obtido nesse algoritmo.
No caso de r1 = 0, ento mdc (a, b ) = b .
TPICOS DE LGEBRA
27
Prova: Sabemos que, se a = q0 b , ento mdc(a, b ) = b . Provaremos o caso geral, fazendo induo sobre
a quantidade de passos do algoritmo de Euclides. Sendo assim, consideremos a seguinte afirmao: se, ao
aplicamos o algoritmo de Euclides a dois nmeros, obtivermos o primeiro resto nulo aps n + 1 passos, ento
mdc(a, b ) igual ao ltimo resto no-nulo obtido neste algoritmo, isto , o resto rn obtido no passo n.
Observe que o nmero de passos contado pelo ndice do quociente qj . Dessa forma, no algoritmo
apresentado no enunciado do teorema, foram necessrios n + 1 passos para se obter o primeiro resto nulo; o
resto rn o mximo divisor comum procurado.
Se n = 1 (isto , se o primeiro resto nulo ocorrer no segundo passo), o Lema 1.24 garante a veracidade
da afirmao, pois,
mdc(a, b ) = mdc(b , r1 ) = mdc(r1 , 0) = r1 .
Suponhamos, agora, que a afirmao seja verdadeira toda vez que (n + 1) passos forem necessrios
para se obter o primeiro resto nulo. Consideremos agora que o primeiro resto nulo na aplicao do algoritmo
de Euclides aos nmeros a e b ocorra aps (n + 2) passos, isto ,
= q1 b + r1 ,
0 < r1 < b
= q2 r1 + r2 ,
0 < r2 < r1
r1
= q3 r2 + r3 ,
..
.
0 < r3 < r2
rn2
= qn rn1 + rn ,
0 < rn < rn1
rn1
= qn+1 rn + rn+1 , 0 < rn+1 < rn
rn
= qn+2 rn+1 .
Queremos provar que mdc(a, b ) = rn+1 .

De fato, temos que o algoritmo de Euclides, aplicado aos nmeros b e r1 , produziu o primeiro resto
nulo aps (n + 1) passos e pela hiptese de induo, mdc(r1 , b ) = rn+1 . Mas, pelo Lema 1.24, temos que
mdc(a, b ) = mdc(b , r1 ), o que completa a prova.
Nota 8. Como, pela proposio 1.23, mdc(a, b ) = mdc(|a|, |b |), podemos tambm utilizar o algoritmo
dado para calcular o mximo divisor comum de inteiros negativos.
ER 9. Calcule o mdc(726, 275).
Soluo: Como o mdc(726, 275) igual ao mdc(726, 275), podemos aplicar o algoritmo de Euclides a
mdc(726, 275):
28
726 =
2 275 + 176
275 =
1 176 + 99
176 =
1 99 + 77
99 =
1 77 + 22
77 =
3 22 + 11
22 =
2 11,
ou seja,
2
726
275
176
99
77
22
11
176
99
77
22
11
e, portanto, mdc(726, 275) = 11.

Dizemos que um nmero c combinao linear nos inteiros dos nmeros a e b , se existem inteiros x , y tais
que c = xa + y b . interessante notar, ento, que o mximo divisor comum de 726 e 275 combinao desses
nmeros:
11
=
=
=
=
=
77 3 22
77 3(99 1 77) = 4 77 3 99
4(176 1 99) 3 99 = 4 176 7 99
4 176 7(275 1 176) = 11 176 7 275
11(726 2 275) 7 275 = 11 726 + 29(275).
A prxima proposio mostra que o que foi feito com 726 e 275 pode ser feito com quaisquer inteiros a e
b ; para isso, basta percorrer o algoritmo de Euclides no sentido contrrio.
1.26 Proposio. Sejam a e b inteiros no simultaneamente nulos. Ento existem inteiros x e y tais que
mdc(a, b ) = xa + y b .
Prova: No caso de um deles ser nulo, por exemplo b , temos que

mdc(a, b ) = mdc(a, 0) = |a| = (1)a + y 0
para qualquer inteiro y e x = 1, dependendo de a ser positivo ou negativo.
Se ambos so no-nulos basta provar o resultado para inteiros positivos. De fato, se mdc(|a|, |b |) =
x |a| + y |b | para certos nmeros x e y , ento mdc(a, b ) = mdc(|a|, |b |) = ()ax + ()by .

Sejam, ento, a e b dois nmeros inteiros positivos. Se b | a, ento mdc(a, b ) = b = a 0 + b 1. Se
b a, ento mdc(a, b ) pode ser calculado pelo algoritmo de Euclides e a demonstrao ser feita por induo
no nmero de passos do algoritmo. Para isso, suponhamos que, ao aplicarmos o algoritmo de Euclides aos
nmeros inteiros positivos a e b , obtenhamos o primeiro resto nulo aps (n + 1) passos e que, nessa situao,
existam inteiros x e y tal que rn = xa + y b (lembre-se que rn = mdc(a, b )).
A afirmao verdadeira se dois passos so necessrios ( observe que o caso em que apenas um passo
necessrio j foi considerado), pois, se r2 = 0, ento,
q1 b + r1 , 0 < r1 < b
q2 r1 ,
ou seja,
r1 = a q1 b = 1a + (q1 )b .
Suponhamos que a afirmava seja verdadeira toda vez que (n + 1) passos forem necessrios para se obter
o primeiro resto nulo. Consideraremos inteiros a e b tais que, aplicando-se o algoritmo de Euclides a eles,
TPICOS DE LGEBRA
29
obtemos o primeiro resto nulo aps (n + 2) passos:
= q1 b + r1 ,
0 < r1 < b
= q2 r1 + r2 ,
0 < r2 < r1
r1
= q3 r2 + r3 ,
..
.
0 < r3 < r2
rn2
= qn rn1 + rn ,
0 < rn < rn1
rn1
= qn+1 rn + rn+1 , 0 < rn+1 < rn
rn
= qn+2 rn+1 .
Logo, aplicando-se o algoritmo de Euclides a b e r1 , obtemos o primeiro resto nulo aps (n + 1) passos.
Portanto, pela hiptese de induo, existem inteiros w e x tais que,
rn+1 = mdc (b , r1 ) = w b + xr1 .

Mas, como a = q1 b + r1 , temos que r1 = a q1 b ; portanto,
rn+1 = w b + x (a q1 b )x = xa + (w q1 x )b ,
que o resultado desejado com y = w q1 x .
Nota 9. Percebamos, no entanto, que os inteiros x e y dados pela Proposio 1.26 no so nicos.
Podemos observar, por exemplo, que vale 2 = mdc(6, 4). Mas
1 6 + (1)4 = 2 e 3 6 + (4)4 = 2.
Em geral, tambm no vale a recproca da Proposio 1.26, pois,
2 6 + (2)4 = 4 e mdc(6, 4) 6= 4.
Entretanto, se existirem inteiros x e y tais que xa + y b = 1, ento mdc(a, b ) = 1 (veja o exerccio proposto
1.17). Esse o nico caso em que a recproca da Proposio 1.26 verdadeira.
ER 10. Mostre que, se p for primo e p a, ento mdc(a, p ) = 1.
Soluo: Seja d = mdc(a, p ). Ento d | a e d | p . Como p primo temos que d = 1 ou d = p . Se for
d = p , teramos que p | a o que contraria a hiptese. Logo d = 1.

A partir do resultado acima e da proposio 1.26 podemos dar uma outra demonstrao do corolrio 1.20
1.27 Corolrio. Seja p um nmero primo. Se p | ab e p a, ento p | b .
Prova: Como mdc(a, p ) = 1, existem inteiros x e y tais que xa + y p = 1. Multiplicando-se essa igualdade
por b obtemos:
xab + y pb = b .
Como p | ab e p | y pb , conclumos pela proposio 1.10 item (v) que p | b .
Apresentamos, a seguir, uma caracterizao do mximo divisor comum, que corresponde a uma definio
equivalente dada no incio desta seo.
30
1.28 Proposio. Sejam a e b inteiros no simultaneamente nulos. O inteiro d o mximo divisor comum de
a e b se, e somente se, d satisfizer as seguintes propriedades:
(i) d > 0;
(ii) d | a e d | b ;
(iii) Se c Z for tal que c | a e c | b , ento c | d .
Prova: Se d = mdc(a, b ), ento claro que d satisfaz as propriedades (i) e (ii). Para mostrar (iii),
considere um inteiro c tal que c | a e c | b . Logo, existem inteiros a1 e b1 tais que a = a1 c e b = b1 c . De acordo
com a Proposio 1.26, existem inteiros x e y tais que,
d = xa + y b .
Ento,
d = xa1 c + y b1 c = c (xa1 + y b1 ),
ou seja, c | d . Isso mostra que mdc(a, b ) satisfaz as propriedades (i)-(iii).
Devemos agora provar que, se d for um inteiro satisfazendo (i)-(iii), ento d satisfaz a definio 1.28, isto
, o mximo divisor comum de a e b . Para isso, falta apenas mostrar que, se c for um inteiro tal qual c | a e
c | b , ento c d . Mas, uma vez que (iii) se verifica, existe um inteiro c1 tal que, d = cc1 = |c ||c1 | (pois d > 0),
ou seja, c |c | d , como queramos provar.
Essa definio equivalente ser bastante usada para a demonstrao de diversas propriedades do mximo
divisor comum de dois nmeros inteiros que se seguiro.
1.29 Proposio. Sejam a, b e c inteiros no-nulos. Ento vale:
(i) se c | ab e mdc(b , c ) = 1, ento c | a;
(ii) se mdc(a, c ) = mdc(b , c ) = 1, ento mdc(ab , c ) = 1;
(iii) se mdc(a, b ) = d , ento mdc

(iv) se a | c e b | c , ento
a b
,
d d
= 1;
ab
| c;
mdc(a, b )
(v) se a | c , b | c e mdc(a, b ) = 1, ento ab | c .

Prova: (i) A demonstrao praticamente uma repetio da prova do corolrio 1.27. De fato, existem
x , y inteiros tais que xb + y c = 1. Multiplicando-se essa igualdade por a teremos xba + y ca = a. Logo c | a,
uma vez que c | ab e c | y ca.
Consideremos a afirmativa (ii). Seja d = mdc(ab , c ). Como mdc(a, c ) = 1, existem inteiros x e y tais que
xa + y c = 1 e, portanto, xab + y cb = b .
Como d | ab e d | c , temos que d | b ; portanto, d | b e d | c , o que implica que d | mdc(b , c ) = 1 (item iii
da proposio 1.28). Como d > 0, conclumos que d = 1.
Para o item (iii), considere d = mdc(a, b ). Logo, existem inteiros a1 e b1 tais que a = a1 d e b = b1 d . Por
outro lado, tambm existem inteiros x e y tais que, d = xa + y b . Assim, d = xa1 d + y b1 d . Dividindo essa
TPICOS DE LGEBRA
31
b
a
+y .
d
d
De acordo com a observao 9, podemos concluir que
igualdade por d , obtemos 1 = xa1 + y b1 , ou seja 1 = x
1 = mdc
a b
,
d d
verificando, assim, o item (iii).
Deixamos os tens (iv) e (v) a cargo do leitor.

conhecido de todos ns, desde o ensino bsico, que o mximo divisor comum de dois inteiros positivos
a e b o nmero obtido ao se tomar o produto de todos os fatores primos comuns de a e b , cada um desses
fatores sendo escolhido com o menor dos expoentes que aparece nas fatoraes de a e b . Demonstraremos
agora esse resultado.
1.30 Proposio. Sejam a e b inteiros positivos no simultaneamente nulos, com decomposies em fatores
primos dadas por
p1m1 . . . psms q1k1 . . . qtkt ,
p1n1 . . . psns r1l1 . . . rulu ,
em que os primos pi , qj , rk so todos distintos (i {1, . . . , s } , j {1, . . . , t } e k {1, . . . , u }) e todos os

expoentes so positivos. Ento,
mdc(a, b ) = p1x1 . . . psxs ,
em que xi = min {mi , ni }, para i = 1, . . . , s .
Prova: Seja
d = p1x1 . . . psxs .
Vamos mostrar que d satisfaz as condies da Proposio 1.28. Claramente d > 0. Como xi mi e xi ni
(para i = 1, . . . , s ), temos que
a = a1 d , em que a1 = p1m1 x1 . . . psms xs q1k1 . . . qtut e b = b1 d , em que b1 = p1n1 x1 . . . psns xs r1l1 . . . rulu .
mostrando que d | a e d | b .
Se c | a e c | b temos, pelo Teorema Fundamental da Aritmtica, que c pode ser escrito como
c = p1e1 . . . pses
em que 0 ei min {mi , ni }, para i = 1, . . . , s .
Como ei xi (para i = 1, . . . , s ), temos que
d = p1x1 . . . psxs = (p1e1 . . . pses )(p1x1 e1 . . . psxs es = cp1x1 e1 . . . psxs es ),

ou seja, c | d , o que conclui a demonstrao.
1.5.2
Mnimo Mltiplo Comum
Veremos nesse tpico que se a e b forem inteiros no nulos, podemos considerar os mltiplos comuns
deles: ab , 2ab , 3ab , . . . O menor inteiro positivo que seja mltiplo tanto de a quanto de b (o qual existe, pelo
Principio da Boa Ordenao) chamado mnimo mltiplo comum de a e b :
32
1.31 Definio. Sejam a e b inteiros no-nulos. Um inteiro m mnimo mltiplo comum de a e b , se m satisfizer
as seguintes propriedades:
(i) m > 0;
(ii) a | m e b | m;
(iii) se c Z for tal que a | c , b | c e c > 0, ento m c .
Se m for mltiplo comum de a e b , escrevemos m = mmc(a, b ) ou simplesmente m = [a, b ], quando no
houver dvidas quanto notao.
ER 11. Prove que se a = 6 e b = 15, ento mmc(6, 15) = 30.
Soluo: De fato, o conjunto dos mltiplos de 6 M6 = {0, 6, 12, 18, 24, 30, . . .} e o dos
mltiplos de 15 M15 = {0, 15, 30, 45, 60, . . .}. Portanto,
M6 M15 = {0, 30, 60, . . .} ,

e portanto mmc(6, 15) = 30.
1.32 Proposio. Sejam a e b inteiros no nulos. Ento valem as seguintes propriedades:
(i) mmc(a, b ) max {|a|, |b |};
(ii) nico o mmc(a, b );
(iii) mmc(a, b ) = mmc(b , a);
(iv) mmc(a, b ) = mmc(|a|, |b |).
As demonstraes dessas propriedades tambm faro parte dos exerccios propostos para o leitor ( ver
exerccio proposto 1.19).
Daremos, agora, uma definio equivalente de mnimo mltiplo comum substituindo a terceira propriedade
de sua definio por outra envolvendo divisibilidade.
1.33 Proposio. Sejam a e b inteiros no-nulos. Um inteiro m mnimo mltiplo comum de a e b , se, e
somente se, satisfaz:
(i) m > 0;
(ii) a | m e b | m;
(iii) se c Z for tal que a | c e b | c , ento m c .
Prova: Se m = mmc(a, b ), precisamos mostrar apenas que m satisfaz a condio (iii) acima.
Considere c um inteiro qualquer tal que a | c e b | c . Pelo Lema de Euclides, temos que
c = qm + r , com 0 r < m.
TPICOS DE LGEBRA
33
Logo, r = c qm. Uma vez que c e m so mltiplos de a e b , temos que r mltiplo tanto de a quanto de b .
Mas, pela definio de mnimo mltiplo comum temos, se r > 0, que m r , o que absurdo. Dessa forma,
conclumos que r = 0, ou seja, m | c .
Supondo agora m satisfazendo (i) -(iii). Queremos mostrar que m = mmc(a, b ). Afirmamos que se c for
um inteiro tal que c > 0, a | c e b | c , ento m c . De fato pela condio (iii), temos que m | c , ou seja,
c = qm para algum q Z. Como m > 0 e c > 0, ento q > 0, isto , q 1. Consequentemente, c = qm g em

provando assim a proposio.
Veremos agora um resultado muito conhecido de todos ns desde o ensino mdio. Esse resultado diz
que que o mnimo mltiplo comum de dois nmeros inteiros positivos a e b o nmero obtido ao se tomar
o produto de todos os fatores primos comuns de a e b , cada um desses fatores sendo tomado com o maior
dos expoentes que aparece nas decomposies de a e b . Na verdade, aprendamos tambm que devemos
tomar os fatores no comuns com maiores expoentes. No nosso caso, iremos considerar as decomposies
de a e b com exatamente os mesmos fatores primos, permitindo assim a existncia de expoentes nulos. Por
exemplo, 20 = 22 30 5 e 15 = 20 3 5.
1.34 Proposio. Sejam a e b inteiros positivos, com decomposies em fatores primos como descritas
anteriormente, ou seja,
a = p1r1 p2r2 . . . pkrk e b = p1s1 p2s2 . . . pksk ,

em que cada fator pi um nmero primo distinto, r1 0 e si 0 ( para i = 1, . . . , k ). Ento
mmc(a, b ) = p1t1 p2t2 . . . pktk ,
em que ti = max {ri , si }.
Prova: Seja m = mmc(a, b ). Como m mltiplo de a, todos os fatores primos p1 , . . . , pk aparecem na
fatorao de m, com expoentes maiores ou iguais a r1 , . . . , rk , respectivamente. De forma anloga, como m
tambm mltiplo de b , os expoentes de p1 , . . . , pk na fatorao de m so maiores ou iguais a s1 , . . . , sk ,
respectivamente. Mais geralmente, qualquer mltiplo comum c de a e b da forma c = q (p1t1 p2t2 . . . pktk , em
que q um inteiro e ti max {ri , si }.
Alm disso, todo inteiro dessa forma mltiplo comum de a e b , pois podemos escrev-lo como
c = aq p1t1 r1 . . . pktk rk
e c = bq p1t1 s1 . . . pktk sk ,
em que os expoentes ti ri e ti si 0 so no negativos, para todo i = 1, . . . , k . Assim, o menor mltiplo

comum positivo de a e b obtido quando temos q = 1 e ti = max {ri , si } para i = 1, . . . , k .
A prxima proposio muito importante por relacionar o mximo divisor comum e o mnimo mltiplo comum
de dois inteiros no nulos.
1.35 Proposio. Se a e b forem inteiros no-nulos, ento
mmc(a, b ) =
Prova: Se d = mdc(a, b ), certamente

34
|ab |
.
mdc(a, b )
|ab |
|ab |
um inteiro; como a 6= 0, b 6= 0 e d > 0, temos que
> 0.
d
d
Alm disso, como d divisor de a e b , existem inteiros a1 e b1 tais que a = a1 d e b = b1 d . Logo

|ab |
= |a1 ||b1 |d = a|b1 | = |a1 |b ,
d
|ab |
mltiplo de a e b . Mas, se c for um mltiplo de a e b , a Proposio 1.29 garante que
d
ab
|ab |
|ab |
| c , donde
| c . Portanto, pela Proposio 2.15, temos que
= mmc(a, b ).
2
d
d
d
mostrando que
1.5.3
Exerccios Propostos
EP 1.16. Provar a proposio 1.23.

EP 1.17. Mostre que, se existem inteiros x e y tais que ax + by = 1, ento mdc(a, b ) = 1.
EP 1.18. Provar os itens (iv) e (v) da proposio 1.29.
EP 1.19. Provar a proposio 1.32.
EP 1.20. Mostre que dois inteiros consecutivos so sempre primos entre si.
EP 1.21. Usando o algoritmo de Euclides, calcule, para os pares a e b dados o d = mdc(a, b ). Alm disso,
escreva d = ax + by e calcule o mmc(a, b ).
(a) a = 232 e b = 136;
(b) a = 25 e b = 5.
EP 1.22. Uma fbrica produz dados com trs tamanhos: pequeno, mdio e grande, com 6, 7 e 8 cm de
aresta, respectivamente. O fabricante deseja remeter a sua produo em caixas cbicas do mesmo tamanho,
de forma que os dados fiquem bem ajustados na caixa que ela contenha um mesmo tipo de dado. Determine
o menor tamanho possvel para cada caixa.
Congruncias
1.6
Introduo
impossvel avanar no estudo dos nmeros inteiros sem introduzir a teoria de congruncias. O desenvolvimento desta parte da lgebra est intimamente relacionado ao nome do grande matemtico alemo Carl
Friedrich Gauss (1777 - 1855). Sua contribuio teoria dos nmeros foi essencial, e seu trabalho mais importante sobre o assunto o livro Disquisitiones arithmeticae, publicado em 1801. Em seu primeiro captulo,
Gauss desenvolve a lgebra das congruncias e apresenta algumas aplicaes, como a prova dos nove fora.
A introduo de congruncia torna natural a criao de um novo sistema numrico, no qual so definidas
operaes de adio e multiplicao: os conjuntos da forma Zm . Nesse conjunto, utilizando resultados devidos
a Fermat e Euler, somos capazes de obter resultados surpreendentes: sem efetuar as operaes envolvidas,
podemos facilmente obter o resto da diviso de um nmero extraordinariamente grande por outro nmero como em 71010 dividido por 23, por exemplo.
TPICOS DE LGEBRA
35
1.7
Definio e Propriedades
A partir de agora, teremos particular interesse nos nmeros inteiros com relao aos restos que eles deixam
ao serem divididos por um outro inteiro. Essa teoria se aplica principalmente quando consideramos fenmenos
peridicos. Vejamos alguns exemplos destes fenmenos:
Exemplo 1.10. Queremos determinar o horrio que chegaremos a um certo destino, sabendo que essa
viagem dura, com paradas e pernoites, 73 horas e que o horrio da partida s 17 horas. Para isso, basta
obter o resto da diviso de 73 + 17 = 90 por 24, j que o dia tem 24 horas:
90 = 24 3 + 18.
Assim, o horrio de chegada ser s 18 horas.
Exemplo 1.11. Comprei um carro e vou pag-lo em 107 prestaes mensais. Se estamos em maro, em
qual ms terminarei de pag-lo? Aqui a repetio se d de 12 em 12 meses. Considerando a numerao usual
dos meses, temos que maro corresponde a 3. Somando 3 a 107, obtemos 110, que corresponde a fevereiro,
pois 110 = 9 12 + 2.
No exemplo 1.10, gostaramos de identificar os inteiros que deixam o mesmo resto quando divididos por
24. Assim, se agora so 5 horas, daqui a 24 horas sero novamente 5 horas. Gostaramos, ento de identificar
5 com 29, nmeros que deixam o mesmo resto quando divididos por 24. Teramos, nesse caso, 24 tipos de
inteiros: os que deixam resto 0, 1, 2, . . . , 22 e 23 quando divididos por 24.
No Exemplo 1.11, gostaramos de identificar os inteiros que deixam o mesmo resto quando divididos por 12.
De fato, se estamos no ms 3 (maro), daqui a 12 meses estaremos novamente em maro. Assim, gostaramos
de identificar 3 com 3 + 12 = 15. Note que esses nmeros deixam resto 3 quando divididos por 12. Nesse
exemplo, temos 12 tipos de inteiros: os que deixam resto 0, 1, . . . e 11 quando divididos por 12.
A noo de congruncia nos permite fazer tais identificaes como veremos a seguir.
1.36 Proposio. Os inteiros a e b deixam o mesmo resto quando divididos pelo inteiro m 6= 0 se, e somente
se, m divide (a b ).
Prova: Se a e b deixarem o mesmo resto r quando divididos por m, ento
a = qm + r e b = tm + r , em que 0 r < |m|

Para certos inteiros q e t . Logo a b = (q t )m, ou seja, m | (a b ). Reciprocamente, se m | (a b ), existe
k Z tal que a = b + km.

Por outro lado, o Lema da Diviso de Euclides garante que existem inteiros q e r tais que a = qm + r , com
0 r < |m|. Logo, b + km = qm + r e, portanto, b = (q k )m + r , com 0 r < |m|.
A unicidade do resto no Lema da Diviso de Euclides garante que r o resto da diviso de b por m.
1.37 Definio. Seja m um inteiro fixo ou no-nulo. Dizemos que os inteiros a e b so congruentes mdulo
m, se m dividir a diferena a b . Nesse caso, escrevemos.

a b (mod m).
Dados a, b Z e 0 6= m Z, para verificar que a b (mod m), de acordo com a proposio 1.36, temos
duas possibilidades: mostrar diretamente que m | (a b ),isto , exibir um inteiro k tal que a b = km, ou ento
mostrar que a e b deixam o mesmo resto quando divididos por m.
36
Exemplo 1.12. Temos que 11 3(mod 2) pois 2 | (11 3). Tambm 90 18(mod 24), pois 90 = 3 24 + 18 e
3111 3813(mod 9), pois 3111 e 3813 deixam resto 6 quando divididos por 9. Finalmente, 2 2(mod 4), pois
4 | (2 2).
1.38 Proposio. Sejam m um inteiro no-nulo e a, b e c inteiros quaisquer. Ento a congruncia mdulo m
satisfaz:
(i) a a(mod m) (propriedade reflexiva);
(ii) Se a b (mod m), ento b a(mod m) (propriedade simtrica);
(iii) Se a b (mod m) e b c (mod m), ento a c (mod m) (propriedade transitiva).
Prova:
(i) a a(mod m), pois m | (a a).
(ii) a b (mod m) m | (a b ) m | ((a b )) m | (b a) b a(mod m).
(iii) Se a b (mod m) e b c (mod m), ento existem inteiros k1 e k2 tais que a b = k1 m e b c = k2 m.
Somando-se, membro a membro, estas ltimas equaes, obtemos a c = (k1 + k2 )m o que implica a
c (mod m).
Uma relao entre pares de elementos que satisfaz as trs propriedades acima (reflexiva, simtrica e transitiva) chamada uma relao de equivalncia. Dessa forma a proposio anterior mostra que a congruncia
mdulo m uma relao de equivalncia.
A proposio seguinte mostra resultados imediatos, cujas demonstraes so deixadas a cargo do leitor.
1.39 Proposio. Sejam a, b inteiros quaisquer e m um inteiro no-nulo. Ento:
(i) a b (mod 1);
(ii) a 0(mod m) se, e somente se, m | a;
(iii) a b (mod m) se, e somente se, a b (mod m).
Como conseqncia do item (iii) da proposio anterior, na congruncia mdulo m podemos supor sempre
que m > 0. Isso o que faremos a partir de agora. Isso quer dizer que podemos identificar um inteiro qualquer
a com o seu resto na diviso por m como mostra a prxima proposio.
1.40 Proposio. Todo inteiro a congruente mdulo m a exatamente um dos valores:
0, 1, 2, 3, . . . , m 1.
Prova: Se a for um inteiro qualquer e m > 0, ento, pelo Lema da Diviso de Euclides, existem inteiros q
e r tais que
a = qm + r , com 0 r < m 1.
Como q e r so univocamente determinados, temos o resultado.
Exemplo 1.13. Se a for um inteiro qualquer e m = 2, temos apenas duas possibilidades: se a for par,
a 0(mod 2); se a for mpar, a 1(mod 2).

TPICOS DE LGEBRA
37
Veremos, a seguir, que propriedades vlidas para a igualdade de nmeros inteiros so tambm verdadeiras
para a congruncia mdulo m:
1.41 Proposio. Seja m um inteiro positivo fixo. Ento:
(i) se a b (mod m) e a b (mod m), ento
(a + a ) (b + b )(mod m) e aa bb (mod m);
(ii) se a b (mod m), ento, para qualquer inteiro k , temos que
(a + k ) (b + k )(mod m) e ak bk (mod m);
(iii) se a b (mod m) e k > 0, ento
ak bk (mod mk ).
Prova: Mostraremos apenas a segunda parte do item (i). Num dos exerccios propostos dessa seo, o
leitor convidado a concluir a prova. Se a b mod m) e a b (mod m), ento existem inteiros k e t tais que
a = b + km e a = b + tm. Assim, multiplicando-se membro a membro as duas ltimas equaes, teremos

aa = bb + btm + b km + ktm2 aa bb = m(bt + b k + ktm),
ou seja,
aa bb (mod m).
2
ER 12. Mostre que Nenhum nmero da forma 8n + 7 pode ser escrito como a soma dos quadrados de trs
inteiros. Mais precisamente, se k = 8n + 7 para certo inteiro n, ento no existem inteiros a, b e c tais que
k = a2 + b 2 + c 2 .
Soluo: De fato, se k = 8n + 7, ento k 7(mod 8). Por outro lado, se fosse k = a2 + b 2 + c 2 para
inteiros a, b e c , ento teramos,
a2 + b 2 + c 2 7(mod 8).
ER 13. Que valores o quadrado de um inteiro pode assumir mdulo 8?
Soluo: Se m for um inteiro, ento m congruente a um nico elemento rm {0, 1, . . . , 7}. Mas, ento,
m2 rm2 (mod 8). Verificamos, imediatamente:
rm
rm
rm
rm
rm
rm
rm
rm
38
= 0 m2 0(mod 8),
= 1 m2 1(mod 8),
= 2 m2 4(mod 8),
= 3 m2 1(mod 8),
= 4 m2 0(mod 8),
= 5 m2 1(mod 8),
= 6 m2 4(mod 8),
= 7 m2 1(mod 8).
Assim, no h maneira de combinar os quadrados de a2 , b 2 e c 2 de modo a produzir um nmero congruente

a 7. De fato, pelo menos um desses nmeros deve ser congruente a 4 mdulo 8: se todos eles fossem
congruentes a 0 ou 1, a soma seria congruente a, no mximo, 3 mdulo 8. Se for a2 4(mod 8), ento,
claramente, no podemos tomar b 2 e c 2 congruentes a 0 ou 1, pois a soma seria congruente a, no mximo, 6
mdulo 8. Se tomarmos tambm b congruente a 4, a soma a2 + b 2 congruente a 0 mdulo 8 e, como no
h nmero cujo quadrado seja congruente a 7 mdulo 8, a2 + b 2 + c 2 no congruente a 7 mdulo 8.
Uma propriedade que vlida quando lidamos com a igualdade de nmeros, mas que no vlida no caso
da congruncia mdulo m, a lei do cancelamento: se ab ac (mod m), no necessariamente verdade que
b c (mod m). Com efeito,
3 4 3 8(mod 12),
mas 4 no congruente a 8 mdulo 12.
No entanto, com uma hiptese adicional a lei do cancelamento pode ser utilizada em congruncias.
1.42 Proposio. Se ac bc (mod m) e mdc(c , m) = 1, ento a b (mod m).
Prova: Se ac bc (mod m), ento m | (a b )c . Como mdc(c , m) = 1, temos m | (a b ), ou seja,
a b (mod m).
Entretanto, se mdc(c , m) 6= 1, o melhor resultado que conseguimos o seguinte:
1.43 Corolrio. Se ac bc (mod m) e mdc(c , m) = d , ento a b mod
m
.
d
Prova: De ac bc (mod m) temos ac bc = c (a b ) = km. Se dividirmos os dois membros por d ,

c

c
m c
m
m
teremos (a b ) = k . Logo, ( ) |
(a b ) e, como mdc( , ) = 1 ( ver proposio 1.29 item iii )
d
d
d
d
d d

m
m
temos por essa mesma proposio item (i) que ( ) | (a b ) o que implica a b mod
.
2
d
d
A seguir, apresentamos mais algumas propriedades de congruncias em diferentes mdulos e regras para
cancelamento.
1.44 Proposio. Sejam a e b inteiros quaisquer, e sejam m, d , r e s inteiros positivos.
(i) Se a b (mod m) e d | m, ento a b (mod d );
(ii) se a b (mod r ) e a b (mod s ), ento a b (mod mmc(r , s ));
(iii) se r a r b (mod m), ento a b mod
m
;
mdc(r , m)
(iv) se r a r b (mod r m), ento a b (mod m).

As demonstraes ficam a cargo do leitor (ver exerccios propostos).
1.7.1
Exerccios Propostos
EP 1.23. Demonstre o restante da proposio 1.41.

EP 1.24. Prove a proposio 1.44.
TPICOS DE LGEBRA
39
EP 1.25. Mostre que, se a b (mod m), ento an b n (mod m) para todo inteiro positivo n.
EP 1.26. Se a = (72)6 + (72)5 + 2, mostre que 7 | a.
EP 1.27. Suponha que a b (mod m) e c d (mod m). Mostre que ax + cy bx + dy (mod m) para quaisquer
x , y Z.
EP 1.28. Resolva as congruncias:
(a) 3 3(mod 5);
(b) 3 1(mod 6).
EP 1.29. Encontre todos os inteiros x , com 0 x < n, satisfazendo as congruncias mdulo n dadas a
seguir. Se a congruncia no possuir soluo, justifique.
(a) n = 6 e 4x 2(mod n);
(b) n = 11 e 5x 1(mod n).
1.8
Classes de Congruncia
A congruncia mdulo m permite a identificao de todos os nmeros que deixam o mesmo resto quando
divididos por m. Essa identificao nos permite a criao de outros sistemas numricos.
1.45 Definio. Sejam m um inteiro fixo e a um inteiro qualquer. Denotamos por [a]m a classe de congruncia
de a mdulo m, isto , o conjunto formado por todos os inteiros que so congruentes a a mdulo m:
[a]m = {x Z : x a(mod m)} .
ER 14. Determine a classe de congruncia de 3 mdulo 12 e 15 mdulo 12.
Soluo: Seja m = 12. Se a = 3, ento,
[a]12
{x Z : x 3(mod 12)}
{x Z : 12 | (x 3)}
{x Z : x = 12k + 3 para algum k Z}
{. . . , 21, 9, 3, 15, . . .}
Por outro lado,

[15]12 = {x Z : x 15(mod 12)} .
Como 15 3(mod 12), ento x 15(mod 12) se, e somente se, x 3(mod 12), pela propriedade transitiva
de congruncia vista na Proposio 1.38. Logo,
[15]12 = {x Z : x 3(mod 12)} = [3]12 .
Para mostrar alguns dos prximos resultados, precisaremos lembrar a definio de igualdade entre dois
conjuntos. Para mostrar que dois conjuntos so iguais, devemos provar que eles possuem os mesmos elementos. Assim, A = B se, e somente se, A B (todo elemento de A elemento de B ) e B A (todo elemento de
B elemento de A).
40
1.46 Proposio. Sejam a e b inteiros quaisquer e m um inteiro positivo. Ento

(i) a [a]m para qualquer m;
(ii) a b (mod m) se, e somente se, [a]m = [b ]m ;
(iii) [a]m = [r ]m para algum r {0, 1, 2, . . . , m 1}.
Prova: Como a a(mod m) para qualquer m, temos que a [a]m , mostrando (i).
Mostraremos agora que, se a b (mod m), ento [a]m = [b ]m . De fato, se x [a]m , ento x a(mod m).
Como a b (mod m), deduzimos que x b (mod m), isto , x [b ]m , mostrando que [a]m [b ]m . Para
mostrar a igualdade entre os dois conjuntos temos que mostrar a incluso contrria, ou seja, [b ]m [a]m .
Seja x [b ]m , ento x b (mod m). Pela propriedade simtrica da Proposio 1.38 temos que b a(mod m)
uma vez que a b (mod m). Assim, temos novamente, pela transitividade que x a(mod m), ou seja, x [a]m ,
mostrando que [b ]m [a]m , e portanto [a]m = [b ]m .
Reciprocamente, suponhamos que [a]m = [b ]m . Como a [a]m , ento a [b ]m , ou seja, a b (mod m),
completando a prova de (ii).
Para provarmos (iii) basta lembrarmos da Proposio 1.40 a qual afirma que se a for um inteiro qualquer,
ento, o lema da Diviso de Euclides garante que a = qm + r , com 0 r m 1. Portanto, a r (mod m).
Logo, como mostrado no item (ii), temos que [a]m = [r ]m , com 0 r m 1.
Segue-se da proposio anterior que existem exatamente m classes de congruncias mdulo m, a saber:
[0]m , [1]m , . . . , [m 1]m ,
j que essas classes so todas distintas.
Denotamos por Zm o conjunto formado por todas as classes de congruncias mdulo m. Assim,
Zm = {[0]m , [1]m , . . . , [m 1]m } .
Exemplo 1.14. O conjunto Z2 possui dois elementos, a saber,
[0]2 = {b Z : b = 2k } = {. . . , 4, 2, 0, 2, 4, . . .} ,
que so os inteiros pares, e
[1]2 = {b Z : b = 2k + 1} = {. . . , 3, 1, 1, 3, 5, . . .} ,
que so os inteiros mpares.
Como [0]2 = [2]2 = [4]2 e [1]2 = [3]2 = [5]2 , podemos escrever
Z2 = {[0]2 , [1]2 } = {[2]2 , [3]2 } = {[4]2 , [5]2 } = . . .
1.47 Definio. Um elemento qualquer b de uma classe de congruncia [r ]m chamado um representante
das classes de congruncia [r ]m .
Se b estiver numa classe de congruncia [r ]m , ento, como j vimos, [r ]m = [b ]m ; portanto, qualquer representante de uma classe determina completamente essa classe e, reciprocamente, uma classe de congruncia
TPICOS DE LGEBRA
41
pode ser nomeada por qualquer um de seus representantes. Geralmente utilizamos os menores representantes
no-negativos para nomear essas classes.
Introduziremos a partir de agora em Zm , operaes de adio e multiplicao, que tm um comportamento
semelhante s operaes usuais dos nmeros inteiros.
Exemplo 1.15. J vimos que Z2 = {[0]2 , [1]2 }, em que [0]2 o conjunto dos nmeros pares, e [1]2 o conjunto
dos nmeros mpares. Sabemos que,
inteiro par + inteiro par
inteiro par,
inteiro mpar + inteiro mpar
inteiro par,
inteiro mpar + inteiro par
inteiro mpar.
Denotaremos a operao de adio em Z2 por . Dessa forma, as igualdades anteriores podem ser escritas
como
[0]2 [0]2
= [0]2
[1]2 [1]2
= [0]2
[1]2 [0]2
= [1]2 .
Note que tambm poderamos escrever [1]2 [1]2 = [2]2 , pois [0]2 = [2]2 . Assim, as operaes acima
poderiam ser escritas como
[0]2 [0]2
= [0 + 0]2 = [0]2
[1]2 [1]2
= [1 + 1]2 = [2]2
[1]2 [0]2
= [1 + 0]2 = [1]2 .
Exemplo 1.16. A introduo de uma operao em Z12 aparece naturalmente quando consideramos o tempo.
Se uma pessoa, com um relgio que marca as horas de 1 a 12, internada num hospital quando seu relgio
marca 8 horas e ali permanece por 18 horas consecutivas, ento ela sai daquele hospital quando seu relgio
marca 2 horas, como podemos deduzir facilmente. Entretanto, se essa mesma pessoa tivesse ficado internada
por 546 horas, nossa resposta no seria to imediata, mas tambm poderamos concluir que seu relgio tambm estaria marcando 2 horas. Queremos criar uma operao matemtica que nos d esse resultado. Temos
duas maneiras simples de faz-lo. Podemos pensar que 546 = 45 12 + 6. Assim, 546 equivalem a 45 rotaes
completas dos ponteiros daquele relgio mais 6 horas. Agora inferimos imediatamente que o seu relgio estar
marcando 2 horas.
A outra forma pensarmos na adio como definida no penltimo exemplo. Sabemos que o relgio divide
o tempo em classes de congruncia mdulo 12: duas horas t1 e t2 tm a mesmo leitura no relgio, se elas
diferem por um mltiplo de 12 horas. Assim, queremos definir uma operao de adio de modo que
[8]12 [546]12 = [2]12 .
Isto uma generalizao do penltimo exemplo. Ou seja,
[8]12 [546]12 = [8 + 546]12 .
Como [8 + 546]12 = [554]12 = [46 12 + 2]12 = [2]12 , temos o resultado desejado.
A operao de adio acima pode ser estendida para Zm , definindo-se
[a]m [b ]m = [a + b ]m .
42
Observe que a operao [a]m [b ]m uma adio de conjuntos, enquanto a soma a + b em [a + b ]m uma
soma entre elementos desses conjuntos.
Sabemos que cada elemento de Zm possui infinitas representaes. Como a soma a + b efetuada entre
representantes desses conjuntos, precisamos ter certeza de que o resultado obtido independe do representante
utilizado.
Exemplo 1.17. Em Z24 temos que [73]24 = [1]24 . Portanto, [17]24 [73]24 e [17]24 [1]24 devem dar o mesmo
resultado. Com efeito, pela regra acima, temos que
[17]24 [73]24 = [90]24
e
[17]24 [1]24 = [18]24 .
Mas,
90 = 3 24 + 18,
ou seja,
[90]24 = [18]24 .
O exemplo anterior nos sugere que, ao somarmos duas classes de equivalncia, o resultado obtido independe do representante [73]24 ou [1]24 utilizado ao se efetuar a operao. A prxima proposio generaliza
esse resultado para elementos arbitrrios de Zm .
1.48 Proposio. Sejam [a]m , [a ]m , [b ]m e [b ]m elementos de Zm , com [a]m = [a ]m e [b ]m = [b ]m . Ento
[a + b ]m = [a + b ]m .
Prova: Se [a]m = [a ]m e [b ]m = [b ]m , ento a a (mod m) e b b (mod m), isto m | (a a) e
m | (b b ). Portanto, m | [(a a) + (b b )], ou seja, m | [(a + b ) (a + b )]. Logo, (a + b ) (a + b )(mod m),

o que significa que [a + b ]m = [a + b ]m .
1.49 Definio. A operao de adio em Zm definida por

[a]m [b ]m = [a + b ]m .
Exemplo 1.18. As tabelas de adio para Z2 , Z3 , Z4 e Z5 so:
Z2 :
Z4 :
[0] [1]
[0]
[1]
[0] [1] [2]
[0] [1]
[0]
[0] [1] [2]
[1] [0]
[1]
[1] [2] [0]
[2]
[2] [0] [1]
[0] [1] [2] [3] [4]
Z3 :
[0] [1] [2] [3]
[0]
[0] [1] [2] [3]
[0]
[0] [1] [2] [3] [4]
[1]
[1] [2] [3] [0]
[1]
[1] [2] [3] [4] [0]
[2]
[2] [3] [0] [1]
[2]
[2] [3] [4] [0] [1]
[3]
[3] [0] [1] [2]
[3]
[3] [4] [0] [1] [2]
[4]
[4] [0] [1] [2] [3]
Z5 :
TPICOS DE LGEBRA
43
Como as tabelas anteriores so simtricas em relao diagonal principal, temos que a adio em Zi (i
{2, 3, 4, 5}) comutativa. Na verdade, para qualquer m, a adio em Zm comutativa. Isso conseqncia
imediata da comutatividade da adio em Z:
[a]m [b ]m = [a + b ]m = [b + a]m = [b ]m [a]m .
De maneira anloga, mostramos que a adio em Zm associativa, isto :
([a]m [b ]m ) [c ]m = [a]m ([b ]m [c ]m ),
e possui elemento neutro, que [0]m , pois
[a]m [0]m = [a + 0]m = [a]m = [0 + a]m = [0]m [a]m .
As tabelas apresentadas no exemplo anterior nos mostram que, naqueles conjuntos, todos os elementos
possuem simtrico em relao adio (o [0] aparece em todas as linhas). Observe que, em Z5 ,
[3] = [2] e [1] = [4].
Em geral o simtrico de um elemento [a]m de Zm , que ser denotado por [a]m , dado por
[a]m = [a]m = [m a]m .
De fato,
[a]m [a]m = [a a]m = [0]m .
ER 15. Mostre o simtrico de um determinado elemento em Zm nico.
Soluo: Suponha que existam b e b distintos tais que [a]m [b ]m = [0]m = [a]m [b ]m , ento
[b ]m = [b ]m [0]m = [b ]m ([a]m [b ]m ) = ([b ]m [a]m ) [b ]m = [0]m [b ]m = [b ]m ,
de acordo com a associatividade e comutatividade da adio em Zm .
Veremos a seguir que possvel definir uma operao de multiplicao em Zm , de modo similar adio,
isto , por meio da expresso [a]m [b ]m = [ab ]m . Vejamos primeiro um exemplo.
Exemplo 1.19. J vimos que os elementos de Z2 podem ser identificados com os nmeros pares e os
nmeros mpares. Vale:
inteiro par inteiro par
inteiro par,
inteiro par inteiro mpar
inteiro par,
inteiro mpar inteiro mpar
inteiro mpar.
Denotando a multiplicao em Z2 por , podemos escrever as igualdades anteriores como

[0]2 [0]2
= [0]2
[0]2 [1]2
= [0]2
[1]2 [1]2
= [1]2 .
Do mesmo modo que antes, a operao de multiplicao em Zm ,

[a]m [b ]m = [ab ].
s estar bem definida, se for independente dos representantes escolhidos em cada classe de equivalncia.
o que provaremos a seguir.
44
1.50 Proposio. Sejam [a]m , [a ]m , [b ]m , [b ]m Zm , com [a]m = [a ]m e [b ]m = [b ]m . Ento,

[ab ]m = [a b ]m .
Prova: Queremos mostrar que m | (a b ab ), se m | (a a) e m | (b b ). Observe que m | (a a)b e
m | (b b )a . Portanto,
m | [(a a)b + (b b )a ].
Mas, (a a)b + (b b )a = a b ab . Logo [a b ]m = [ab ]m .
1.51 Definio. A operao de multiplicao em Zm definida por

[a]m [b ]m = [ab ]m .
Exemplo 1.20. As tabelas de multiplicao para Z2 , Z3 , Z4 e Z5 so
Z2 :
Z4 :
[0] [1] [2]
[0] [0]
[0]
[0] [0] [0]
[0] [1]
[1]
[0] [1] [2]
[2]
[0] [2] [1]
[0] [1] [2] [3] [4]
[0] [1]
[0]
[1]
Z3 :
[0] [1] [2] [3]
[0]
[0] [0] [0] [0]
[0]
[0] [0] [0] [0] [0]
[1]
[0] [1] [2] [3]
[1]
[0] [1] [2] [3] [4]
[2]
[0] [2] [0] [2]
[2]
[0] [2] [4] [1] [3]
[3]
[0] [3] [2] [1]
[3]
[0] [3] [3] [4] [2]
[4]
[0] [4] [1] [2] [1]
Z5 :
fcil ver que a operao de multiplicao definida em Zm comutativa:

[a]m [b ]m = [ab ]m = [ba]m = [b ]m [a]m .
De modo anlogo, verifica-se que ela associativa:
([a]m [b ]m ) [c ]m = [a]m ([b ]m [c ]m )
e possui elemento neutro, [1]m :
[a]m [1]m = [a]m .
Observando a tabela de multiplicao em Z4 , dada no exemplo 1.20 vemos que o produto do elemento [2]
pelos outros elementos de Z4 ou o prprio [2], ou o elemento neutro [0]. Portanto, no existe elemento
[a] Z4 tal que [a] [2] = [1].
1.52 Definio. Um elemento [a]m Zm invertvel, se existe [b ]m Zm tal que
[a]m [b ]m = [1]m .
Se [a]m [b ]m = [1]m , chamamos [b ]m inverso de [a]m .
Exemplo 1.21. Em Z2 , o elemento [1] invertvel. Em Z3 , todos os elementos no-nulos so invertveis. Em
Z4 , somente os elementos [1] e [3] so invertveis. Em Z5 , todos os elementos distintos do elemento neutro so
invertveis.
TPICOS DE LGEBRA
45
1.53 Lema. Se [a]m Zm for invertvel, ento seu inverso nico. Denotamos o inverso de [a]m por [a]1
m .
Prova: Suponhamos que [a]m [b ]m = [1]m e [a]m [b ]m = [1]m . Ento, uma vez que a multiplicao em
Zm associativa e comunicativa, conclumos que
[b ]m = [b ]m [1]m = [b ]m ([a]m [b ]m ) = ([b ]m o dot [a]m ) [b ]m = [b ]m .
2
Queremos agora determinar quando um determinado elemento de [a]m Zm invertvel. O prximo teorema
nos permite tal identificao.
1.54 Teorema. Um elemento [a]m Zm invertvel se, e somente se, mdc(a, m) = 1.
Prova: Temos
mdc(a, m) = 1
x , y Z : ax + my = 1 [ax + my ]m = [1]m ,
[ax ]m [my ]m = [1]m [ax ]m = [1]m ,
[a]m [x ]m = [1]m .
2
Nota 10. Se mdc(a, m) = 1 e [a]m = [a ]m , ento mdc(a , m) = 1. De fato, se mdc(a , m) = d e [a]m = [a ]m ,

ento existe um inteiro k tal que a = a + km. Como d um divisor de a e de m, d tambm um divisor
de a. Logo, d divide o mximo diviso comum de a e m, isto , d | 1. Portanto, d = 1.
Observe que o produto de dois elementos invertveis mdulo m um elemento invertvel. De fato, se [a]m e
[b ]m forem elementos invertveis, claramente
1
1
1
[b ]m
[a]1
m = [a]m [b ]m
o inverso de [ab ]m .
ER 16. Vamos obter os inversos de todos os elementos invertveis de Z12 .
Soluo: Pelo Teorema 1.54, os nicos elementos invertveis de Z12 so [1], [5], [7] e [11. Como o
inverso de um elemento invertvel tambm um elemento invertvel, para obter o inverso de [7]1 basta ento
testarmos os outros elementos invertveis. Como [7] [1] = [7], [7] [5] = [35] = [1] = [11], [7] [7] = [49] =
[1], vemos que o inverso de [7] o prprio [7].
Procedendo da mesma maneira, verificamos que [1]1 = [1], [5]1 = [5] e [11]1 = [11]. Quer dizer, cada
elemento invertvel de Z12 seu prprio inverso!
1.55 Proposio. Se p for um nmero primo, ento todos os elementos no-nulos de Zp so invertveis:
[1]p , . . . , [p 1]p . Isto imediato pelo teorema 1.54.
A introduo das operaes de adio e multiplicao em Zm nos possibilita trabalhar com as classes de
equivalncia desse conjunto como se elas fossem nmeros inteiros. Mas preciso ficar atento, pois nem todas
as regras da aritmtica so validas em Zm . Por exemplo, no devemos esperar que a lei do cancelamento seja
verdadeira em Zm , j que ela no vale para a relao de congruncia, como j foi visto anteriormente.
46
Com efeito, se [a]m [c ]m = [b ]m [c ]m , em que [c ]m 6= [0]m , ento [ac ]m = [bc ]m , ou seja, m | (a b )c

e m c . Da no podemos concluir que m | (a b ), ou equivalentemente, que [a]m = [b ]m . Como vimos na
Proporo 1.42 para essa concluso preciso supor que mdc(c , m) = 1, ou seja, que [c ]m invertvel. Nesse
caso, multiplicando pelo inverso de [c ], obtemos o seguinte teorema:
1.56 Teorema. (Lei do Cancelamento em Zm ) Se [a]m [c ]m = [b ]m [c ]m e [c ]m for invertvel, ento
[a]m = [b ]m .
1.8.1
Exerccios Propostos
EP 1.30. Encontre as solues de

(a) [2142]238 [x ]238 = [442]238;
(b) [14]77 [x ]77 = [21]77 .
EP 1.31. Determine os elementos invertveis de Zm para m = 2, m = 5, m = 8, m = 15 e m = 21.
TPICOS DE LGEBRA
47
TEMA 02
Polinmios
Diviso de Polinmios
Apresentao
Neste tema estudaremos o conjunto de polinmios em uma varivel com coeficientes reais ou complexos,
munido das operaes de adio e de multiplicao. Faremos um paralelo com o conjunto dos nmeros inteiros, vistos anteriormente, e obteremos resultados equivalentes ao Lema da Diviso de Euclides, ao Algoritmo
de Euclides para o clculo do Mximo divisor comum etc. Veremos que muitos resultados demonstrados e utilizados anteriormente sero bastante teis aqui.
2.1
Corpos
Um dos resultados que vamos mostrar para o conjunto dos polinmios bastante similar ao algoritmo da
diviso para os nmeros inteiros. Antes de apresent-lo, no entanto, veremos os tipos de coeficientes que estes
polinmios devem ter para satisfazer certas propriedades. Veremos, por exemplo, que estes coeficientes devem
possuir inverso multiplicado (ou recproco). Enquanto em Z os nicos elementos que possuem recproco so 1
e 1, em Q ou em R qualquer nmero no-nulo tem tal propriedade. Vejamos, ento, a seguinte definio:
2.1 Definio. Seja K um conjunto cujos elementos podem ser adicionados e multiplicados. Dizemos que K
um corpo se, para quaisquer a, b e c em K as seguintes propriedades forem satisfeitas:
(i) (a + b ) + c = a + (b + c ) (associatividade da adio);
(ii) a + b = b + a (comutatividade da adio);
(iii) existe um elemento em K, denotado por 0, tal que a + 0 = a (elemento neutro);
(iv) para cada a K, existe um nico x K tal que a + x = 0. O elemento x denotado por (a) (simtrico
ou inverso aditivo);
(v) (ab )c = a(bc ) (associatividade da multiplicao);
(vi) ab = ba (comutatividade da multiplicao);
(vii) existe um elemento em K, denotado por 1, tal que 1a = a (unidade);
(viii) a(b + c ) = ab + ac (distributividade da multiplicao com relao a adio);
(ix) para cada 0 6= a K , existe um nico elemento x K {0} tal que ax = 1. O elemento x denotado por
1
a1 ou (recproco ou inverso).
a
Exemplo 2.1. Os conjuntos Q e R com as operaes usuais de adio e multiplicao so corpos. J os
conjuntos N e Z no o so. O leitor dever verificar isso num dos exerccios propostos desta seo.
48
Veremos que vrios resultados sobre polinmios tero um enunciado mais simples quando estendermos
o conjunto dos nmeros reais ao conjunto C dos nmeros complexos, isto , ao conjunto dos nmeros da
forma a + bi , com a, b R, em que i 2 = 1. Faremos uma breve reviso das propriedades desses nmeros
(historicamente, os nmeros complexos s foram bem compreendidos e aceitos no inicio do sculo XIX).
Pode-se pensar em C como o conjunto dos vetores no plano, com a + bi correspondendo ao vetor que vai
da origem at o ponto de coordenadas (a, b ):
i
(a, b )
Todo nmero real a pode ser visto como um nmero complexo por meio da identificao a = a + 0i . Na
verdade, se z = a + bi , dizemos que a a parte real de z e que b a parte imaginria de z .
Se z1 = a + bi e z2 = c + di , definimos a igualdade z1 = z2 se, e somente se, a = c e b = d . As operaes
usuais de adio e multiplicao so definidas por:
z1 + z2 = (a + c ) + (b + d )i
z1 z2 = (ac bd ) + (ad + bc )i .
O nmero complexo a bi chamado conjugado do nmero z = a + bi e denotado por z = a + bi . Temos
que, para qualquer nmero complexo z ,
zz = (a + bi )(a bi ) = a2 + b 2 ,
que um nmero real no-negativo. O mdulo do nmero complexo z = a + bi definido por
p
|z | = zz = a2 + b 2 .
Exemplo 2.2. No conjunto C dos nmeros complexos, com as operaes usuais de adio e multiplicao,
o elemento neutro 0 = 0 + 0i , a unidade 1 = 1 + 0i e o simtrico do nmero a + bi (a) + (b )i . Se o
nmero complexo z = a + bi no-nulo, ou seja, a 6= 0 ou b 6= 0), o seu recproco dado por
b
1
a bi
a
1
2
i.
=
=
= 2
z
a + bi
(a + bi )(a bi )
a + b2
a + b2
fcil verificar que o conjunto dos nmeros complexos munido com as operaes de adio e multiplicao
descritas acima um corpo (Ver exerccio proposto).
O conjunto Z dos inteiros no um corpo, pois a propriedade (ix ) falha. Por outro lado, alm das propriedades (i)-(viii), Z no possui divisores de zero, ou seja, seus elementos satisfazem a propriedade de que
se ab = 0, ento a = 0 ou b = 0.
2.2 Definio. Dizemos que um conjunto D um domnio de integridade se ele satisfizer as propriedades
(i)-(viii) e a propriedade acima, ou seja, se ab = 0, ento a = 0 ou b = 0 para a, b D.
Assim, o conjunto Z um domnio de integridade. Se K for um corpo ento K um domnio de integridade.
TPICOS DE LGEBRA
49
2.1.1
Exerccios Propostos
EP 2.1. Mostre que R e Q, com as operaes usuais de adio e multiplicao, so corpos.

EP 2.2. Verifique que N e Z com as mesmas operaes acima, no so corpos.
EP 2.3. Mostre que C, com as operaes de multiplicao e adio definidas no texto, um corpo.
2.2
Definies e Operaes
Exemplos de funes reais, tais como, p (x ) = x 2 5x + 1, p (x ) = 2x 1, p (x ) = 5 etc. so bastante

estudadas nos cursos do ensino mdio. De modo geral, estudam-se tambm as funes do tipo
p (x ) = an x n + an1 x n1 + . . . + a1 x + a0
em que an , . . . , a0 so nmeros reais dados e n um inteiro 0, que a cada elemento x R associa o nmero
real p (x ), dado pela expresso anterior. A adio e o produto de funes reais so definidas como sendo as
funes que associam, a cada x , a soma ou o produto dos valores dessas funes em x , respectivamente. Em
outras palavras, se
p (x ) = an x n + an1 x n1 + . . . + a1 x + a0
e
q (x ) = bm x m + bm1 x m1 + . . . + b1 x + b0 ,
ento
(p + q )(x )
= p (x ) + q (x )
= (an x n + an1 x n1 + . . . + a1 x + a0 ) + (bm x m + bm1 x m1 + . . . b1 x + b0 ).
Considerando m n, podemos agrupar os termos correspondentes obtendo assim

(p + q )(x ) = bm x m + . . . + bn+1 x x +1 + (an + bn )x n + . . . + (a1 + b1 )x + (a0 + b0 ).
( 2.1)
De forma anloga,
(pq )(x )
( 2.2)
= p (x )q (x )
n
= (an x + an1 x
n1
+ . . . + a1 x + a0 )(bm x + bm1 x
m1
+ . . . + b1 x + b0 )
= an bm x n+m + . . . + (a0 bi + a1 bi 1 + . . . + ai b0 )x i + . . . + (a0 b1 + a1 b0 )x + a0 b0

2.3 Definio. Um polinmio p na varivel x com coeficientes num corpo K uma expresso da forma
p = an x n + an1 x n1 + . . . + a1 x + a0
em que an , . . . , a0 K, n 0 um inteiro, ai = 0 para todo i > n e x um smbolo formal. Os nmeros ai so
chamados coeficientes do polinmio p .
Dizemos que o polinmio p igual ao polinmio q dado por
q = bm x m + bm1 x m1 + . . . + b1 x + b0
se, e somente se, todos os coeficientes correspondentes so iguais. Portanto, se m > n, ento
a0 = b0 , a1 = b1 , . . . , an = bn e e bn+1 = bn+2 = . . . = bm = 0.
50
O conjunto de todos os polinmios na varivel x com coeficientes em K denotado por K[x ].

Se p for um polinmio e c um elemento de K, ento
p (c ) = an c n + an1 c n1 + . . . + a1 c + a0
tambm um elemento de K. Portanto, p K[x ] define uma funo
p:KK
que a cada elemento c K associa o nmero p (c ) K. Dizemos ento que p (x ) a funo polinomial
associada ao polinmio p . Quando K = R, esses dois conceitos podem ser identificados. Entretanto, para
certo corpos K, possvel termos polinmios distintos cujas funes polinomiais associadas so idnticas
(veja o Exerccio Proposto 2.4).
O corpo K est contido em K[x ]: um elemento c de K pode ser visto como o polinmio p = 0x n + . . .+ 0x + c ,
que chamado polinmio constante.
Se definirmos a adio e a multiplicao em K[x ] pelas equaes 2.1 e 2.3, fcil ver que o polinmio nulo
0 = 0x n + . . . + 0x + 0
o elemento neutro e que o polinmio constante p = 1 a unidade.
Para calcularmos os coeficientes do produto pq , podemos utilizar o seguinte dispositivo prtico: colocarmos numa tabela todos os coeficientes ai de p e bj de q como a seguir, calculamos todos os produtos ai bj
e somamos os produtos em cada diagonal no sentido sudoeste-nordeste, obtendo assim os coeficientes do
polinmio produto pq .
p \q
bm
b5
b4
b3
b2
b1
b0
an
..
.
an bm
..
.
..
.
an b5
..
.
an b4
..
.
an b3
..
.
an b2
..
.
an b1
..
.
an b0
..
.
a5
a5 bm
a5 b5
a5 b4
a5 b3
a5 b2
a5 b1
a5 b0
a4
a4 bm
a4 b5
a4 b4
a4 b3
a4 b2
a4 b1
a4 b0
a3
a3 bm
a3 b5
a3 b4
a3 b3
a3 b2
a3 b1
a3 b0
a2
a2 bm
a2 b4
a2 b3
a2 b2
a2 b1
a2 b0
a1 bm
a2 b5
a1
a1 b5
a1 b4
a1 b3
a1 b2
a1 b1
a1 b0
a0
a0 bm
a0 b5
a0 b4
a0 b3
a0 b2
a0 b1
a0 b0
Outra forma de se obter os termos de mesmo grau somar todos os produtos dos coeficientes cuja soma
dos ndices igual a este grau. Por exemplo, para n = 5 teremos que
a0 b5 + a1 b4 + a2 b3 + a3 b2 + a4 b1 + a5 b0 =
5
X
ai b5i .
i =0
2.4 Definio. Se p K[x ] for um polinmio no-nulo dado por
p = an x n + . . . + a1 x + a0 ,
dizemos que o grau de p n, denotado gr(p ) = n, se an 6= 0 e ai = 0 para todo i > n.
Em geral, no se define o grau do polinmio nulo.
Nota 11. As constantes no-nulas so polinmios de grau zero. Os polinmios de grau 1 so polinmios
da forma p = ax + b , com a 6= 0 (As funes polinomiais que lhes so associadas so chamadas funes
afins). Os polinmios de grau 2 so da forma p = ax 2 + bx + c , com a 6= 0 (As funes polinomiais que

lhe so associadas so chamadas funes quadrticas).
TPICOS DE LGEBRA
51
fcil ver que K[x ], com as operaes de adio e multiplicao definidas anteriormente, um domnio de
integridade. Uma conseqncia do nosso prximo teorema que K[x ] no tem divisores de zero.
2.5 Proposio. Sejam p e q polinmios no-nulos, ento pq no-nulo e gr(pq ) = gr(p ) + gr(q ).
Prova: Chamemos de cj , j N, os coeficientes do produto pq . Vimos que cj =
ai bk . Desta forma,
i +k =j
s teremos j > n + m, se i > n ou k > m.

Como gr(p ) = n e gr(q ) = m, temos ai = 0 para i > n, e bk = 0 para k > m. Logo cj = 0 para todo
j > k + m. Por outro lado, an bm 6= 0, o que implica cn+m 6= 0. Assim gr(pq ) = n + m = gr(p ) + gr(q ).
Nota 12. O fato essencial na demonstrao da Proposio anterior que, se an 6= 0 e bm 6= 0, ento
an bm 6= 0, isto , que K um domnio de integridade. Assim, tal Proposio verdadeira no somente em

K[x ], mas tambm para polinmios com coeficientes em Z.
2.2.1
Exerccios Propostos
EP 2.4. Considere Z5 = {0, 1, 2, 3, 4} com as operaes usuais de adio e multiplicao .

(a) Mostre que Z5 , com essas operaes um corpo.
(b) Se Z5 [x ] for o conjunto dos polinmios na varivel x com coeficientes em Z5 , mostre que os polinmios p =
x 5 e q = x so diferentes, mas que as funes polinomiais p : Z5 Z5 ; p (x ) = x 5 e q : Z5 Z5 ; p (x ) = x

so iguais. Lembre-se de que a notao an significa a a . . . a (n vezes)
EP 2.5. Sejam p = (a2 1)x 4 + (a + 1)x 3 + x 2 2 e q = (a + 3)x 3 + (a2 4)x 2 + (a + 1)x 1 polinmios em
R[x ]. Determine todos os valores possveis para os graus de p , q , p + q , p q e pq .
2.3
Lema da Diviso de Euclides
Um fato interessante que podemos associar a cada polinmio no-nulo um inteiro no-negativo relativo
ao seu grau. Essa caracterizao nos permitir usar o Principio da Induo de modo semelhante ao utilizado
em Z.
A primeira conseqncia desse fato a existncia de um resultado anlogo ao Lema da Diviso de Euclides
para nmeros inteiros. Veremos que muitos argumentos utilizados no Tema 1 para os inteiros Z, tambm sero
vlidos em K[x ], quando K for um corpo.
2.6 Teorema. (Lema da Diviso de Euclides) Sejam f e g polinmios em K[x ], com g 6= 0. Ento existem
polinmios q e r em K[x ] tais que f = qg + r , em que r = 0 ou gr(r ) < gr(g ).
Prova: Temos trs casos a considerar:
(i) (1)f = 0;
(2) f 6= 0 e gr(f ) < gr(g );
52
(3) f 6= 0 e gr(f ) gr(g ).

No primeiro caso, como 0 = 0g + 0, basta tomar q = r = 0. No segundo caso, como f = 0g + f e, por
hiptese, gr(f ) < gr(g ), basta tomar q = 0 e r = f .
Para mostrarmos o terceiro caso, utilizaremos induo no grau de f . Quando tivermos gr(f ) = 0, podemos
concluir que gr(g ) = 0. Mas isso quer dizer que f e g so polinmios constantes e ambos no-nulos. Assim,
a0
f = a0 6= 0, g = b0 6= 0 e a0 = b0 + 0.
b0
Quer dizer, basta tomar q = (a0 /b0 ) K e r = 0.
Mostrado o primeiro passo no argumento da induo, consideremos agora o caso em que gr(f ) 1.
Sejam m = gr(f ) e n = gr(g ), com
f = am x m + . . . + a1 x + a0 e g = bn x n + . . . + b1 x + b0 , com m n.
Suponhamos, por induo, que o resultado seja vlido para todo polinmio de grau menor do que m e
maior do que ou igual a n.
Consideremos o polinmio (note que bn 6= 0)
h=f
am m n
x
g.
bn
( 2.3)
am m n
x
g um polinmio de grau m, cujo coeficiente do termo de maior grau am . Se h = 0
bn
ou gr(h) < gr(g ), como
am m n
f =
x
g + h,
bn
am m n
basta tomar q =
x
e r = h.
bn
Se, por outro lado, h 6= 0 e gr(h) gr(g ), podemos aplicar a hiptese de induo em h, pois gr(h)
Observe que
m 1 = gr(f ) 1. Logo, existem polinmios q0 e r0 tais que h = q0 g + r0 em que r0 = 0 ou gr(r0 ) < gr(g ).
Substituindo na equao 2.3, temos que
q0 g + r0 = f
e, finalmente,
am m n
x
g
bn
am m n
g + r0 ,
f = q0 +
x
bn
am m n
x
e r = r0 .
em que r0 = 0 ou gr(r0 ) < gr(g ). Basta ento tomar q = q0 +
bn
Observe que a demonstrao anterior construtiva, ou seja, o argumento usado para se obter h constitui a primeira etapa no algoritmo da diviso polinomial. O algoritmo consiste na repetio sucessiva desse
argumento, at que se obtenha ou o polinmio nulo ou um de grau menor do que o do divisor.
ER 17. Determine o quociente e o resto da diviso euclidiana de f = 2x 3 1 por g = x + 3.
Soluo: Temos que
m = gr(f ) = 3, n = gr(g ) = 1, am = 2 e bn = 1.
Logo,
2
am m n
x
= x 2 = 2x 2
bm
1
TPICOS DE LGEBRA
53
e portanto,
am m n
x
g = 2x 2 (x + 3) = 2x 3 + 6x 2 .
bn
Assim,
h=f
am m n
x
g = (2x 3 1) (2x 3 + 6x 2 ) = 6x 2 1.
bn
Esse , exatamente, o algoritmo que utilizamos desde o ensino fundamental. Na prtica, adotaremos o
seguinte dispositivo:
f
am m n
x
g
bn
h
2x 3 + 0x 2 + 0x 1
2x 6x
x +3 g
2x 2
6x 2 + 0x 1
Como o grau de h ainda maior do que o de g , repetimos o processo. Assim temos:

2x 3
2x
0x 2
6x
18x
18x
54
55
0x
6x 2
0x
6x
18x
x +3
2x 2 6x + 18
Logo, o quociente q = 2x 2 6x + 18 e o resto r = 55.

2.7 Corolrio. So nicos os polinmios q e r obtidos no teorema anterior.
Prova: Suponhamos que se tenha f = q1 g + r1 e f = q2 g + r2 , com gr(ri ) < gr(g ) ou ri = 0 para i = 1, 2.
Subtraindo as duas expresses para f , obtemos
r2 r1 = (q1 q2 )g .
Se r2 r1 6= 0, ento gr(r2 r1 ) < gr(g ). Mas ento temos uma contradio, pois
gr(r2 r1 ) < gr(g ) e gr(r2 r1 ) = gr ((q1 q2 )g ) gr(g ).
Devemos, ento ter, necessariamente, r2 r1 = 0, o que implica q1 q2 = 0 (pois g 6= 0), provando assim
a unicidade.
Detalharemos agora o caso em que a diviso exata (ou seja, o resto r nulo) e apresentaremos algumas
propriedades de divisibilidade de polinmios.
2.8 Definio. Sejam f , g K[x ]. Dizemos que g divide f ou que f mltiplo de g , se existe q K[x ] tal que
f = qg . Se g dividir f , escrevemos g | f . Se g no dividir f , escrevemos q f .

Exemplo 2.3. Sejam g = x + 1 e f = x 2 + 1 em R[x ]. Como
x 2 + 1 = (x + 1)(x + 1)
e (x + 1) R[x ] temos que g | f .
54
Exemplo 2.4. O polinmio f = x 2 + 1 pode ser visto como elemento de R[x ] ou de C[x ], por exemplo. Como
elemento de C[x ], f possui divisores de grau 1, pois podemos escrever
x 2 + 1 = (x + i )(x i ).
Por outro lado, como elemento de R[x ], f no possui divisores de grau 1. Com efeito, suponhamos, por
absurdo, que g = ax + b (com a 6= 0) seja um divisor de f , isto
x 2 + 1 = (ax + b )h em que h R[x ].

Como gr(f ) = 2 e gr(g ) = 1, temos que gr(h) = 1, ou seja, h = a1 x + b1 , com a1 , b1 R e a1 6= 0. Logo,
x 2 + 1 = (ax + b )(a1 x + b1 ).
Assim, deveramos ter aa1 = 1, bb1 = 1 e ab1 + a1 b = 0. Entretanto, tal sistema no possui soluo real.
Absurdo.
Exemplo 2.5. Seja c K[x ] uma constante no-nula. Ento, para qualquer f K[x ], temos que c divide f .
Com efeito, seja
f = an x n + . . . + a1 x + a0 , em que ai K.
Como c 6= 0, temos que
ai
K para qualquer i = 0, . . . , n. Logo
c
f = cq ,
em que
q=
a1
a0
an n
x + ...+ x +
K[x ].
c
c
c
Portanto, os polinmios de grau zero (isto , as constantes no-nulas) desempenham em K[x ] um papel
anlogo ao dos inteiros 1 e 1 em Z. As constantes no-nulas so chamadas de divisores triviais de um
polinmio.
2.9 Proposio. Sejam f , g , h K[x ] polinmios quaisquer. Ento vale:
(i) f | f ;
(ii) se f | g e g | h, ento f | h;
((iii) se f | g e f | h, ento f | (pg + qh) para quaisquer p , q K[x ];
(iv) se f e g so no-nulos, f | g e g | f , ento existe uma constante no-nula c K tal que f = cg .
Prova: Provaremos o item (iv) e os demais ficam a cargo do leitor (ver exerccios propostos).
Supondo que f | g e g | f , temos que existem polinmios q1 , q2 K[x ] tais que
g = q1 f e f = q2 g .
Desta forma, conclumos que
g = q1 q2 g , com q1 6= 0 e q2 6= 0.
TPICOS DE LGEBRA
55
Portanto,
gr(g ) = gr(q1 q2 ) + gr(g ) gr(q1 q2 ) = 0 gr(q1 ) + gr(q2 ) = 0 gr(q1 ) = 0 e gr(q2 ) = 0.
Logo, q2 = c 6= 0 e, conseqentemente, f = cg com c 6= 0, como queramos demonstrar.
2.3.1
Exerccios Propostos
EP 2.6. Demonstre as propriedades (i)-(iii) da Proposio 2.9.

EP 2.7. Determine o quociente e o resto da diviso de p = 7x 5 3x 3 + x 1 por q = x 2 2x + 1.
EP 2.8. Verifique se p divisvel por q , sendo p = x 2 + 1 e q = x i , polinmios em C[x ].
2.4
2.4.1
MDC e MMC
Mximo Divisor Comum
Veremos a partir de agora a definio de mximo divisor comum para dois polinmio com coeficientes em
um corpo K. Tambm mostraremos sua existncia e unicidade de forma anloga a que fizemos para nmeros
inteiros.
2.10 Definio. Um polinmio p = an x n + . . . + a1 x + a0 K[x ] de grau n mnico, se a1 = 1.
Exemplo 2.6. Existe um nico polinmio mnico de grau 0, a saber, p = 1. Os polinmios mnicos de grau
1 em K[x ] so da forma p = x + a.
2.11 Definio. Sejam f , g K[x ] polinmios no simultaneamente nulos. Dizemos que d K[x ] um
mximo divisor comum de f e g se:
(i) d mnico;
(ii) d | f e d | g ;
(iii) se q K[x ] for tal que q | f e q | g , ento q | d .
Se d for um mximo divisor comum de f e g , escrevemos d = mdc(f , g ).
ER 18. Se f = 2x + 2 R[x ] e g = x 2 1 R[x ], o polinmio d = x + 1 R[x ] um mximo divisor comum
de f e g .
Soluo: De fato, d = x + 1 um polinmio mnico. Uma vez que f = 2d e g = (x 1)d , vemos tambm
que d | f e d | g .
Suponhamos, agora, que q R[x ] tal que q | f e q | g . Ento existe h R[x ] tal que f = qh. Como
gr(f ) = 1, conclumos que gr(q ) = 0 ou gr(q ) = 1.
No primeiro caso, temos q R 0, isto q = c 6= 0 e, portanto , q | d .
56
No segundo caso, temos q = ax + b e h = c , em que a, c 6= 0. Temos tambm que b 6= 0, pois f no

mltiplo de x . Segue-se ento da igualdade f = qh que ac = bc = 2. Como c 6= 0, conclumos que a = b , ou
seja, q = a(x + 1). Portanto, d = x + 1 =
1
q , ou seja, q | d .
a
A seguir, como foi feito para nmeros inteiros, demonstraremos a existncia e a unicidade do mximo divisor
comum dos polinmios no simultaneamente nulos f , g K[x ].
2.12 Teorema. Se f , g K[x ] no forem simultaneamente nulos, ento o mximo divisor comum de f e q
existe e nico.
Prova: Mostraremos primeiro a unicidade. Suponha que existam d1 , d2 K[x ] tais que
d1 = mdc(f , g ) e d2 = mdc(f , g ).
Como d1 = mdc(f , g ), conclumos que d2 | d1 , pois d2 | f e d2 | g . De forma anloga, conclumos que
d1 | d2 .
Assim, pela Proposio 2.9 item (iv), existe c K, c 6= 0, tal que d2 = cd1 . Como d1 e d2 so mnicos,
conclumos que c = 1 e, portanto, d1 = d2 .
Para demonstrar a existncia, suponhamos g no-nulo. Logo, pelo Lema da Diviso de Euclides para
polinmios, existem q1 , r1 K[x ] tais que
f = q1 g + r1 , com gr(r1 ) < gr(g ) ou r1 = 0.

Se r1 = 0, ento g satisfaz as propriedades (ii) e (iii) da definio do mximo divisor comum de f e g .
Dividindo g pelo coeficiente de seu termo de maior grau, obtemos um polinmio mnico, qual seja, mdc(f , g ).
Se r1 6= 0, ento existem polinmio q2 , r2 K[x ] tais que
g = q2 r1 + r2 , com gr(r2 ) < gr(r1 ) ou r2 = 0.

Se r2 = 0, ento r1 satisfaz as propriedades (ii) e (iii) da definio do mximo divisor comum de f e g .
Obtemos um polinmio mnico como anteriormente: dividimos r1 pelo coeficiente de seu termo de maior grau.
Se r2 6= 0, ento
r1 = q3 r2 + r3 , com gr(r3 ) < gr(r3 ) ou r3 = 0.

Continuando este processo obtemos:
= q1 g + r1 ,
gr(r1 ) < gr(g )
= q2 r1 + r2 ,
gr(r2 ) < gr(r1 )
r1
= q3 r2 + r3 ,
..
.
gr(r3 ) < gr(r2 )
rn2
= qn rn1 + rn , gr(rn ) < gr(rn1 )
rn1
= qn+1 rn .
Sabemos que, necessariamente, existe n N tal que rn+1 = 0, pois

gr(g ) > gr(r1 ) > gr(r2 ) > . . . 0.
Afirmamos que, se rn+1 = 0, ento o polinmio rn satisfaz as condies (ii) e (iii) da definio do mximo
TPICOS DE LGEBRA
57
divisor comum de f e g . (A demonstrao desse fato idntica demonstrao do resultado anlogo para
nmeros inteiros.) De fato, observando essa seqncia de igualdade de baixo para cima, vemos que rn |
rn1 , rn | rn2 (pois divide o lado direito de igualdade), . . . , rn | g , rn | f . Alm disso, se q | f e q | g ,

considerando essa seqncia de igualdades de cima para baixo, vemos que q | rn .
Se rn no for mnico, dividimos esse polinmio pelo coeficiente de seu termo de maior grau , isto ,
definimos
rn =
1
rn ,
an
em que an o coeficiente do termo de maior grau de rn . Assim rn = mdc(f .g ).
Observe que a condio (i) da definio do mximo divisor comum de dois polinmios foi imposta justamente
para garantir sua unicidade. A demonstrao apresentada construtiva, isto , ela nos fornece uma maneira
prtica para determinar o mximo divisor comum dos polinmios f e g . Esse algoritmo o algoritmo de
Euclides para o clculo do mximo divisor de dois polinmios e anlogo ao usado para calcular o mximo
divisor comum de dois nmeros inteiros. Note que a demonstrao apresentada mostra que se g | f , ento
1
mdc(f , g ) = ( )g , em que an o termo de maior grau de g .
an
Exemplo 2.7. Se f = x 4 + x 3 + 2x 2 2 e g = x 2 + x + 3 esto em R[x ], ento, pelo algoritmo anterior, temos
(x 2 1)g + (x + 1), r1 = x + 1
x (x + 1) + 3,
x
1
3( + ) + 0,
3 3
x +1 =
r2 = 3
r3 = 0.
O ltimo resto no-nulo obtido nesse processo r2 = 3, que no polinmio mnico. Logo, mdc(f , g ) = 1.
Exemplo 2.8. Consideremos agora os polinmios
f = x 4 + x 3 + x 2 + 2x + 1 e g = x 3 + x 2 + x + 1
em R[x ]. Como antes, temos
f
g
= xg + (x + 1),
r1 = x + 1
= (x + 1)(x + 1) + 0, r2 = 0.
Como x + 1 mnico, ento d = x + 1 o mximo divisor comum de f e g .

Vimos que, para nmeros inteiros, o mximo divisor comum de dois nmeros a e b escreve-se como combinao linear de a e b . Um resultado anlogo para polinmios dado no seguinte corolrio.
2.13 Corolrio. Se d K[x ] for o mximo divisor comum de f e g , ento existem a, b K[x ] tais que
d = af + bg .
Prova: Usaremos a prova da existncia e unicidade do mximo divisor comum de dois polinmios. Temos
novamente uma demonstrao similar quela feita para nmeros inteiros.
Se g | f , isto , se r1 = 0, o Teorema da Unicidade nos garante
d = mdc(f , g ) =
1
g,
an
em que an o coeficiente do termo de maior grau de g . Logo,
d = mdc(f , g ) =
58
1
1
g = g +0f,
an
an
que uma combinao linear de f e g .

Se r1 6= 0, ento foi mostrado no referido teorema que
d=
1
rn ,
an
em que rn o ltimo resto no-nulo obtido quando se aplica o algoritmo de Euclides aos polinmios f e g .
Logo, se mostrarmos que qualquer um dos ri s se escreve como combinao linear de f e g , o corolrio estar
demonstrado.
Ainda de acordo com o Teorema da Unicidade, temos que
r1 = f q1 g
uma combinao de f e g (com a = 1 e b = q ). Suponhamos, por induo, que para todo i n 1, ri seja
combinao linear de f e g . Em particular temos:
rn1 = an1 f + bn1 g e rn2 = an2 f + bn2 g ,

em que an1 , bn1 , an2 , bn2 K[x ]. Como pelo desenvolvimento da demonstrao do Teorema da Unicidade
temos
rn = rn2 qn rn1 ,
ento
rn
(an2 f + bn2 g ) qn (an1 f + bn1 g )
(an2 qn an1 )f + (bn2 qn bn1 )g .
Tomando
an = an2 qn an1 e bn = bn2 qn bn1 ,

obtemos o resultado afirmado.
Exemplo 2.9. No exemplo 2.7 j mostramos ao calcular o mximo divisor comum dos polinmios f =
x 4 + x 3 + 2x 2 2 e g = x 2 + x + 3, que o ltimo resto no-nulo obtido no algoritmo de Euclides foi r2 = 3 e que

mdc(f , g ) = 1. O algoritmo de Euclides ento nos dava
3 = g x (x + 1) = g x [f (x 2 1)g ] = (x )f + (x 3 x + 1)g .
Logo,
1
1= x f +
3
1
1
1 3 1
.
x x+
isto a = ( x ) e b =
3
3
3
3
1
1 3 1
x x+
g,
3
3
3
Os polinmios a e b do corolrio anterior no so nicos (verifique isso com raciocnio anlogo ao apresentado para nmeros inteiros). Tambm no podemos garantir que, se h K[x ] se escreve como combinao
linear de f e g , ento h = mdc(f , g ).
2.14 Proposio. Sejam f , g , h K[x ]. Ento vale:
(i) se f | g h e mdc(f , g ) = 1, ento f | h;
(ii) se f | h, g | h e mdc(f , g ) = 1, ento f g | h.
TPICOS DE LGEBRA
59
Prova: Para mostrar (i), observe que se mdc(f , g ) = 1, ento existem a, b K[x ] tais que af + bg = 1 e,
portanto, af h + bg h = h.
Como f | f e f | g h (por hiptese), ento f | (af h + bg h), ou seja, f | h.
Para o segundo item, como mdc(f , g ) = 1, existem a, b K[x ] tais que af + bg = 1 e, tambm, temos,
nesse caso,
af h + bg h = h.
( 2.4)
Como f | h e g | h, existem polinmios f , g K[x ] tais que h = ff e h = g g .
Substituindo essas expresses na equao 2.4, obtemos af (g g )+ bg (ff ) = h, ou seja, f g (ag + bf ) = h,

isto , f g | h.
2.4.2
Mnimo Mltiplo Comum
Apresentaremos a seguir a definio de mnimo mltiplo comum e mostraremos a relao entre o mximo
divisor comum e o mnimo mltiplo comum de dois polinmios.
2.15 Definio. Sejam f , g K[x ] polinmios no-nulos. Um mnimo mltiplo comum de f e g um
polinmio m K[x ] tal que
(i) m mnico;
(ii) f | m e g | m;
(iii) se h K[x ] for tal que f | h e g | h, ento m | h.
Se m for um mnimo mltiplo comum de f e g , escrevemos m = mmc(f , g ).
A existncia e unicidade do mnimo mltiplo comum de dois polinmios decorre do seguinte resultado:
2.16 Proposio. Sejam f = an x n + . . . + a1 x + a0 , g = bm x m + . . . + b1 x + b0 K[x ] polinmios de graus n e
m, respectivamente. Ento
mmc(f , g ) =
fg
.
an bm (mdc(f , g ))
Prova: Seja
h=
fg
.
an bm (mdc(f , g ))
Vamos mostrar que h K[x ] satisfaz a definio do mnimo mltiplo comum de f e g . Denotando d =
mdc(f , g ), temos que d | f ; assim, f = f1 d , com f1 K[x ]. Ento
h=
f1 g
f1 dg
,
=
an bm d
an bm
isto ,
h = cf1 g , c K, f1 K[x ], g K[x ],

1
1
f e
g so mnicos. Como o produto de
an
bm
polinmios mnicos um polinmio mnico, vemos que dh mnico. Como d tambm mnico, conclumos
e portanto, h K[x ]. Afirmamos que h mnico. De fato
60
o afirmado.
Temos tambm que f | h, pois h =
g
g
fg
=f
, com
K[x ]. De forma anloga conclumos
an bm d
an bm d
an bm d
que g | h.
Suponhamos agora que s K[x ] satisfaa
f | s e g | s.
Queremos mostrar que h | s , ou seja, que existe q K[x ] tal que
s = qh = q
fg
,
an bm d
isto , que
sd = q1 f g , com q1 K[x ].
Como d = mdc(f , g ), existem polinmios a, b K[x ] tais que
d = af + bg .
Portanto, sd = saf + sbg .
Como f | s e g | s , existem polinmios a1 e b1 em K[x ] tais que
s = a1 f e s = b1 g .
Logo,
sd = b1 g af + a1 f bg ,
isto ,
sd = (b1 a + a1 b )f g = q1 f g ,
mostrando a afirmao e concluindo a prova.
2.4.3
Exerccios Propostos
EP 2.9. Ache o mdc(f , g ), sendo f = x 4 + 2x 3 6x 9 e g = 3x 4 + 8x 3 + 14x 2 + 8x + 3. Determine, tambm,

polinmios a, b R[x ] tais que mdc(f , g ) = af + bg .
EP 2.10. Encontre o mximo divisor comum e o mnimo mltiplo comum de
(x 2)3 (x 3)4 (x 2 + 1) e (x 1)(x 2)(x 3)3
em C[x ] e em R[x ].
Razes e Irredutibilidade
Nesta seo apresentaremos outros resultados importantes sobre polinmios e introduziremos o conceito
de irredutibilidade. Veremos que podemos decompor um polinmio em fatores mais simples, que chamaremos
fatores irredutveis ( ao invs de primos como foi feito para os inteiros). Mostraremos tambm a relao entre a
existncia de razes e a existncia de fatores de grau um na decomposio do polinmio.
TPICOS DE LGEBRA
61
2.5
Razes e Fatorao
2.17 Definio. Sejam f K[x ] e a K. Diremos que a uma raiz de f , se a funo polinomial associada a
f se anula em a, isto , se f (a) = 0.

Exemplo 2.10. Se f = x 2 + 1 R[x ], ento f no possui razes reais, pois, para todo a R, temos que
a2 + 1 1, ou seja, f (a) nunca se anula. Por outro lado, considerando f como elemento de C[x ], ele possui
duas razes que so a = i e a = i .
2.18 Proposio. Se f K[x ] e a K, ento o resto na diviso euclidiana de f por x a f (a).
Prova: Pelo algoritmo da diviso de Euclides, temos que existem polinmios q e r K[x ] tais que
f = (x a)q + r ,
em que r = 0 ou gr(r ) = 0. Sendo assim, r constante.
Determinando o valor de f em a, teremos que
f (a) = (a a)q (a) + r (a) = r (a).

Uma vez que r constante, temos finalmente
r = r (a) = f (a).
2
De acordo com a proposio anterior temos o seguinte resultado:
2.19 Teorema. (Teorema da Raiz) Sejam f um polinmio com coeficientes em K e a K. Temos que x a
divide f se, e somente se, a raiz de f .
Prova: Se x a divide f , ento existe g K[x ] tal que f = g (x a) + 0. Logo, pela proposio anterior
temos
0 = r (a) = f (a)
e, portanto, a raiz de f .
Reciprocamente, sendo a raiz de f , temos f (a) = 0 e novamente pela proposio anterior f (a) = 0
exatamente o resto da diviso Euclidiana de f por x a e portanto x a divide f .
Exemplo 2.11. Na diviso euclidiana de f = 2x 3 1 por g = x + 3, o resto r dado por:
r = f (3) = 2(3)3 1 = 2(27) 1 = 55.

(Verifique usando o algoritmo de Euclides)
2.5.1
O Algoritmo de Briot-Ruffini
Um dispositivo prtico para dividir um polinmio f por um polinmio de grau um, x u , dado pelo algoritmo
de Briot-Ruffini, que apresentaremos a seguir:
62
Sejam f = an x n + an1 x n1 + + a1 x + a0 K[x ] e u K. Se
q = bn x n1 + bn1 x n2 + + b1 e r = b0
so, respectivamente, o quociente e o resto na diviso euclidiana de f por x u , ento
bn = an e bi = ubi +1 + ai para i = 0, 1, 2, . . . , n 1.
De fato, como
f = (x u )q + r
e
(x u )q + r
=
=
(x u )(bn xn1 + bn1 xn2 + + b1 ) + b0

bn x n + (bn1 ubn )x n1 + + (b1 ub2 )x + (b0 ub1 ),
obtemos as seguintes igualdades:
bn = an , bn1 ubn = an1 , . . . , b1 ub2 = a1 e b0 ub1 = a0 .

Da
bn = an , bn1 = ubn + an1 , . . . , b1 = ub2 + a1 e b0 = ub1 + a0 .

Na prtica, o algoritmo de Briot-Ruffini pode ser efetuado da seguinte maneira:
ER 19. Determinar o quociente e o resto da diviso de p = 3x 4 x 2 + 2x 5 por x 2.
Soluo:
Ento q = 3x 3 + 6x 2 + 11x + 24 e r = 43.
2.20 Corolrio. Um polinmio no-nulo f K[x ], de grau n, possui, no mximo, n razes.
Prova: Mostraremos por induo em n = gr(f ).
Se n = 0, ento f um polinmio constante e no-nulo. Portanto, no possui razes.
Suponhamos agora que gr(f ) = n > 0 e que o resultado seja verdadeiro para todo polinmio de grau
n 1.
Se f no possuir razes, nada temos a demonstrar. Caso contrrio, se a K for uma raiz de f , ento
existe g k[x ] tal que f = (x a)g , e podemos concluir que gr(g ) = n 1.
Pela hiptese de induo, g possui no mximo (n 1) razes. Como qualquer outra raiz de f (caso exista)
raiz de g , temos que f possui no mximo n razes.
2.21 Definio. Sejam f K[x ] e a K. Dizemos que a uma raiz de multiplicidade m de f , em que m 1,
se (x a)m divide f e (x a)m+1 no divide f . Se m 2, dizemos que a uma raiz mltipla de f .
2.22 Definio. Se f = an x n + . . . + ai x i + . . . + a1 x + a0 for um polinmio em K[x ], ento definimos a derivada

(formal) de f como sendo o polinmio, com coeficientes em K, dado por
f = nan x n1 + . . . + iai x i 1 + . . . + 2a2 x + a1 .

Para quaisquer polinmios f e g em K[x ], valem as regras de derivao estudadas em cursos de Clculo
Diferencial, ou seja,
(i) se f = c K, ento f = 0;
TPICOS DE LGEBRA
63
(ii) (f + g ) = f + g ;
(iii) (f g ) = f g + f g .
2.23 Proposio. Seja f K[x ]. Temos que a K raiz mltipla de f se, e somente se, a for raiz comum de
f e f .
Prova: Se a for uma raiz mltipla de f , ento podemos escrever
f = (x a)2 q , com q K[x ].

Logo, f = 2(x a)q + (x a)2 q e, portanto, f (a) = 0.
Reciprocamente, se a for raiz de f , ento f = (x a)q .
Logo, f = (x a)q + q .
Como a raiz de f , temos 0 = f (a) = q (a).

Pelo Teorema da Raiz, o polinmio (x a) divide q , donde q = (x a)h e, ento, f = (x a)2 h, mostrando,
assim, que a raiz mltipla de f .
2.5.2
Exerccios Propostos
EP 2.11. Verifique se i raiz de p = x 4 1 C[x ]. Caso afirmativo, determine sua multiplicidade.

EP 2.12. Idem para p = 4x 3 + 8x 2 3x 9 R[x ] e
3
como raiz.
2
EP 2.13. Determine a e b reais tais que p = x 5 5ax + b seja divisvel por (x 1)2 .
2.6
O Teorema Fundamental da lgebra
Veremos a seguir que qualquer polinmio de grau 1 com coeficientes complexos possui razes complexas.
Esse exatamente o Teorema Fundamental da lgebra que foi provado por Graus em 1798.
2.24 Teorema. (Teorema Fundamental da lgebra) Todo polinmio p em /mathbbC [x ] de grau 1 possui
pelo menos uma raiz complexa.
No apresentaremos a demonstrao desse resultado, que foge ao escopo deste texto, mas pode ser
encontrada em livros de anlise complexa.
2.25 Definio. Uma equao algbrica uma equao da forma p (x ) = 0, em que p uma funo polinomial.
No nosso contexto atual, resolver uma equao quadrtica ax 2 + bx + c = 0 pelo mtodo de completar os
quadrados era conhecida desde o tempo dos babilnios. J as solues das equaes cbicas e qurticas
foram obtidas no sculo XVI pelos matemticos italianos da Renascena. Em 1542, Cardano (1501 - 1576)
publicou, no livro Ars magna, a resoluo da equao geral de terceiro grau e tambm mtodo de seu discpulo
Ferrari (1522 - 1566) de reduo de uma equao geral de quarto grau para uma de terceiro.
Exemplo 2.12. Uma raiz do polinmio x 3 8 , obviamente, x = 2. Fatorando este polinmio obtemos
x 3 8 = (x 2)(x 2 + 2x + 4)
64
e usando a frmula de Bhskara encontramos as razes do polinmio x 2 + 2x + 4. Assim,
x1 = 2, x2 = 1
3i e x3 = 1 + 3i
so as razes do polinmio x 3 8.
Em geral, as razes de um polinmio podem ser obtidas apenas aproximadamente. A determinao aproximada das razes de um polinmio constitui uma parte importante da anlise numrica.
Apesar de no sabermos calcular explicitamente as razes de um polinmio qualquer, temos o seguinte
resultado, que uma conseqncia imediata do Teorema Fundamental da lgebra.
2.26 Corolrio. Seja f um polinmio em C[x ] de grau n 1. Ento ele possui n razes a1 . . . , an C (no
necessariamente distintas). Sendo assim, ele pode ser fatorado como
f = k (x a1 ) . . . (x an ).
com K C.
Num dos exerccios propostos desta seo voc ser convidado a mostrar este corolrio.
J vimos que existem polinmios em R[x ] que no possuem raiz real. No entanto, estes polinmios apresentam uma propriedade interessante com relao s razes complexas que eles possam vir a apresentar.
2.27 Lema. Seja f um polinmio em R[x ] de grau n 1. Se = a + bi , com b 6= 0, raiz de f ento = a bi
tambm raiz de f .
Prova: Se f = an x n + . . . + a1 x + a0 , ento
f () = an n + . . . + a1 + a0 = 0
e
0 = f () = an n + . . . + a1 + a0 .
Como a0 , a1 , . . . , an R temos que ai = ai para todo i . Assim, pelas propriedades de conjugao de
nmeros complexos,
0 = f () = an n + . . . + a1 + a0 = f (),
mostrando que f () = 0.
Assim, as razes que no so reais de um polinmio em R[x ] aparecem aos pares. Como conseqncia,
essas razes daro origem a termos quadrticos na sua fatorao:
2.28 Teorema. Seja f um polinmio com coeficientes reais e grau 1. Ento existem polinmios f1 , . . . , fn
R[x ], n 1, tais que
f = f1 fn ,
em que cada fi tem grau 1 ou quadrtico com discriminante negativo.
Prova: Ser feita por induo em d = gr(f ).
Se d = 1, no h o que demonstrar.
Seja f um polinmio de grau d , com d 2. Suponhamos que o resultado seja verdadeiro para todo
TPICOS DE LGEBRA
65
polinmio de grau s , com 1 s d 1. Se f possuir uma raiz real, ento
f = (x a)g em que gr(g ) = d 1.

Portanto, pela induo, g se escreve na forma anterior e, conseqentemente, o mesmo acontece com f .
Se f no possuir raiz real ento, pelo lema anterior, existe = a + bi com b 6= 0, tal que e so razes
de f . Logo,
h = (x )(x ) = (x a)2 + b 2
um polinmio com coeficientes reais. Pelo Lema da Diviso de Euclides, existem q , r R[x ] tais que
f = hq + r , com r = a1 x + a0 .
Substituindo nessa equao, temos
f () = h()q () + r ().
Como raiz de f e h obtemos
r () = 0,
ou seja,
a1 + a0 = 0, com a0 , a1 R e C \ R.
Logo, a0 = a1 = 0 e, portanto r = 0, mostrando que f = hq , com q R[x ] e gr(q ) = d 2.
Se d = 2, ento q constante e o teorema est provado.
Se d 2 1, ento, pela hiptese de induo, q possui uma fatorao como antes e, conseqentemente,
o mesmo acontece com f .
Uma conseqncia imediata desse resultado o corolrio seguinte.

2.29 Corolrio. Todo polinmio f R[x ], de grau mpar, possui pelo menos uma raiz real.
No caso particular em que os coeficientes do polinmio f so nmeros inteiros, temos um critrio que
permite estabelecer se f possui razes racionais. Vejamos:
2.30 Proposio. Seja f = an x n + . . . + a1 x + a0 um polinmio de grau n 1 com coeficientes inteiros. Se
a
b
for uma raiz racional de f , com mdc(a, b ) = 1, ento a | a0 e b | an .

Prova: Se
a
for uma raiz de f , temos que
b
an
an1
a
an
+ an1 n1 + + a1 + a0 = 0.
n
b
b
b
Portanto,
an an + ban1 an1 + + b n1 a1 a + b n a0
=0
bn
( 2.5)
e, colocando a em evidncia, obtemos
ak + b n a0 = 0,
em que k = an an1 + + b n1 a1 . Portanto a | b n a0 e, como mdc(a, b ) = 1, conclumos que a | a0 .
De maneira anloga, colocando b em evidncia na equao 2.5 e fazendo j = an1 an1 + + b n1 a0 ,
66
obtemos
an an + bj = 0,
donde conclumos, de maneira anloga, que b | an .
A Proposio 2.30 nos permite definir candidatos possveis para as razes racionais do polinmio. Entretanto, pode acontecer que nenhum desses candidatos seja efetivamente uma raiz do polinmio.
Em particular para polinmios mnicos temos:
2.31 Corolrio. Seja f = x n + an1 x n1 + . . . + a1 x + a0 um polinmio de grau n 1 com coeficientes inteiros.
Se a Z for raiz de f , ento a | a0 .
ER 20. Determine as razes racionais de
f = 3x 3 + 2x 2 7x + 2.
Soluo: De acordo com a Proposio 2.30 as possveis razes racionais de f so:
1 2
, , 2 e 1.
3 3
Substituindo esses valores em f , verificamos que apenas
2, 1 e
1
3
so razes de f . Como f tem grau igual a 3, estas so todas as razes de f .
2.6.1
Exerccios Propostos
EP 2.14. Mostre o corolrio 2.26.

EP 2.15. Seja f C[x ] tal que f (i ) = f (i ) = 0. Determine o resto da diviso de f por x 2 + 1.
2.7
Fatorao em Polinmios Irredutveis
Os polinmios irredutveis desempenham em K[x ] papel anlogo ao dos nmeros primos na fatorao dos
inteiros. J vimos a fatorao de polinmios quando K = C e K = R. Nesta seo tomaremos sempre K um
corpo qualquer.
2.32 Definio. Dizemos que um polinmio p K[x ] irredutvel sobre K se, e somente se,
(i) gr(p ) > 0;
(ii) se p se escreve como um produto p = f g , em que f , g K[x ], ento necessariamente gr(f ) = 0 ou
gr(g ) = 0.
Se gr(p ) 1 e p no for irredutvel sobre K, dizemos que ele redutvel sobre K.
TPICOS DE LGEBRA
67
J vimos que as constantes no-nulas dividem qualquer polinmio em K[x ]. Portanto, se c K for uma
constante no-nula, ento f K[x ] admite a fatorao trivial
f =c
1
f
c
Assim, os polinmios irredutveis so aqueles que apenas possuem fatoraes triviais.

ER 21. Mostre que, independente do corpo K, qualquer polinmio de grau 1 irredutvel em K[x ].
Soluo: Com efeito, seja p = ax + b K[x ] um polinmio de grau 1. Obviamente ele satisfaz (i) e, se
p = g h, ento 1 = gr(g ) + gr(h). Logo, gr(g ) = 0 ou gr(h) = 0.

ER 22. Mostre que o polinmio f = x 3 1 R[x ] redutvel sobre R.
Soluo: De fato, gr(f ) = 3 > 0 e f = (x 1)(x 2 + x + 1).
ER 23. Mostre que falsa a afirmao: um polinmio irredutvel em R[x ] irredutvel em em C[x ].
Soluo: Podemos escrever em C[x ] que p = (x + i )(x i ). Portanto, ele redutvel. Assim, a irredutibilidade de um polinmio depende do corpo considerado.
Exemplo 2.13. O polinmio p = x 2 2 irredutvel sobre Q, pois - como se verifica imediatamente - ele no
possui razes racionais.
J vimos que os nicos polinmios irredutveis sobre C so os polinmios de grau 1, enquanto que os
polinmios irredutveis sobre R so os de grau 1 ou os de grau 2 com discriminante negativo. Em um corpo
arbitrrio K temos o seguinte resultado:
2.33 Teorema. Todo polinmio em K[x ], de grau maior do que ou igual a 1, irredutvel ou se escreve como
produto (finito!) de polinmios irredutveis.
Prova: A demonstrao ser feita por induo no grau do polinmio.
O resultado verdadeiro para polinmios de grau 1, pois estes so irredutveis.
Seja f um polinmio de grau n, e suponhamos o resultado verdadeiro para polinmios de grau menor do
que n.
Se f for irredutvel no h nada a fazer. Se f for redutvel, ento existem polinmios g , h K[x ] tais que
f = g h, com gr(g ) > 0 e gr(h) > 0. Como gr(f ) = gr(g ) + gr(h) e gr(f ) = n, temos que gr(g ) < n e gr(h) < n.
Pela hiptese de induo, g e h se escrevem como produto de polinmios irredutveis (ou so irredutveis).
Portanto, f tambm pode ser escrito como produto de polinmios irredutveis.
Nota 13. Note que a demonstrao apresentada anloga do resultado correspondente para inteiros.
Se p K[x ] for irredutvel e f K[x ] dividir p , ento f = c ou f = cp , para alguma constante no-nula
c K.
No caso de nmeros inteiros, temos que, se p for primo e a Z dividir p , ento a = 1 ou a p . Assim, os
polinmios constantes no-nulos desempenham em K[x ] papel anlogo ao dos elementos {1, 1} em Z.
(Observe que {1, 1} o conjunto dos elementos invertveis de Z, assim como os polinmios constantes
no-nulos so os elementos invertveis de K[x ].)
A semelhana entre nmeros primos em Z e polinmios em K[x ] pode ser reforada pelo resultado seguinte.
68
2.34 Proposio. Sejam p , f , g K[x ], com p irredutvel. Se p | f g , ento p | f ou p | g .

Prova: Suponhamos que p | f g e que p f . Ento f e p so primos entre si, isto , mdc(f , p ) = 1
(verifique!).
Logo, existem polinmios a, b K[x ] tais que af + bp = 1.
Multiplicando essa igualdade por g , temos af g + bpg = g .
Como p | f g e p | bpg , conclumos que p | g .
O prximo resultado uma generalizao da proposio anterior.

2.35 Corolrio. Seja p K[x ] um polinmio irredutvel. Se p dividir o produto f1 f2 . . . fn , em que cada fi K[x ]
e n 1, ento p divide um dos fatores fi .
J mostramos que todo nmero inteiro a pode ser escrito de maneira nica como
a = 1p1 p1 . . . pn ,
em que p1 , . . . , pn so nmeros primos positivos. Se no tivssemos exigido que os primos fossem positivos,
teramos unicidade a menos de sinal (por exemplo, 6 = 2 3 e 6 = (2)(3)).
Da mesma forma, polinmios podem ser decompostos de maneira nica em fatores irredutveis, a menos
de multiplicao por constantes. Aqui temos novamente os polinmios de grau zero desempenhando o mesmo
papel dos inteiros 1 (unidades). Por exemplo, em R[x ],
x 2 + 5x + 6 = (x 2)(x 3) =
x
1 (2x 6).
Observe que, toda vez que p for um polinmio irredutvel em K[x ] e c K uma constante no-nula, ento
cp tambm ser irredutvel sobre K.
Portanto, se p = an x n + . . . + a1 x + a0 for um polinmio irredutvel sobre K, ento (1/an )p um polinmio
mnico e irredutvel. Apresentaremos a unicidade da fatorao em polinmios irredutveis em termos de
polinmios mnicos. A existncia de uma fatorao j foi provada no Teorema 2.33.
2.36 Teorema. (Unicidade da Fatorao) Seja f um polinmio em K[x ] no-constante. Ento f pode ser
escrito de maneira nica como
f = cp1 pn ,
em que c K uma constante e p1 , . . . , pn K[x ] so polinmios mnicos irredutveis sobre K.
Prova: Considere a afirmativa P (n): se um polinmio em K[x ], no-constante, possui uma decomposio
em n fatores mnicos irredutveis, ento essa decomposio nica, a menos da ordem dos fatores.
A afirmativa obviamente verdadeira para n 1.
Suponhamos a afirmativa verdadeira para n 1 e consideremos um polinmio f que possui uma decomposio em n fatores:
f = cp1 p2 . . . pn ,
em que pi mnico irredutvel para todo i e c K.
Se f = kq1 q2 . . . qt for outra decomposio de f com k K e qj K[x ] mnico irredutvel (1 j t ),
ento
f = cp1 p2 . . . pn = kq1 q2 . . . qt .
TPICOS DE LGEBRA
69
Devemos ter c = k , pois essas constantes so iguais ao coeficiente do termo de maior grau de f . Alm
disso, como p1 | q1 q2 . . . qt , decorre do corolrio anterior que p1 | qi para algum i . Reordenando os fatores, se
necessrio, podemos supor que p1 | q1 . Como q1 irredutvel e p1 no constante, conclumos que p1 = q1 ,
pois ambos os polinmios so mnicos.
Cancelando as constantes c = k e os polinmios p1 = q1 em ambos os lados da igualdade, obtemos
p2 pn = q2 qt .
Tomando h = p2 . . . pn , temos duas fatoraes para h, uma delas com n 1 fatores mnicos irredutveis. A
hiptese de induo pode ser aplicada: conclumos que n = t e, aps reordenao dos termos, se necessrio,
que pi = qi para i = 2, . . . , n. Isso implica imediatamente o afirmado.
Da mesma forma que nos inteiros, podemos agrupar os polinmios iguais na fatorao de um polinmio
f K[x ] e escrev-lo como
f = cp1e1 p2e2 . . . prer ,
em que pi 6= pj se i 6= j , e ei um inteiro positivo, denominado multiplicidade do fator pi . Quando ei > 1,

dizemos que pi um fator mltiplo de f .
Se f possui um fator mltiplo de grau um, sabemos que a raiz correspondente uma raiz mltipla de f .
2
Exemplo 2.14. Em R[x ],
f = (x 2 + 2)2 (x + 1)3
tem x 2 + 2 e x + 1 como fatores irredutveis mltiplos e 1 como raiz de multiplicidade 3 de f .
2.7.1
Exerccios Propostos
EP 2.16. Mostre que, se p K[x ] for irredutvel e c K uma constante no-nula, ento cp irredutvel sobre
K.
EP 2.17. O polinmio
p = 6x 3 + 10x 2 + 30x + 8 R[x ] fatora-se como p = (x + 2)(x + 4)(3x + 1) ou
1
. Por que isso no contradiz a unicidade da fatorao do polinmio?
p = 3(x + 2)(x + 4) x +
3
EP 2.18. Fatore cada um dos seguintes polinmios em produtos de polinmios irredutveis sobre Q, R, C:
(a) p = x 4 + 1;
(b) p = x 4 4x 2 x + 2.
70
Grupos
BLOCO 02
Grupos, Subgrupos e
TEMA 03
Homomorfismos.
Teoria de Grupos
Introduo
A teoria de grupos foi, inicialmente, desenvolvida por Arthur Cayley. Em seguida, grandes matemticos,
como Lagrange e Ruffini, desenvolveram essa rea da matemtica, mas foi Evariste Galois quem primeiro
utilizou a terminao grupo para representar essa mais nova estrutura da lgebra. Tambm de sua autoria
a Teoria de Galois em que a teoria de grupos uma ferramenta de suma importncia.
Neste tema, veremos a definio de grupo e algumas estruturas algbricas relacionadas a grupos.
3.1
Grupos
3.1 Definio. Um conjunto G munido com a operao G G G (a, b ) 7 a b um grupo se satisfaz as

seguintes condies:
(i) a operao associativa, ou seja, a (b c ) = (a b ) c ;
(ii) existe elemento neutro, ou seja, e G tal que a e = e a = a;
(iii) todo elemento possui elemento inverso, ou seja, a G , b G , tal que a b = b a = e . Tal elemento b
denotado por a1 e chamado de elemento inverso de a.
Caso a operao seja comutativa, a b = b a a, b G , dizemos que o grupo comutativo ou abeliano.

Observe que um grupo composto por dois elementos: um conjunto e uma operao. A notao usual
(G , ), mas denotaremos o mesmo grupo por G com o intuito de simplificar a linguagem. Da mesma forma,
usaremos ab ao invs de a b .
Exemplo 3.1. Z um grupo aditivo infinito.
Exemplo 3.2. Se n 1 um nmero inteiro, ento o conjunto Zn dos inteiros mdulo n, um grupo aditivo
contendo exatamente n elementos.
Exemplo 3.3. O conjunto S das simetrias espaciais de um tringulo eqiltero.
Seja P1 P2 P3 um tringulo eqiltero. Admitiremos que o centro do tringulo est na origem (caso contrrio
basta fazermos um movimento de translao). Sejam m1 , m2 e m3 as retas que passam pelas medianas do
tringulo.
TPICOS DE LGEBRA
71
P1
m3
m2
P2
P3
m1
As transformaes espaciais que conservam o tringulo so:

2 4
(i) id , R 23 , R 43 : as rotaes planas centradas na origem, no sentido anti-horrio, de ngulos zero,
e
,
3
3
respectivamente;
(ii) R1 , R2 , R3 : as rotaes espaciais de ngulo com eixos m1 , m2 e m3 , respectivamente.
P1
m3
P3
m2
P2
P3
m1
R2
P3
m2
P2
P1
m1
m3
R3
m2
m1
P1
P2
m3
Nesse caso, S = {id , R 23 , R 43 , R1 , R2 , R3 }, com a operao de composio de funes, um grupo.

Exemplo 3.4. Grupo das Permutaes do conjunto S .
Sejam S um conjunto no vazio e G = {f : S S ; f bijetiva}. Se a operao composio de funes,
isto , : G G G em que (g , f ) 7 g f , ento (G , ) um grupo chamado grupo das permutaes do
conjunto S . Observe que a identidade IS : S S tal que x 7 x .
Exemplo 3.5. Seja G um conjunto com dois elementos, G = {e , a}. Seja uma operao em G tal que
Essa a tabela de Cayley, em homenagem ao grande matemtico Arthur Cayley. Ela lida inicialmente
pela linha e depois pela coluna, ou seja,
e e =e
e a =a
ae =a
aa =e
A tabela de Cayley ilustra todas as operaes possveis entre os elementos de um grupo. Conseqentemente, a tabela de Cayley s utilizada para ilustrar grupos finitos. Alm disso, no interessante representar
um grupo com muitos elementos na tabela de Cayley, como mostra o exemplo a seguir.
Exemplo 3.6. Grupo dos inteiros mdulo 5
O grupo dos inteiros mdulo 5 obtido atravs da operao de mdulo entre dois nmeros. A operao
72
utilizada ser a soma de mdulos. Representemos esse grupo atravs da tabela de Cayley:
+
3.2 Definio. A ordem de um grupo G o nmero de elementos em G e ser denotada por |G |.

Observe que a tabela de Cayley muito til para grupos de ordem pequena, mas no muito operacional
caso a ordem do grupo seja muito grande.
Exemplo 3.7. Seja Mmn (R) o conjunto das matrizes m n com entradas reais. Ento, Mmn (R) um grupo
com relao operao soma. De fato, a associatividade trivial e a matriz nula o elemento neutro, enquanto
que a matriz A o elemento inverso da matriz A.
Exemplo 3.8. Seja, agora, Mn (R) o conjunto das matrizes invertveis n n com entradas reais. Ento, Mn (R)
um grupo com relao operao produto. De fato, a associatividade trivial e o elemento neutro a matriz
identidade, enquanto que A1 o elemento inverso da matriz A.
ER 24. Construa a tabela de Cayley para o grupo S3 .
Soluo: Inicialmente, construiremos os elementos do grupo S3 . Assim, seja C = {1, 2, 3}
id : C C , em que id (1) = 1, id (2) = 2 e id (3) = 3;
f : C C , em que f (1) = 2, f (2) = 1 e f (3) = 3;
g : C C , em que g (1) = 3, g (2) = 2 e g (3) = 1;
h : C C , em que h(1) = 1, h(2) = 3 e h(3) = 2;
m : C C , em que m(1) = 2, m(2) = 3 e m(3) = 1;
n : C C , em que n(1) = 3, n(2) = 1 e n(3) = 2.
Em geral, os elementos do conjunto das permutaes so denotados por:
em que a representa a imagem de 1, b representa a imagem de 2 e c representa a imagem de 3. Com isso,
8

9
=
< 1 2 3
1 2 3
1 2 3
1 2 3
1 2 3
1 2 3
S3 =
,
,
,
,
,
;
: 1 2 3
2 1 3
3 2 1
1 3 2
2 3 1
3 1 2
TPICOS DE LGEBRA
73
Vejamos como operar esses elementos:
f g (1) = f (g (1)) = f (3) = 3

f g (2) = f (g (2)) = f (2) = 1
f g (3) = f (g (3)) = f (1) = 2
logo, f g = n.
Por outro lado,

1 2
2 1
1 2
3 2
1 2
3 1
Ento, a tabela de Cayley :
Note que S3 no abeliano. Como a operao composio de funes no comutativa, Sn , em geral, no

abeliano.
Exemplo 3.9. Seja C um conjunto qualquer. Considere o conjunto Bij (C ) = {f : C C ; f bijeo}.
Mostre que Bij (C ) um grupo com a operao composio de funo.
Soluo: Para mostrarmos que (Bij (C ), ) um grupo, temos de verificar se satisfaz s 3 propriedades
de grupos. Assim,
i) Associatividade
Sejam f , g , h Bij (C ).
f (g h) = f g h = (f g ) h
ii) Elemento neutro
Como a operao utilizada a composio de funes, o elemento neutro a funo identidade, ou
seja,
id f = f id = f
iii Elemento inverso
74
O elemento inverso da funo f ser a funo inversa de f, ou seja,

(f )1 = f 1
Portanto, existe elemento inverso.
Como todas as propriedades so satisfeitas, (Bij (C ), ) um grupo.
Caso C seja finito, digamos C = n, Bij (C ) chamado grupo das permutaes de n elementos e denotado
por Sn . Nesse caso, |Sn | = n!
ER 25. Mostre que (A, +) em que A = {a + b 7; a, b Z}.

Soluo: Para mostrarmos que (A, +) um grupo, temos de verificar se satisfaz s 3 propriedades de
grupos. Assim,
i) Associatividade:
Sejam a, b , c , d , m, n Z.
(a + b 7) + [(c + d 7) + (m + n 7)] = (a + b 7) + [(c + m + (d + n) 7)]
= (a + c + m) + (b + d + n) 7
= [(a + c ) + (b + d ) 7] + (m + n 7)
= [(a + b 7) + (c + d 7)] + (m + n 7)
ii) Elemento neutro:
Como a operao utilizada a soma, o elemento neutro o zero, ou seja,
(0 + 0 7) + (a + b 7) = (a + b 7) + (0 + 0 7) = (a + b 7)
iii Elemento inverso:
Sejam a, b Z e m (A, +). Ento, se m for o inverso de (a + b 7), temos
(a + b 7) + m = 0 m = (a b 7) m = (a + b 7).
Portanto, existe elemento inverso e o elemento inverso de (a + b 7) (a + b 7).

Como todas as propriedades so satisfeitas, (A, +) um grupo.
3.1.1
Exerccios Propostos
EP 3.1. Mostre que todos os exemplos dados no decorrer do tema so grupos.

EP 3.2. Prove que os elementos neutro e inverso so nicos.
EP 3.3. Mostre que S no comutativo.
TPICOS DE LGEBRA
75
EP 3.4. Desenvolva o grupo das simetrias do quadrado.

EP 3.5. Desenvolva a tabela de Cayley para um grupo com 3 elementos.
EP 3.6. Prove que Sn abeliano se e, somente se, C possui 1 ou 2 elementos.
3.2
Subgrupos
3.3 Definio. Seja G um grupo. Um subconjunto no vazio H de G um subgrupo de G (denotamos H < G )

quando, com a operao de G , o conjunto H um grupo.
Observe que as o elemento neutro de H o mesmo elemento neutro de G . Alm disso, a associatividade
sempre vlida, pois G grupo.
3.4 Teorema. Seja H um subconjunto no vazio do grupo G . Ento H um subgrupo de G se, e somente se,
as duas condies seguintes so satisfeitas:
(i) h1 h2 H , h1 , h2 H ;
(ii) h1 H , h H .
Prova: Suponhamos que H seja um subgrupo de G . A primeira condio claramente satisfeita. Agora,
seja h H ; sendo H um grupo, h possui um inverso em H ; mas como o elemento inverso nico, tal inverso
necessariamente igual ao inverso de h G , ou seja, necessariamente igual a h1 ; logo h1 H e a

segunda condio satisfeita.
Reciprocamente, suponhamos que as duas condies sejam satisfeitas. A associatividade sempre
satisfeita como visto anteriormente.
A existncia do elemento inverso garantida pela segunda condio. Com isso, se h H , ento h1 H
e, pela primeira condio, e = hh1 H , conseqentemente, o elemento neutro pertence a H .
Exemplo 3.10. Se G um grupo, ento {e } e G so grupos.

Exemplo 3.11. (2Z, +) um subgrupo de (Z, +), assim como (nZ, +) em que n um nmero inteiro.
Exemplo 3.12. {id , R1 } e {id , R 23 , R 43 } so subgrupos de S .
Exemplo 3.13. Sejam H e K subgrupos de G , ento H
K subgrupo de G .
ER 26. Seja G um grupo qualquer. Mostre que o subconjunto Z (G ) = {x G ; xg = g x , g G } um

subgrupo de G .
Soluo: De fato, Z (G ) 6= , pois ex = xe , x G , logo e Z (G ). Alm disso, se a, b Z (G ), ento
abx = axb = xab = ab Z (G ). Por fim, temos que se a Z (G ), ento

ax = xa = axa1 = xaa1 a1 axa1 = a1 xe exa1 = a1 x xa1 = a1 x
logo, a1 Z (G ). Conseqentemente, Z (G ) um subgrupo de G chamado centro de G .
76
ER 27. Mostre que todo subgrupo de (Z, +) da forma (nZ, +).
Soluo: Seja H um subgrupo qualquer de G . Se H = {0}, ento H = 0Z. Podemos, agora, supor que
H 6= {0}.
Seja n = min{x H ; x > 0}). Como n H e como H um subgrupo, temos nZ H .
Reciprocamente, seja h H ; pelo algoritmo da diviso, existem q , r Z tais que h = qn + r com
0 r < n;como h, n H , ento r H tambm; pela minimalidade de n, temos que r = 0, pois r H e
0 r < n. Portanto h = qn, ou seja, h nZ.Logo, H = nZ.
ER 28. Desenvolva todos os subgrupos de Z6 .
Soluo: Observe que Z6 = {0, 1, 2, 3, 4, 5}. Para calcular os subgrupos, iremos partir de um elemento e
fazer todas as operaes possveis e identificar os elementos:
Seja A o subgrupo que possui 0 como elemento. Logo, 0 + 0 = 0 = 0 A.
Nesse caso, A = {0} e um dos subgrupos triviais. Alm disso, A chamado subgrupo gerado por 0 e
denotado por < 0 >.
Calculemos, agora, os subgrupos gerados pelos demais elementos:
Subgrupo gerado por 1:
1+1 =
2+1 =
3+1 =
4+1 =
5+1 =
logo, < 1 >= {0, 1, 2, 3, 4, 5} que o prprio conjunto Z6 .

2+2 =
4+2 =
logo, < 2 >= {0, 2, 4}.

3+3=0
logo, < 3 >= {0, 3}.
4+4 =
2+4 =
0
TPICOS DE LGEBRA
77
logo, < 4 >= {0, 2, 4} =< 2 >.

5+5 =
4+5 =
3+5 =
2+5 =
1+5 =
logo, < 5 >= {0, 1, 2, 3, 4, 5} = Z6 .

Portanto, os subgrupos gerados de Z6 so < 0 >, < 1 >= Z6 , < 2 > e < 3 >. Observe que estes so os
nicos subgrupos de Z6 .
ER 29. Calcule o centro dos grupos Z8 e de S3 .
Soluo: Como Z8 abeliano, temos que Z (Z8 ) = Z8 enquanto que, pela tabela de Cayley, temos que
Z (S3 ) = {e }.
3.2.1
Exerccios Propostos
EP 3.7. Mostre que todos os exemplos dados no decorrer do tema so subgrupos.

EP 3.8. Mostre que G abeliano se e, somente se, Z (G ) = G .
EP 3.9. Desenvolva os subgrupos de S3 .
3.3
Homomorfismo
3.5 Definio. Sejam (G , ) e (H , ) dois grupos. Uma funo f : G H um homomorfismo se ela

compatvel com as estruturas dos grupos, ou seja, se
f (a b ) = f (a) f (b ).
Exemplo 3.14. I d : (G , ) (G , ), I d (g ) = g , um homomorfismo chamado identidade.
Exemplo 3.15. e : G H , e (g ) = eH para todo g G , um homomorfismo chamado trivial.
Exemplo 3.16. Seja g G fixo. Ento, f : G G , f (x ) = g g 1 , um homomorfismo.
3.6 Teorema. Seja f : G H um homomorfismo de grupos. Ento:
1) f (eG ) = eH . De fato, f (eG ) = f (eG eG ) = f (eG ) f (eG ).
2) f (x 1 ) = (f (x ))1 . De fato, eH = f (eG ) = f (x x 1 ) = f (x ) f (x 1 ).
3) Nuc(f ) := {x G ; f (x ) = eH } um subgrupo de G chamado ncleo do homomorfismo f .
78
4) Im(f ) = {y H ; y = f (g ) para algum g G } um subgrupo de H , chamado imagem de f .

5)Se K um subgrupo de G , ento f (K ) um subgrupo de H .
6) A composio de homomorfismos um homomorfismo, isto , sejam f : (G , ) (H , )) e h : (H , )
(K , )) dois homomorfismos de grupos. Ento a composio h f : (G , ) (K , ) um homomorfismo.
Prova: Inicialmente, temos que eG Nuc(f ). De fato, f (eG ) = eH , logo Nuc(f ) 6= . Para mostrarmos
que Nuc(f ) um subgrupo de G , basta mostrarmos a propriedade de fechamento e a existncia do elemento
inverso. Assim, sejam a, b Nuc(f ). Com isso, f (a b ) = f (a) f (b ) = eH eH = eH , logo (a b ) Nuc(f ).
Por outro lado, eH = f (eG ) = f (a a1 ) = f (a) f (a1 ) = eH f (a1 ) = f (a1 ), logo f (a1 ) Nuc(f ) e,
conseqentemente, Nuc(f ) um subgrupo.
Sejam a, b G . h f (a b ) = h(f (a b ) = h(f (a) f (b )) = h(f (a)) h(f (b )) = h f (a) h f (b )). Logo,
h f : (G , ) (K , ) um homomorfismo.
ER 30. Seja n Z fixo. Mostre que n : (Z, +) (Z, +), n (z ) = nz , um homomorfismo. Mais geralmente,
se (G , ) um grupo abeliano, ento n : G G , (g ) = g n , um homomorfismo.
Soluo: Inicialmente, provemos que f est bem definida. Assim, se x D (f ) = Z, ento f (x ) = nx .

Por outro lado, se nx , ny I (f ) = Z tais que nx 6= ny , ento, pela lei do cancelamento, x 6= y . Portanto, f est
bem definida.
Sejam x , y Z. Ento (x + y ) = n(x + y ) = nx + ny = (x ) + (y ). Logo, a funo um homomorfismo
de grupos.
Sejam, ainda, a, b G . Ento (a b ) = (a b )n = an b n = (a)(b ). Logo, a funo um homomorfismo
de grupos.
3.3.1
Exerccios Propostos
EP 3.10. Considere os elementos 1 = (1, 0), 2 = (0, 1) e = (1, 1)
fi :
Z
2Z
0
Z
Z
2Z
2Z
. Mostre que
Z
Z
2Z 2Z
7 (0, 0)
7 1
um homomorfismo de grupos.
EP 3.11. Mostre que existe um homomorfismo de grupos entre S3 e S .
3.4
Isomorfismo
3.7 Definio. Seja f : G H um homomorfismo de grupos. Ento:

TPICOS DE LGEBRA
79
(a) f monomorfismo, se f injetora;

(b) f epimorfismo, se f sobrejetora;
(c) f isomorfismo, se f bijetora.
Nota 14. Se existe um isomorfismo entre dois grupos, dizemos que esses dois grupos so isomorfos e
denotamos por G H
Exemplo 3.17. O grupo (Z, +) isomorfo ao grupo (2Z, +). Mais geralmente, o grupo (Z, +) isomorfo ao
grupo (nZ, +).
Exemplo 3.18. O homomorfismo
fi :
Z
2Z
0
Z
Z
2Z 2Z
7 (0, 0)
7 1
um homomorfismo injetivo, ou seja, um monomorfismo.

ER 31. Seja f : Z Z2 . Mostre que f um epimorfismo. Mostre ainda, que g : Z Zn um epimorfismo.
Soluo: Inicialmente, construiremos a funo f . Nesse caso, faamos f (x ) = 0 se x for par ou f (x ) = 1
se x for mpar, ou seja, x 7 ( resto da diviso por 2). Mostremos que f definida dessa forma um
homomorfismo:
f (a + b ) = a + b = a + b = f (a) + f (b ).
Logo, f um homomorfismo. Basta mostrarmos que f sobrejetora, mas Z2 possui dois elementos 0 e 1
que so imagens, respectivamente, de 0 e 1. Portanto, f sobrejetora. Observe que f no injetora, afinal 0
e 2 possuem mesma imagem. O caso g : Z Zn anlogo e deixamos a cargo do leitor.
ER 32. Seja g G fixo. Mostre que f : G G , f (x ) = g g 1 , um isomorfismo.
Soluo: Sejam x , y G , tais que f (x ) = f (y ).
f (x ) = f (y ) g xg 1 = g y g 1 g 1 g xg 1 = g 1 g xg 1 exg 1 g = exg 1 g xe = ye x = y
Logo, f injetiva.
Por outro lado, seja a G . Ento, g 1 ag G e f (g 1 ag ) = g (g 1 ag )g 1 = eae = a, logo f sobrejetiva
e, portanto, isomorfismo.
3.4.1
Exerccios Propostos
EP 3.12. Mostre que S3 isomorfo a S .

EP 3.13. Seja um homomorfismo de grupos. Mostre que injetiva se, e somente se, Nuc () = {e }.
80
Outros Tipos de Grupos
TEMA 04
Grupos Cclicos
4.1
Potncias e Mltiplos
4.1 Definio. Seja G um grupo multiplicativo. Dado a G , define-se potncia m-sima de a, para todo inteiro
m, da seguinte maneira:
se m 0, por recorrncia da seguinte forma
a0 = e (elemento neutro de G );
am = am1 a se m 1.
se m < 0, am = (am )
1 1
ER 33. No grupo multiplicativo Mn (R) tomando o elemento a =
calcule a0 , a2 , a1 e a2 .
2 3
Soluo:
1 0
a0 =
0 1
a2 = a a =
a1 =
1
det a
1 1
2 3
11
adj(a)
a2 = (a2 )1 =
1
3
8 11
11 4
1
=
33 32
11 4
8
ER 34. No grupo multiplicativo Z5 (observe que este , de fato, um grupo pois 5 um nmero primo garantindo
0
assim que todos os elementos so invertveis com relao multiplicao), tomando o elemento 2, calcule 2 ,
2
2 ,2 ,2
e2
Soluo:
0
2 = 1, 2 = 2 2 = 4, 2 = 2 2 2 = 3, (2)1 = 3, (2)2 = (2 )1 = (4)1 = 4, etc.
ER 35. Dada a permutao a =
1 2
2 3
, calcule a0 , a2 , a3 e a1 .
TPICOS DE LGEBRA
81
Soluo:
a0 =
1 2
1 2
= elemento neutro de S3 ,
a2 = a a =
2 3
3 1
a3 = a2 a =
2 3
2 3
1 2
a2 = (a2 )1 =
1 2
3 1
1 2
2 3
1
1 2
2 3
1 2
2 3
2 3
2 3
3 1
, etc.
Da definio dada decorrem as seguintes propriedades:

(a) am an = am+n , a G e m, n Z;
(b) (am )n = amn , a G e m, n Z;
(c) am = (am )1 = (a1 )m , a G e m Z
Provaremos, a seguir, a primeira dessas propriedades. As outras deixaremos como exerccio.
4.2 Proposio. Dado um grupo multiplicativo G , se a G e m, n Z, ento am an = am+n .
Prova:
(I) n 0 e m + n 0. (Este caso ser tratado por induo sobre n).
n = 0 = am an = am a0 = am e = am = am+0 = am+n
Suponhamos am ar = am+r , onde r 0. Da
am ar +1 = am (ar a) = (am ar )a = am+r a = a(m+r )+1 = am+(r +1)

(II) Suponhamos agora que m e n so dois inteiros quaisquer. Tomemos um nmero inteiro p > 0 tal que
p + m > 0, p + n > 0 e p + m + n > 0. Ento , observando que ap ap = ap (ap )1 = e (como conseqncia

da definio) temos:
am+n = am+n (ap ap ) = (am+n ap )ap = a(m+n)+p ap = am+(n+p) ap .

Observe que na terceira igualdade acima foi usada a primeira parte da demonstrao. Aplicando novamente o resultado da primeira parte temos
am+(n+p) ap = (am (an ap ))ap = ((am an )ap )ap = (am an )(ap ap ) = (am an )e = am an .
2
82
Nota 15. Para um grupo aditivo G define-se mltiplo (ao invs de potncia) de um elemento a G da
seguinte maneira:
(a) m 0, por recorrncia assim
0a = e ( elemento neutro de G ) e ma = (m 1)a + a, se m 1;
(b) se m < 0, ento ma = (m)(a).
Exemplo 4.1. No grupo aditivo Z4 , tomando o elemento 3, temos:
0 3 = 0, 2 3 = 3 + 3 = 2, 3 3 = 3 + 3 + 3 = 1, 3 = 1, 2 3 = (2 3) = 2 = 2, etc .
O elemento ma chamado mltiplo de a segundo m. claro que nessa definio m Z. As propriedades
so anlogas s que apresentamos para potncias em grupos multiplicativos, ou seja,
(a) ma + na = (m + n)a;
(b) m(na) = (mn)a;
(c) (m)a = m(a) = (ma), m, n Z e a G .
4.1.1
Exerccios Propostos
EP 4.1. Construa os seguintes subgrupos:

(a) [1]+ em (Q, +)
4.2
(b) [3]+ em (Z, +)
(c) [3] em (Q , )
(d) [i ] em (C , )
Grupos Cclicos
4.3 Definio. Um grupo multiplicativo G se denomina grupo cclico se existe um elemento a G de maneira
que G = {am /m Z}. Notao G = [a]. O elemento a dito gerador de G .

ER 36. Mostre que o grupo multiplicativo G = {1, 1} cclico.
Soluo: G = {1, 1} cclico, uma vez que {(1)m /m Z} = {1, 1} = G .

Exemplo 4.2. O grupo multiplicativo dos nmeros racionais no cclico. claro que no existe um nmero
r
6= 0 do qual todos os nmeros racionais no nulos sejam potncias, pois isto acarretaria que o
racional
s
conjunto dos nmeros primos finito, o que absurdo.
Nota 16.
Todo grupo cclico abeliano pois am an = am+n = an+m = an am .
Um mesmo grupo cclico pode conter mais do que um gerador. O leitor convidado a provar essa
afirmao num dos exerccios propostos.
Se G um grupo aditivo cclico gerado por a, ento G = {ma/m Z} = [a]+ .
TPICOS DE LGEBRA
83
4.4 Proposio. Dado um grupo multiplicativo G , se a G , ento o subconjunto H = {am /m Z} um

subgrupo de G .
Prova: Como a0 = e , ento e H . Por outro lado, se x , y H , ento existem m, n Z de modo que
x = am e y = an . Da
xy 1 = am an = amn H .
2
A proposio anterior nos diz que todo elemento a de um grupo G um gerador de um subgrupo cclico. Tal
subgrupo ser indicado por [a] notao que coerente com a Definio 4.3. Assim: [a] = {am /m Z}.
Exemplo 4.3. No grupo multiplicativo dos complexos: [i ] = {1, 1, i , i }.
Exemplo 4.4. No grupo multiplicativo dos reais: [1] = {1, 1}.
1 1
Exemplo 4.5. No grupo multiplicativo dos racionais: [2] = . . . , , , 1, 2, 4, . . . .
4 2
Exemplo 4.6. No grupo aditivo dos inteiros: [1]+ = [1]+ = Z o que significa que Z cclico.
Exemplo 4.7. No grupo S3 se a =
4.2.1
1 2
2 1
, [a] = {e , a} (Verifique!).
Grupos Cclicos Infinitos
Seja G um grupo multiplicativo cujo elemento neutro indicaremos por e . Suponhamos que a seja um elemento de G com a seguinte caracterstica:
am = e m = 0.
O elemento 2 no grupo multiplicativo dos reais tem essa propriedade j que
2m = 1 m = 0.
Nesse caso, vale a seguinte proposio:
4.5 Proposio. A aplicao f : Z [a], dada por f (m) = am , m Z, um isomorfismo do grupo aditivo Z
no grupo [a].
Prova: f (m + n) = am+n = am an = f (m)f (n), m, n Z , ou seja, f homomorfismo. Temos que
N (f ) = {m Z/am = e } = {0}, devido hiptese subjacente ao caso que estamos considerando. assim, f
injetivo. bvio que f sobrejetivo: todo ar [a] provm de r atravs de f .
4.6 Definio. Dado um elemento a de um grupo multiplicativo G , se
am = e m = 0
dizemos que o elemento a tem perodo zero (ou ordem zero) e que o grupo [a] um grupo cclico infinito.
Exemplo 4.8. O elemento 2 tem perodo zero no grupo multiplicativo dos reais, conforme j vimos. O
isomorfismo entre Z e [2] pode ser assim visualizado:
1 1
Z = {. . . , 2, 1, 0, 1, 2, . . .} [2] = . . . , , , 1, 2, 4, . . . .
4 2
84
4.2.2
Grupos Cclicos Finitos
Analisemos, a partir de agora, a possibilidade contrria considerada anteriormente, ou seja, a um elemento de um grupo multiplicativo G e m Z, m 6= 0, de modo que am = e (elemento neutro de G ). Neste caso
am = (am )1 = e 1 = e .
Logo, podemos dizer, com a hiptese considerada agora, que existe um nmero inteiro r > 0, de modo que
a = e.
r
4.7 Definio. O menor nmero inteiro h > 0 tal que ah = e chama-se perodo ou ordem do elemento a.
Notao: o (a) = h.
Exemplo 4.9.
(i) O elemento i C tem perodo 4 porque i 1 = i , i 2 = 1, i 3 = i , i 4 = 1.
(ii) O perodo do elemento (1) no grupo multiplicativo Q 2 pois (1)1 = 1, (1)2 = 1.
(iii) O perodo do elemento a =
1 2
2 1
no grupo S3 2. A razo a seguinte:
a1 = a, a2 =
2 3
1 3
1 2
2 1
2 3
2 3
=e
4.8 Proposio. Seja a um elemento de um grupo multiplicativo G . Se a ordem de a h > 0, ento [a] um
grupo finito de ordem h dado por [a] = e , a, a2 , . . . , ah1 .
Prova: Mostraremos primeiro que o conjunto e , a, . . . , ah1 tem exatamente h elementos. De fato:
0 i < j < h e a i = a j 0 < j i < h e a j i = e ,
um absurdo, pois o (a) = h. Logo, no h elementos iguais nesse conjunto e so h os seus elementos.
Mostraremos agora que [a] = e , a, a2, . . . , ah1 para o que suficiente mostrar que o primeiro desses
conjuntos est contido no segundo. Ora, x [a], existe m Z de maneira que x = am . Usando o algoritmo
da diviso em Z com relao aos elementos m e h temos
q , r Z/m = hq + r com 0 r < h.
Da:
x = am = ahq+r = ahq ar = (ah )q ar = e q ar = ear = ar .
Como 0 r < h, ento x e , a, a2 , . . . , ah1 .
A proposio que acabamos de provar nos leva ao fato que, se o perodo de um elemento a de um grupo G
h > 0, ento a ordem do subgrupo gerado por a tambm h : o (a) = o ([a]).
4.9 Definio. Seja G = [a] um grupo cclico. Dizemos G um grupo cclico finito se o perodo do elemento a
for um nmero natural h > 0. Pelo que j vimos claro que neste caso G = e , a, a2 , . . . , ah1 .
4.10 Proposio. Seja a um elemento de perodo h > 0 de um grupo G . Ento: am = e h | m.
Prova: Dado m Z, existem q , r Z de modo que m = hq + r com 0 r < h. Da:
e = am = ahq+r = (ah )q ar = e q ar = ear = ar .
TPICOS DE LGEBRA
85
Como r < h, ento r = 0 (pois o perodo de a h). Assim, m = hq e h | m.

Reciprocamente, se h | m, ento existe q Z de maneira que m = hq . Portanto,
am = ahq = (ah )q = e q = e .
2
4.11 Proposio. Seja G um grupo cclico finito de ordem h. Ento G isomorfo ao grupo aditivo Zh .
Prova: Se a gerador de G , ento G = e , a, a2 , . . . , ah1 . Consideremos a correspondncia s 7 as

de Zh em G . Trata-se de uma aplicao injetora porque
s = t s t (mod h) (q Z/s t = hq ) as t = ahq = e as = at .

claro que uma aplicao sobrejetora. Para mostrar que um homomorfismo vamos cham-la de f .
Ento
f (s + t ) = f (s + t ) = as +t = as at = f (s )f (t ), s , t Zh .
2
Esta proposio significa que quando tivermos de pensar em grupos cclicos finitos podemos pensar em
grupos aditivos de classe de restos.
4.2.3
Exerccios Propostos
EP 4.2. Ache um grupo de ordem 4 cclico e um no cclico.

EP 4.3. Mostre que (Zm , +) cclico para todo m > 1.
EP 4.4. Seja G = [a] um grupo cclico de ordem h. Mostre que: at G um gerador de G mdc(h, t ) = 1.
EP 4.5. Mostre que todo grupo cclico infinito tem dois e somente dois geradores.
4.3
Grupos Gerados Por Subconjuntos
Seja G um grupo multiplicativo. Dado um subconjunto no vazio L G , vamos construir, a partir de L, um

outro subconjunto de G o qual indicaremos por [L].
Temos que
[L] = {a11 a22 . . . att /t 1, a1 , . . . , at L e 1 , . . . , t Z}
claro que [L] 6= pois, inclusive, L [L] (verifique). Mostraremos que [L] um subgrupo de G . De fato,
dados x , y [L], ento
x = a11 a22 . . . att e y = b11 b22 . . . bss , onde ai , bj L e i , j Z.

Da
xy 1 = a11 . . . att bss . . . b11

o que significa que xy 1 [L].
86
Logo [L] um subgrupo de G . o menor subgrupo de G que contm L, isto , dado um subgrupo K de G ,
se L K , ento [L] K .
claro, por outro lado, que se L = {a}, ento [L] = {am /m Z} o subgrupo cclico gerado por a.
4.12 Definio. O grupo [L] obtido por intermdio das consideraes anteriores chamado subgrupo gerado
por L. Quando existe um subconjunto finito e no vazio L de modo que [L] = G , dizemos que o grupo G um
grupo de tipo finito.
Exemplo 4.10.
(i) Todo grupo cclico de tipo finito.
(ii) Um grupo diedral D2n = e , a, . . . , an1 , b , ba, . . . , ban1 gerado por L = {a, b } .
Subgrupos Normais e Grupos Quocientes

4.4
Classes Laterais
4.13 Definio. Seja H um subgrupo de um grupo (G , ). Dado a G indicaremos por a H (respectivamente

por H a) e chamaremos de classe lateral esquerda (respectivamente direita), mdulo H , definida por a, o
seguinte subconjunto de G :
a H = {a x /x H }
(respectivamente, H a = {x a/x H }). Se G um grupo comutativo claro que a H = H a, a G .
Exemplo 4.11. Sejam o grupo multiplicativo G = {1, i , 1, i } e seu subgrupo H = {1, 1}. Temos:
1H
{1 1, 1 (1)} = {1, 1} = H 1
(1) H
{(1) 1, (1) (1)} = {1, 1} = H (1)
i H
{i 1, i (1)} = {i , i } = H i
(i ) H
{(i ) 1, (i ) (1)} = {i , i } = H (i )
Exemplo 4.12. Sejam o grupo aditivo G = Z6 e seu subgrupo H = 0, 3 . Temos:

0+H
1+H
2+H
3+H
4+H
5+H
0 + 0, 0 + 3 = 0, 3 = H + 0
1 + 0, 1 + 3 = 1, 4 = H + 1
{2 + 0, 2 + 3} = {2, 5} = H + 2
3 + 0, 3 + 3 = 3, 0 = H + 3
4 + 0, 4 + 3 = 4, 1 = H + 4
5 + 0, 5 + 3 = 5, 2 = H + 5
Exemplo 4.13. Sejam G o grupo multiplicativo dos reais e H = {x R /x > 0}. Ento,
a > 0 = aH = H
a < 0 = aH = {x R /x < 0}.
TPICOS DE LGEBRA
87
4.4.1
Proposies Sobre Classes Laterais
Nas consideraes abaixo usaremos novamente a notao multiplicativa para indicar a lei de composio de
um grupo arbitrrio. A razo dessa escolha a mesma de sempre. Trabalhemos, ademais, com classes laterais
esquerda, uma vez que para o que temos em vista tanto faz usar classes direita ou esquerda. Inclusive
as demonstraes seriam anlogas com classes direita. Seja pois G um grupo multiplicativo e suponhamos
que H um subgrupo de G .
4.14 Proposio. A unio de todas as classes laterais mdulo H igual a G .
Prova: Seja e o elemento neutro de G . Ento e H . Logo todo elemento a G pertence classe aH
pois a = ae . Se cada elemento de G est numa classe lateral esquerda, mdulo H , nossa afirmao est
provada.
4.15 Proposio. ( a, b G )(aH = bH a1 b H ).

Prova: (=) Vimos na demonstrao anterior que a aH . Como aH = bH , ento a bH . Da existe
h H de modo que a = bh. Conclumos, portanto, que a1 b = h1 H .
(=) Como a1 b H , ento existe h H tal que a1 b = h. Da resulta que a = bh1 .

Seja y aH . Ento y = ah1 , onde h1 um elemento de H . Teremos, ento
y = ah1 = (bh1 )h1 = b (h1 h1 )

o que vem mostrar que y bH . Assim provamos que aH bH . claro que, tambm, bH aH . Portanto,
aH = bH .
4.16 Proposio. Sejam aH e bH duas classes laterais mdulo H genricas. Ento aH bH = ou aH = bH .

Prova: Suponhamos que exista x aH bH . Ento existem h1 , h2 H de forma que x = ah1 = bh2 .
Segue, ento, que a1 b = h1 h21 H . Pela proposio anterior podemos dizer que aH = bH .
4.17 Proposio. Toda classe lateral aH equipotente a H , isto , existe uma bijeo entre aH e H .
Prova: A aplicao f : H 7 aH dada por f (h) = ah, h H , uma bijeo pois f (h1 ) = f (h2 ) =
ah1 , = ah2 = h1 = h2 e dado ah aH evidente que ah a imagem de h pela aplicao f .
Nota 17. Das proposies acima podemos inferir que o conjunto das classes laterais esquerda, mdulo
H , forma uma partio em G , com a peculiaridade de que aqui as classes so conjuntos equipotentes.
Se o conjunto das classes laterais esquerda finito, o nmero de classes esquerda igual ao de
classes direita isto poderia ser provado mostrando que aH 7 Ha1 uma bijeo o que, alis, vale
em qualquer caso. No caso finito chamaremos de ndice de H em G o nmero de classes laterais mdulo
H em G . Notao: (G : H ).
Exemplo 4.14. Tomemos o grupo aditivo Z6 e consideremos o subgrupo H = 0, 2, 4 . As classes mdulo
H , esquerda ou direita, pois G comutativo, so
H = 0 + H = 0, 2, 4
e 1 + H = 1, 3, 5
j que as outras que poderiam ser construdas coincidem com uma dessas. Ento a partio de Z6 nesse caso
feita por duas classes, cada uma com 3 elementos. Logo (Z6 : H ) = 2.
88
4.4.2
Teorema de Lagrange
Continuaremos a usar neste item a notao multiplicativa. Mas os grupos aqui considerados sero finitos.
4.18 Teorema. [Lagrange] Seja H um subgrupo de um grupo finito G . Ento o (H ) | o (G ) e o (G ) = o (H )(G : H ).
Prova: Suponhamos (G : H ) = r e seja {a1 H , . . . , ar H } o conjunto de todas as classes laterais esquerda, mdulo H . Ento
a1 H . . . ar H = G .
Como cada elemento de G figura em uma nica dessas classes e como o nmero de elementos de cada
classe o (H ) pela proposio 4.17, ento
r o (H ) = o (G ).
Como r = (G : H ) o teorema est provado.
4.19 Corolrio. Sejam a G e H = [a]. Ento o perodo de a divide a ordem de G e o quociente nessa diviso
(G : H ).
Prova: Basta lembrar que o (a) = o (H ) e que, devido ao teorema, o (G ) = o (H )(G : H ).
4.20 Corolrio. Se a um elemento de G , ento ao (G ) = e .

Prova: Seja H = [a]. Ento o (G ) = o (H )(G : H ) = o (a)(G : H ). Mas ao (a) = e . Assim,
ao (G ) = (ao (a) )(G :H ) = e (G :H ) = e .

2
4.21 Corolrio. Todo grupo finito G , cuja ordem um nmero primo p , cclico e seus nicos subgrupos so
os triviais: G e {e }.
Prova: Como p > 1, ento existe a G tal que a 6= e . Logo H = [a] um subgrupo de G de ordem no
mnimo igual a 2: H contm e e a pelo menos. Como o (H ) | o (G ) e o (G ) um nmero primo, conclumos que
o (H ) = p . Da segue que H = G e, portanto, G cclico.

Por outro lado, como os subgrupos de G devem ter ordem 1 ou p (devido ao teorema), podemos afirmar
que G s comporta mesmo os subgrupos triviais.
4.4.3
Exerccios Propostos

EP 4.6. Determinar todas as classes laterais de H = 0, 2 no grupo aditivo Z4 .

EP 4.7. Determinar todas as classes laterais de 3Z no grupo aditivo Z.
EP 4.8. Se H um subgrupo de G tal que (G : H ) = 2, mostre que aH = Ha, a G .
EP 4.9. Mostre que so equipotentes os conjuntos das classes laterais esquerda e o das classes laterais
direita para todo subgrupo de um grupo G . ( Sugesto: considere (aH ) = Ha 1.)
TPICOS DE LGEBRA
89
4.5
Subgrupos Normais
Continuaremos considerando nesta seo grupos multiplicativos. Mas evidente que, mudada a notao,
os resultados que obteremos so vlidos em geral: por exemplo, para grupos aditivos.
4.22 Definio. Um subgrupo N de um grupo G se diz normal de G se, e somente se, xN = Nx , x G .
Notao: N G .
No caso de N ser subgrupo normal de G indicaremos por G /N o conjunto das classes laterais esquerda
(que o mesmo das classes laterais direita), mdulo H , em G . Se G comutativo todo subgrupo de G
normal.
4.23 Proposio. Seja N um subgrupo normal de G . Ento G /N fechado em relao lei multiplicao de
subconjuntos de G . Mais precisamente vale a igualdade (aN )(bN ) = (ab )N , a, b G .
Prova: x (ab )N n N /x = (ab )n x = (ae )(bn), onde e , n N x (aN )(bN ). Com isso
ficou provado que (ab )N (aN )(bN ). Para a incluso contrria, temos que x (aN )(bN ) n1 , n2 N /x =
(an1 )(bn2 ) = a(n1 b )n2 . Mas n1 b Nb = bN . Assim n N /n1 b = bn. Portanto,
x = a(bn)n2 = (ab )(nn2 ) (ab )N .

Isso nos garante a incluso (aN )(bN ) (ab )N concluindo a prova.
4.5.1
Exerccios Propostos
EP 4.10. Prove que se N G , a G e n N , ento existe um elemento n N tal que an = n a.

EP 4.11. Sejam M e N subgrupos normais de G . Mostre que M N e MN tambm o so.
4.6
Grupos Quocientes
Seja N um subgrupo normal de G . Observemos que

(a) (aN )(bN ) = (ab )N , a, b G ;
(b) [(aN )(bN )](cN ) = (aN )[(bN )(cN )], a, b , c G pelo item anterior;
(c) a G (aN )(eN ) = (eN )(aN ) = aN ;
(d) a G (aN )(a1 N ) = (a1 N )(aN ) = eN = N .
Todas essas propriedades nos mostra que (G /N , ) um grupo.
4.24 Definio. O grupo G /N obtido por meio das consideraes anteriores chamado grupo quociente de
G por N . claro que a existncia de G /N pressupe que N seja normal.

Exemplo 4.15. Se G = {1, i , 1, i } e H = {1, 1}, ento G /H = {H , iH }.
Exemplo 4.16. Se G = Z6 e H = 0, 3 ento, G /H = H , 1 + H , 2 + H .

90
4.6.1
Exerccios Propostos
EP 4.12. Determinar todos os subgrupos no triviais do grupo aditivo Z6 . Em cada caso construir o grupo
quociente.
EP 4.13. Construa a tbua do grupo quociente Z/2Z.
4.7
Teorema do Isomorfismo
Apresentaremos agora um dos resultados mais importantes da teoria de grupos: O Teorema do Isomorfismo.
Antes, vejamos um lema que ser usado na sua demonstrao.
4.25 Lema. Se f um homomorfismo do grupo G no grupo J , ento N (f ), onde N representa o ncleo de f ,

um subgrupo normal de G .
Prova: J sabemos que subgrupo. Temos de provar que xN = Nx , x G , onde N = N (f ).
y xN n N /y = xn n N /y = (xnx 1 )x .
Mas
f (xnx 1 ) = f (x )f (n)f (x 1 ) = f (x )u (f (x ))1 = u ,

em que u o elemento neutro de J . Isso significa que xnx 1 N . Portanto,
y = (xnx 1 )x Nx .
Mostramos, assim, que xN Nx . A incluso contrria concluda de forma anloga.
4.26 Teorema. [do Isomorfismo] Seja f um homomorfismo sobrejetor (epimorfismo) do grupo G no grupo J .
Se N = N (f ), ento G /N J .
Prova: Consideramos a relao aN f (a) de G /N em J . Trata-se de uma aplicao injetora porque
aN = bN a1 b N f (a1 b ) = u (elemento neutro de J ) (f (a))1 f (b ) = u f (a) = f (b ). Vamos

chamar essa aplicao de .
Dado y J , existe x G de modo que f (x ) = y . Tomando a classe xN , teremos (xN ) = f (x ) = y .

Ento tambm sobrejetora.
Finalmente, temos que: [(aN )(bN )] = [(ab )N ] = f (ab ) = f (a)f (b ) = (aN )(bN ).
TPICOS DE LGEBRA
91
Nota 18. A aplicao : G G /N dada por (a) = aN um homomorfismo de grupos pois (ab ) =
(ab )N = (aN )(bN ) = (a)(b ), a, b G . Este homomorfismo chamado homomorfismo cannico de G
sobre G /N e com ele podemos construir o seguinte diagrama de grupos e homomorfismos:
G /N
onde f = , pois
( )(a) = (aN ) = f (a), a G .
4.7.1
Exerccios Propostos
EP 4.14. Sejam G um grupo, H um subgrupo de G e N um subgrupo normal de G . Mostre que NH um

subgrupo de G e NH = HN .
EP 4.15. Seja T um subgrupo cclico e normal de G . Mostre que todo subgrupo de T subgrupo normal de
G.
Complemento sobre Anis

4.8
Anel
Sejam (x , y ) 7 x + y e (x , y ) 7 xy leis da adio e multiplicao num conjunto A 6= . Suponhamos que

(I) O conjunto A um grupo abeliano em relao primeira dessas leis (adio), isto :
(a) ( a, b , c A)(a + (b + c ) = (a + b ) + c )
(b) ( a, b , A)(a + b = b + a)
(c) Existe elemento neutro para essa adio. Ser ele indicado por OA ou apenas O , quando no
houver possibilidade de confuso: o zero do anel. Portanto, para todo a A, temos: a + 0 = a;
(d) Todo elemento de A admite um simtrico aditivo. Ou seja, para todo a A existe um elemento em
A, indicado por (a), de forma que a + (a) = 0;
(II) A segunda das leis consideradas (multiplicao) associativa:
( a, b , c A)(a(bc ) = (ab )c );
(III) A multiplicao distribuda em relao adio: ( a, b , c A)(a(b + c ) = ab + ac e (a + b )c = ac + bc ).
4.27 Definio. Nas condies expostas dizemos que o conjunto A um anel em relao adio e multiplicao consideradas. Ou ainda, que a terna ordenada formada pelo conjunto A, a adio e a multiplicao
(resumidamente (A, +, )) um anel. s vezes diremos apenas A um anel ou falaremos do anel A, por
simplificao de linguagem, mas isso pressupe, naturalmente, um par de leis de composio internas em A
(com as propriedades citadas) sobre as quais no h nenhuma dvida.
92
4.9
Exemplos Importantes de Anis
Exemplo 4.17. So exemplos clssicos de anis:
Anel dos inteiros (Z, +, );

Anel dos racionais: (Q, +, );
Anel dos reais: (R, +, );
Anel dos complexos: (C, +, ). As operaes aqui citadas so as usuais.
Exemplo 4.18. Os conjuntos nZ = {nq /q Z} (n N; n 1) so fechados em relao s operaes usuais
de Z, pois,
nq1 + nq2 = n(q1 + q2 ) e (nq1 )(nq2 ) = n(nq1 q2 ).

fcil provar (fica como exerccio) que, para cada n 1, os seis axiomas da definio dada se verificam.
Logo, temos a uma seqncia de anis: Z, 2Z, 3Z, . . .
Exemplo 4.19. Cada conjunto Zm = 0, 1, . . . , m 1 , m Z, m > 1, um anel em relao s operaes

j definidas para Zm
a + b = a + b e ab = ab, a, b Zm
As propriedades dessas duas leis, estudadas anteriormente, nos garantem que, de fato, (Zm , +, ) um
anel. O zero desse anel 0 e o oposto de um elemento a m a. Por simplicidade, escrevemos apenas
Zm = {0, 1, . . . , m 1} em vrias oportunidades. Quando assim procedemos, para operar com os elementos
de Zm devemos observar que a + b = resto na diviso euclidiana de a + b ( Z) por m e ab = resto na diviso
euclidiana de ab ( Z) por m.
Por exemplo, ao trabalhar em Z4 poderemos indicar os quatro elementos deste conjunto apenas por 0, 1, 2
e 3, ou seja, Z4 = {0, 1, 2, 3}. Nessas condies teremos, por exemplo, 2 + 2 = 0 e 2 3 = 2.
Exemplo 4.20. Anis de Matrizes.
Consideremos os conjuntos Mn (Z)( n 1). J descrevemos grupos aditivos de matrizes e os grupos
lineares. L lembramos uma srie de propriedade sobre matrizes quadradas: o suficiente para podemos dizer
agora que cada Mn (Z) um anel em relao adio e multiplicao de matrizes n n (Verifique!).
Analogamente so anis: Mn (Q), Mn (R) e Mn (C).
De um modo geral, se A um anel, podemos construir o conjunto Mn (A) das matrizes n n sobre A e
transformar este conjunto num anel: s generalizar o que se faz, por exemplo, com Mn (Z).
TPICOS DE LGEBRA
93
Referncias Bibliogrficas
[1] DOMINGUES, Higino H. & Fundamentos da Aritmtica. So Paulo: Atual Editora, 1991.
[2] DOMINGUES, Higino H. & IEZZI, Gelson; lgebra moderna. So Paulo: Atual Editora, 1982.
[3] MONTEIRO, L. H. Jacy; Iniciao s Estruturas Algbricas. So Paulo: Nobel, 1982.
[4] BOYER, Carl B.; Histria de Matemtica. 2a edio. So Paulo: Edgard Blucher, 1996.
[5] GRUPO DE LGEBRA, ; Introduo ao Estudo dos Polinmios. Belo Horizonte: UFMG, 1998.
[6] GRUPO DE LGEBRA, ; Introduo Teoria dos nmeros. Belo Horizonte: UFMG, 1998.
[7] AYRES JR., Frank; lgebra Moderna. 1a edio. So Paulo: McGraw-Hill do Brasil, 1971.
[8] FERNANDES, ngela Maria Vidigal & GONALVES, Mirian Buss; Fundamentos de lgebra. Belo Horizonte: UFMG, 2005.
94
FTC-EAD
Faculdade de Tecnologia e Cincias Educao a Distncia
Democratizando a educao.
www.ead.ftc.br
www.ead.ftc.br

04 TopicosdeAlgebra PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

04 TopicosdeAlgebra PDF

Enviado por

Direitos autorais:

Formatos disponíveis

TPICOS

FACULDADE DE T ECNOLOGIA E C INCIAS E NSINO A D ISTNCIA

J EAN C ARLO N ERONE

R ICARDO L UIZ Q UEIROZ F REITAS

PAULO H ENRIQUE R IBEIRO DO

A DRIANO P EDREIRA C ATTAI

Tema 1: Nmeros Inteiros e Congruncias

1.1.1 O Processo de Contagem. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Primeira Forma do Princpio da Induo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

1.2.3 O Princpio da Boa Ordenao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

1.3.3 Critrios de Divisibilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

1.4.3 O Teorema Fundamental da Aritmtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

Mximo Divisor Comum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

1.5.3 Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

1.7.1 Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

2.1.1 Exerccios Propostos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50

Lema da Diviso de Euclides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52

Tema 3: Grupos, Subgrupos e Homomorfismos.

Tema 4: Outros Tipos de Grupos

FTC EAD | LICENCIATURA EM MATEMTICA

Ricardo Luiz Queiroz Freitas.

Teoria de Nmeros e Polinmios

FTC EAD | LICENCIATURA EM MATEMTICA

A Representao de um Nmero em uma Base

an 10n + an1 10n1 + . . . + a1 10 + a0

Princpios da Induo e Boa Ordenao

FTC EAD | LICENCIATURA EM MATEMTICA

Primeira Forma do Princpio da Induo

Soluo: Sabemos que S1 =

Observando os valores das somas S1 , S2 , S3 , S4 , tentaremos provar, usando o mtodo de induo

para todo natural n.A afirmao vale para n = 1, pois S1 =

Provaremos que vale para n = k + 1, ou seja,

Pela hiptese de induo, Sk =

n n0 , se tenha uma afirmativa P (n) satisfazendo as seguintes propriedades:

Segunda Forma do Princpio da Induo

P (k ), P (k 1), ..., P (r + 1), P (r )

FTC EAD | LICENCIATURA EM MATEMTICA

S = {n Z : n r e P (r ), P (r + 1), . . . , P (n) so verdadeiras}

O Princpio da Boa Ordenao

FTC EAD | LICENCIATURA EM MATEMTICA

EP 1.1. Mostre, por induo, a validade de

Diviso Euclidiana e Critrios de Divisibilidade

FTC EAD | LICENCIATURA EM MATEMTICA

naturais tais que

Queremos concluir que q = q e r = r .

r r , e como q q um nmero natural no-nulo, q q 1 e, portanto, (q q )b b . Logo, obteramos

1.7 Definio. O valor absoluto de um nmero inteiro b , denotado por |b |,

Nota 4. Para todo b Z, |b | um nmero natural. Alm disso, |b | = | b |.

os mltiplos consecutivos de b , q |b | e (q + 1)|b |, de duas maneiras:

a = q |b | + r , com 0 < r < |b |, ou a = (q + 1)|b | + r , com |b | < r < 0.

q , r N tais que a = q (b ) + r , com 0 r < b . Se r = 0, temos a = q b e, ento, basta fazer q = q e

FTC EAD | LICENCIATURA EM MATEMTICA

xb + y c = xka + y ta = (xk + y t )a. Como (xk + y t ) Z temos que a | (bx + cy ).

Nota 5. A recproca de (ii) no verdadeira, ou seja, no podemos garantir que se a | (b + c ), ento a | b

Dessa forma, temos que

a = qb + r = an b n+1 + an1 b n + ... + a1 b 2 + a0 b + r ,

FTC EAD | LICENCIATURA EM MATEMTICA

EP 1.4. Prove os itens (i), (iii) e (iv) da Proposio 1.10.

EP 1.9. Expresse o nmero 274 na base 5.

Nmeros Primos e o Teorema Fundamental da Aritmtica

FTC EAD | LICENCIATURA EM MATEMTICA

1.16 Teorema. Existem infinitos nmeros primos.

O Teorema Fundamental da Aritmtica