Você está na página 1de 268

Volume nico

Hernando Bedoya
Ricardo Camelier

lgebra II

lgebra II
Volume nico

Hernando Bedoya
Ricardo Camelier

Apoio:

Fundao Cecierj / Consrcio Cederj


Rua Visconde de Niteri, 1364 Mangueira Rio de Janeiro, RJ CEP 20943-001
Tel.: (21) 2334-1569 Fax: (21) 2568-0725
Presidente
Masako Oya Masuda
Vice-presidente
Mirian Crapez
Coordenao do Curso de Matemtica
UFF - Regina Moreth
UNIRIO - Luiz Pedro San Gil Jutuca

Material Didtico
Departamento de Produo

ELABORAO DE CONTEDO

Hernando Bedoya
Ricardo Camelier
COORDENAO DE DESENVOLVIMENTO
INSTRUCIONAL

EDITORA

PROGRAMAO VISUAL

Tereza Queiroz

Mrcia Valria de Almeida


Renata Borges
Sanny Reis

COPIDESQUE

Cristine Costa Barreto

Jos Meyohas

DESENVOLVIMENTO INSTRUCIONAL
E REVISO

REVISO TIPOGRFICA

Elaine Bayma
Marcus Knupp

Zulmira Speridio
Marcelo Bastos Matos

COORDENAO DE
PRODUO

COORDENAO DE LINGUAGEM

Jorge Moura

Cyana Leahy-Dios
Maria Anglica Alves

ILUSTRAO

Equipe Cederj
CAPA

Equipe Cederj
PRODUO GRFICA

Osias Ferraz
Patricia Seabra

COORDENAO DE AVALIAO DO
MATERIAL DIDTICO

Dbora Barreiros
AVALIAO DO MATERIAL DIDTICO

Letcia Calhau

Copyright 2005, Fundao Cecierj / Consrcio Cederj


Nenhuma parte deste material poder ser reproduzida, transmitida e gravada, por qualquer meio
eletrnico, mecnico, por fotocpia e outros, sem a prvia autorizao, por escrito, da Fundao.

B412a
Bedoya, Hernando.
lgebra II. v. nico / Hernando Bedoya; Ricardo Camelier.
Rio de Janeiro: Fundao CECIERJ, 2010.
264p.; 19 x 26,5 cm.
ISBN: 85-7648-314-9
1. lgebra. 2. Anis quocientes. 3. Teorema de homomorfismo.
4. Polinmios. I. Camelier, Ricardo. II. Ttulo.
CDD: 512

2010/1
Referncias Bibliogrficas e catalogao na fonte, de acordo com as normas da ABNT.

Governo do Estado do Rio de Janeiro

Governador
Srgio Cabral Filho

Secretrio de Estado de Cincia e Tecnologia


Alexandre Cardoso

Universidades Consorciadas
UENF - UNIVERSIDADE ESTADUAL DO
NORTE FLUMINENSE DARCY RIBEIRO
Reitor: Almy Junior Cordeiro de Carvalho

UFRJ - UNIVERSIDADE FEDERAL DO


RIO DE JANEIRO
Reitor: Alosio Teixeira

UERJ - UNIVERSIDADE DO ESTADO DO


RIO DE JANEIRO
Reitor: Ricardo Vieiralves

UFRRJ - UNIVERSIDADE FEDERAL RURAL


DO RIO DE JANEIRO
Reitor: Ricardo Motta Miranda

UFF - UNIVERSIDADE FEDERAL FLUMINENSE


Reitor: Roberto de Souza Salles

UNIRIO - UNIVERSIDADE FEDERAL DO ESTADO


DO RIO DE JANEIRO
Reitora: Malvina Tania Tuttman

lgebra II
SUMRIO

Volume nico

Aula 1 Anis quocientes ______________________________________ 7


Hernando Bedoya / Ricardo Camelier

Aula 2 Homomorfismos _____________________________________ 15


Hernando Bedoya / Ricardo Camelier

Aula 3 Teorema do homomorfismo _____________________________ 29


Hernando Bedoya / Ricardo Camelier

Aula 4 Divisibilidade em anis ________________________________ 39


Hernando Bedoya / Ricardo Camelier

Aula 5 Introduo aos polinmios ______________________________ 51


Hernando Bedoya / Ricardo Camelier

Aula 6 Operaes com polinmios _____________________________ 65


Hernando Bedoya / Ricardo Camelier

Aula 7 Anis de polinmios ___________________________________ 75


Hernando Bedoya / Ricardo Camelier

Aula 8 Diviso de polinmios _________________________________ 89


Hernando Bedoya / Ricardo Camelier

Aula 9 Propriedades da diviso de polinmios ____________________ 103


Hernando Bedoya / Ricardo Camelier

Aula 10 Sobre razes de polinmios ___________________________ 121


Hernando Bedoya / Ricardo Camelier

Aula 11 Polinmios irredutveis ______________________________ 137


Hernando Bedoya / Ricardo Camelier

Aula 12 Introduo aos grupos _______________________________ 153


Hernando Bedoya / Ricardo Camelier

Aula 13 Mais exemplos de grupos ____________________________ 165


Hernando Bedoya / Ricardo Camelier

Aula 14 Subgrupos e grupos cclicos ___________________________ 185


Ricardo Camelier

Aula 15 O Teorema de Lagrange ______________________________ 199


Ricardo Camelier

Aula 16 Classes laterais e o grupo quociente ____________________ 213


Hernando Bedoya / Ricardo Camelier

Aula 17 Subgrupos normais _________________________________ 231


Hernando Bedoya / Ricardo Camelier

Aula 18 Homomorfismos de grupos ___________________________ 247


Hernando Bedoya / Ricardo Camelier

Referncias _____________________________________________ 263

!5,!

!NISQUOCIENTES

-ETADAAULA

objetivos

!PRESENTARODESENVOLVIMENTODA
ESTRUTURAALGBRICADEANELQUOCIENTE

!OlNALDESTAAULA VOCDEVERSERCAPAZDE
s!PRESENTARARELAODECONGRUNCIAMDULO)
s)DENTIlCAROSPASSOSQUELEVAMCARACTERIZAODEUMANELQUOCIENTE
s!PRESENTAREDEMONSTRARASPRIMEIRASPROPRIEDADESOPERATRIASDACONGRUNCIA
MDULO)

0R REQUISITOS

6OCVAIPRECISARDOSCONHECIMENTOSSOBREANISEIDEAIS
DESENVOLVIDOSNAS!ULASADOCURSODELGEBRA)6OCTAMBMVAI
PRECISARDOSCONCEITOSDEIDEALDE<EDOSANISDOSINTEIROSMDULO
DOSEUCURSODELGEBRA)

LGEBRA))\!NISQUOCIENTES

).42/$5/

"EM VINDOAOCURSODELGEBRA))!QUIVAMOSESTUDARDUASIMPORTANTESEBELSSIMAS
ESTRUTURASALGBRICASOSANISEOSGRUPOS%STASTEORIASTMRAZESEMPROBLEMAS
MUITOLONGNQUOSQUERELATIVAMENTEHPOUCOTEMPOFORAMRESOLVIDOS
.ESTAAULA VAMOSCOPIARACONSTRUODOSANISDOSINTEIROSMDULO VISTO
NOSEUCURSODELGEBRA) PARAOCASOGERALDEUMANELEDEUMIDEALDE
0ORTANTO UMABOAIDIAREVERASAULASDAQUELECURSO6OCPERCEBERUMA
IDIAQUERECORRENTENAMATEMTICAACONSTRUODEUMAESTRUTURAABSTRATA
GERALSEGUINDOOSPASSOSDEUMEXEMPLOPARTICULARMUITOIMPORTANTE

%80!.$).$//#/.#%)4/$%#/.'25.#)!
$ElNIO
-i>>ii`i>`i iw>i}ii>XK
L?>i\
> L` L > 
i]iiV>]i>iLKV}ii` >
i>XK>v>Di}ii`>`i]i>>>i>XK
`ii>kV>

0ROPOSIO
*i`>`i,iyi>
> >`
*i`>`i-jV>
-i> L`]L >`
*i`>`i/>>
-i> L`iL V`]iK> V`

$EMONSTRAO
>>Li>i> >= 

> L`]iKL > ]> L =


L > ]i>V`XK`iL>i}]L >`

# % $ % 2 *



!4)6)$!$%
!5,!

0ROVEAPROPRIEDADETRANSITIVADACONGRUNCIAMDULO)

'%.%2!,):!.$/!3#,!33%3$%#/.'25.#)!
}>] i i > V}kV> `  j > i>XK
`ii>kV>]>Lii>iwV>`iViV>i`i
i>kV> -K LV `] V> K j ` >i
]V>>Vi>`iV>>`i>>XK`i-i?ii
V`iV>i`ii>kV>i`iwii>Xi`i>`XK
iV>XK]`i`>>v?>i

$ElNIO
-i>>i]`i>`i]i>  iw>V>i
i`>`i>`>LjV>>`>V>i`iV}kV>`i>
`Vi`V

>=>+=O>+ P

>XK>w>i>V>i`iV}kV>K
i>>ii>V>i`ii>kV>`>i>XKV}kV>`

0ROPOSIO
-i>>i]`i>`i]i>]L  K> L`
i]iiii]>=L

# % $ % 2 * 

LGEBRA))\!NISQUOCIENTES

$EMONSTRAO
6>>>VK> L
> L`]iK
= L > ]>= L }>]iii}ijV`i>j`>
v>>+ V -i}ii\
>+ = L +

= L + L]

VKi>]L >]j>?}>]ii?>
>`>`i>>Vk
/i>= L]iKL= L+ L= >
L >]ii
]>iL= >+*>]iL >= ]i>]> L
`
6>] >}>] `i> > i`>`i `> >XK i >
V}kV>`}i>>i

0ROPOSIO
-i> L
>  

]iK>= L

>

$EMONSTRAO

> L

]iiiiiV > L iV >]


iiV= > + V  iV L]iiV = L + ]V
}]L+ = >+ ]i`?\
L >= ]
i>]> L`*i>*XK]i}ii>= L

 >
/i> >>>`> ]iK
]V>>

ii]iKi}ii
>  ] 
> ]

>

>

>

i>V`>V>ii`>`]

i>]   >|> 

# % $ % 2 *

!5,!



" > j > `ivXK `> i>Xi `i >`XK i


V>XKi

$ElNIO
]`iw>i}ii>Xi\
`XK\>+L=>+L
V>XK\>L=>L
"Li>XK

> = > +]>>>XK>`>>>>
i>Xi`i>`XKiV>XK]`iw`>>iii]j\
>++L+= >+L+ 
>+.L+= >.L+ 
>XK>ii>i>Xi]i]iK
Li `iw`>] > i``> i i K `ii`i ` iii>i
>iL`>V>ii`>>iL]iiV>ii

0ROPOSIO
-i>= >iL= L]iK\
>+ >= >+ L
>.L= >. L

$EMONSTRAO
-i > = >] iK] i> *XK ] > > ` ] i>]
> > = ] V  >}>ii] `i L = L ] i}i i
L L= ]V  K]
>+ L >+ L= > >+ L L

= + ]

# % $ % 2 * 

LGEBRA))\!NISQUOCIENTES

}] > + L > + L ` ] i>] > + L = >+ L


*>]
>+ L=>+ L=>+ L=>+ L
>>ijV>>L>>]`ii`i`i
Vi>i>}jLV
>iii]i>= >]iK> >=
]V ]i]`iL=L]i}iiLL=]V  K]
>. L >. L= >. L >. L+ >. L >. L

= > > L+>L L


= . L+> ]
]. L i> *>]>. L >. L`]
i>]>. L=>. L]
>. L= >. L=>. L=>. L .

Podemos, agora, completar nossa construo. Segue que (A/I, +, )


um anel, chamado de anel quociente, ou anel das classes residuais mdulo I,
cujo zero dado por 0 e cuja unidade dada por 1.
i
Sejam (Z, +, ) o anel dos inteiros e I o ideal de Z dado por
r<rO <P

K>i<rO> > <PViiiii\

<rO]]]]P
rO]]]]P
r<
iK>V>ii`>`
Kji
]iK]ii>`>`6i`i}iL>]<j>i]
>Kj`

# % $ % 2 *

!5,!



#/.#,53/
-iVk>Vi>>>>>L>>]KiiVi]
i>jii>`iivi>VXKii>iDi
VkviiV`i}iL>]>i>>}i`i>i>
>}jLV>]V>i]>>>i>Vii]V>i
Vii]ii>`i>L>XK/i>>VkV>i>>
ViiK`iiVVi iK>i>}iL>iiK
>`>}`i`V`i}iL>

!4)6)$!$%&).!,
6ERIlQUEQUEOSAXIOMASDEANELVALEMPARA!) +  

2%35-/
!CONSTRUODARELAODEEQUIVALNCIAQUECONSISTENACONGRUNCIAMDULO) O
PRIMEIROPASSODACONSTRUODOANELQUOCIENTE FEITAPORMEIODAINTRODUODAS
OPERAESDEADIOEMULTIPLICAONOCONJUNTODASCLASSESRESIDUAISMDULO)4UDO
ISTO SEGUINDOACONSTRUOANLOGAQUEFOIFEITANOSEUCURSODELGEBRA) PARA
OBTER SEOANELDOSINTEIROSMDULON

# % $ % 2 * 

LGEBRA))\!NISQUOCIENTES

2%30/34!3

!TIVIDADE
$E> L` TEMOSQUE= L> $EL V` TEMOS= VL 
%NTO

V>= VL+L>

= + ]

OUSEJA > V`

!TIVIDADE&INAL
0ERCORRACADAUMDOSAXIOMASQUEDElNEMUMANEL LEMBRANDOQUEOSELEMENTOS
NEUTROSSOE0OREXEMPLO
!!SSOCIATIVIDADEDA!DIO

>+L+V= >+L+V

= >+L+V
= >+L+ V
= >+ L+V
= >+L+ V

# % $ % 2 *

AULA

Homomorsmos

Meta da aula

objetivos

Apresentar o conceito de homomorsmo de anel


e suas propriedades bsicas.

Ao nal desta aula, voc dever ser capaz de:


Reconhecer um homomorsmo entre anis.
Apresentar e demonstrar as primeiras propriedades
dos homomorsmos.

Pr-requisitos
Voc vai precisar dos conhecimentos sobre anis e ideais,
desenvolvidos nas Aulas 21 a 23 do curso de lgebra I.

lgebra II | Homomorsmos

INTRODUO

As funes consideradas naturais entre duas estruturas algbricas do mesmo


tipo, como os anis, so aquelas que preservam as operaes, ou seja,
transformam uma soma de elementos no anel domnio na soma de suas
imagens e transformam um produto de elementos no anel domnio no produto
de suas imagens. Essas funes, chamadas de homomorsmos, sero o objeto
do nosso interesse nesta aula.

Apesar de o conceito de
homomorsmo ser muito
natural, ele surgiu de forma
muito gradual. O conceito de homomorfismo
de grupos surgiu, pela
primeira vez, em torno de
1830, o de homomorsmo
de corpos em torno de 1870
e o de homomorsmo de
anel somente em 1920.

HOMOMORFISMO DE ANIS
Denio 1
Dados dois anis A e B, uma funo A  B chamada de um
homomorsmo (de anis) se para todo a, b  A , vale:
H1. (a + b) = (a) + (b);
H2. (a . b) = (a) . (b);
H3. (1A) = 1B (ou, simplesmente, (1) = 1).

Denio 2
Um homomorsmo A  B chamado de um isomorsmo se
for, tambm, uma bijeo. Nesse caso, dizemos que A e B so isomorfos
e denotamos A  B.
Lembre que dois conjuntos A e B tm o mesmo nmero de
elementos, ou seja, eles tm a mesma cardinalidade, se existe uma bijeo
entre A e B. Assim, se A e B so isomorfos, ento eles tm exatamente o
mesmo nmero de elementos. Isso acontece porque se A  B um
isomorsmo, ento, em particular, uma bijeo entre A e B.

Denio 3
O ncleo de um homomorsmo de anis A  B o conjunto
N( ) = {x  A (x) = 0B},
onde 0B o elemento neutro do anel B.

16

CEDERJ

Vejamos agora dois dos exemplos mais simples de homomorsmo

AULA

de anis.
Exemplo 1
O exemplo mais simples de todos o homomorsmo identidade.
Dado um anel A, o homomorsmo identidade denido pela funo
identidade em A, ou seja, id : A  A, id(a) = a. Vamos vericar que a
identidade , de fato, um homomorsmo de anis. Para isso, precisamos
vericar os trs axiomas de homomorsmos. Sejam a, b  A, ento
H1. id(a + b) = a + b = id(a) + id(b);
H2. id(a . b) = a . b = id(a) . id(b);
H3. id(1A) = 1A.
Assim, id um homomorsmo. Mais ainda, o homomorsmo
identidade bijetor, portanto, ele tambm um exemplo de um
isomorsmo. Vamos calcular seu ncleo. Nesse caso, N(id) = {x

A

id(x) = 0A}. Ou seja, queremos resolver a equao id(x) = 0A. Como id(x)
= x, a equao se transforma em x = 0A, ou seja, sua nica soluo
x = 0A, portanto, N(id) = {0A}.
Exemplo 2
Seja n

 Z, n > 1. Considere a funo : Z  Zn denida por

(a) = a , onde a classe residual mdulo n do inteiro a. Vamos vericar


que um homomorsmo de anis. De fato, dados a, b  Z, ento
H1. (a + b) = a + b = > + b = (a) + (b);
H2. (a . b) = a . b = > . b = (a) . (b);
H3. (1) = 1 = 1Zn.
Assim, um homomorsmo. Mais ainda, o homomorsmo
sobrejetor, pois, dado k

 Zn , ento (k) = k. No entanto, no injetor,

pois (0) = 0 e (n) = n = 0, ou seja, (0) = (n) com n  0. Portanto,


no um isomorsmo.
Vamos calcular, agora, o ncleo de . Nesse caso, N(  = {x  Z
(x) = 0}. Ou seja, queremos resolver a equao (x) = 0. Como (x) = x , a
equao se transforma em x = 0, e suas solues so os inteiros mltiplos
de n, portanto, N(  = nZ = {kn k  Z}.
Vamos, agora estudar uma srie de propriedades fundamentais
sobre os homomorsmos.
CEDERJ

17

lgebra II | Homomorsmos

Proposio 1
Seja A  B um homomorsmo de anis. Temos:
1. (0A) = 0B (ou, simplesmente, (0) = 0).
2. ( a) = (a) para todo a  A.
3. (a b) = (a) (b), para todo a, b  A.
4. (A) um subanel de B, onde o conjunto imagem de A, (A),
denido por (A) = { (a) a  A}.
5. Se A' um subanel de A, ento (A') um subanel de (A).
6. Se B' um subanel de B, ento (B') um subanel de A,
onde o conjunto imagem inversa de B, (B') denido por (B') =
{a  A (a)  B'} .
7. Se I um ideal de A, ento (I) um ideal de (A).
8. Se J um ideal de B, ento (J) um ideal de A.
9. N( ) um ideal de A.
10. Se um isomorsmo (ou seja, uma funo bijetora),
ento  B  A um homomorsmo de anis e, portanto, tambm
um isomorsmo.

Demonstrao
Algumas das demonstraes deixaremos como atividade para
voc. Demonstraremos algumas delas.
1. Temos
0 + (0) = (0)
= (0 + 0)
= (0) + (0),
e, cancelando (0) nos dois lados (lembre da lei do cancelamento),
segue que
(0) = 0.
2. Aplicando, inicialmente, a propriedade anterior, temos
0 = (0)
= (a)+ ( a))
= (a) + ( a),
para todo a

 A. Logo, pela unicidade do elemento simtrico, segue

que ( a) = (a).

18

CEDERJ

3. Temos

AULA

(a b) = (a + ( b))
= (a)+ ( b),
= (a)+ ( (b)), pela propriedade 2
= (a) (b).

4. Como A  , segue que (A)  . Agora, dados (a), (b) 


(A) e aplicando a propriedade 3, temos que

(a) (b) = (a b)  (A),

e, tambm,

(a) . (b) = (a . b)  (A).

Assim, pela Proposio 1 da Aula 5, segue que (A) um


subanel de B.
Tente voc, agora, provar a prxima propriedade.

ATIVIDADE
1. Demonstre a propriedade 5, ou seja, prove que se A' um subanel de A,
ento (A') um subanel de (A).

______________________________________________________________
______________________________________________________________
_______________________________________________________________
_______________________________________________________________
_______________________________________________________________
_______________________________________________________________
_______________________________________________________________
_______________________________________________________________

CEDERJ

19

lgebra II | Homomorsmos

 B', ento 0A   (B') e, portanto,


 (B')  . Agora, dados a, b   (B'), ento (a), (b)  B'
6. Como (0A) = 0B e 0B

e segue que

(a b) = (a) (b)  B',

pois B' subanel de B. Portanto, a b   (B'). Tambm temos


(a . b) = (a) . (b)  B',

pois B' subanel de B. Portanto, a . b

  (B'). Assim, provamos que

 (B') um subanel de A.
sua vez de praticar novamente.
ATIVIDADE
2. Demonstre a propriedade 7, ou seja, prove que se I um ideal de A, ento

(I) um ideal de (A).


______________________________________________________________
______________________________________________________________
_______________________________________________________________
_______________________________________________________________
_______________________________________________________________
_______________________________________________________________
_______________________________________________________________
_______________________________________________________________

 J e (0A) = 0B , ento 0A   (J), e, portanto,


 (J)  . Agora, dados a, b   (J) , ento (a), (b)  J e, assim,
8. Como 0B

segue que
(a + b) = (a) + (b)  J,
pois J um ideal de B. Portanto, a + b   (J). Por outro lado, sejam
a  A e b   (J), ento vale que (a)  (A) e (b)  J, e, como J
ideal de B e (A)  B, temos (a) . (b)  J. Portanto,
20

CEDERJ

AULA

(a . b) = (a) . (b)  J,
ou seja, a . b   (J). Assim, conclumos que  (J) um ideal de A.
9. Para mostrar que o ncleo um ideal, usamos a propriedade
anterior. De fato,
N( )  {x  A (x) = 0B}

  ({0B }),

e, como {0B } um ideal de B, segue, pela propriedade 8, que N( ) um


ideal de A.
Assim, conclumos a demonstrao da Proposio 1. Veja que
deixamos as propriedades 5, 7 e 10 como atividades a serem desenvolvidas
por voc.

ATIVIDADE
3. Demonstre a propriedade 10 da Proposio 1, ou seja, prove que se um
isomorsmo (ou seja, um homomorsmo bijetor), ento  B  A um
homomorsmo de anis.

_______________________________________________________________
_______________________________________________________________
______________________________________________________________
_______________________________________________________________
_______________________________________________________________
_______________________________________________________________
_______________________________________________________________
______________________________________________________________
_________________________________________________________________
_________________________________________________________________
_________________________________________________________________
________________________________________________________________
________________________________________________________________
________________________________________________________________
________________________________________________________________

CEDERJ

21

lgebra II | Homomorsmos

Os homomorsmos so ricos em propriedades, e agora vamos


ver algumas dessas propriedades relacionadas ao ncleo. As primeiras
duas propriedades que seguem devem trazer lembrana as propriedades equivalentes para o ncleo de uma transformao linear e para um
homomorsmo de grupos.

Proposio 2
Seja A  B um homomorsmo de anis e N( ) o ncleo de .
Ento,
1. (a) = (b) se e somente se b a  N( ).
2. injetora se e somente se N( ) = {0}.
3. Se A um corpo, ento injetora.

Demonstrao
1. () Suponhamos que (b) = (a) e vamos mostrar que b a

 N( ).
De fato, (a) = (b) implica que (b) (a) = 0. Assim, (b a)
= (b) (a) = 0, ou seja, b a  N( ).
() Reciprocamente, suponhamos que b a

 N( ) e vamos

mostrar que (a) = (b).


De fato, se b a  N( ), ento (b a) = 0. Assim, (b) (a) =
(b a) = 0, ou seja, (a) = (b).
2. () Suponhamos, primeiramente, que injetora. Vamos
mostrar que N( ) = {0}.
De fato, se injetora, considere a

 N( ). Ento (a) = 0, e

como (0) = 0, segue que (a) = (0). Como injetora, temos a = 0.


Assim, N( ) = {0}.
() Reciprocamente, suponha que N( ) = {0}. Vamos mostrar
que injetora.
Se (a) = (b), ento, pela propriedade anterior, temos que
b a

 N( ). Como estamos supondo que N( ) = {0}, segue que


b a = 0, ou seja, a = b , o que prova que injetora.
3. Suponhamos que A corpo e seja a  A com a  0. Ento

existe a, o inverso multiplicativo de a, que satisfaz a . a = 1A. Assim,

22

CEDERJ

(a) . (a1) = (a . a 1), pois homomorsmo

AULA

= (1A)
= 1B , pois homomorsmo.
Portanto, conclumos que (a) invertvel e, em particular, (a)  0.
Logo, a  N( ) para todo a  A com (a)  0, o que nos leva a concluir que
N( ) = {0}. Pela propriedade anterior, segue que injetora.
Exemplo 3
Vamos descrever um homomorsmo muito importante, chamado
homomorsmo cannico (ou homomorsmo projetor). Seja A um anel
e I um ideal de A. Seja

 A  A/I, denida por (a) = > , onde > = a

+ I  A/I a classe residual de a  A mdulo I. Vamos vericar, agora,


que  um homomorsmo de anis. De fato, sejam a, b  A, ento
H1. (a + b) = a + b = > + b = (a) + (b);
H2. (a . b) = a . b = > . b = (a) . (b);
H3. (1A) = 1 A = 1A/I .
Assim,  um homomorsmo. Mais ainda, o homomorsmo 
sobrejetor, pois para qualquer >  A/I temos que (a) = > . Chamamos

 A  A/I de homomorsmo cannico.


Vejamos, agora, como se comportam os homomorsmos sob a
operao de composio de funes.

Proposio 3
Sejam g : A  B e B  C dois homomorsmos de anis.
Ento:
a) A composio  g : A  C um homomorsmo de anis;
b) Se A  B e B  C, ento A  C , isto , se A isomorfo a B e B
isomorfo a C, ento A isomorfo a C.
A demonstrao desta proposio faz parte das Atividades
Finais da aula.

CEDERJ

23

lgebra II | Homomorsmos

Para terminar esta aula, queremos enfatizar para voc que os


anis isomorfos tm propriedades idnticas, e eles diferem apenas na
apresentao de seus elementos. O que importa que o isomorsmo
preserva todas as propriedades entre tais anis.
A Atividade Final um desao para voc. Lembre-se de consultar
os resultados apresentados. Leia vrias vezes as demonstraes das
propriedades e tente imit-las. Tenha sempre papel e lpis mo e, se
for preciso, apague e reescreva quantas vezes for necessrio. Achamos
que se voc entendeu bem esta aula, ento ter capacidade de sobra para
resolver essas atividades. Vamos l!

ATIVIDADES FINAIS
1. Sejam A um anel e a  A {0}. Dena a funo a A  A por a (x) = a . x.
a. Mostre que a sobrejetora se e somente se a invertvel.
___________________________________________________________________________
__________________________________________________________________________
b. Mostre que se A um domnio de integridade, ento a injetora.
____________________________________________________________________________
__________________________________________________________________________
c. a um homomorsmo?
____________________________________________________________________________
__________________________________________________________________________
2. Prove a Proposio 3.
____________________________________________________________________________
__________________________________________________________________________

24

CEDERJ

2
AULA

RESUMO
Nesta aula, foram apresentados os seguintes resultados:
i. O conceito de homomorsmo entre dois anis A e B, ou seja, uma funo A

 B que para todo a, b  A,


satisfaz:
H1. (a + b) = (a) + (b);
H2. (a . b) = (a) . (b);
H3. (1A) = 1B (ou, simplesmente, (1) = 1).
ii. O conceito de isomorsmo, ou seja, um homomorsmo que tambm uma
bijeo.
iii. As propriedades apresentadas e demonstradas servem para vericar que os
homomorsmos preservam algumas estruturas dos anis.
iv. O conceito de ncleo de um homomorsmo, ou seja, o ncleo do homomorsmo

A  B o conjunto N( )  {x  A (x) = 0B} . Algumas propriedades importantes


dos homomorsmos so vericadas pelo comportamento do seu ncleo.
v. O homomorsmo projetor, ou seja, dado o anel A e I um ideal de A, denido
por

 A  A/I, (a) = >

(lembre que > = a + I  A/I).

RESPOSTAS

Atividade 1
Como A'  , segue que (A')  . Agora, dados (a), (b)  (A'), temos,
aplicando a propriedade 3,

(a) (b) = (a b)  (A'),


e, tambm,

(a) . (b) = (a . b)  (A').


Assim, pela Proposio 1 da Aula 5, segue que (A') um subanel de (A).
CEDERJ

25

lgebra II | Homomorsmos

Atividade 2
Como 0A  I e 0B = (0A), ento 0B

 (I), e, portanto, (I)   . Agora, dados

(a), (b)  (I) ento segue que


(a) + (b) = (a + b)  (I),

 (I) . Vamos considerar, agora, (a)  (A)


ento, como a  A, b  I I ideal, temos a . b  I. Portanto,

ou seja, (a) + (b)

e (b)

 (I),

(a) . (b) = (a . b)  (I),

ou seja, (a) . (b)  (I). Assim, conclumos que (I) um ideal de (A).

Atividade 3
Dados x, y  B, sejam a = 1 (x) e b = 1 (y), ou seja, (a) = x e (b) = y. Como
um homomorsmo, sabemos que

(a + b) = (a) + (b) e (a . b) = (a) . (b).

Temos, ento, que

1 (x + y) = 1 ( (a) + (b)), pela escolha de x e y


= 1 ( (a + b)), pois homomorsmo
= a + b, pois 1   id
= 1 (x) + 1 (y).

Lembre que id representa a funo identidade. Temos, tambm,

1 (x . y) = 1 ( (a) . (b)), pela escolha de x e y


= 1 ( (a . b)), pois homomorsmo
= a . b, pois 1   id
= 1 (x) . 1 (y).

Finalmente, como (1A) = 1B e bijetora, segue que 1 (1B) = 1A. Conclumos,


assim, que 1 : B  A um homomorsmo.

26

CEDERJ

AULA

Atividade Final 1
a. () Suponha que a sobrejetora. Vamos mostrar que a invertvel.
De fato, como a sobrejetora, existe a'  A tal que a (a') = 1A, isto , a . a' = 1A.
Logo, a' o elemento inverso de a, isto , a invertvel.
() Reciprocamente, suponha que a invertvel. Vamos mostrar que a
sobrejetora.
Seja b  A um elemento qualquer. Temos que

a (a. b) = a . (a. b), pela denio de a

= (a . a) . b
= 1A . b, pois a invertvel
= b.
Mostramos, assim, que para qualquer que seja b

 A, existe x = a-1 . b tal que

a (x) = a. Portanto, conclumos que a sobrejetora.


b. Vamos mostrar que injetora. Suponhamos que a (x) = a(y), isto ,

a . x = a . y. Logo, a . x a . y = 0 e, portanto, a . (x y ) = 0. Como A domnio de


integridade e a  0, segue que x y = 0, isto , x = y, o que prova que a injetora.
c. a homomorsmo somente no caso em que a = 1A , pois

a (x . y) = a . (x . y )
e

a (x) . a (y) = a2 . (x . y ).

Para serem iguais, necessrio que a = a2, isto , a = 1A.

CEDERJ

27

lgebra II | Homomorsmos

Atividade Final 2
Vamos vericar os axiomas de homomorsmo para a composio  g. Dados

a, b  A, temos
H1.
( g)( a + b) = (g ( a + b)), pela denio de composio
= (g (a) + g (b)), pois g homomorsmo;
= (g (a)) + (g (b)), pois homomorsmo;
H2.
( g)( a . b) = (g ( a . b)), pela denio de composio
= (g (a) . g (b)), pois g homomorsmo;
= (g (a)) . (g (b)), pois homomorsmo;
H3.
( g)(1A) = ( g (1A)), pela denio de composio
= (1B), pois g homomorsmo;
= 1C , pois homomorsmo.
Assim, provamos que a composio g um homomorsmo de anis.

b. Suponhamos que A isomorfo a B e B isomorfo a C. Queremos provar que

A isomorfo a C. Como A  B e B  C, ento existem isomorsmos g A  B


e B  C. Como e g so homomorsmos, ento, pelo item a), g A  C
tambm um homomorsmo. Agora, voc sabe que se e g so funes bijetoras,
ento a composio g tambm bijetora. Portanto, conclumos que g A 

C um homomorsmo bijetor, ou seja, g A  C um isomorsmo de anis.


Assim, conclumos que A  C .

28

CEDERJ

AULA

Teorema do homomorsmo

Metas da aula

objetivos

Apresentar o teorema do homomorsmo de anis e


sua demonstrao. Realizar outra demonstrao
do teorema do resto chins.

Ao nal desta aula, voc dever ser capaz de:


Demonstrar o teorema do homomorsmo.
Demonstrar que os anis Zn e Z /nZ so isomorfos.

Pr-requisitos
Voc vai precisar dos conhecimentos sobre
anis e ideais, desenvolvidos nas Aulas 21 a 23 de
lgebra I, e Aulas 1 e 2 deste curso.

lgebra II | Teorema do homomorsmo

INTRODUO

Todo homomorsmo gera um isomorsmo entre um anel quociente e o anel


imagem do homomorsmo. Esse importante resultado ser o tema desta aula.
Como aplicao, vamos rever o teorema do resto chins, visto no seu curso de
lgebra I, obtendo, agora, uma nova demonstrao.
Vamos comear revendo a denio de isomorsmo de anis, apresentada
na aula anterior.

DEFINIO 1
Um homomorsmo A  B chamado de um isomorsmo se
for, tambm, uma bijeo. Nesse caso, dizemos que A e B so isomorfos
e denotamos A  B.
O resultado principal desta aula, o teorema do homomorsmo,
similar a um resultado correspondente sobre os homomorsmos de
grupos, apresentado no curso de lgebra I.
Lembre, da aula anterior, que dado o homomorsmo de anis
A  B, ento o conjunto imagem de A, (A), um subanel de B e o
ncleo de , N( ), um ideal de A.

TEOREMA DO HOMOMORFISMO DE ANIS


Dado um homomorsmo A  B entre os anis A e B,
ento existe um isomorsmo de anis

 : A/N ( )  A que satisfaz

   S, onde S A  A/N ( ) o homomorsmo cannico.


Representamos esse resultado pelo seguinte esquema.
A

A  B

A/N ( )
A/N ( )  A
de suma importncia que voc acompanhe passo a passo todas
as etapas desta demonstrao. Ela longa e ser dividida em vrias
etapas para facilitar a sua compreenso. Para que voc no se perca
na argumentao, leia e releia com ateno cada uma de suas etapas.
Certique-se de que voc entendeu cada passagem e faa suas prprias
anotaes, justicando as passagens que voc considera mais difceis.
Vamos l ento!
30

CEDERJ

AULA

Demonstrao
Vamos dividir a demonstrao em alguns passos.
1o Passo: Vamos denir uma funo  : A/N( )  A! segundo
o diagrama anterior.

(a )  (a) para todo a  a + N( )  A/N( ).


Ento, precisamos provar que  , de fato, uma funo bem denida,
o que signica mostrar que se a  b, ento (a )  (b), ou seja, se
a  b, ento (a)  (b). Suponhamos, ento, que a  b. Da aula anterior,
Para isso, denimos

sabemos que N( ) um ideal de A, logo, a b  N( ) e, portanto,


(a b)  0B. Assim,
(a) (b)  (a b)  0B,
ou seja,
(a)  (b),
ou, equivalentemente, pela denio de , que (a )  (b). Conclumos,
assim, que  , de fato, uma funo de A/N ( ) em (A).
2o Passo: Vamos mostrar que

 um homomorsmo. Para isso, basta

vericar que  satisfaz os axiomas de homomorsmo vistos na Aula 2.


Se a , b  A/N ( ), temos:
H1.

(a + b)  (a + b)
 (a + b) pela denio de 
 (a) + (b) pois homomorsmo
 (a) + b pela denio "
H2.

(a . b)  (a . b)
 (a . b) pela denio de 
 (a) . (b) pois homomorsmo
 (a) . (b) pela denio "
H3.

(1A)  (1A) pela denio de 


 1A pois homomorsmo.
Conclumos, assim, que a funo

 um homomorsmo entre

os anis A/N ( ) em (A).


CEDERJ

31

lgebra II | Teorema do homomorsmo

3o Passo: Vamos provar, agora, que

 uma funo bijetora.

Vamos comear provando que ela injetora. Pela Proposio 2, item 2,


da Aula 7, basta mostrar que N ()  #0A$. Seja a

 N(), ento, pela


denio de , (a)  (a )  0B, ou seja, a  N( ). Portanto, a  a %
N( )  0A. Isso prova que N ()  #0A$.
Caso voc ache essa argumentao muito abstrata, vamos
apresentar a demonstrao clssica de injetividade, que consiste em
provar que se (a)  b, ento a

 b. De fato, se (a )  b , temos


que (a)  b, pela denio de , logo (a)  b  0. Da,

(a b)  (a)  (b)  0,

e isso signica que a b

 N( ), ou seja,

 b. Pois, lembre

que a  A/N( ).

 uma funo sobrejetora, pois dado y  (A)


arbitrrio, ento existe a  A tal que y  (a) e, como (a )  a,
segue que y  (a).
Finalmente,

Conclumos, assim, que a funo  A/N ( )  A, denida por

(a)  a, um homomorsmo bijetor, ou seja, um isomorsmo e,


portanto, temos A/N ( )  A.
Esperamos que voc tenha apreciado a demonstrao desse belo
teorema. Uma conseqncia imediata do Teorema do Homomorsmo :

Corolrio 1
Se A  B um homomorsmo sobrejetor, ento A/N ( ) e B
so anis isomorfos, isto , A/N ( )  B.

Demonstrao
Como sobrejetora, temos (A)

 B e, pelo teorema do

homomorsmo, temos A/N ( )  A. Portanto, conclumos que


A/N ( )  B.

32

CEDERJ

AULA

Corolrio 2
Seja n  Z, n & 0. Ento os anis Z/nZ e Zn so isomorfos, isto
, Z/nZ  Zn .
A demonstrao deste corolrio voc vai realizar, agora, como
sua primeira atividade desta aula.
ATIVIDADE
1. Nesta atividade, voc vai demonstrar o Corolrio 2. Para isso, seja Z  Zn
a funo dada por a  a , onde a a classe residual de a mdulo n. Mostre
que:
a) um homomorsmo sobrejetor;
b) N( )

 nZ;

c) Z/nZ  Zn.

Agora, vamos utilizar o corolrio anterior para provar o teorema


do resto chins.

TEOREMA DO RESTO CHINS


Sejam m, n  Z, m, n & 0, tais que mdc(m, n) = 1. Ento os anis
Zmn e Zm X Zn so isomorfos.

 #[a]mn a  Z } e Zm X Zn  #[a]m , [a]n)


[a]mn  Zm e [a]n  Zn }. Lembre, tambm, que dois inteiros m e n com
Lembre que Zmn

mdc(m, n) = 1 so chamados de primos relativos (ou, primos entre si), o que


signica que m e n no tm divisor primo comum.

Demonstrao
Consideremos a funo Z  Zm

Zn denida por a 

[a]m , [a]n), onde [a]m e [a]n denotam as classes residuais de a  Z,


mdulo m e mdulo n, respectivamente.
CEDERJ

33

lgebra II | Teorema do homomorsmo

1o Passo: provar que f um homomorsmo de anis.


A demonstrao desse fato mais uma atividade proposta
para voc.

ATIVIDADE
2. Prove que funo Z  Zm X Zn, denida por a 
um homomorsmo de anis.

[a]m , [a]n),

Veja que propriedades voc deve provar e tente adaptar as provas parecidas
que j zemos.

2o Passo: vamos mostrar que N( )

 mnZ, onde N( ) o ncleo

de .
Vamos comear pela primeira incluso: N( )
a

' mnZ. Se

 mnZ, ento a mltiplo de mn, isto , mn a (lembre que

esse smbolo significa mn divide a). Como m mn e n mn, temos

[a]m  [0]m e [a]n  [0]n. Assim, a 


[a]m , [a]n)  [0]m , [0]n)  0Zm x Zn . Isso signica que a  N( ).
Vamos provar, agora, a segunda incluso: N( )  mnZ.
Seja a  N( ), ento a  [a]m , [a]n)  0Zm x Zn  [0]m , [0]n). Da,
segue que [a]m  [0]m e [a]n  [0]n. Logo, m a e n a . Como m a,
n a e mdc(m,n)   ento, por propriedade conhecida do seu curso
de lgebra I, segue que m a, ou seja, a mltiplo de mn. Portanto, a
 mnZ.
Conclumos assim, que N( )  mnZ.
que m a e n a , ou seja,

3o Passo: vamos provar que Zmn  (Z).


Nos passos anteriores mostramos que : Z  Z m X Z n
um homomorfismo com ncleo N( )

 mnZ. Pelo Teorema do

Homomorsmo, segue que Z/mnZ  (Z). Agora, pelo Corolrio 2,


segue que Zmn  Z/mnZ. Logo, pela Proposio 3 da Aula 7, segue que
Zmn  (Z).

34

CEDERJ

4o Passo: para nalizar, vamos mostrar que Z)  Zm X Zn.

AULA

Como Zmn e f(Z) so isomorfos, ento Zmn e Z) tm o mesmo


nmero de elementos. Sabemos que Zmn tem m . n elemento, portanto,
Z) tambm tem m.n elementos. Mas, Z)  Zm

Zn. Como

Zm X Zn tambm tem m.n elementos, conclumos que Z)  Zm X Zn.


Dos passos anteriores, conclumos que Zmn  Zm

Zn sempre

que mdc(m,n)  1.

ATIVIDADE FINAL
Sejam n, K  Z, n, K & 0. Seja ZKn  Zn denida por [a]Kn )  [a]n, onde [a]Kn
e [a]n so as classes residuais de a, mdulo kn e mdulo n, respectivamente.
a) Mostre que um homomorsmo de anis.
b) Mostre que N( )  nZKm  #n . [x]Kn

[x]Kn  ZKn }.

c) Mostre que sobrejetora e conclua que os anis ZKn / nZKn e Zn so isomorfos,


isto , ZKn /nZKm  Zn.

RESUMO
Nesta aula, voc viu o importante teorema do homomorsmo, muitas vezes
tambm chamado de teorema do isomorsmo. Esse teorema arma que dado um
homomorsmo de anis A  B, ento os anis A/N ( ) e A so isomorfos.
Ele um mecanismo de criao de isomorsmos e, assim, uma importantssima
ferramenta de comparao de anis. Fizemos uma bela aplicao desse teorema
quando provamos o teorema do resto chins, que arma que os anis Zmn e Zm
X

Zn so isomorfos sempre que mdc(m,n) = 1.

CEDERJ

35

lgebra II | Teorema do homomorsmo

RESPOSTAS

Atividade 1
a) Para mostrar que homomorsmo, sejam a, b  Z, ento
H1. (a + b)  a + b  a + b
H2. (a . b)  a . b  a . b

 (a) % (b);

 (a) " (b);

H3. ()    Zn ,


ou seja, um homomorsmo. Mais ainda, um homomorsmo sobrejetor, pois,
dado a  Zn , temos (a)  a com a  Z.
b) Para provar que os dois conjuntos so iguais, seja

a  N(  ( (a)  0
( a

 0

( a ) 0 (mod n)
( n a
( a  nZ.
Assim, conclumos que N(   nZ.
c) Sabendo que : Z  Zn um homomorsmo sobrejetor, segue, agora,
diretamente do corolrio 1, que Z /N(   Zn. E, como N(   nZ, ento, conclumos
que Z /nZ  Zn.

Atividade 2
Precisamos vericar que : Z  Zm x Zn, denida por a  [a]m , [a]n), satisfaz
os trs axiomas de homomorsmo.
H1.

(a + b) = ([a + b]m , [a + b]n), para todo a, b  Z


 ([a]m + [b]m , [a]n + [b]n)

36

 ([a]m + [a]n ) + [b]m + [b]n)

 a + b*

CEDERJ

AULA

H2.
(a . b) = ([a . b]m , [a . b]n), para todo a, b  Z
 ([a]m . [b]m , [a]n . [b]n)

 ([a]m , [a]n ) + ([b]m , [b]n)

 a . b*

H3. (1) = ([1]m , [1]n)  Zm X Zm .


Assim, conclumos que um homomorsmo de anis.

Atividade Final
a) Vamos vericar que f satisfaz os axiomas de homomorsmo. Sejam a, b  Z, ento
H1.

([a]Kn . [b]Kn)  ([a + b]m ), para todo a, b  Z

 [a + b]n , pela denio de

 [a]n + [b]n

 a + b*

H2.

([a]Kn . [b]Kn)  ([a . b]Kn ) para todo a, b  Z

 [a . b]n , pela denio de

 [a]n . [b]n

 a . b*

H3.

(1ZKn)  ([1]Kn )

 [1]n ! pela denio de


 1Zn .
Assim, conclumos que um homomorsmo de anis.

CEDERJ

37

lgebra II | Teorema do homomorsmo

b) Vamos calcular o ncleo de . Sabemos que N( )

 {[a]Kn  ZKn ([a]Kn )  0Zn

 [0]n }. Temos
([a]Kn )  [0]n ( [a]n  [0]n

( a  nt, t  Z

( [a]Kn  n. [t]Kn

( [a]Kn  nZKn.

Portanto, conclumos que N(   nZKn  #n . [x]Kn [x]Kn  ZKn }.


c) Para mostrar que : ZKn  Zn sobrejetora, basta observar que dado [a]n 

Zn, ento ([a]n )  [a]n . Agora, pelo Teorema do Homomorsmo, conclumos que
ZKn/ N(   Zn e, como N(   nZKn , temos ZKn

38

CEDERJ

/ nZKn  Zn.

AULA

Divisibilidade em anis

Meta da aula

objetivos

Apresentar a teoria bsica de divisibilidade em


anis e o conceito de mximo divisor comum.

Ao nal desta aula, voc dever ser capaz de:


Operar com as propriedades bsicas de divisibilidade.
Operar com o conceito de mximo divisor comum.
Demonstrar propriedades do mximo divisor comum.

Pr-requisito
Voc vai precisar dos conhecimentos sobre anis e ideais,
desenvolvidos nas Aulas 21 a 23 do curso de lgebra I,
e das Aulas 1 e 2 deste curso.

lgebra II | Divisibilidade em anis

INTRODUO

Nesta aula, vamos imitar a teoria de divisibilidade desenvolvida para os nmeros


inteiros, agora, no contexto dos anis. A sensao que voc deve ter a de
uma repetio da construo dos conceitos de divisibilidade desenvolvidos no
curso de lgebra I.
Vamos comear apresentando a noo de divisor em um anel.

Denio 1

 A . Dizemos que a divide b, e denotamos


a b, se existe um elemento c A tal que b = c . a. Nesse caso, dizemos
Sejam A um anel e a, b

tambm que a um divisor de b, ou que a um fator de b, ou que b


um mltiplo de a, ou, ainda, que b divisvel por a.
Se no existe um elemento c tal que b = c . a, diremos que a no
divide b, o que denotamos por a , b.
Exemplo 1
No anel dos inteiros Z, temos:
i. 4 12, pois 12 = 3.4;
ii. (5) 35, pois 35 = 7. (5);
iii. 4 11, pois no existe c  Z tal que 11 = c . 4.
Exemplo 2
No anel Q dos nmeros racionais, temos 4 7, pois 7 =

-
 Q.
/

-
.4
/

Exemplo 3
No anel Z8 = {0, 1, 2, 3, 4, 5, 6 , 7 } dos inteiros mdulo 8,
temos:
i. 2 6, pois 6 = 3 . 2;
ii. 5 2, pois 2 = 2 . 5.
iii. 4 7, pois voc pode facilmente vericar que no existe c

Z8 tal que 7 = c . 4.
Veremos, agora, uma seqncia de propriedades de divisibilidade
num anel A. Observe que elas so semelhantes s propriedades sobre
divisibilidade dos nmeros inteiros.

40

CEDERJ

AULA

Proposio 1
Sejam a, b, c, d,... elementos de um anel A. Ento:
1. a a e a 0A, onde 0A o elemento neutro da adio de A.
2. Se u um elemento invertvel em A, ento u a. Em particular,
1A a, onde 1A o elemento neutro da multiplicao de A.
3. Se a b e b c, ento a c.
4. Se a b, ento a b . c.
5. Se a b e a c, ento a (b + c) e a (b c).
6. Se a b e a c, ento a (x . b + y . c), para todo x, y  A.
7. Se a b e c d, ento a . c b . d.
8. Se a (b + c) e a c, ento a c.

Demonstrao
Lembre que costumamos denotar 0A por 0 e 1A por 1, sempre
que no houver risco de confuso.
1. Como 0 = 0 . a para todo a, ento, da denio de divisibilidade,
conclumos que a 0 . E, tambm, como a = 1 . a, conclumos que a a.
2. Temos que
a=a.1
= a. (u1. u), pois u invertvel
= (a . u1) . u.
Como a . u1  A, conclumos que a mltiplo de u, o que signica
que u a. Em particular, como 1 um elemento invertvel de A, ento
1 a. Essa ltima armao tambm pode ser facilmente vericada de
modo direto, pois a = a . 1.
3. Supondo que a b e b c, ento existem elementos s, t

 A tais

que b = s . a e c = t . d. Logo,
c=t.b
= t . (s . a), pois b = s . a
= (t . s) . a.
Como t . s

 A, conclumos que c mltiplo de a, o que prova

que a c.
Observe que nas provas das propriedades usamos somente a
denio de divisibilidade e as propriedades de anel j conhecidas. Tente,
agora, montar argumentos semelhantes para demonstrar a propriedade 4.
Esta ser a sua primeira atividade desta aula.
CEDERJ

41

lgebra II | Divisibilidade em anis

ATIVIDADE
1. Prove que se a b, ento a b . c.

Continuaremos, agora, com as demonstraes das outras


propriedades. Observe, primeiramente, que a propriedade 5
um caso particular da propriedade 6. Portanto, vamos primeiro
provar a propriedade 6 e, depois, tirar como conseqncia a validade
da propriedade 5. Observe que este tipo de argumento, ou seja, provar
uma propriedade mais geral e tirar um caso particular como conseqncia,
muito comum na matemtica.
6. Supondo que a b e a c, ento existem elementos s, t

 A

tais que b = s . a e c = t . a. Assim, para todo x, y  A, temos que


x . b + y . c = x . (s . a) + y . (t . a), pois b = s . a e c = t . a
= (x . s) . a + (y . t) . a
= (x . s + y . t) . a.
Como x, y, s, t  A e A um anel, ento x . s + y . t  A. Portanto,
temos que x . b + y . c mltiplo de a, o que prova que a (x . b + y . c).
Vamos concluir a prova da propriedade 5.
5. Observe que, na propriedade 6, tomando x = y = 1, obtemos
que a (b + c). Agora, tomando x = 1 e y = 1, obtemos a (b c).
A prxima propriedade (a 7a) ser mais uma atividade para voc.
Tente imitar os argumentos usados anteriormente.

ATIVIDADE
2. Prove que se a b e c d, ento a . c b . d.

42

CEDERJ

AULA

Vamos, agora, demonstrar a ltima propriedade.


8. Supondo que a (b + c) e a b, ento existem elementos s, t 
A tais que b + c = s . a e b = t . a. Logo,
c = (b + c) b
= s . a t . a, pois b + c = s . a e b = t . a
= (s t) . a
Como s t

 A, conclumos que c mltiplo de a, o que prova

que a c.
Lembre que no anel Z dos nmeros inteiros vale uma propriedade
que diz que se a b e b a, ento b = a ou b = a. Agora, observe que 1
e 1 so os nicos elementos invertveis de Z e que Z um domnio de
integridade. Lembre, tambm, que um domnio de integridade um anel
que no tem divisores de zero, isto , no existem elementos no-nulos a e b
tais que a . b = 0. Isso nos d a motivao para a prxima propriedade.

Proposio 2
Sejam a e b dois elementos de um domnio de integridade A.
Ento, a b e b a se, e somente se, existir um elemento invertvel
u  A , tal que b = u . a.

Demonstrao
() Supondo que a b e b a, vamos mostrar que existe um
elemento invertvel u  A, tal que b = u . a.
Como a b e b a, ento existem elementos u e t em A, tais que
b = u . a e a = t . b.
1o caso: b = 0. Nesse caso, temos a = t . b = t . 0 = 0, o que prova
que b = a = 1 . a. Veja que, nesse caso, podemos escolher u = 1, concluindo
que b = 1 . a, sendo 1 um elemento invertvel.
2o caso: b  0. Nesse caso, temos
b=u.a
= u . (t . b), pois a = t . b
= (u . t) . b.

CEDERJ

43

lgebra II | Divisibilidade em anis

Como A um domnio de integridade e b  0, vale a lei do


cancelamento em A (veja a Proposio 2 da Aula 4) para o elemento
b, ou seja,
(u . t) . b = 1 . b e b  0  u . t = 1.
Como u . t = 1 e t

 A, conclumos que o elemento u invertvel.

Da, segue que b = u . a com u invertvel em A.


() Agora, supondo que b = u . a, com u invertvel em A, vamos
provar que a b e b a.
Como b = u . a, temos que b mltiplo de a, ou seja, a b. Agora,
sendo u um elemento invertvel de A, temos que
b = u . a  a = u1 . b.
Como u1  A, j que u invertvel, conclumos que a mltiplo
de b, ou seja, b a.
Em particular, voc pode obter outra demonstrao para a
propriedade dos nmeros inteiros mencionada anteriormente. Esta ser
sua prxima atividade.

ATIVIDADE
3. Use a Proposio 2 para provar que se a e b so dois nmeros inteiros,
tais que a b e b a, ento b = a ou b =  a.

Denio 2
Dois elementos, a e b, de um anel A so chamados de elementos
associados se existir um elemento invertvel u  A tal que b = u . a.
Assim, podemos reescrever a Proposio 2 nessa nova linguagem.

44

CEDERJ

AULA

Proposio 3
Em um domnio de integridade A, dois elementos a e b so
associados se, e somente se, a b e b a.
Vamos, agora, estender para um anel qualquer o conceito de mximo
divisor comum, j conhecido do seu estudo do anel dos inteiros Z. Daremos
inicialmente a denio para dois elementos de um anel.

Denio 3
Sejam dois elementos, a e b, de um anel A; dizemos que um
elemento, d  A, um mximo divisor comum de a e b se:
MDC1. d um divisor comum de a e b, isto , d a e d b;
MDC2. todo divisor comum q de a e b tambm divisor de d,
isto , se q a e q b, ento q d.
Nesse caso, dizemos, simplesmente, que d um mdc de a e b e
denotamos d = mdc(a, b).
A relao imediata que temos para dois mximos divisores
comuns de a e b est contida na prxima propriedade.

Proposio 4
Sejam dois elementos, a e b, de um anel A com mximo divisor
comum d. Um elemento d1  A um mximo divisor comum de a e b
se, e somente se, d1 d e d d1.

Demonstrao
() Estamos supondo que d1 um mdc de a e b. Ento, em
particular, d1 a e d1 b, isto , d1 um divisor comum de a e b. Como
d um mdc de a e b, ento temos que, por MDC2, d1 d.
Por outro lado, como d um mdc de a e b, ento, por MDC1
compreendemos que d a e d b. E, agora, como d1 um mdc de a e
b, ento, por MDC2, temos d d1.
() Estamos supondo, agora, que d1 d e d

d1. Queremos

concluir que d1 um mdc de a e b.

CEDERJ

45

lgebra II | Divisibilidade em anis

Como d um mdc de a e b, ento d

a e d

b. Agora, como

d1 d, temos, pela Proposio 1.3, que d1 a e d1 b, ou seja,


d1 d e d a  d1 a e
d1 d e d1 b  d1 b,
portanto d1 um divisor comum de a e b. Agora, dado qualquer
divisor q de a e b temos, por MDC2, que q d. Da hiptese, temos que
d d1. Assim, temos:
q d e d d1  q d1,
ou seja, todo divisor q de a e b tambm divisor de d1. E, com
isso, conclumos que d1 tambm um mdc de a e b.
Num anel, elementos que se comportam do mesmo modo quanto
divisibilidade so chamados de elementos associados. A seguir veremos
sua denio formal.
Veja, agora, como ca a relao entre dois mximos divisores
comuns de dois elementos num domnio de integridade.

Proposio 5
Sejam dois elementos, a e b, de um domnio de integridade A com
mximo divisor comum d. Um elemento, d1  A, um mximo divisor
comum de a e b se, e somente se, d1 associado a d.

Demonstrao
() Estamos supondo que d1  A um mximo divisor comum de
a e b e queremos provar que d1 associado a d. Pela Proposio 3, temos
que d1 d e d d1, agora, pela Proposio 4, j que A um domnio de
integridade, segue que d1 e d so elementos associados.
()Supondo, agora, que d1 associado a d, ento, pela Proposio
4, j que A um domnio de integridade, temos d1

d e d

d1. Depois,

pela Proposio 3, segue que d1 um mximo divisor comum de a e b.

46

CEDERJ

4
AULA

ATIVIDADE FINAL
Mostre que a relao binria no anel A, denida por a ~ b ( a associado a b,
uma relao de equivalncia.

RESUMO
Nesta aula, vimos o conceito de divisibilidade num anel A, em que dizemos que
a divide b quando existe um elemento c  A, tal que b = c . a. Em seguida, vimos
muitas propriedades de divisibilidade, todas elas generalizaes de propriedades
semelhantes aos nmeros inteiros. Depois, vimos o conceito de mximo divisor
comum, que um divisor comum que mltiplo de todos os demais divisores
comuns, e de elementos associados, onde a e b so associados se existir elemento
invertvel u  A, tal que b  u . a.

CEDERJ

47

lgebra II | Divisibilidade em anis

RESPOSTAS
Atividade 1
Se a b, ento existe S  A, tal que b = s . a. Assim,
b . c = (s . a) . c, pois b = s . a
= s . (a . c)
= s . (c . a)
= (s . c) . a, mltiplo de a,
o que prova que a b . c.

Atividade 2
Se a b e c d, ento existem elementos s e t no anel A, tais que b = s . a e d = t . c.
Logo,
b . d = (s . a) . (t . c), pois b = s . a e d = t . c.
= (s . t) . (a . c), mltiplo de a . c,

o que prova que a . c b . d.

Atividade 3
Pela Proposio 2, como a b, b a e Z um domnio de integridade, ento b = u . a
com u invertvel em Z . Como os nicos elementos invertveis em Z so 1 e 1, segue
que b = a ou b = a.

Atividade Final
A relao reexiva, isto , a ~ a , pois a = 1A . a e o elemento 1A invertvel.
A relao simtrica, isto , a ~ b  b ~ a, pois

48

CEDERJ

AULA

a ~ b  existe elemento invertvel u  A, tal que b  u . a.

 a  u1 . b  e u1 um elemento invertvel
 b ~ a.

A relao transitiva, isto , a ~ b e b ~ c  a ~ c, pois

a ~ b e b ~ c  b  u . a e c  v . b com u e v elementos invertveis


 c  v . b = (v . u) . a com v . u um elemento invertvel
 a ~ c.

Assim, a relao ~ sendo reexiva, simtrica e transitiva, faz dela uma relao
de equivalncia.

CEDERJ

49

AULA

Introduo aos polinmios

Meta da aula

objetivos

Apresentar o conceito de um polinmio com coecientes num anel A.

Ao nal desta aula, voc dever ser capaz de:


Reconhecer um polinmio sobre um anel A.
Determinar o grau de um polinmio.
Determinar se um escalar uma raiz de um polinmio.

Pr-requisitos
Voc vai precisar dos conhecimentos sobre anis e ideais,
desenvolvidos nas Aulas 21 a 23 do curso
de lgebra I, e da Aula 1 deste curso.

lgebra II | Introduo aos polinmios

INTRODUO

Como todo estudante, voc j deve ter visto expresses como

x + x2, 5 + x3, 17 + x2 + 2x3.

Essas expresses so conhecidas como polinmios, mais exatamente, polinmios


de uma varivel. Nesses exemplos, os coecientes que aparecem pertencem
ao corpo dos nmeros reais.
Nesta aula, comearemos a estudar essas expresses num contexto mais geral,
o que permitir considerar os coecientes dos polinmios pertencendo a um
anel qualquer. Assim, nosso estudo abranger expresses tais como
3 x + 5 x2 com 3, 5 Z4 , por exemplo.
Para estudarmos essas expresses, deniremos as operaes de soma e produto
de polinmios e veremos, nesse contexto, que o conjunto dos polinmios forma
um anel, chamado um anel de polinmios.
Considere (A, +, .) um anel. Lembre que isso signica um anel comutativo e
com unidade (1A  A). No que se segue, a letra x denotar uma varivel ou
um smbolo.

DEFINIO 1
Um polinmio na varivel x com coecientes no anel A uma
soma da forma
a0 + a1x + a2x2 + a3x3 + ...

 A e ai = 0 para todo i sucientemente grande


(e isso signica que existe n  N tal que ai = 0 para todo i > n).
onde cada ai

Os escalares ai so chamados de coecientes do polinmio. Assim,


a0 o coeciente constante;
a1 o coeciente do termo linear x;
a2 o coeciente do termo quadrtico x2;
a3 o coeciente do termo cbico x3.
Como temos os coeficientes a 1 = 0 para todo
podemos denotar o polinmio a0 + a1x + a2x

+ a3x

f(x) = a0 + a1x + a2x2 + a3x3 + ... + anxn.


52

CEDERJ

i > n,
+ ... por

Exemplo 1

AULA

Isso signica que o polinmio 1 + 2x + 3x2 + 1x3 + 0x4 + 0x5 +


0x6 + ... ser denotado por
1 + 2x + 3x2 + x3 ou f(x) = 1 + 2x + 3x2 + x3.
O polinmio cujos coecientes so todos iguais a zero,
0 + 0x + 0x2 + 0x4 + 0x5 + 0x6 + ...,
chamado polinmio nulo, ser denotado simplesmente por 0.
Observe, tambm, no caso a seguir, que a falta do termo x2 em
f(x) = 4 + 2x 7 x3
3
signica que o coeciente de x2 igual a zero, isto , a2 = 0.

DEFINIO 2
Denotamos o conjunto dos polinmios sobre o anel A por
A[x] = {Polinmios na varivel x com coecientes em A}
= {a0 + a1x + a2x2 + a3x3 + ... + anxn ai

 A e n  N}.

Exemplo 2
Temos

 Z e n  N};
+ a3x3 + ... + anxn ai  Q e n  N};
+ a3x3 + ... + anxn ai  R e n  N};
+ a3x3 + ... + anxn ai  C e n  N};
x3 + ... + xn  Zm e n  N} .
a

Z [x] = {a0 + a1x + a2x2 + a3x3 + ... + anxn ai


Q [x] = {a0 + a1x + a2x2
R [x] = {a0 + a1x + a2x2
C [x] = {a0 + a1x + a2x2

Zm [x] = { + x + x2 +
a2
a0 a1
a3

ai

CEDERJ

53

lgebra II | Introduo aos polinmios

Assim, temos tambm


p(x) = 1 + 2x + 3x2 + x3
f(x) = 4 + 2x

7 3
x
3

 Z[x];

 Q[x], mas f(x)  Z[x], pois

g(x) = (3 +0 2) (1 + 0 2) x3

3 +0 2  Q;

h(x) = (2 i)x + (4 + 1)x4

7
 Z;
3

 R[x], mas g(x)  Q[x], pois

 C[x], mas h(x)  R[x], pois 2 i

 R.
Lembre que C representa o corpo dos nmeros complexos, ou
seja,
C = {a + bi a, b

C e i =0 1}.

Algumas observaes so muito importantes:


1. A  A[x]. Os elementos do anel A, em A[x], fazem o papel dos
polinmios constantes, f(x) = a0 (com a1 = 0 para todo i > 0).
2. Se A e B so anis e A  B, ento A[x]  B[x].
Esta ltima observao consiste na sua primeira atividade.

ATIVIDADE
1. Prove que se A e B so anis e A  B, ento A[x]  B[x].

Na teoria dos polinmios, o ltimo termo no-nulo exerce um


papel importante. esse termo que vamos estabelecer na prxima
denio.

54

CEDERJ

AULA

DEFINIO 3
Seja A um anel e f(x) um polinmio em A[x] tal que
f(x) = a0 + a1x + a2x2 + a3x3 + ... + anxn com an  0 e n 1 0.
Neste caso, dizemos que o polinmio f(x) tem grau n e denotamos
gr( f ) = n. O coeciente an chamado de coeciente lder. Em particular,
quando o coeciente lder for igual a 1,
f(x) = a0 + a1x + a2x2 + a3x3 + ... + xn,

an = 1,

dizemos que f(x) um polinmio mnico. Observe, tambm, que


no estamos denindo o grau do polinmio nulo.
Exemplo 3
a) O polinmio
f(x) = 1 + 2x + 3x2 + x3  Z[x]
tem grau 3, gr( f ) = 3. Observe que f(x) um polinmio mnico
b) O polinmio
p(x) = 3 + 4x2 + 5x4  Z7[x]
tem grau 4, gr(p) = 4. Observe que p(x) no um polinmio
mnico.
c) O polinmio
g(x) = (1 i)x + 2ix3 + x5  C[x]
tem grau 5, gr(g) = 5. Observe que g(x) um polinmio mnico.
Vamos estudar, agora, a igualdade de dois polinmios.

CEDERJ

55

lgebra II | Introduo aos polinmios

DEFINIO 4
Sejam f(x) e g(x) dois polinmios em A[x], digamos,
f(x) = a0 + a1x + a2x2 + a3x3 + ... + anxn.
e
g(x) = b0 + b1x + b2x2 + b3x3 + ... + bmxm.
Dizemos que os polinmios f(x) e g(x) so iguais, e denotamos
f(x) = g(x), se
ai = bi para todos os valores de i.
Em particular, observe que se gr (f) = n e gr(g) = m, ento
n = m. Assim, dois polinmios so iguais, se eles tiverem o mesmo grau
e se seus coecientes correspondentes forem iguais.
Exemplo 4
Os polinmios
f(x) = 1 + 2x + 3x2 + x3  Z[x]
e
g(x) = 1 + 2x 3x2 + x3  Z[x]
no so iguais, pois a2 = 3  3 = b2. J os polinmios
p(x) = 1 + 3x2 + x3  Z[x]
e
q(x) = 1 + 0x + 3x2 + x3  Z[x]
so iguais, pois todos os seus coecientes correspondentes so iguais.
Voc provavelmente j conhece os conceitos de valor de um
polinmio e raiz ou zero de um polinmio. Vamos, ento, relembr-los.

56

CEDERJ

Dados um polinmio f(x) = a0 + a1x + a2x2 + a3x3 + ... + anxn

AULA

DEFINIO 5

A[x] e um escalar 2  A, dizemos que

f(2) = a0 + a12 + a222 + a323 + ... + an2n


o valor de f em 2. Como A um anel e, portanto, fechado sob
as operaes de adio e multiplicao, ento temos
f(2) = a0 + a12 + a222 + a323 + ... + an2n  A.
No caso em que f(2) = 0, dizemos que 2 uma raiz de f ou um
zero de f em A.
Exemplo 5
Seja f(x) = 3 + 2x 5x3  Z[x]. O valor de f(x) em 2 = 2
f(2) = 3 + 2 . 2 5 . 23
= 3 + 4 40
= 33.
Ento, temos f(2) = 33 e, em particular, 2 = 2 no uma raiz
de f(x). Agora, para 2 = 1 temos o valor
f(1) = 3 + 2 . 1 5 . 13
=3+25
= 0.
Portanto, j que 1  Z, 2 = 1 uma raiz de f(x) em Z.
Exemplo 6
Seja g(x) = 1 + 2x + 2x2  Z3 [x], onde Z3 = { 0, 1, 2} o anel
das classes residuais mdulo 3. Os valores que g(x) assume em Z3 so:
g(0) = 1 + 2 . 0 + 2 . 02
=1+0+0
= 1 Z3 ;

CEDERJ

57

lgebra II | Introduo aos polinmios

g(1) = 1 + 2 . 1 + 2 . 12
=1+2+2
=5
=2

 Z3 ;

g(2) = 1 + 2 . 2 + 2 . 22
=1+4+8
= 13
=1

 Z3 ;

Como g( 0)  0, g(1)  0 e g(2)  0, ento o polinmio g(x) = 1


+ 2x + 2x2  Z3 [x] no tem raiz em Z3. Observe que 3 = 0, 1, 2 so as
nicas possibilidades de raiz em Z3 e, uma vez descartadas estas, podemos
concluir que o polinmio no tem razes em Z3.
Exemplo 7
Seja h(x) = 1 + x2  R[x]. O valor de h(x) no escalar 2

R

dado pela expresso


h(2) = 1 + 22
= 22 + 1  R.
Sabemos que, dado 2  R , ento 22

1 0. Assim,

22 + 1 > 0,
isto , a expresso 22 + 1 ter sempre um valor positivo e, portanto,
nunca ser igual a zero para qualquer que seja o valor de 2  R. Assim,
conclumos que h(2)  0 para todo 2  R e isso signica que o polinmio
h(2) = 1 + x2 R[x] no possui raiz em R. Dizemos que h(x)  R[x] no
tem razes reais.
Por outro lado, temos
RC
e, portanto,
R[x]  C[x].

58

CEDERJ

C, i = 0 1, temos

Agora, dado i

AULA

h(i) = 1 + i2
= 1 + (1)
= 0,
ou seja, 2 = i uma raiz de h(x) = 1 + x2 em C. Dizemos que i
uma raiz complexa de h(x). Veja, tambm, que

2 = i outra raiz

complexa de h(x) = 1 + x , j que


h(i) = 1 + (i)2
= 1 + (1)
= 0.
Observe que o exemplo anterior teve o propsito de ressaltar o
fato de quando falamos em raiz de um polinmio, devemos especicar
o anel com o qual estamos trabalhando. Mais especicamente, dizer,
simplesmente, o polinmio h(x) = 1 + x2 no tem raiz, consiste numa
armao incompleta, pois vimos que este polinmio no tem razes
reais, mas tem razes complexas.
Vamos ver, agora, uma propriedade muito simples, porm muito
importante sobre razes nulas de um polinmio.

Proposio 1
Seja o polinmio f(x) = a0 + a1x + a2x2 + a3x3 + ... + anxn

A[x] com raiz nula, isto , com f(0) = 0. Ento o coeciente constante
igual a zero, ou seja, a0 = 0, e f(x) da forma
f(x) = a1x + a2x2 + a3x3 + ... + anxn .
Demonstrao
De f(0) = 0 segue que
a0 + a1 . 0 + a2 . 02 + a3 . 03 + ... + an . 0n = 0,
o que nos d
a0 = 0.
Portanto, (x) = a1x + a2x2 + a3x3 + ... + anxn .

CEDERJ

59

lgebra II | Introduo aos polinmios

ATIVIDADES FINAIS
1. Seja f(x) = x2 2  Q[x]. Use o fato de 0 2  Q para mostrar que f(x) no tem
razes racionais. Verique que f(x) possui razes reais e encontre essas razes.

2. Determine o polinmio f(x)  R[x] , de 3o grau, que apresenta uma raiz nula
e satisfaz a condio f(x 1) = f(x) + (2x)2 para todo x real.

3. Com o auxlio do polinmio obtido no exerccio anterior, calcule a soma 22 +


42 + ... + (2n)2, onde n 1 1 um nmero natural.

RESUMO
O conceito de polinmio em uma varivel dado por:

f(x) = a0 + a1x + a2x2 + a3x3 + ... + anxn ,


com coecientes a0 , a1 , a2 , ... , an num anel A. O grau de um polinmio o
maior valor de n tal que an  0. O conceito de raiz de um polinmio um escalar

2  A tal que f(2) = 0.

60

CEDERJ

5
AULA

RESPOSTAS
Atividade 1
Dado o polinmio

f(x) = a0 + a1x + a2x2 + a3x3 + ... + anxn  A[x],


ento os coecientes a1  A para i = 0, 1, ... , n. Como A

 B,

ento cada

a1  B, e isto signica que

f(x) = a0 + a1x + a2x2 + a3x3 + ... + anxn  B[x].


Portanto, provamos que A[x]  B[x].
Atividade Final 1
Veja que

f(x) = 0 ( x2 2 = 0
( x2 = 2
( x = 4 2
0

Assim, as nica razes de f(x) so os nmeros reais

02

e 0 2. Como 0 2

 Q,

ento f(x) no tem razes racionais. Mas f(x) tem duas razes reais, a saber, e.

Atividade Final 2
Como o polinmio f(x) de grau 3, ento podemos escrever

f(x) = ax3 + bx2 + cx + d com a, b, c, d  R e a  0.

Como f(0) = 0, temos, pela Proposio 1, que d  0 e, assim,

f(x) = ax3 + bx2 + cx.

CEDERJ

61

lgebra II | Introduo aos polinmios

Agora, substituindo x  0 em f(x 1) = f(x) + f(2x)2, obtemos

f(1) = f(0) + (2 . 0)2


=0+0
= 0,
isto , f( ) = 0 . Portanto, 1 tambm uma raiz de f(x).
Substituindo x = 1 em f(x  ) = f(x) + (2x)2 , obtemos

f(0) = f(1) + (2 . 1)2,


o que nos d

f(1) = f(0) 22
=04
= 4,
isto , f(1) = 4. Finalmente, substituindo x

 5

em f(x

 ) = f(x) + (2x)2,

obtemos

f(2  ) = f(2) + (2 . 2)2 ,


o que nos d

f(2) = f(1) + 42
= 4 16
= 20,
isto , f(2) = 20. Agora, substituindo f(1) = 0, f(1) = 4 e f(2) = 20 em f(x) =

ax3 + bx2 + cx, obtemos o sistema linear


a+bc=0
a+b+c=4
8a + 4b + 2c = 20,
cuja soluo, usando as tcnicas j aprendidas no curso de lgebra Linear II,
a = 4, b = 2 e c = 2 .

62

CEDERJ

2
4 3
x 2x2 x.
3
3

AULA

f(x) =

Portanto, temos

Atividade Final 3
De f(x  ) = f(x) + (2x)2 temos a expresso (2x)2 = f(x  )  f(x) que usaremos
na soma 22 + 42 + ... + (2n)2. Temos:

22 + 42 + ... + (2n)2 = (2 . 1)2 + (2 . 2)2 + ... + (2 . n)2


= (f(0) f(1)) + (f(1) f(2)) + ... + (f(n 1) f(n))

= f(0) f(n).

Agora, usando a expresso f(x) =

4 3
x 2x2 2 x obtida na atividade anterior,
3
3

temos:

22 + 42 + ... + (2n)2 = f(0) f(n)


4 3
2
n 2n2 n)
3
3
= 4 n3 + 2n2 + 2 n.
3
3

= 0 (

CEDERJ

63

AULA

Operaes com polinmios

Meta da aula

objetivos

Apresentar as operaes de adio e multiplicao de polinmios com


coecientes num anel A.

Ao nal desta aula, voc dever ser capaz de:


Calcular a soma de dois polinmios sobre um anel A.
Calcular o produto de dois polinmios sobre um anel A.
Determinar o grau do polinmio soma.
Determinar o grau do polinmio produto.

Pr-requisitos
Voc vai precisar dos conhecimentos sobre anis e
ideais, desenvolvidos em lgebra I, e da introduo aos
polinmios, na Aula 5.

lgebra II | Operaes com polinmios

INTRODUO

Lembra-se da aula passada? Vimos que se A um anel, e isso signica um


anel comutativo e com unidade (1A  A), ento denotamos o conjunto dos
polinmios sobre o anel A por A[x], isto ,
A[x] = {polinmios na varivel x com coecientes em A}

= { a0 + a1x + a2x2 + a3x3 + ... + anxn ai  A e n  N}.


Nesta aula, vamos denir as operaes de adio e multiplicao em A[x], ou
seja, a soma e o produto de polinmios. Depois, veremos como o grau de um
polinmio se comporta perante estas operaes.

DEFINIO 1
Sejam f(x) e g(x) dois polinmios em A[x], digamos,
f(x) = a0 + a1x + a2x2 + a3x3 + ... + anxn
e
g(x) = b0 + b1x + b2x2 + b3x3 + ... + bmxm.
Podemos supor, sem perda de generalidade, que m 6 n. Denimos
as operaes de adio e multiplicao de polinmios como segue.
1. Adio de polinmios. O polinmio soma f(x) + g(x)
denido por
f(x) + g(x) = (a0 + b0) + (a1 + b1)x + (a2 + b2)x2 + ... + (am + bm)xm + am +1 xm + n
... + anxn
= c0 + c1x + c2x2 + c3x3 + ... + cnx n,
onde os novos coecientes so dados por cK = aK + bK para cada
k = 1, 2, ..., n. Observe que bK = 0 para todo k > m.
Assim, para somarmos dois polinmios, simplesmente somamos
os seus coecientes correspondentes.
2. Multiplicao de polinmios. O polinmio produto f(x) . g(x)
denido por
f(x) . g(x) = c0 + c1x + c2x2 + c3x3 + ... + cm +1 xm + n,

66

CEDERJ

onde os coecientes cK so denidos por

AULA

c0 = a0b0;
c1 = a0b1 + a1b0;
c2 = a0b2 + a1b1 + a2b0;
...

c3 = a0b3 + a1b2 + a2b1 + a3b0;


cK = a0bK + a1bK 1 + a2bK 2 + ... + aKb0, para todo
k 6 m + n,
e onde estamos considerando que bK = 0 para todo k > m e aK = 0
para todo k > n. Esta regra diz, simplesmente, que para formarmos o produto
f(x) . g(x), fazemos o produto de cada termo de f(x) por cada termos de g(x),
usando a regra
(aixi) . (bixi) = aibj xi + j, para todo i, j 1 0
e, depois, agrupamos todos os termos que tm a mesma potncia
em x. Observe que a formao dos coecientes cK segue, simplesmente,
a aplicao da lei distributiva.
Vejamos alguns exemplos.

Exemplo 1
Sejam f(x) = 3 + 2x x2 e g(x) = 1 + 2x2 dois polinmios em
R[x]. O polinmio soma f(x) + g(x) dado por
f(x) + g(x) = (3 + 2x x2) + (1 + 2x2)
= (3 + 1) + (2 + 0)x + (1 + 2)x2
= 4 + 2x + x2.
J o polinmio produto f(x) . g(x) obtido como segue:
f(x) . g(x) = (3 + 2x x2)(1 + 2x2)
= (3 + 2x x2) . 1 + (3 + 2x x2) . 2x2 ; aplicando a lei
distributiva
= (3 + 2x x2) + (6x2 + 4x3 2x4) . 2x2 ; aplicando a lei
distributiva
= 3 + 2x 5x2 + 4x3 2x4 ; aplicando a soma de
polinmios.
CEDERJ

67

lgebra II | Operaes com polinmios

Vamos observar, no caso geral, que os polinmios f(x) + g(x) e


f(x) . g(x) so, de fato, polinmios em A[x]. Como A um anel e aK , bK

 A, ento os coecientes cK = aK + bK do polinmio soma f(x) + g(x)


pertencem a A, garantindo que f(x) + g(x)  A[x]. Da mesma forma,
cada coeciente
cK = a0bK + a1bK 1 + a2bK 2 + ... + aKb0
do polinmio produto f(x) . g(x) pertence a A, mais uma vez,
garantindo que f(x) . g(x)  A[x].

ATIVIDADE
1. Calcule a soma e o produto dos polinmios f(x) = 2 + 2x2 + x3
1
e g(x) = 1 + 2x, em Z3[x].
___________________________________________________________
_
____________________________________________________________
_
____________________________________________________________
_
____________________________________________________________
_

Concluiremos esta aula estudando o comportamento do grau dos


polinmios soma e produto. Para isso, vamos considerar que no anel
A no ocorra que o produto de dois elementos no-nulos seja nulo,
ou seja, que A um domnio de integridade. Isso signica que dados
a, b  A com a  0 e b  0, ento a . b  0, o que, em outras palavras,
signica que o anel A no tem divisores de zero. Lembre, tambm, que
o grau do polinmio
f(x) = a0 + a1x + a2x2 + a3x3 + ... + anxn, com a0  0 e n 1 1,
igual a n, o que denotamos por gr ( f ) = n. Observe, no Exemplo
1, que o grau do polinmio soma f(x) + g(x) igual a 2 e que o grau do
polinmio produto f(x) . g(x) igual a 4.

68

CEDERJ

AULA

Proposio 1
Seja A um domnio de integridade e sejam os polinmios f(x), g(x)

 A[x], cujos graus so gr(f) = n e gr(g) = m, com m 6 n. Ento


1. gr(f + g) 6 n = max {gr(f), gr(g)};
2. gr(f . g) = n + m = gr(f), gr(g).
Demonstrao
Sejam os polinmios f(x) e g(x) dados por
f(x) = a0 + a1x + a2x2 + a3x3 + ... + anxn, com an  0,
e
g(x) = b0 + b1x + b2x2 + b3x3 + ... + bmxm, com bm  0.
1. Assim, o polinmio soma dado por
f(x) + g(x) = (a0 + b0) + (a1 + b1)x + (a2 + b2)x2 + ... + (am + bm)xm
+ am + 1 xm + 1... + anxn
= c0 + c1x + c2x2 + c3x3 + ... + cnxn,
onde os novos coecientes so dados por cK = aK + bK para cada
k = 1, 2, ... , n. Observe que bK = 0 para todo k > m.
Como m 6 n, ento bK = 0 e aK = 0 para todo k > n, o que
nos leva a cK = aK + bK = 0 para todo k > n, e isto mostra que
gr(f + g) 6 n = max {gr(f), gr(g)}.
Observe que no caso de m < n, temos ento bn = 0, o que nos d
cn = an + bn = an  0,
ou seja, conclumos que, neste caso, gr(f + g) = n, ou seja, vale a
igualdade.

CEDERJ

69

lgebra II | Operaes com polinmios

2. Agora, o polinmio produto dado por


f(x) . g(x) = c0 + c1x + c2x2 + c3x3 + ... + cm +nxm + n
onde os coecientes so dados por cK = a0bK + a1bK 1 + a2bK 2 +
... + aKb0. Em particular, temos
cm + n = a0bm + n + a1bm + n 1 + ... + an 1bm + 1 + an bm + an + 1bm 1 +...
+ am + nb0
= a0 . 0 + a1 . 0 + ... + an 1 . 0 + an bm + 0 . bm 1 ... + 0 . b0
= an bm  0,
pois bK  0 para todo k > m, aK = 0 para todo k > n e an bm  0
porque an  0, bm  0 e A um domnio de integridade. Assim, conclumos
que gr(f . g) = n + m.
Observe que na prova de gr(f + g)

6 max{gr(f), gr(g)}, na Propo-

sio 1, no usamos a hiptese de A ser um domnio de integridade. Assim,


esta propriedade vale para um anel A qualquer. J no o caso da segunda
parte, gr(f . g) = gr( f ) + gr( g ), em que usamos explicitamente a hiptese de
A ser um domnio de integridade. Portanto, esta propriedade no vlida
quando A no for um domnio de integridade. Veja a Atividade Final 2.

Exemplo 2
Sejam os polinmios f(x) = 1 + x e g(x) = x em Z2[x]. Vamos
calcular a soma e o produto destes polinmios e, tambm, seus graus.
Para o polinmio soma, temos
f(x) + g(x) = (1 + x) + x
= (1 + 0) + (1 + 1)x
= 1 + 2x
= 1 + 0x; pois 2 = 0 em Z2
=1

 Z2[x]

Veja que gr(f + g) = 0 < 1 = max{gr(f), gr(g)}.

70

CEDERJ

AULA

Para o polinmio produto, temos


f(x) . g(x) = (1 + x) . x
= 1 . x + x . x; aplicando a lei distributiva
= x + x2

 Z2[x]

Observe que gr(f . g) = 2 = 1 + 1 = gr(f) + gr(g). Com isso,


conclumos o Exemplo 2.

ATIVIDADES FINAIS
1. Calcule a soma e o produto, e seus respectivos graus, dos polinmios f(x) = 3x

+ 2x2 e g(x) = 1 + x, em Z[x].

2. Encontre um exemplo de um anel A e de polinmios f(x), g(x)  A[x], para os


quais no vale a igualdade gr(f . g) = gr(f) + gr(g). Observe que A no pode ser
um domnio de integridade.

CEDERJ

71

lgebra II | Operaes com polinmios

RESUMO
A soma e o produto dos polinmios
f(x) = a0 + a1x + a2x2 + a3x3 + ... + anxn
e
g(x) = b0 + b1x + b2x2 + b3x3 + ... + bmxm,
supondo m 6 n, so dados por
f(x) + g(x) = (a0 + b0) + (a1 + b1)x + (a2 + b2)x2 + ... + (am + bm)xm + am + 1xm + 1... + anxn
= c0 + c1x + c2x2 + c3x3 + ... + cnxn
e
f(x) . g(x) = c0 + c1x + c2x2 + c3x3 + ... + cm + nxm + n,
onde os coecientes cK so denidos por
c0 = a0b0 ;
c1 = a0b1 + a1b0 ;
c2 = a0b2 + a1b1 + a2b0;
...

c3 = a0b3 + a1b2 + a2b1 + a3b0 ;


cK = a0bK + a1bK 1 + a2bK 2 + ... + aKb0 , para todo k 6 m + n.
Valem as propriedades gr(f + g) 6 max{gr(f), gr(g)} e gr(f . g) = gr(f) + gr(g), sendo
que esta ltima apenas quando o anel A um domnio de integridade.

RESPOSTAS COMENTADAS

Atividade 1
Para o polinmio soma, temos
f(x) + g(x) = (2 + 2 x2 + x3) + (1 + 2 x)
= (2 + 1 ) + (0 + 2 )x + (2 + 0 )x2 + (1 + 0 )x3
= 3 + 2 x + 2 x2 + x3
= 0 + 2 x + 2 x2 + x3; pois 3 = 0 em Z3
= 2 x + 2 x2 + x3  Z3[x].
72

CEDERJ

AULA

Calculando o polinmio produto, temos


f(x) . g(x) = (2 + 2 x2 + x3) + (1 + 2 x)
= (2 + 2 x2 + x3) . 1 + (2 + 2 x2 + x3) . 2 x; aplicando a lei distributiva
= (2 + 2 x2 + x3) + (4x + 4 x3 + 2 x4); aplicando a lei distributiva
= (2 + 0 ) + (0 + 4 )x + (2 + 0 )x2 + (1 + 4 )x3 + (0 + 2 )x4 ; aplicando a soma
de polinmios
= 2 + 4 x + 2 x2 + 5 x3 + 2 x4
= 2 + 1 x + 2 x2 + 2 x3 + 2 x4; pois 4 = 1 e 5 = 2 em Z3
= 2 + x + 2 x2 + 2 x3 + 2 x4 Z3[x].
Atividade Final 1
Para o polinmio soma, temos
f(x) + g(x) = (3x + 2x2) + (1 + x)
= (0 + 1) + (3 + 1)x + (2 + 0)x2
= 1 + 4x + 2x2  Z[x].
Veja que gr(f + g) = 2 = max {gr(f), gr(g)}.
Calculando o polinmio produto, temos
f(x) . g(x) = (3x + 2x2)(1 + x)
= (3x + 2x2). 1 + (3x + 2x2) . x; aplicando a lei distributiva
= (3x + 2x2) + (3x2 + 2x3); aplicando a lei distributiva
= (3 + 0)x + (2 + 3)x 2 + (0 + 2)x 3; aplicando a soma de
polinmios
= 3x + 5x2 + 2x3  Z[x].

Observe que gr(f . g) = 3 = 2 + 1 = gr(f) + gr(g).

Atividade Final 2
Sejam os polinmios f(x) = 1 + 2 x e g(x) = 2 x em Z4[x]. Calculando o polinmio
produto, temos
f(x) . g(x) = (1 + 2 x) . 2 x
= 1 . 2 x + 2 x . 2 x; aplicando a lei distributiva
= 2 x + 4 x2
= 2 x + 0 x2; pois 4 = 0 em Z4
= 2 x  Z4[x].

CEDERJ

73

lgebra II | Operaes com polinmios

Veja que gr(f . g) = 1 < 2 = 1 + 1 = gr(f) + gr(g). Observe que Z4 no um domnio


de integridade, pois contm divisores de zero (2 . 2 = 0 ).

74

CEDERJ

!5,!

!NISDEPOLINMIOS

-ETADAAULA

objetivos

!PRESENTARAESTRUTURADEANELPARAOCONJUNTODOS
POLINMIOSCOMCOElCIENTESNUMANEL!

!OlNALDESTAAULA VOCDEVERSERCAPAZDE
s)DENTIlCARANATUREZADEUMANELDEPOLINMIOS
s$ETERMINARASCONDIESPARAQUEUMANELDEPOLINMIOSSEJAUM
DOMNIODEINTEGRIDADE
s$ETERMINARQUEUMANELDEPOLINMIOSNUNCAUMCORPO

0R REQUISITOS
6OCVAIPRECISARDOSCONHECIMENTOSSOBREANISEIDEAIS
DESENVOLVIDOSEMLGEBRA) EDOSCONHECIMENTOSSOBREOS
POLINMIOSDAS!ULASE

LGEBRA))\!NISDEPOLINMIOS

).42/$5/

6IMOS NAS AULAS ANTERIORES QUE SE ! UM ANEL COMUTATIVO E COM UNIDADE
! ! ENTO DENOTAMOS O CONJUNTO DOS POLINMIOS SOBRE O ANEL !
PORQR ISTO

QRrOPOLINMIOSNAVARIVELCOMCOElCIENTESEMP
rO>>>>>>i P
$EPOIS DElNIMOSASOPERAESDEADIOEMULTIPLICAODEPOLINMIOSEVIMOS
COMOOGRAUDEUMPOLINMIOSECOMPORTAPERANTEESTASOPERAES
.ESTAAULA VAMOSPROVARQUEQR MUNIDODESTASOPERAES TEMAESTRUTURA
DEUMANEL6AMOSRELEMBRAR DAAULAPASSADA ASDElNIESDESOMAEPRODUTO
DEPOLINMIOS

$%&).)/
-i>vi}`iQR]`}>]

vr>>>>>

i

GrLLLLL

*`i]ii`>`i}ii>`>`i]i iw
>i>Xi`i>`XKiV>XK`iVi}i
`XK`i">v}j`iw`

v}r>L>L>>>>
>>

rVVVVV]

`iViwViiK`>`Vr>L>>V>`>
r]]]iLr>>`
]>>>`]iii>
iViwViiVi`ii

# % $ % 2 *



V>XK`i"`v}j

!5,!

`iw`
v}rVVVVV]


`iViwViiVK`iw`
Vr>L
Vr>L>L
Vr>L>L>L



Vr>L>L>L>L

>L q >> `
V r >L >L q >Lq >L r


i `i i> V`i>` i L r >> ` ] i


A+r>>` >i}>`]iii]i]>>v>
`v}]v>i``iV>`>i`ivV>`>
i`i}]>`>i}>

>Lr>L>>`]]

i]`i]>}>`iik>i>kV>
i"Liii>v>XK`ViwViiVi}i]iii]
>>V>XK`>i`L>
6>]>}>]iV>i>`V>`i>>>

4EOREMA
>`>i]V`QR]``>
i>Xi`i>`XKiV>XK`i]j>i

>>QR>i`i >>>ii}i]
i`>i>i`>`i`ii>j

# % $ % 2 * 

LGEBRA))\!NISDEPOLINMIOS

`i>XK`iiii>j}>iViiiwV>]
>]>>`i>ii`ii}>i>`i>>>]
K`ii`iiiii>>]iiK>>
i>XK
*i>ii]>Li>i>>`XKi>V>XK`i
Ki>XiL?>iQR]i>]`>`
v]}QRii

v}QRiv}QR

iv>]i>v]}]QR`>`

vr>>>>>]

GrLLLLL

i

rVVVVV

"Liii

>r>>`

Lr>>`i

Vr>>`

*`i ] i i`> `i }ii>`>`i] i


*>]i

>r]LriVr>>`]

i`iiVii

# % $ % 2 *

vr>>>>>]

GrLLLLL

i

rVVVVV



6>] >}>] `i> > >`>`i `i V>`> `

!5,!

>> `i >i >> QR "Lii >i>ii i i V>`> >


`i>`i>Xi]>i>ii`ii>i
>`XK`ij>V>> iv>]
Qv }R r Q> L > L > L
>LRVVVV

rQ>LVRQ>LVRQ>LVR

Q>LVR

rQ>LVRQ>LVRQ>LVR

Q>LVR

r>>>>QLVLV

LVLVR

rQvQ}R

6Vk `ii Li> i > V`XK >> i > }>`>`i


>V> i> i`>`i> j i > >`XK i> >V>> i   j
i`>`i]i>`ij>i
>`XK`ijV>>]]
v}r>>>>LLLL

r>L>L>L>L

rL>L>L>L>

r}v
>ii]ii]>}>`>`i>ii]>v>

`i>>`XK>iiV>>
"iiii`>>`XKiQRji
`iiiVV

rQR

# % $ % 2 * 

LGEBRA))\!NISDEPOLINMIOS

]i
v r>>>>

r>>>>

r>>>>

rv

>}>ii] i

v r v] > >`XK `i

jV>>>i
iiiiii`>>`XKiQRji
i>`i
{"jV`ivr>>>>>
j

qvrq>q>q>q>qq>]

]
vqvr>>>>q>q>q>
qq>

r>q>>q>>q>>q>

>}>ii] i q v v r ] V ? v
Li>`]>>`XKjV>>iQR6iijv`>i>>
>V>XK`>>`i>i>>ViwVii>]LiV
i}ii`>`i>i`i>`>]>>V>`>`i`>
V>XK] > > V > `iV>`> i `i
`i?>]Vki?V`>`>i>>>i>>`>`i`i>
>> i> i iwV>? V vV>] > ?V>] i> i`>`i
>V>>>V>XK

# % $ % 2 *

!5,!



!
!4)6)$!$%
3EJAMOSSEGUINTESPOLINMIOSEM,QR
vr
}rq
r{

6ERIlQUESEAPROPRIEDADEASSOCIATIVADAMULTIPLICAOVLIDA
NOCASODOSPOLINMIOSv }E ISTO

Qv}RrvQ}R

*i}V>iwV>XK`>>`>`i`>>`i>i

>>QR
xV>XK`ij>V>> iv>]

Qv}R  > L V

 > L V


 

 > L V
  

 > L V
  

 > L V
  

 > L V
 




 > L V
 




 > L V




 v  }  
,i>>i > > >`>`i] >> ii`i i
>>i`>`i>i`i>`>
# % $ % 2 * 

LGEBRA))\!NISDEPOLINMIOS

!
!4)6)$!$%
#ONSIDEREOSSEGUINTESPOLINMIOSEM)2;X=

vr

}rq


6ERIlQUESEAPROPRIEDADECOMUTATIVADAMULTIPLICAOSATISFEITA
NESTECASOPARTICULAR ISTO

v}r}v

*Vi`i]>}>]D`i>XK`>i`>`iV>>
`>V>XK>>>i>`iVViwVii
>i
V>XK`ijV>> iv>]

v}  > L

> L





 > L
 

 L >
 



 L >



 }  v 
"iiii`>V>XKjV>i
irQR*]

vi  >

 >


 v 

>}>ii >> i v r v] > V>XK `i


jV>>

# % $ % 2 *



>ii]Liiiiiii`>V>XK

!5,!

iiiQRVV`i
*>>VViQRj]`iv>]>iV>V
`>`i]i>iwV>i>>`XKi>V>XK`i
>v>i>i`>`i`L>i`i`i>i>
i`>`i]V`>Vk>`iii>i}i>`>`i\

!
!4)6)$!$%
$ADOSOSSEGUINTESPOLINMIOSCOMCOElCIENTESREAIS

vrq

}rq
r]

MOSTRE QUE A PROPRIEDADEDISTRIBUTIVAVLIDAPARAOSPOLINMIOS


DADOSACIMA OUSEJA MOSTREQUE

Qv}Rrv}

6>iwV>]>}>]ii>i`>`ijii>vi>
i>i
n  >`XK i > V>XK `i >v>i > i
`L>]]

Qv}R  > L V

  > L V




  > L V
 


  > V L V
 


  > V  L V

 

  > V  L V
 
 


 > V L V





 v   }  

# % $ % 2 * 

LGEBRA))\!NISDEPOLINMIOS

iLi>i]>>`>`iV>*i`>`i
n]>Ljj?`>>}>`>`i\
Qv}Rrv}]
>V>XK`ijV>>
]>V`XiiV>>Vi>>iK?`>
*`i VV] >] i i  j >i V> i V
`>`i]iKQR]``i>i>Xi`i>`XKiV>XK]
>Ljj>iV>iV`>`i >ii>wV>
`i>`
}> Li>Xi i > iii > K Vi
kV>`>Li>Xiiwi>}`>>`/ii>
V>i>i>i>ii`i>V>`>>]ii`i}>`i
@V>
/iiQR]iii`iVi`i>
V>i`iQR
-iKvV>]j]i>V>XKiKj
V>>]iKQR>LjKi?V>
-i  K i `>`i] i>] iii i `>
V>XK]iKQR>LjKi?`>`i
{-iv``ii}`>`i]iKQR>Lji?
``ii}`>`i`i>XK`iiv>i?VV>`>
V>>`>`i>>Vk

!4
!4)6)$!$%
0ROVEQUESE!UMDOMNIODEINTEGRIDADE ENTOQRTAMBM
UMDOMNIODEINTEGRIDADE

# % $ % 2 *

!5,!



6>i}V>Li>Xiii>i\
x-ivV]iKQRj``ii}`>`i
i v>] i  j V] iK  j ` `i i}`>`i i] i>
Li>XK>i]QR>Lji?``ii}`>`i
ii`V]QRKjV`i>XK
`iiv>v>?>i`i>`>`i>

!4)6)$!$%3&).!)3
0ROVEQUEOPOLINMIOvrNOPOSSUIINVERSOMULTIPLICATIVO

&AAUSODAATIVIDADEANTERIORPARAPROVARQUESE QUALQUERANEL ENTO

QRNOUMCORPO

2%35-/
.ESTAAULA VOCVIUQUEQR MUNIDODASOPERAESDEADIOEMULTIPLICAODE
POLINMIOS UMANELCOMUTATIVOCOMUNIDADE DENOMINADOANELDEPOLINMIOS
COMCOElCIENTESNOANEL!COMUTATIVOCOMUNIDADE !PRENDEUTAMBMQUE

QRUMDOMNIODEINTEGRIDADE NOCASODE!SERUMDOMNIODEINTEGRIDADE
&INALMENTE OBSERVOU QUE QR JAMAIS SER CORPO MESMO SENDO ! UM CORPO
%MPARTICULAR)2;=NOCORPO SOMENTEUMDOMNIODEINTEGRIDADE

# % $ % 2 * 

LGEBRA))\!NISDEPOLINMIOS

2%30/34!3#/-%.4!$!3

!TIVIDADE
0ROCEDAMOSAFAZERASMULTIPLICAESREQUERIDAS

Qv}RrQqR{

r{qqq{

rx{qq{

0OROUTROLADO TEMOS

vQ}RrQq{R

rq{

rx{qq{

!SSIM OBSERVEQUEAIGUALDADE;v}RrvQ}RVLIDA

!TIVIDADE
$EFATO TEMOSQUE

v}rq

rq q

0OROUTROLADO

}vrq

rqq

0ROVANDOASSIMQUEAIGUALDADEv}r}vVLIDA

# % $ % 2 *

!5,!



!TIVIDADE
4EMOSQUE

Qv}RrQqqR

rq

rqq{

0OROUTROLADO

v}rqq

rqq{qq

rqq{]

O QUE MOSTRA QUE OS POLINMIOS v } E SATISFAZEM A PROPRIEDADE


DISTRIBUTIVA

!TIVIDADE
6AMOS SUPOR QUE ! UM DOMNIO DE INTEGRIDADE O QUE SIGNIlCA QUE DADOS
A B! ENTO

>Lr>rOULr

OU EQUIVALENTEMENTE

>iL>L

3EJAM AGORA vE}DOISPOLINMIOSNO NULOSEMQR DIGAMOS

vr>>>>> COM>

}rLLLLL COML

/TERMODEMAISALTOGRAUDOPOLINMIOPRODUTOv}DADOPOR>L
#OMO!UMDOMNIODEINTEGRIDADEE>EL ENTO>L OQUE
GARANTEQUEv}UMPOLINMIONO NULO!SSIM CONCLUMOSQUEOPRODUTO
DEDOISPOLINMIOSNO NULOSUMPOLINMIONO NULO0ORTANTO PROVAMOSQUE
QRUMDOMNIODEINTEGRIDADE

# % $ % 2 * 

LGEBRA))\!NISDEPOLINMIOS

!TIVIDADE&INAL
6AMOSSUPOR PORCONTRADIO QUEEXISTAUMPOLINMIONO NULO}TALQUE

v}r

OQUESIGNIlCAQUEv}OPOLINMIOCONSTANTEir$A TEMOSQUE

}v}r}r

E PORTANTO COMO}v}r}} TEMOS


}}r]

OQUEIMPOSSVEL JQUE}}!SSIM CONCLUMOSQUENOEXISTEPOLINMIO


NO NULO}TALQUE

v}r

OUSEJA OPOLINMIOvrNOINVERTVEL

!TIVIDADE&INAL
6IMOS NA!TIVIDADE&INALANTERIOR QUEOPOLINMIOvrNO NULOENO
INVERTVEL3EOANELQRFOSSEUMCORPO SERIANECESSRIOQUEvr SENDONO
NULO FOSSEINVERTVEL0ORTANTO OANELQRNOUMCORPO

# % $ % 2 *

!5,!

$IVISODEPOLINMIOS

-ETADAAULA

objetivos

!PRESENTAROALGORITMODEDIVISODEPOLINMIOSCOM
COElCIENTESNUMCORPO!

!OlNALDESTAAULA VOCDEVERSERCAPAZDE
s)DENTIlCAROALGORITMODEDIVISODEPOLINMIOS
s%XECUTARCLCULOSDEDIVISODEPOLINMIOS

0R REQUISITOS

6OCVAIPRECISARDOSCONHECIMENTOSSOBREANIS
EIDEAIS DESENVOLVIDOSEMLGEBRA) EDOSCONHECIMENTOS
SOBREOSPOLINMIOSDAS!ULASA

LGEBRA))\$IVISODEPOLINMIOS

).42/$5/

.ASAULASANTERIORES ESTUDAMOSASOPERAESDEADIOEMULTIPLICAODE
POLINMIOSCOMCOElCIENTESNUMANEL!6IMOSQUEOCONJUNTODOSPOLINMIOS
COM COElCIENTES NUM ANEL ! DENOTADO POR !;= MUNIDO DAS OPERAES
ANTERIORES TAMBMUMANEL
.ESTA AULA VAMOS TRATAR O PROBLEMA DA DIVISO DE UM POLINMIO POR
OUTRO POLINMIO 6EREMOS QUE ESTA DIVISO NOS D INFORMAO SOBRE
ASRAZESDEUMPOLINMIO
6AMOS INICIAR REVENDO DO SEU CURSO DE %NSINO -DIO O ALGORITMO DA
DIVISO DE POLINMIOS $EPOIS VAMOS ENUNCIAR E PROVAR A PROPRIEDADE
DADIVISODEPOLINMIOS

%XEMPLO
6> v>i > `K ` v r x
i } r *`i i>> > >>}> V
>} `> `K ` i i V> >`
ii>`>`K\

"i>ViiV>

i]Li`x]`i`>}>>

}>iViwVii`i`ix\

" i}` > Vi i L> x `


x]Li`q\

# % $ % 2 *


!5,!

"iVi>ViiV>i
V>i]Li`i]`i`
>}>>}>iViwVii`i`iq\

x

" > > Vi i L> `


q]Li`qq\

x

qq

" > Vi i ivV> i }> `


L`]qq]jii}>``
-i` >] iVi> Vi `i `K] Li`

Viiriirq

q]iii>i>XK\

  ]

xr

]>`>]

vr}V}}}

"Lii i ` V>] v r x
i}r]iiVi><QR]>Kji`>`ii


`L`iVi]rirq


q]iiVi><QR]?i
<QR>ViVii

V<`iiKjV}>]V`i>`
ii i ` i Vi\ v r x
i}riiVi`>+QR]iKji`>`ii`

# % $ % 2 * 

LGEBRA))\$IVISODEPOLINMIOS


L`]rirq
q]iiVi>

+QR>ViVii+jV
* ] > V`i> > `K `i i QR]
V`i>iii>V"Vi`i`K`iV
ijV>>``i>}`>`K
*>i] >}>] >} `> `K `i i>
>`>`i

!
!4)6)$!$%
 $ADOS OS POLINMIOS v r x n{ E } r {

EM,QR OBTENHAOSPOLINMIOSQUOCIENTEERESTODADIVISODE
vPOR}

0ODEMOS AGORA ENUNCIAR O RESULTADO GERAL SOBRE DIVISO DE


POLINMIO
????????????????????????????????????????????????????????????????
????????????????????????????????????????????????????????????????
????????????????????????????????????????????????????????????????
???????????????????????????????????????????????????????????????

4%/2%-!!,'/2)4-/$!$)6)3/$%0/,).-)/3
-i>Viv]}QR`V}
K]iKii]QR>i
vr}V}}r
i `i V> > `i>XK] i> >}>
Li>Xi\
6i>>ii>X>`iii>`V>}`>`K
i<\`>`>]L<]VL]iKii]<>i

# % $ % 2 *

>rLVL


!5,!

iLii`>i}>>`>\>j``i`]Lj`]
j Vii i j i iLii] >Lj] `i i > i>XK
>rLjiii>`>iii>`>`K

>L

>}>ii] > i`>`i `> `K >> ]


v j V>>` `i ``i`] } j `] j
Viiiji/>Ljiii>>i>XK
vr}`iv>ii?V>\

v}

-iiv]r]i

vr}]

i `i i } ``i v i QR] i
`i>}v iiV>]>Lj`ii}
j ` `i v] i } j v> `i v] ] >`>] i
vj`i}iQR
{v>`i>>ikV>`i
i? V` >} >> V>V? i >}] i j
iii>}ii>>XK`Vi>V>` i]i?
iV]i}wV>ii>V>i?>V>`ii`>
ii">}v>?i>iiXK]Li`>ikV>`i
i]>ji}>`ii>ii}>``
}>jir
i>XK
iLii`iiiiiV>i]i
QR]i>v>X>
vr}V}}}r

# % $ % 2 * 

LGEBRA))\$IVISODEPOLINMIOS

6>``>>}i>XKikV>
V>\vj]j]vr
iiV>]iVirri]>]Li

vr

r}

r}]

vr}Vr]

i>]i

}>>`>V`XK`>`K
V>\vjKV}v}}
}>]iVi`rirv]i

vrv

r}v

r}

}r}v}}

*>]i

vr}V}}}]

}>>`]>i]>V`XK`>`K
V>\vjKV}v}}
iiV>]>V>ikV>`ii]]]
]]i>v>X>
}v}}}q}

# % $ % 2 *



!5,!

V
}}}r

*>>]i>

vr>>>>>

}rLLLLL]

V>]Liij>V`XK}v}}
*>>Liii]`iw

> q
rvq
}
L

>

jV]iK
]i}>>ii
L

> q
rvq
}QR
L

>
> L ]
iLii`iiVii}wV>`
L
>
j]
r> L

>`>i>ViwVii`ivi}]ii
> q
rvq
}
L

  > >

>

 L L
L

> L > L



  > >
L
L

>L
  > > >
L

>L
 >  > >
L

>L
 >
L

>L
 > ]
L

# % $ % 2 * 

LGEBRA))\$IVISODEPOLINMIOS

i>ir]]

}qr}v

>
"Liiiivi`>V>XKq}v`ii
L
>i`i>>}>`iv>`viiX>

> q
rvq
}
L

*>]iVi`Vii

i

> q
r
]
L

> q
vr
}
L

r}]

V
}}vr

6>iii>V>\i}jK
ivjV}v}v]>LiQR]iK
iii]>LjiQR]>i
vr}V}}vr

>i>}}}r]iK>V`XK
`>`Ki?>vi>iiiVi

> V?] ii i } }} ]
>V>i>V>>}i]Li`
i]>LiQR]>i
r}V}}r

# % $ % 2 *


!5,!

>i>]>}>]}}}r]iK
iiViiLi>i

vr}

r}}

r}

r}]

`iViij

r]

>v>i`]>]>V`XK`>`K

>V?]iii}}} K]
>V>i > i > V> > } i ]
Li`i]>LiQR]>i
r}V}}r

> i>] >}>] } }} r ] iK


iiViiLi>i

vr}

r}}

r}

r}]

`iViij

r]

>v>i`]>]>V`XK`>`K

# % $ % 2 * 

LGEBRA))\$IVISODEPOLINMIOS

> V?] V>i >V>` > V>]


Li`>ikV>`ii]]]]]`iQR]
V}>i>ii`iViVii]

}q}q}}v]

i}>>i]>>Vi>`i]i

}}}r

iii]iiViiLi>i

vr}

r}

r}]

`iViij>

r []]

` ] ] ] ] L` i V>`> >V>XK `
>V>]w>ii]wV>>vi>>V`XK`>`K
"Liiiij`>`

!4)6)$!$%3&).!)3
!DIVISODEUMPOLINMIOvPORnRESULTANOQUOCIENTExE
RESTOn#ALCULEORESTODADIVISODEvPOR

# % $ % 2 *

$IVIDINDO SEOPOLINMIOvrx>{LV,QRPORn OBTM SE



RESTOIGUALA$IVIDINDO SEvPOR OBTM SERESTOIGUALA3ABENDOQUE

!5,!

vDIVISVELPORq DETERMINEOPOLINMIOv

2%35-/
.ESTA AULA VOC ESTUDOU A PROPRIEDADE DA DIVISO DE POLINMIOS QUE AlRMA
QUEDADOS v]} QR COM }NO NULO%NTOEXISTEMPOLINMIOS ]

QRTAISQUE

vr}COM}}}}OUr

2%30/34!3#/-%.4!$!3

!TIVIDADE
!PLICANDOOALGORITMODADIVISO TEMOS

xn{

xn{qq

xq

n{qqq

n{nn

qqqxq

{
n

# % $ % 2 * 

LGEBRA))\$IVISODEPOLINMIOS

#OMO

}qqqxqr{r}{]

ENTOOPOLINMIOQUOCIENTE

rn

EOPOLINMIORESTO

rqqqxq

$EOUTRAFORMA TEMOS

vrxn{

r}

rn{qqqxq

!TIVIDADE&INAL
4EMOSQUE

vrxqq

r{qqq


&AZENDOADIVISODEvPOR OBTEMOS

{qqq

qqxq

# % $ % 2 *

qq

qxq

qxq

x
q

q
q

!5,!


n

!TIVIDADE&INAL
$IVIDINDOvPORq]TEMOS

vrq

$A SEGUEQUEvrqr3UBSTITUINDOvrEMvrx>{
LV OBTEMOS

x>{LVr

>LVr

$IVIDINDOvPOR]TEMOS



E PORTANTO O RESTO DA DIVISO DE v POR O POLINMIO LINEAR

vr

!SSIM TEMOS QUE vq r q q r  3UBSTITUINDO vq r EM


vrx>{LV OBTEMOS

qx>q{LqVqr

>LqVr

#OMOvDIVISVELPORq]ENTOvrq]OQUENOSDvr3UBSTITUINDO
vrEMvrx>{LV]OBTEREMOS

x>{LVr

2ESOLVENDOOSISTEMA

>{LVrq

>LVr

>LqVr

>{>Vrq

# % $ % 2 * 

LGEBRA))\$IVISODEPOLINMIOS

CUJASOLUO>rq LrELrn0ORTANTO OPOLINMIOvDADOPOR

# % $ % 2 *

vrxq{q

AULA

Propriedades da diviso
de polinmios

Meta da aula

objetivos

Apresentar propriedades da diviso de polinmios.

Ao nal desta aula, voc dever ser capaz de:


Identicar as propriedades fundamentais da diviso de
polinmios.
Identicar o algoritmo de diviso de polinmios para
polinmios lineares.
Executar clculos de diviso de polinmios por
polinmios lineares.

Pr-requisitos
Voc vai precisar dos conhecimentos sobre anis
e ideais, desenvolvidos em lgebra I, e dos conhecimentos
sobre os polinmios das Aulas 5 a 8.

lgebra II | Propriedades da diviso de polinmios

INTRODUO

Na aula anterior, estudamos o algoritmo da diviso de um polinmio com


coecientes de um corpo A. Nesta aula, vamos obter algumas conseqncias
deste importante teorema. Vamos, portanto, rever seu enunciado e alguns
conceitos importantes.

TEOREMA 1 (ALGORITMO DA DIVISO DE POLINMIOS)


Sejam A um corpo e f(x), g(x)  A[x] dois polinmios com g(x)
no-nulo. Ento existem polinmios q(x), r(x)  A[x] tais que
f(x) = q(x)g(x) + r(x) com gr(r(x)) < gr(g(x)) ou r(x) = 0.
Observaes
1. Na propriedade da diviso para polinmios, o polinmio f(x)
chamado de dividendo, g(x) o divisor, q(x) o quociente e r(x)
polinmio resto. Tambm representamos a equao f(x) = q(x)g(x) +
r(x) de forma esquemtica:
f(x)

g(x)

r(x) q(x)
2. Se o resto for o polinmio nulo, r(x) = 0, temos
f(x) = q(x)g(x),
e dizemos que o polinmio g(x) divide o polinmio f(x) em A[x], e
denotamos isso por g(x) f(x).
Podemos generalizar esta ltima observao na seguinte
denio.

DEFINIO 1
Sejam A um anel e f(x), g(x)

 A[x] dois polinmios com g(x)

no-nulo. Dizemos que o polinmio g(x) divide o polinmio f(x) em


A[x], caso haja um polinmio q(x)  A[x] tal que
f(x) = q(x)g(x),

104

CEDERJ

e denotamos isso por g(x) f(x). Nesse caso, tambm dizemos que g(x)

AULA

um divisor de f(x), ou que g(x) um fator de f(x), ou, ainda, que f(x)
um mltiplo de g(x) em A[x].
Quando f(x) se expressa como um produto de polinmios,
f(x) = p1(x)p2(x) ... pn(x),
dizemos que o produto p1(x)p2(x) ... pn(x) uma fatorao de
f(x) e, portanto, cada polinmio pk(x) um fator de f(x).

Exemplo 1
Veja que, em Z[x], o polinmio g(x) = x2 + 1 divide o polinmio
f(x) = x4 x3 + 2x2 x + 1, pois
x4 x3 + 2x2 x + 1 = (x2 x + 1)(x2 + 1).

ATIVIDADES
1. Aplique o algoritmo da diviso de polinmios e verifique
que o polinmio f(x) = x4 x3 + 2x2 x + 1 divisvel por

g(x) = x2 + 1 em R[x].

2. Verique que o polinmio g(x) = x2 + x + 1 + divide f(x) =

x4 x2 + 1 em Z2[x].

CEDERJ

105

lgebra II | Propriedades da diviso de polinmios

PROPOSIO 1 (PROPRIEDADES DA DIVISO DE


POLINMIOS)
Sejam A um anel e polinmios f(x), g(x), h(x)  A[x].
1. Se h(x) f(x) e h(x) g(x), ento h(x) (f(x) + g(x)) e h(x) (f(x)
g(x)).
2. Se h(x) f(x), ento h(x) f(x)g(x).
3. h(x) f(x), h(x) g(x) e p(x), q(x)  A[x], ento h(x) (p(x)f(x)
+ q(x)g(x)).
4. Se h(x) f(x) e f(x) g(x), ento h(x) g(x).
Demonstrao
Durante a demonstrao, usaremos somente as denies anteriores. muito importante que voc reconhea as propriedades aplicadas
em cada passo.

 A[x] tal que f(x) = q(x)


h(x). Analogamente, como f(x) g(x) existe p(x)  A[x] tal que g(x) =
1. Como h(x) f(x) ento existe q(x)

p(x) h(x) . Assim,


f(x) + g(x) = q(x)h(x) + p(x)h(x)
= (q(x) + p(x))h(x).
Como q(x) + p(x)

 A[x], temos que h(x) divide f(x) + g(x), ou

seja, h(x) (f(x) + g(x)). Analogamente, temos


f(x) g(x) = q(x)h(x) p(x)h(x)
= (q(x) p(x))h(x).
Assim, f(x) g(x) mltiplo de h(x), ou seja, h(x) (f(x) g(x)).
2. Novamente, como h(x) f(x) , existe q(x)  A[x] tal que f(x) =
q(x)h(x). Multiplicando por g(x) ambos os lados desta ltima igualdade,
temos
f(x)g(x) = (q(x)h(x))g(x)
= (q(x)g(x))h(x).

106

CEDERJ

Como q(x)g(x)  A[x], temos que f(x)g(x) mltiplo de h(x), ou

AULA

seja, h(x) f(x)g(x).


3. Pela Proposio 1.2, se h(x) f(x), ento h(x) p(x)f(x), e se
h(x) g(x), ento h(x) q(x)g(x). Agora, pela Proposio 1.1, conclumos
que h(x) (p(x)f(x) + q(x)g(x)).

 A[x] tal que f(x) = q(x)h(x).


Analogamente, como f(x) g(x), existe p(x)  A[x] tal que g(x) = p(x)f(x).
4. Como h(x) f(x), existe q(x)

Assim,
g(x) = p(x)f(x)
= (q(x)h(x))f(x).
= (q(x)f(x))h(x).
E, da, conclumos que h(x) divide g(x), ou seja, h(x) g(x).
Vamos rever tambm o conceito de raiz ou zero de um
polinmio.
Voc lembra o que signica um escalar 2 ser raiz de um polinmio f(x)? Na aula passada, introduzimos este conceito e vamos rev-lo
agora.

DEFINIO 2
Sejam A um anel e um polinmio f(x)  A[x]. Dizemos que 2  A
uma raiz ou um zero de f(x) em A se f(2) = 0.
Vejamos, a seguir, alguns exemplos.

Exemplo 2
Seja f(x) = x4 x3 x + 1  Z[x], temos que 2 = 1 uma raiz de
f(x) em Z, pois
f(1) = 14 13 1 + 1 = 0.
Analogamente, 2 = 1

 Z5 raiz de f(x) = x3+ 2x2 + 2  Z5[x],

pois
f(1 ) = (1 )3 + 2(1)2 + 2 = 5 = 0,
observando que as operaes so realizadas em Z5.
CEDERJ

107

lgebra II | Propriedades da diviso de polinmios

Verique, agora, na sua prxima atividade, o que curiosamente


ocorre.

ATIVIDADE
3. Com respeito ao Exemplo 2, aplique o algoritmo da diviso de
3
p
polinmios e verique que o polinmio linear p(x) = x 1 divide
o polinmio f(x) = x4 x3 x + 1.

Esse comportamento de o polinmio linear x 2 dividir um


polinmio f(x) sempre que 2 for uma raiz de f(x), e, reciprocamente,
uma importante propriedade dos polinmios. Alm disso, tambm
conseqncia da propriedade da diviso de polinmios.

PROPOSIO 2
Sejam A um corpo, f(x)  A[x] um polinmio e 2  A um escalar.
Ento, existe um polinmio q(x)  A[x] tal que
f(x) = (x 2)q(x) + f(2).
Demonstrao
Aplicando o algoritmo da diviso aos polinmios f(x) e g(x) = x
2, temos que existem polinmios q(x), r(x)  A[x] tais que
f(x) = q(x)(x 2) + r(x) com gr(r(x)) < gr(x 2) ou r(x) = 0.
Como gr(r(x)) < gr(x 2) = 1, segue que gr(r(x)) = 0, ou seja,
r(x) um polinmio constante, digamos, r(x) = a
a seguinte igualdade polinomial
f(x) = q(x)(x 2) + a.

108

CEDERJ

 A. Temos, assim,

AULA

Substituindo x = 2 na igualdade acima, temos que


f(2) = q(2)(2  2) + a
=0+a
= a.
Logo, temos que
(x) = (x 2)q(x) + f(2)
Segue uma importante conseqncia desta proposio.

COROLRIO 1 (PROPRIEDADE DO FATOR LINEAR)


Sejam A um corpo, f(x)  A[x] um polinmio e 2  A um escalar.
Ento 2 uma raiz de f(x) se e somente se (x 2) f(x).
Demonstrao
Da igualdade f(x) = (x 2)q(x) + f(2), temos que
2 uma raiz de f(x) ( f(2) = 0 ( f(x) = (x 2)q(x) ( (x 2) f(x).
Observao
Veja que na demonstrao do Corolrio 1, na implicao
(x 2) f(x)  f(2) = 0 no necessrio usar o fato de que A um
corpo. Portanto, esta parte vale para um anel qualquer. Somente na
implicao f(2) = 0  (x 2) f(x) usamos a propriedade da diviso de
polinmios, onde preciso supor que A um corpo.
Vamos, agora, desenvolver um algoritmo especial para a diviso de
um polinmio qualquer por um polinmio linear do tipo p(x) = x 2.

ALGORITMO DE BRIOT-RUFFINI
Sejam um corpo A, f(x)  A[x] um polinmio e 2

 A um escalar.

Pela Proposio 2, existe um polinmio q(x)  A[x] tal que


f(x) = (x 2)q(x) + r, com r = f(2).

CEDERJ

109

lgebra II | Propriedades da diviso de polinmios

Observando a igualdade polinomial anterior, vemos que se n


o grau de f(x), ento o grau de q(x) n 1. Denotando o polinmio
f(x) por
f(x) = a0 + a1x + a2x2 + a3x3 + ... + anxn,
ento queremos encontrar os coecientes b0, b1, ..., bn1  A tais que
q(x) = b0 + b1x + b2x2 + b3x3 + ... + bn1xn1.
O algoritmo de Briot-Rufni consiste em obter os coecientes
b0, b1, ... , bn1 de q(x) em funo dos coecientes a0, a1, ... , an e do escalar
2. Nestas condies, veremos que
bn1 = an
bn2 = bn1 . 2 + an1
bn3 = bn2 . 2 + an2
b1 = b2 . 2 + a2
b0 = b1 . 2 + a1
r = b0 . 2 + a0.
Podemos representar os coecientes anteriores por meio do
seguinte esquema:
an an1 an2 ... a2 a1 a0

bn1 bn2 bn3 ... b1 b0 r


Antes de demonstrarmos as frmulas anteriores, veremos um
exemplo de como este algoritmo funciona.

Exemplo 3
Vamos obter a diviso do polinmio f(x) = x4 x3 x + 1 pelo
polinmio linear x 2  R[x]. Observe que os coecientes de f(x) so
a4 = 1, a3 = 1, a2 = 0, a1 = 1 e a0 = 1, e o escalar 2 = 2. Portanto,

110

CEDERJ

o polinmio quociente ser da forma f(x) = b3x3 + b2x2 + b1x + b0.

Coecientes de f(x)

AULA

O primeiro passo consiste em montar o esquema:


1

Como o coeciente b3 = a4 = 1, o segundo passo consiste em


abaixar o primeiro coeciente de f(x) para a linha de baixo, obtendo o
primeiro coeciente de q(x).
1

1
Pelas igualdades do algoritmos de Briot-Rufni, o prximo
passo consiste em obter o coeciente b2 de q(x), multiplicando o ltimo
coeciente obtido, b3, por 2 = 2 e, depois, somando este produto ao
coeciente a3 de f(x), isto , b2 = b3 . 2 + a2 . Assim, o prximo coeciente
b2 = 1 . 2 + (1) = 1:
1 1 0 1 1
1

Continuando o procedimento, temos que


b1 = b2 . 2 + a2
=1.2+0
= 2.
Representamos isso por:
1

Analogamente,
b0 = b1 . 2 + a1
= 2 . 2 + (1)
= 3.
1

CEDERJ

111

lgebra II | Propriedades da diviso de polinmios

E, nalmente, o resto dado por


r = b0 . 2 + a0
=3.2+1
= 7.
Coeciente de f(x)

 1

Coeciente de q(x) 

;
resto
Lembre, tambm, que outra forma de encontrar o resto r pela
igualdade
r = f(2) = 24 23 2 + 1 = 7.
Portanto, o resultado
quociente: q(x) = x3 + x2 + 2x + 3
e
resto: r = 7,
ou seja,
x4 x3 x + 1 = (x3 + x2 + 2x + 3)(x 2) + 7.
ATIVIDADE
4. Use o algoritmo de Briot-Rufni para vericar que o polinmio linear

p(x) = x 1 divide o polinmio f(x) = x4 x3 x + 1.

Faremos, agora, a demonstrao do algoritmo de Briot-Rufni.

112

CEDERJ

AULA

DEMONSTRAO DO ALGORITMO DE BRIOT-RUFFINI


Lembre que f(x) = a0 + a1x + a2x2 + a3x3 + ... + anxn e que queremos
encontrar um polinmio q(x) = b0 + b1x + b2x2 + b3x3 + ... + bn 1xn 1

 A[x] e um resto r  A tal que


f(x) = q(x)(x 2) + r.
Lembre, tambm, que o nosso problema consiste em obter os
coecientes b0, b1, ... , bn 1 e r em funo dos coecientes a0, a1 , ... , an
e de 2.
Como f(x) = q(x)(x 2) + r, temos
a0 + a1x + a2x2 + a3x3 + ... + anxn = (b0 + b1x + b2x2 + b3x3 + ... +
bn 1 xn 1)(x 2) + r
= (r 2b0) + (b0 2b1)x + (b1 2b2)x2 + ... + (bn 2 2bn 1) xn 1 + bn 1xn
e, da igualdade de polinmios, segue que
an = bn 1
an 1 = bn 2 2bn 1
an 2 = bn 3 2bn 2
a2 = b1 2b2
a1 = b0 2b1
a0 = r 2b0.
Invertendo estas equaes, obtemos,
bn 1 = an
bn 2 = bn 1 . 2 % an 1
bn 3 = bn 2 . 2 % an 2
b1 = b2 . 2 % a 2
b0 = b1 . 2 % a 1
r = b0 . 2 % a 0.
Estas so as equaes desejadas.

CEDERJ

113

lgebra II | Propriedades da diviso de polinmios

Exemplo 4
Neste exemplo, faremos sucessivas aplicaes do algoritmo
de Briot-Rufni. Observe que 1 e 1 so razes de f(x) = x4 1, pois
f(1) = 0 e f(-1) = 0. Fazemos, inicialmente, a diviso de x4 1 por x 1
e, em seguida, por x + 1.
Coeciente de f(x)

 1

Coeciente de q1(x) 

;
resto
Observe que o primeiro polinmio quociente q1(x) = x3 + x2
+ x + 1. Como q1(1) = 0, temos que q1(x) divisvel por x + 1. Aplicamos,
novamente, o algoritmo de Briot-Rufni, dividindo q1(x) por x + 1. Temos,
coecientes de f(x)

 1

coecientes de q1(x) 

coecientes de q2(x)  1

1
0

1
1

;
resto
O segundo quociente q2(x) = x2 + 1. Assim,
f(x) = x4 1
= (x3 + x2 + x + 1)(x 1)
= (x2 + 1)(x + 1)(x 1).

ATIVIDADES FINAIS
1. Se dividirmos um polinmio f(x)  R[x] por x 2, o resto ser 13 e se dividirmos

f(x) por x 2, o resto ser 5. Supondo que r(x) o resto da diviso de f(x) por
x2 4, calcule r(1).

114

CEDERJ

A

e f(x)

 A[x].

Prove que se f(a) = f(b) = 0 e

2. Sejam A um corpo a, b

AULA

a  b, ento (x a)(x b) | f(x).

RESUMO
Num corpo A, se f(x)  A[x] for um polinmio e 2  A, um escalar, ento existir
um polinmio q(x)  A[x] tal que

f(x) = (x 2)q(x) + f(2),


isto , o resto da diviso de f(x) por x 2 r = f(2). Como conseqncia, temos
que f(2) = 0 se, e somente se, x 2 dividir f(x).
O algoritmo de Briot-Rufni arma que para um polinmio f(x) = a0 + a1x + a2x2 +

a3x3 + ... + anxn  A[x] e um escalar 2 num corpo A, os coecientes do polinmio


quociente q(x) = b0 + b1x + b2x2 + b3x3 + ... + bn 1xn 1  A[x] e o resto r  A, da
diviso de f(x) por x 2, isto , tais que

f(x) = q(x)(x 2) + r,
so dados por

bn 1 = an
bn 2 = bn 1 . 2 + an 1
bn 3 = bn 2 . 2 + an 2
b1 = b2 . 2 + a2
b0 = b1 . 2 + a1
r = b0 . 2 + a0 .

CEDERJ

115

lgebra II | Propriedades da diviso de polinmios

RESPOSTAS COMENTADAS

Atividade 1
Aplicando o algoritmo da diviso de polinmios, obtemos

x4 x3 + 2x2 x + 1
x4 x2

x2 + 1
x2 x + 1

x3 + x2 x + 1
x3 x
x2 + 1
x2 + 1
0
Da, vemos que o quociente q(x) = x2 x + 1 e o resto o polinmio nulo r(x) = 0.

Atividade 2
Aplicando o algoritmo da diviso de polinmios, agora em Z2[x],

x4 + x2 + 1
x4 + x3 + x2

x2 + x + 1

x +1
x3 + x2 + x

x2 + x + 1

x2 + x + 1
x2 + x + 1
0

Da, vemos que o quociente q(x) = x2 x + 1 e o resto o polinmio nulo r(x) = 0 .

116

CEDERJ

AULA

Atividade 3
Aplicando o algoritmo da diviso de polinmios, obtemos

x4 x3 x + 1

x 1

x4 x3

x3 1

x+ 1
x+ 1
0

Da, vemos que o resto da diviso o polinmio nulo e, portanto, x 1 divide

f(x) = x4 x3 x + 1. Observe que o polinmio quociente q(x) = x3 1.

Atividade 4
Aplicando o algoritmo de Briot-Rufni, obtemos

coecientes de f(x)

 1

coecientes de q(x) 

;
resto

Da, vemos que o resto da diviso zero e, portanto, x 1 divide

f(x) = x4 x3 x + 1. Observe que o polinmio quociente q(x) = x3 1.

Atividade Final 1
Quando dividimos f(x) por x 2, obtemos resto 13, isto , f(x) = q1(x)(x 2) + 13.
Observe que f(2) = 13.
Dividindo f(x) por x + 2, obtemos resto 5, isto , f(x) = q2(x)(x + 2) + 5. Novamente,
observe que f( 2) = 5.
Quando dividimos f(x) por x2 4, obtemos

f(x) = q(x)(x2 4) + r(x), com gr(r(x)) < 2 ou r(x) = 0.

CEDERJ

117

lgebra II | Propriedades da diviso de polinmios

Assim, temos r(x) = ax + 0 com a, b  R.


De f(2) = 13, obtemos

13 = f(2)
= q(2)(22 4) + (a.2 + b)
= 2a + b,
ou seja, temos 2a + b = 13.
De f(2) = 5, obtemos

5 = f(2)
= q(2)((2)2 4) + (a . (2) + b)
= 2a + b,
ou seja, temos 2a + b = 5.

Resolvendo o sistema

2a + b = 13
2a + b = 5,
obtemos a = 2 e b = 9, o que nos d r(x) = 2x + 9. Portanto, r(1) = 11.

Atividade Final 2
Dividindo o polinmio f(x) por (x a)(x b), obtemos

f(x) = q(x)(x a)(x b) + r(x), com gr(r(x)) < 2 ou r(x) = 0.


Portanto, temos r(x) = cx + d com c, d  A.
Como f(a) = 0 temos

0 = f(a)
= q(a)(a a)(a b) + (c . a + d)
= ac + d,
ou seja, ac + d = 0.

118

CEDERJ

AULA

Como f(b) = 0 temos

0 = f(b)
= q(b)(b a)(b b) + (c . b + d)
= bc + d,
ou seja, bc + d = 0.
Temos, assim, o sistema

ac + d = 0
bc + d = 0
Subtraindo bc + d = 0 de ac + d = 0, obtemos

(ac + d) (bc + d) = 0 0
ac + bc = 0
(a b) . c = 0.
Como A um corpo e a b

 0, ento resta c = 0. Substituindo esse valor em

ac + d = 0, obtemos d = 0, o que nos d r(x) = 0, isto , r(x) o polinmio nulo.


Portanto,
f(x) = q(x)(x a)(x b),
o que signica que (x a)(x b) f(x) em A[x].

CEDERJ

119

10

!5,!

3OBRERAZESDEPOLINMIOS

-ETADAAULA

objetivos

!PRESENTARALGUNSRESULTADOSIMPORTANTESSOBREAS
RAZESDEPOLINMIOS

!OlNALDESTAAULA VOCDEVERSERCAPAZDE
s2EALIZARUMAPESQUISASOBRERAZESDEPOLINMIOS
s)DENTIlCAROCONCEITODEMULTIPLICIDADEDEUMARAIZ
s)DENTIlCARASPOSSVEISRAZESRACIONAISDEUMPOLINMIOCOM
COElCIENTESINTEIROS

0R REQUISITOS

6OCVAIPRECISARDOSCONHECIMENTOSSOBREANISE
IDEAIS DESENVOLVIDOSEMLGEBRA) EDOSCONHECIMENTOSSOBRE
OSPOLINMIOSDAS!ULASA

LGEBRA))\3OBRERAZESDEPOLINMIOS

).42/$5/

.ASAULASANTERIORESESTUDAMOSVRIASPROPRIEDADESDADIVISODEPOLINMIOS
5MADASMAISIMPORTANTESFOIAPROPRIEDADEDOFATORLINEAR POISELAFORNECE
INFORMAOSOBREAQUANTIDADEMXIMADERAZESDEUMPOLINMIO0ORISSO
VAMOSCOMEARREVENDOESTAPROPRIEDADE

02/0/3)/02/02)%$!$%$/&!4/2,).%!2
-i>V]vQRiAiV>>
KAj>>`iviiiiiqAviQR
ii>ii?`iiiiiii>
qA``iviiVViV>>V`>`i`>>A

$ElNIO
-i>ViA>>`vQR

>>V`>`i`>>A>i>i

qAviqA&v]

>] > i ? `i ii i i>


qA``iv
>Lj`ii`>i}iv>\

vrqAVAx

i]>`>]i>>ji>`>V`>`i
v}>>ii>>j>>`>V`>`iv>
i i]>Lj]i>>j`>]iK]>]>`
>V`>`iv}>>>]iiV>ii

%XEMPLO
>`vr{qq,QR]iK
j>`iv]

vr{qq

rqq

# % $ % 2 *



6>V>V>>V`>`i`i>>V>` ,vw

!5,!

`>ii]Li

qq

qq

i]>]

vrqq

rq

Kj>`ir]rx]iK>
V`>`i`>>j}>>]i>]j>>`>`iv
1> VikV> >i `> i`>`i ` v> i>
>w>i`i}>i]?]>i

02/0/3)/15!.4)$!$%-8)-!$%2!:%3$%5-
0/,).-)/
-i>VivQR`i}> K]
Fi]?]>ii]i`iV>`>>jV>`>
i`iii}>D>V`>`i
i>XK
-i> A A  AK `>>>i`>`iv]j]
iV>>V`>`i
>\-i>>V`>`i`>>A]j]

vrqAVAx]

`iQR
>\
vAr]iK

AqAAr

# % $ % 2 * 

LGEBRA))\3OBRERAZESDEPOLINMIOS

i>`iAxA]iiAqAx}]
Ar]j]A>Ljj>>`i
-i>>V`>`i`>>A]j]

rqAVAx

*>]

vrqA

rqAqAA

VAxiAx
*Vi`i`>]Vi>ii]Li

vrqAqAqA

VAx]Ax]]Ax

>`>>iV>V`>`ii
>ii
b}r}vr

%XEMPLO

`ii ` i ] v r { q  q
,QR
,QR
QR]`iivr{qq

QR ii>i]i

vrq

>]i
QR]>ii

rq]

`irq Kv`iiiVV


# % $ % 2 *

vrqq



*>]vi{>iVi>\]]qi"Liii

!5,!

>`i>]>>]j>>`>]i>qiK>ii
"Liii]i,]v>V>>ii>j`i
V`>`i`

%XEMPLO
"vr{qq ,QRi]?]
{>ii>"LiiiiqK>i`ivV>`
,vw`>ii]i

qq

}]

vrq

rq

r K i >i i>] $ r
q { r q ] iK v i ii `> >i i>] > >Li]
iq"Liii>L>kV`>`i i>]V`i>`
vr{qqi
QR]iKvi{>iVi>6i>i>
>iVi>`irK

p p

]

 

iviiViiV

v 

"Lii i `> > > >i Vi> v K >i


i

# % $ % 2 * 

LGEBRA))\3OBRERAZESDEPOLINMIOS

!
!4)6)$!$%
A!PLICANDOOALGORITMODE"RIOT 2UFlNI ENCONTRETODASASRAZES
REAISDE vr{q ,QREDETERMINESUASMULTIPLICIDADES
$EPOIS CONSIDERANDOvr{q
QR OBTENHATAMBMSUAS
RAZESCOMPLEXASCOMSUASMULTIPLICIDADES

B#ALCULEASRAZESDEvr{ <QREDETERMINESUAS
MULTIPLICIDADES

6>iV>]>}>]i>`>>iLi>i
`iVViwViiVi]/ii>`>i>`>
}iL> i}>>ii`KV>i`iViwVii
Vii]>i]>>Vi>

4%/2%-!&5.$!-%.4!,$!,'%"2!
-i>
V ` i Vi i v
QR
KV>i K]ii>A
>ivAr]
i>]v>`i>Vi>

VikV>]ivr>>>>>
j `i ViwVii Vi `i }> r ] iK v
i>iVi>]A A  A
]V>`>V`>`i]
ivi`iVii``iv>ii>ii
QR]

vr>qAqAqA

"Li>Xi
ViV>>`/ii>`>i>`>}iL>K
iiiiVjVV>>}jLV>]`>>`i>Xi
ViV`> `ii ii> ii VVi K >}jLV `i
V`>`iVViii]`>?i>`i?i*>]>`i>XK
`iiii>i?v>`iV`iiV
# % $ % 2 *



"Liii/ii>`>i>`>}iL>>w>i

!5,!

`i}>]i
QR]>iVi>viii]
iiKv>VLii>>i]i]i}i>]jLi>
`vV >>V`ii>>>i`i
`i}>iivXK`iViwVii Kj`vVLi
v>>i>>>>i`i`i}>{ i>]
i}>`v>}>>x]iK]i}i>]Kii
v>iiii>>iivXK`iiViwVii
1i>`]ii>i>>V`V
ii]j>i}ii`>`i>`>>>`ii>>i>i
>V>`iVViwViii

02/0/3)/02/02)%$!$%$!32!:%32!#)/.!)3
-i>vr>>>>><QR

`i}>riAr>>>V>`ivV]<]i

`V]r K]N>iN>
i>XK

vrvAri

> >

> >  >


>

V>`i>i>XK]Li
>>q>q>q>qq>r
6> iiVii i> i>XK `i `> v> *i]
v>>`>>>Vi>]Li`
>>q>q>q>qq>qr]
i`?
>rq>q>q>q>qq>q]

# % $ % 2 * 

LGEBRA))\3OBRERAZESDEPOLINMIOS

i j `i *>] N > }>] V


`V]r]iKN>>}>ii]v>>`>i>
>Vi>`i
>>q>q>q>qq>r]
Li`
>q>q>q>q{>qq>r
i`?]
>rq>q>q>q>q{>qq]
i j `i *>] N >

>ii] V

`V]r]iKN>
V]>]>>`>XK

%XEMPLO
6> `ii> `> > >i >V> `
vr{qxqq{V>`Vj`>>>V>]i

Arv>>>V>`ivV`V]r]iK

NiN

*>]Oq]q]]PiO]P}]V>``>>
>>V>`ivK

A



] ] ] ] ] ] ]

}>]jiVViV>i>L`>`i>ii>Vii
ii
v r q x ] vq r x ] vq r { x ] v r i
vr

# % $ % 2 *



iK>i`iv]`i>V> ,vw

qxqq{

!5,!

`>ii]Li`

`?>v>>XK

v  { x {

>`?V}rXKi>i
i>]$rq{rq]iK]i>V>]>LjK

>i>V>*>]>>i>V>`ivKi

]>`iVXK`ivi,QRii+QRj

v 

ii>iV`i>vr{qxqq{V
i
QR iiV>]>>iVi>`i}r
K

p p

]>`iVXK`ivi
QRj

v 

iLiiiAr>L
]iKiV}>`Vi

A  ]jii>i>i>>iVi>

`i v >>iVi i >i `i V}>` Vi  j >


jiAr>qL
*ii]iiK

A

V>>ViV>`i`VViwViii>6>iV>
>i>i`>`i

# % $ % 2 * 

LGEBRA))\3OBRERAZESDEPOLINMIOS

02/0/3)/02/02)%$!$%$!32!:%3#/.*5'!$!3
-i>v,QRi
> >Ljj
A
>>`iv]iK
>>`iv
`i>XK`i>XKi?>i`i>>`>`iw>

`>Vk>>V>i>`>ii>>>`>`i

!
!4)6)$!$%
$ETERMINETODASASRAZESDOPOLINMIOvr{qq{
SABENDOQUEArUMARAIZ

!4)6)$!$%3&).!)3
0ROVEA0ROPOSIOSOBREAPROPRIEDADEDASRAZESCONJUGADAS

3EJAvr>LV`QRUMPOLINMIODEGRAU COMUMCORPO
ERAZESA AEA-OSTREQUE

A A A  >

AA AA A A 
>

`
AA A  >

# % $ % 2 *

!5,!

SONMEROSREAIS ENTOCALCULEOPOLINMIOv

2%35-/
.ESTAAULA VOCFOIAPRESENTADOAVRIOSRESULTADOSINTERESSANTESSOBREASRAZES
DEUMPOLINMIO
0RIMEIRAMENTE APRESENTAMOSCONCEITODEMULTIPLICIDADEDEUMARAIZ ADEUM
POLINMIO v OUSEJAOINTEIROPOSITIVOM TALQUE q A\ v E q A

&v OU EQUIVALENTEMENTE TALQUE




3ENDOERAZESDOPOLINMIOvr>LV EMQUE> LEV

vrqACOMAx

/BSERVAMOS TAMBM QUEONMERODERAZESDEUMPOLINMIO CONTADASCOM


SUAMULTIPLICIDADE NOPODEULTRAPASSAROGRAUDOPOLINMIO
6IMOSO4EOREMA&UNDAMENTALDALGEBRA%LEAlRMAQUETODOPOLINMIONO
CONSTANTEDECOElCIENTESCOMPLEXOSADMITEAOMENOSUMARAIZCOMPLEXA
!PRESENTAMOSUMCRITRIOQUEPERMITEOBTERASPOSSVEISRAZESRACIONAISDEUM
POLINMIODECOElCIENTESINTEIROS ASABER SE vr>>>>

><QRFORUMPOLINMIODEGRAUrEAFORUMARAIZRACIONALDE

vCOM <]E`V r]ENTO\>E\>


&INALMENTE APRESENTAMOSAPROPRIEDADESOBREPOLINMIOSCOMCOElCIENTESREAIS
QUEAlRMAQUESEv,QREA
FORUMARAIZDEv ENTOA OCONJUGADO
COMPLEXODEA TAMBMSERUMARAIZDEv

# % $ % 2 * 

LGEBRA))\3OBRERAZESDEPOLINMIOS

2%30/34!3#/-%.4!$!3

!TIVIDADE
A/POLINMIOvr{q,QRTEM NOMXIMO RAZESREAIS&ACILMENTEVEMOS
QUEEqSORAZESDEv!PLICANDO"RIOT 2UFlNIDUASVEZES TEMOS

vrq

OUSEJA

#OMOrNOTEMRAZESREAIS ENTOvTEMSOMENTEDUASRAZESREAIS
ASABER Eq6EJAQUEESTASRAZESSOSIMPLES OUSEJA DEMULTIPLICIDADE
#ONSIDERANDOvr{q
QR PELO4EOREMA&UNDAMENTALDALGEBRA SABEMOS
QUEvTEMRAZESCOMPLEXAS$UASDELAS Eq JSOCONHECIDAS!SOUTRAS
DUASSOASRAZESCOMPLEXASDEr ASABEREn!SSIM

rq

EvSEFATORAEM

vrqq

/BSERVEQUETODASASRAZESCOMPLEXASDEvSORAZESSIMPLES

B#OMOESTAMOSTRABALHANDOEM < VEMOSQUE UMARAIZDE vr{

<QR POIS

v r{

# % $ % 2 *



!5,!

!PLICANDO"RIOT 2UFlNITRSVEZES


OBTEMOS ASSIM

v  {






#OMOqrEM
< PODEMOSESCREVER

v 


 {
!TIVIDADE
#OMO vrqqq{rEOPOLINMIO vr{qq{TEMCOElCIENTES
REAIS ENTOqTAMBMRAIZDEv!PLICANDO"RIOT 2UFlNIDUASVEZES

qq{

q{q{q

q{

OBTEMOS

v  R T {


0ORTANTO ASRAZESDEvr{qq{SOpEp TODASRAZESSIMPLES/BSERVE


QUE SE NO FOSSE DADA A INFORMAO SOBRE A RAIZ COMPLEXA PODERAMOS TER
APLICADOOCRITRIODARAIZRACIONAL OBTENDOQUEEqSORAZESDEFX ,OGO
APLICANDO"RIOT 2UFlNIPARAESTASRAZES OBTEMOS

v 

# % $ % 2 * 

LGEBRA))\3OBRERAZESDEPOLINMIOS

!TIVIDADE&INAL
,EMBREQUESEB A
EA EB SOSEUSCONJUGADOSCOMPLEXOS ENTO

ABA B

A BA B

E

AA A,

3EJA AGORA vr>>>>> COM>, PARATODO3E

A
UMARAIZDEvENTO

vAr>>A>A>A>Ar

!PLICANDOOCONJUGADOCOMPLEXONAIGUALDADEACIMA TEMOS

>>A>A>A>Ar

>>A>A>A>Ar

>>A>A>A>Ar

>>A>A>A>Ar


,OGO


POIS CADA>,!IGUALDADEACIMASIGNIlCAQUEvA r ISTO A TAMBM
RAIZDEv

!TIVIDADE&INAL
3Evr>LV`UMPOLINMIODEGRAUCOMRAZESA AEA ENTO
APLICANDO"RIOT 2UFlNITRSVEZES OBTEMOS

v  > L V `
 > A A A
 >  A A A AA AA A A AA A
 > > A A A > AA AA A A >AA A

# % $ % 2 *

> A A A  L
> AA AA A A  V

>AA A  `]

E PORTANTO

A A A  >

AA AA A A 
>

`
A A A  >

#OMORAIZDEvEvTEMCOElCIENTESREAIS ENTOqTAMBM
RAIZDEv,OGO PELORESULTADODOEXERCCIOANTERIOR COM Ar ArE

Arq TEMOSQUE

0ORTANTO


!5,!

#OMPARANDOOSCOElCIENTESDAPRIMEIRAEDALTIMAEXPRESSO OBTEMOS

>

> 

L 
V  x

!SSIM vrqqx

# % $ % 2 * 

11

AULA

Polinmios irredutveis

Meta da aula

objetivos

Apresentar o conceito de polinmios irredutveis e algumas


de suas propriedades.

Ao nal desta aula, voc dever ser capaz de:


Denir o conceito de polinmio irredutvel.
Identicar polinmios irredutveis de grau 1, 2 e 3.
Identicar certos tipos polinmios irredutveis de coecientes inteiros.

Pr-requisitos
Voc vai precisar dos conhecimentos sobre anis e
ideais, desenvolvidos em lgebra I, e dos conhecimentos sobre os
polinmios estudados nas Aulas 5 a 10.

lgebra II | Polinmios irredutveis

INTRODUO

Vamos estudar, nesta aula, o conceito de polinmios que no se decompem


como um produto de outros polinmios. Estes so os polinmios irredutveis.
Eles so, na teoria dos polinmios, o anlogo dos nmeros primos no anel dos
inteiros Z. No se esquea de que os nmeros primos no se decompem
como um produto de inteiros positivos diferentes de 1 e dele mesmo; portanto,
durante o desenvolvimento dos conceitos e das propriedades, lembre-se sempre
da teoria dos nmeros primos.

DEFINIO 1
Seja K um corpo, dizemos que f(x)  K[x] um polinmio
irredutvel sobre K, ou irredutvel em K[x], se seus nicos divisores em
K[x] so os polinmios constantes e os mltiplos constantes dele mesmo,
ou seja, se g(x)  K[x] tal que
g(x) | f(x)  g(x) = c ou g(x) = d f(x) onde c e d so constantes.
Dizemos que f(x) redutvel em K[x], quando ele no for irredutvel,
ou seja, quando existirem polinmios g(x), h(x) = K(x) tais que
f(x) = g(x)h(x) com gr(g(x)) < gr(h(x)) e gr(f(x)).

Exemplo 1
Considere o polinmio f(x) = x2 2 em Q[x]. Como f(x)
um polinmio de grau 2, se ele fosse redutvel em Q[x], existiria
um polinmio linear ax + b em Q[x], tal que (ax + b) | f(x). Como
b
o polinmio ax + b tem raiz  Q, ento f(x) teria tambm uma
a
raiz racional. Mas, sabemos que as possveis razes racionais de f(x) so
2 e 2. Testando estas possibilidades, vemos que
f(2) = f(2) = 2  0.
Assim, f(x) no tem razes racionais; logo, ele no pode ser escrito
como o produto de dois polinmios de grau 1 em Q[x] e, portanto,
irredutvel em Q[x].

138

CEDERJ

 R, ento f(x) redutvel em R[x],

11

Por outro lado, como 40 2

AULA

pois podemos escrever


f(x) = x2 2 = (x + 0 2)(x 0 2)
Logo, f(x) o produto de dois polinmios de grau um em R[x].
Para compreender melhor o conceito de irredutibilidade de
polinmios, vamos considerar a seguinte denio.

DEFINIO 2
Dizemos que um corpo B uma extenso do corpo A se
A  B.
Assim, por exemplo, o corpo R dos nmeros reais uma extenso
do corpo Q dos nmeros racionais. O corpo C dos nmeros complexos
uma extenso tanto de R quanto de Q.
Veja que na Denio 1 tratamos de um polinmio irredutvel
sobre K, e no somente de um polinmio irredutvel. Isto se deve ao fato
do um polinmio poder ser irredutvel sobre um corpo K, porm redutvel
sobre um corpo L que seja uma extenso de K. No Exemplo 1, vimos
que f(x) = x2 2 irredutvel em Q[x], mas redutvel em R[x].

ATIVIDADE
1. Verique se o polinmio f(x) = x2 + 4 irredutvel em Q[x], R[x]
e C[x].
_____________________________________________________________
_____________________________________________________________
______________________________________________________________
______________________________________________________________

CEDERJ

139

lgebra II | Polinmios irredutveis

O prximo exemplo mostra que para vericar se um polinmio


f(x), de grau trs, irredutvel sobre um corpo K basta vericar se f(x)
possui razes em K.

Exemplo 2
Considere o polinmio f(x) = x3 + 3x + 2  Z5[x]. Vejamos se f(x)
irredutvel em Z5[x]. Se isso no acontecer, ou seja, se, f(x) for redutvel
em Z5[x], ento existe um polinmio g(x)

 Z5[x], de grau dois, e um

polinmio ax + b  Z5[x], de grau um, tal que


f(x) = (ax + b)g(x).
Observe que o polinmio linear ax + b

 Z5[x] tem uma raiz

 Z5. Portanto, f(x) redutvel em Z5[x] se, e somente se, f(x)


possuir uma raiz a  Z5. Vericando os valores de f(x) para cada elemento

b . a

de Z5 = {0, 1, 2, 3, 4}, temos


f(0) = (0)3 + 3 . 0 + 2 = 2  0;
f(0) = (1)3 + 3 . 1 + 2 = 6 = 1  0;
f(2) = (2)3 + 3 . 2 + 2 = 16 = 1  0;
f(3) = f(2 ) = (2 )3 + 3.(2 ) + 2 = 12 = 3  0;
f(4) = f(1 ) = (1 )3 + 3.(1 ) + 2 = 2 = 3  0.
Conclumos, assim, que f(x) = x3 + 3x + 2 no possui razes em
Z5[x]. Portanto, f(x) no redutvel em Z5[x], ou seja, f(x) irredutvel
em Z5[x].
Veja que esses dois exemplos nos fornecem um critrio para saber
se um polinmio f(x), de grau dois ou trs, irredutvel sobre um corpo
K. Basta vericar se f(x) possui razes em K. Este critrio torna-se prtico
sempre que o corpo K for nito e com poucos elementos, ou quando
pudermos restringir os candidatos a raiz a uns poucos elementos, como
no caso da propriedade das razes racionais, vista na Aula 15. Com
isso podemos caracterizar a irredutibilidade de todos os polinmios de
graus 1, 2 e 3. Lembre que estamos considerando K um corpo. Mais
precisamente temos:

140

CEDERJ

11
AULA

Proposio 1 (Irredutibilidade de polinmios de grau 1, 2 e 3)


Sejam K um corpo e K[x] o anel de polinmios. Ento,
1. Todo polinmio f(x)  K[x], de grau 1, irredutvel em K[x].
2. Seja f(x)

 K[x] um polinmio de grau 2 ou 3. Ento, f(x)

irredutvel em K[x] se, e somente se, f(x) no possuir razes em K.


Equivalentemente, f(x) redutvel em K[x] se, e somente se, f(x) possuir
alguma raiz em K.
Demonstrao

 K[x] de grau 1. Se f(x) fosse redutvel em K[x],


existiriam polinmios f(x), h(x)  K[x] tais que
1. Seja f(x)

f(x) = g(x)h(x) com gr(g(x)) < gr(g(x)) = 1 e gr(h(x)) < gr(f(x)) = 1.


Portanto, teramos que
gr(g(x)) = gr(h(x)) = 0,
ou seja, g(x) e h(x) seriam polinmios constantes, o que tornaria
a igualdade f(x) = g(x)h(x) impossvel, j que, de um lado, temos um
polinmio de grau um e, do outro, teramos um polinmio de grau 0.
Assim, conclumos que todo polinmio de grau um irredutvel num
corpo K.
2. Seja f(x)  K[x] de grau 2 ou 3.
Suponhamos, primeiramente, que f(x) seja redutvel em K[x].
Como f(x) tem grau 2 ou ento existe um polinmio ax + b  K[x], de
grau um, e um polinmio g(x)  K[x], tambm de grau um quando f(x)
tem grau 2, ou de grau 2 quando f(x) tem grau 3, tal que
f(x) = (ax + b)g(x).

 K[x] tem uma raiz


b . a1  K. Como (ax + b) | f(x), conclumos que b . a1  K tambm
Veja que o polinmio linear ax + b

raiz de f(x). Observe que, neste passo, fundamental que K seja um


corpo

CEDERJ

141

lgebra II | Polinmios irredutveis

() Vamos supor, agora, que f(x) possua uma raiz 2  K.


Ento, pela propriedade do fator linear, vista na Aula 15, teremos que
(x 2) | f(x). Logo, existe g(x)  K[x] tal que
f(x) = (x 2)g(x) com g(x 2) = 1 < gr(f(x)) e gr(f(x)) = 1 ou 2
< gr(f(x)).
Portanto, f(x) redutvel em K[x].
Na verdade, podemos generalizar um pouco a parte () da
demonstrao anterior. Tente voc provar esta generalizao na
prxima atividade.

ATIVIDADE
2. Prove que se f(x)

 K[x] for um polinmio de grau maior que

um e tiver uma raiz em K, ento f(x) redutvel em K[x]. Ou,


equivalentemente, se irredutvel em K[x], ento f(x) no possui
razes em K.
___________________________________________________________
___________________________________________________________
___________________________________________________________
___________________________________________________________

Observao
A recproca do resultado da atividade falsa, ou seja, falso em geral
que se f(x) redutvel em K[x], ento f(x) tem uma raiz em K. Um contraexemplo pode ser dado pelo polinmio f(x) = x4 4  Q[x]. Como
f(x) = x4 4 = (x2 2)(x2 + 2),
ento f(x) redutvel em Q[x] e, no entanto, as razes de f(x) no
so racionais, pois 4 0 2, 4 0 2i  Q.

142

CEDERJ

11
AULA

Exemplo 3
Verique se o polinmio f(x) = x3 4 irredutvel em Q[x], Q[x]
e C[x]. Veja que na busca por razes reais, temos que
<

f(x) = 0 ( x3 = 2 ( x = 0 2.
<

<

Portanto, 0 2 a nica raiz real de f(x) = x 3 2. Como

0 2  Q, ento, pela Proposio 1.2, segue que f(x) = x3 2 irredutvel em


<

Q[x]. No entanto, como 0 2  R  C, ento segue que redutvel em R[x]


e em C[x]. Alis, voc lembra como se prova que 0 2  Q?
<

Exemplo 4
Vamos determinar todos os polinmios irredutveis de grau 2 em
Z2[x]. Estes polinmios so da forma
x2 + ax + b com a, b  Z2.
Como Z2 = {0, 1} s tem dois elementos, podemos escrever todos
estes polinmios:
x2, x2 + x, x2 + 1 e x2 + x + 1.
Isto , s existem 4 polinmios de grau 2 em Z2[x]. Destes, o nico
que no possui raiz em Z2 x2 + x + 1. Assim, x2 + x + 1 o nico
polinmio irredutvel de grau 2 em Z2[x].
Antes de enunciar a sua prxima atividade, lembremos o que
um polinmio mnico. Dizemos que o polinmio
f(x) = anxn + an 1 x n 1 + ... + a2x2 + a1x + a0
mnico se seu coeciente lder for igual 1, isto , se an = 1, ou
seja, se
f(x) = xn + an 1xn 1 + ... + a2x2 + a1x + a0.
Agora sim, convidamos a resolver a sua terceira atividade; uma dica
que damos para voc usar um argumento similar ao usado no Exemplo 4.

CEDERJ

143

lgebra II | Polinmios irredutveis

ATIVIDADE
3. Determine todos os polinmios mnicos irredutveis de
grau 2 em Z3[x].
____________________________________________________
____________________________________________________
_____________________________________________________
__________________________________________________

Antes de continuar com a nossa teoria, vejamos mais um


exemplo:

Exemplo 5
Vamos determinar se o polinmio g(x) = x4 6x2 + 8

 Q[x]

irredutvel ou no em Q[x].
Vejamos, primeiramente, se ele tem razes racionais. Sabemos que
as possveis razes racionais de g(x) so {41, 42, 44, 48}. Vericamos
rapidamente que g(1)  0, e g(2) = g(2) = 0. Isto , 2 e 2 so razes de
g(x). Assim, em particular, g(x) redutvel em Q[x]. Agora, aplicando
duas vezes Briot-Rufni, temos
1

2 4

o que nos d
g(x) = x4 6x2 + 8
= (x + 2)(x 2)(x2 2).
Assim, escrevemos g(x) como um produto de polinmios
irredutveis em Q[x]. Veremos, mais adiante, que isto um fato geral
no anel de polinmios K[x].
Vamos continuar procurando critrios para decidir sobre a
irredutibilidade de polinmios. O seguinte critrio muito til para
determinar se certos polinmios com coecientes inteiros so irredutveis
sobre Q.
144

CEDERJ

Sejam f(x) = anxn + an1xn 1 + ... + a2x2 + a1x + a0

11
AULA

Proposio 6 (Critrio de Irredutibilidade de Eisenstein)

 Z[x] e um nmero

primo p tal que p divide cada coeciente ai , para i = 1, 2, 3, ..., n 1;


p no divide an e p2 no divide a0. Ento f(x) irredutvel em Q[x].
Antes de dar alguns exemplos onde mostraremos a utilidade deste
critrio, achamos pertinente fazer algumas observaes.
O Critrio de Einsenstein diz que se os coecientes de um polinmio
f(x)  Z[x] satisfazem certas condies para um primo p, ento ele no
pode ser escrito como o produto de dois polinmios em Q[x], com grau
menor que o grau de f(x). Podemos usar este critrio no caso de o polinmio
f(x) ter coecientes racionais. Para isso, observe que se
f(x) = anxn + an 1x n 1 + ... + a2x2 + a1x + a0  Q[x],
ento podemos achar um inteiro d e um polinmio g(x)

 Z[x]

tais que
d . f(x) = g(x) com gr(g(x)) = gr(f(x)).
Podemos, ento, aplicar o critrio de Einsenstein aos coecientes de
g(x). E, obviamente, se g(x) for irredutvel em Q[x], ento f(x) tambm ser
irredutvel em Q[x]. O seguinte exemplo mostra a utilidade deste critrio.

Exemplo 6
Vejamos que o polinmio f(x) = x4 + 4x 2 irredutvel sobre
Q. De fato, tomando o primo 2, vemos que 2 no divide o coeciente
a4 = 1, divide os coecientes a3 = 0, a2 = 0, a1 = 4 e a0 = 2, mas 22 = 4 no
divide o coeciente a0 = 2. Portanto, pelo critrio de Eisenstein, temos que
f(x) irredutvel em f(x) em Q[x]. Em particular, f(x) no tem raiz racional.
Observe que a aplicao do critrio independe do grau do polinmio f(x).
O prximo exemplo mostra que, em caso de no existir um primo
p satisfazendo as condies do critrio, ento no podemos concluir nada
a respeito da irredutibilidade f(x).

CEDERJ

145

lgebra II | Polinmios irredutveis

Exemplo 7
O polinmio f(x) = x2 + 1 irredutvel em Q[x] e no existe
nenhum inteiro primo p satisfazendo as condies do critrio. Por outro
lado, o polinmio f(x) = x2 1 redutvel em Q[x] e tambm no existe
um primo p que satisfaa as condies do critrio.
Voc deve lembrar que no incio da aula dissemos que os
polinmios irredutveis num corpo K tem um comportamento anlogo
aos nmeros primos p no anel dos inteiros Z. Uma das propriedades
mais importantes dos nmeros primos diz que qualquer inteiro positivo
n pode ser escrito como um produto de nmeros primos. Pois bem, uma
propriedade anloga tambm vale no anel K[x].
Teorema 1
Sejam K um corpo e f(x)

 K[x] um polinmio no constante,

ento existem polinmios irredutveis, P1(x), P2(x), ... , Pn(x), em K[x]


tais que
f(x) = P1(x) . P2(x)... Pn(x).
Esta igualdade conhecida como a Decomposio de f(x) em
polinmios irredutveis.

Exemplo 8
Vamos expressar os seguintes polinmios como um produto de
irredutveis em K[x].
1. f(x) = x4 4 = (x2 2)(x2 + 2) em Q[x].
2. f(x) = x4 4 = (x2 2)(x2 + 2) = (x 0 2)(x2 + 2) em R[x].
3. f(x) = x4 4 = (x2 2)(x2 + 2) = (x 0 2)(x2 + 0 2)(x2 0 2)
= (x 0 2)(x 0 2)(x 0 2i)(x + 0 2i) em C[x].
Para nalizar esta aula, convidamos voc a realizar as seguintes
atividades nais.

146

CEDERJ

11
AULA

ATIVIDADES FINAIS
1. Determine todos os polinmios irredutveis de grau 3 em Z2[x].

2. Mostre que f(x) = x5 9x3 + 9x 6 irredutvel em Q[x].

3. Escreva o polinmio f(x) = x5 + x4 + x2 1 como um produto de polinmios


irredutveis em Z2[x].

RESUMO
Nesta aula, vimos que f(x)  K[x] um polinmio irredutvel sobre K, ou irredutvel
em K[x], se seus nicos divisores em K[x] forem os polinmios constantes e os
mltiplos constantes dele mesmo, ou seja, se

g(x) | f(x) com g(x)  K[x]  g(x) = c constante ou g(x) = c f(x).


Dizemos que f(x) redutvel em K[x] quando ele no for irredutvel, ou seja,
quando existirem polinmios g(x), g(x)  K[x] tais que

f(x) = g(x)h(x) com gr(g(x)) < gr(f(x)) e gr(h(x)) < gr(f(x)).

CEDERJ

147

lgebra II | Polinmios irredutveis

Vimos que quando o grau do polinmio 1, 2 ou 3, determinar a irredutibilidade


de um polinmio bastante fcil. Mais precisamente, temos que:
1. Todo polinmio f(x)  K[x], de grau 1, irredutvel em K[x].
2. Se f(x)  K[x] tem grau 2 ou 3, ento f(x) ser irredutvel em K[x] se, e somente
se, f(x) no possuir razes em K ou, equivalentemente, f(x) ser redutvel em K[x]
se, e somente se, f(x) possuir alguma raiz em K.
Depois, apresentamos um critrio para estudar a irredutibilidade de certos
polinmios com coecientes racionais. o chamado Critrio de Eisenstein, que
diz que se

f(x) = anxn + an 1x n 1 + ... + a2x2 + a1x + a0  Z[x]


e existe um nmero primo p tal que p divide cada coeciente ai , para i = 1, 2, 3,

..., n 1, p no divide an e p2 no divide a0, ento f(x) irredutvel em Q[x].


Finalmente, apresentamos um resultado que arma que qualquer polinmio no
constante com coecientes num corpo K pode ser escrito como um produto de
polinmios irredutveis.

RESPOSTAS COMENTADAS

Atividade 1
Como

f(x) = x2 + 4
= (x 2i)(x + 2i),
ento as razes de f(x) so 4 2i. Como 4 2i  R e, portanto, 4 2i  Q, ento segue
que f(x) irredutvel em Q[x] e R[x]. Como mostra a decomposio anterior, f(x)
redutvel em C[x].

148

CEDERJ

11
AULA

Atividade 2
Vamos supor que f(x) possui uma raiz 2  Z e que gr(f(x)) = n > 1. Ento, pela
propriedade do fator linear, vista na Aula 10, temos que (x 2) | f(x). Logo, existe

g(x)  K[x], polinmio no constante, tal que


f(x) = (x 2)g(x) com gr(x 2) = > 1 n = gr(f(x)) e gr(g(x)) = n 1 < n = gr(f(x)).
Portanto, f(x) redutvel em K[x].

Atividade 3
Estes polinmios so da forma

x2 + ax + b com a, b  Z3.
Como Z3 = { 0, 1, 2} s tem trs elementos, podemos escrever todos estes
polinmios:

x2, x2 + x, x2 + 1, x2 + 2x, x2 + 2, x2 + x + 1, x2 + 2x + 1, x2 + x + 2 e x2 + 2x + 2.
Destes, voc pode vericar que x2 + 1, x2 + x, 2 e x2 + 2x + 2 no possuem raiz
em Z3. Logo, estes so os polinmios mnicos irredutveis de grau 2 em Z3[x].

Atividade Final 1
Vamos determinar todos os polinmios irredutveis de grau 3 em Z2[x]. Estes
polinmios so da forma

x3 + ax2 + bx + x2 com a, b, c  Z2.


Como Z 2 = { 0 , 1 } s tem dois elementos, podemos escrever todos estes
polinmios:

x3, x3 + x2, x3 + x, x3 + 1, x3 + x2 + x, x3 + x2 + 1, x3 + x + 1, e x3 + x2 + x + 1.
Isto , existem 8 polinmios de grau 3 em Z2[x]. Destes, os nicos que no possuem
raiz em Z2 so x3 + x2 + 1 e x3 + x + 1. Assim, x3 + x2 + 1 e x3 + x + 1 so os nicos
polinmios irredutveis de grau 3 em Z2[x].

CEDERJ

149

lgebra II | Polinmios irredutveis

Atividade Final 2
O primo 3 divide os coecientes a4 = 0, a3 = 9, a1 = 9, e a3 = 6, mas 32 = 9 no divide
o coeciente a0 = 6. Portanto, pelo critrio de Eisenstein, segue a irredutibilidade
de f(x) em Q[x]. Em particular, f(x) no tem raiz racional.

Atividade Final 3
Como f(1) = f(1) + (1) + (1) + 1 = 4 = 0, ento (x 1) | f(x). Aplicando Briot-Rufni,
temos

o que signica que

f(x) = x5 + x4 + x2 + 1
= (x 1)( x4 + x + 1)
Denotando g(x) = x4 + x + x2 + 1, temos

g(0) = (0) + 0 + 1 = 1  0 e g(1) = (1)4 + 1 + 1 = 3 = 1  0,


portanto, no existe polinmio linear que divida g(x). Assim, se g(x) for redutvel
em Z2[x], ento a decomposio ser da forma

g(x) = x4 + x + 1 = (x2 + ax + 1)(x2 + bx + 1).


Desenvolvendo o produto da direita, temos

x4 + x + 1 = (x2 + ax + 1)(x2 + bx + 1)
= x4 + (a + b)x3 + (ab + 1 + 1)x2 + (a + b)x + 1
= x4 + (a + b)x3 + (ab + 0)x2 + (a + b)x + 1
= x4 + (a + b)x3 + abx2 + (a + b)x + 1,

e, igualando os coecientes, temos

150

CEDERJ

a+b=0
ab = 0
a+b=1

11

De a + b = 0 e a + b = 1, temos uma contradio. Logo, conclumos que g(x)

AULA

irredutvel em Z2[x] e, portanto, a decomposio de f(x) em um produto de


polinmios irredutveis em Z2[x] dada por

f(x) = x5 + x4 + x2 + 1
= (x 1)(x4 + x + 1).

CEDERJ

151

12

AULA

Introduo aos grupos

Meta da aula

objetivos

Apresentar o conceito de grupo.

Ao nal desta aula, voc dever ser capaz de:


Identicar as propriedades que caracterizam um grupo.
Apresentar exemplos de grupos.
Aplicar os axiomas de grupo para justicar a unicidade
de alguns de seus elementos.

Pr-requisito
Voc vai precisar dos conhecimentos sobre anis
e ideais, desenvolvidos em lgebra I.

lgebra II | Introduo ao grupos

INTRODUO

Em lgebra I e at a Aula 11, estudamos diversos aspectos da estrutura algbrica


chamada de anel, mais particularmente, dos anis comutativos e com unidade.
Voc deve se lembrar de que desenvolvemos o conceito de anel querendo
generalizar o anel dos nmeros inteiros e, assim, generalizamos muitas das suas
propriedades algbricas. Vimos que a noo de anel nos permitiu desenvolver
de uma forma muito elegante a teoria dos polinmios.
A teoria dos anis pressupe a ao de duas operaes binrias, num conjunto
no-vazio A, satisfazendo uma certa quantidade de axiomas. Vamos, agora,
estudar a ao de apenas uma operao binria, sobre um conjunto no-vazio
G, satisfazendo alguns daqueles axiomas. Esta nova estrutura algbrica o que
chamaremos de grupo. A estrutura de grupo matematicamente relevante,
porque ela aparece com muita freqncia em muitas reas da Matemtica e
na natureza.
Nesta aula vamos, inicialmente, estabelecer os conceitos iniciais de grupos e,
em seguida, estudar uma quantidade de exemplos.

DEFINIO 1 (DEFINIO DE GRUPO)


Um grupo um conjunto no-vazio G, munido de uma operao
binria (denotada, geralmente, por

. ou +) que satisfaz os seguintes

axiomas:
G1. A operao associativa: (a . b) . c = a . (b . c), para todo
a, b, c  G;
G2. A operao tem um elemento neutro: existe um elemento
e  G, tal que a . e = e . a = a, para todo a  G;
G3. Todo elemento de G possui um elemento inverso: para todo
a  G, existe um a'  G, tal que, a . a' = a' . a = e.
Observaes
1. Observe que ao exigir que a operao . seja uma operao
binria em G, j estamos exigindo que ela seja fechada em G, isto ,
dados a, b  G, ento a . b  C.

154

CEDERJ

12

2. O elemento neutro nico: se e'  G tal que a . e' = e' . a = a,

AULA

ento e' = e. Pois,


e' = e . e'; usando que e um elemento neutro.
= e; usando que e' um elemento neutro.
O elemento neutro do grupo tambm , muitas vezes, denotado
por eG , quando queremos ressaltar o grupo G; por 1 ou 1G, quando a
operao uma multiplicao; e por 0 ou 0G, quando a operao uma
adio. Nesse ltimo caso, costume denotar a operao por +.
3. O elemento inverso nico: dado a  G, seja a" G, tal que
a . a"= a". a = e, ento a" = a'. Pois,
a"= e . a"; usando que e um elemento neutro.
= (a' . a) . a"; usando que a' um elemento inverso de a.
= a' . (a . a"); usando que a operao associativa.
= a' . e; usando que a" um elemento inverso de a
= a'; usando que e o elemento neutro.
Como o elemento inverso nico, podemos denot-lo por a1.
Da, temos a . a1 = a1 . a = e.
4. Denotamos um grupo por (G, .) ou (G, +), dependendo de
como consideramos a operao, uma multiplicao ou uma adio.
Quando a operao estiver clara no contexto, ento denotaremos o
grupo simplesmente por G. Tambm, muitas vezes, denotamos o produto
a . b simplesmente por ab.
Veja dois exemplos iniciais.

Exemplo 1
Seja (Z, +, .) o anel dos nmeros inteiros. Ento, dos axiomas
satisfeitos pela operao de adio, temos que (Z, +) um grupo.
O elemento neutro 0 e o inverso aditivo de a

 Z o elemento

simtrico a.

CEDERJ

155

lgebra II | Introduo ao grupos

Exemplo 2
Seja (Zn, +, .) o anel das classes residuais mdulo n. Ento, dos
axiomas satisfeitos pela operao de adio das classes residuais, temos
que (Zn, +) um grupo. O elemento neutro 0 e o inverso aditivo de
a  Zn o elemento simtrico a.
Vejamos duas propriedades bsicas de grupos.

Proposio 1
Sejam G um grupo e a, b, c  G.
1. A equao a . x = b admite uma nica soluo em G, a saber,
x = a1 . b.
2. (a . b)1 = b1 . a1.
3. (Lei do Cancelamento) Se a . b = a . c, ento b = c.
Se b . a = c . a, ento b = c.
Demonstrao
1. Observe, inicialmente, que x = a1 . b uma soluo de
a . x = b, pois
a . x = a . (a1 . b); pela denio de x
= (a . a1) . b; pelo axioma G1
= e . b; pelo axioma G3
= b; pelo axioma G2
Agora, a soluo nica, pois dada qualquer soluo y

 G,

temos
a . y = b  a1 . (a . y) = a1 . b; multiplicando por a1
 (a1 . a) . y = a1 . b; pelo axioma G1
 e . y = a 1 . b; pelo axioma G3
 y = a1 . b; pelo axioma G2
2. Observe que b1. a1 satisfaz o axioma do elemento inverso
para a . b:
(a . b) . (b1 . a1) = a . (b . b1) . a1; pelo axioma G1
= a . e . a1; pelo axioma G3
= (a . e) . a1; pelo axioma G1
= a . a1; pelo axioma G2
= e; pelo axioma G3.
156

CEDERJ

12

Faa, como sua primeira atividade desta aula, a demonstrao de

AULA

(b1 . a1) . (a . b) = e.
ATIVIDADE
1. Prove que (b1 . a1) . (a . b) = e, justicando cada igualdade
usada.
________________________________________________________
________________________________________________________
_________________________________________________________

Assim, provamos que (a . b) . (b1. a1) = (b1. a1) . (a . b) = e. Logo,


pela unicidade do elemento inverso, temos que (a . b)1 = b1 . a1.
3. Temos
b = e . b; pelo axioma G2
= (a1. a) . b; pelo axioma G3
= a1 . (a . b); pelo axioma G1
= a1 . (a . c); pela hiptese
= (a1 . a) . c; pelo axioma G1
= e . c; pelo axioma G3
= c; pelo axioma G2.
Portanto, provamos que b = c.

ATIVIDADE
2. Prove a segunda parte da lei do cancelamento, ou seja, prove
que se b . a = c . a, ento b = c.
________________________________________________________
________________________________________________________
_________________________________________________________

CEDERJ

157

lgebra II | Introduo ao grupos

Vamos ver, agora, duas denies muito importantes.

DEFINIO 2 (GRUPO ABELIANO)


Um grupo G chamado de grupo abeliano (ou, grupo comutativo)
se a . b = b . a para todo a, b  G.
Observe que se G um grupo abeliano, ento (a . b)1 = a1 . b1.
Prove isso como sua prxima atividade.

ATIVIDADE
3. Prove que se G um grupo abeliano, ento (a . b)1 = a1 . b1.
____________________________________________________________
____________________________________________________________
_____________________________________________________________

DEFINIO 3 (GRUPO FINITO)


Um grupo G chamado de grupo nito, quando G contiver um
nmero nito de elementos. Neste caso, a ordem de G|, denotada por
|G|, o nmero de elementos de G. Quando G no um grupo nito,
dizemos que G um grupo de ordem innita, ou seja, isto ocorre quando
o grupo G contm innitos elementos.
Vamos aos exemplos.

Exemplo 3
Como a operao de adio dos nmeros inteiros comutativa,
ento (Z, +) um grupo abeliano. Veja que (Z, +) um grupo de ordem
innita, pois Z contm uma quantidade innita de elementos.

158

CEDERJ

12
AULA

Exemplo 4
Como a operao de adio das classes residuais mdulo n
comutativa, ento (Zn, +) um grupo abeliano. Veja que (Zn, +) um grupo
nito, pois Zn = {0, 1,..., n 1} contm uma quantidade nita de elementos,
a saber, (Zn, +) um grupo de ordem n. Denotamos isso por | Zn | = n.

Exemplo 5
Observe que (Z, .) o conjunto dos nmeros inteiros munido da
operao de multiplicao no forma um grupo, pois o axioma G3, do
elemento inverso, no satisfeito. Por exemplo, o nmero inteiro 2 no
possui inverso multiplicativo, isto , no existe inteiro a tal que 2 . a = 1.

ATIVIDADE
4. Prove que (Q, +) o conjunto dos nmeros racionais munido da
operao de adio um grupo abeliano de ordem innita.

Exemplo 6
De um modo geral, se (A, +, .) um anel, ento (A, +) um grupo
abeliano. A correspondncia entre os axiomas de anel e os de grupo
como segue:

>
A3 >
A4 >
A2 >

A1

G1
G2
G3
Condio de grupo abeliano

CEDERJ

159

lgebra II | Introduo ao grupos

No entanto, em geral, (A, .) no um grupo. E se A* = A {0A},


mesmo (A*, .), em geral, no um grupo. Como mostra o Exemplo 5,
(Z, .) e (Z*, .) no so grupos, pois o axioma G3 no satisfeito.

Exemplo 7
Temos que (Q*, .), o conjunto dos nmeros racionais no-nulos
munido da operao de multiplicao, um grupo abeliano de ordem
innita. Pois, como (Q, +, .) um corpo, ento, dos axiomas satisfeitos
pela operao de multiplicao, temos que (Q*, .) um grupo abeliano.
a
O elemento neutro 1 e o elemento inverso de  Q* o elemento
b
b

Q*. Como Q* um conjunto innito, segue que (Q, .) um grupo
a
de ordem innita.

Exemplo 8
De um modo geral, se (A, +, .) um corpo e A* = A {0A}, ento
(A*, .) um grupo abeliano. A correspondncia entre os axiomas de anel
e os de grupo como segue:

> G1
A7 > G2 (Veja que, e = 1A.)

A5

Condio de corpo (todo elemento no-nulo invertvel) > G3


A6

> Condio de grupo abeliano

Observe que, mesmo que (A, +, .) seja um corpo, (A, .) no um


grupo. Pois, como 0A  A, ento
0A . 1A = 0A  1A
e, portanto, o axioma G2 no satisfeito.

Exemplo 9

Dado o anel (Zn, +, .), seja Z n = {a

 Zn | mdc(a, n) = 1}. Ento,

(Z n, .) um grupo abeliano de ordem nita. Vamos vericar os


axiomas.

160

CEDERJ

12

G1. Como (Zn, +, .) anel, ento j sabemos que a operao de

AULA

multiplicao de classes residuais associativa.

 Zn, esse o elemento neutro: a . 1 = 1 . a = a.


G3. Sabemos, da lgebra I, que a  Zn um elemento invertvel
se, e somente se, mdc(a, n) = 1. Portanto, todo elemento a  Zn
G2. Como 1

invertvel.
Grupo abeliano: como a operao de multiplicao de classes

residuais comutativa, segue que (Z n, .) um grupo abeliano.

Grupo nito: Como Zn um conjunto nito, ento Z n tambm

. Logo, ( Z , .) um grupo nito.


n

Exemplo 10
Se p for um nmero primo ento Z p = {a  Zp | mdc(a, p) = 1}

= {1,..., p 1}. Portanto, (Z p, .) um grupo abeliano nito de ordem

|Z p| = p 1.
Observao
Vamos desenvolver a notao clssica para as potncias de
a  G, onde G um grupo. Temos:
a0 = e, o elemento neutro de G,
an = a . an1 = an1. a, n inteiro e n 1 1;
an = (a1)n, n inteiro e n 1 1.
Nestas condies, vale que
am+n = am . an
e
amn = (am)n, para todos os inteiros m e n.

CEDERJ

161

lgebra II | Introduo ao grupos

ATIVIDADES FINAIS
1. Seja G um grupo. Prove que a equao x . a = b admite uma nica soluo em

G, a saber, x = b . a1.

2. Seja G um grupo. Dado a  G, prove que (a1)1 = a.

RESUMO
Nesta aula vimos a importantssima noo de grupo. Vimos que se G for um
conjunto no-vazio munido de uma operao binria

, ento (G, .) ser um

grupo se os trs axiomas:


G1. A operao for associativa: (a . b) . c = a . (b . c), para todo a, b, c

G2. A operao tiver um elemento neutro: existe um elemento e

 G;

 G, tal que

a . e = e . a = a, para todo a  G;
G3. Todo elemento de G possuir um elemento inverso: para todo a

 G, existe

um a'  G, tal que, a . a' = a' . a = e.


O grupo G abeliano se a . b = b . a para todo a, b  G. E, tambm, o grupo G
nito se G for um conjunto nito.

Vimos, tambm, muitos exemplos e algumas propriedades iniciais sobre os grupos.

162

CEDERJ

12
AULA

RESPOSTAS COMENTADAS
Atividade 1
Temos que

(b1 . a1) . (a . b) = b1 . (a1 . a) . b; pelo axioma G1


= b1. e . b; pelo axioma G3
= (b1 . e) . b; pelo axioma G1
= b1 . b; pelo axioma G2
= e; pelo axioma G3.

Atividade 2
Temos

b = b . e; pelo axioma G2
= b . (a . a1); pelo axioma G3
= (b . a) . a1; pelo axioma G1
= (c . a) . a1; pelo hiptese
= c . (a . a1); pelo axioma G1
= c . e; pelo axioma G3
= c ; pelo axioma G2.
Portanto, provamos que b = c.

Atividade 3
Basta observar que

(b . a)1 = b1 . a1 ; pela proposio 1.2


= a1 . b1 ; pela comutatividade da operao.

Atividade 4
Como (Q, +, .) um anel, ento, dos axiomas satisfeitos pela operao de adio,
temos que (Q, +) um grupo abeliano. O elemento neutro 0 e o inverso aditivo

a
 Q o elemento simtrico a  Q. Como Q um conjunto innito, segue
b
b
que (Q, +) um grupo de ordem innita.

de

CEDERJ

163

lgebra II | Introduo ao grupos

Atividade Final 1
Observe, inicialmente, que x = b . a1 uma soluo de x . a = b, pois

x . a = (b . a1). a; pela denio de x


= b . (a1 . a); pelo axioma G1
= b . e; pelo axiona G3
= b; pelo axioma G2.
Agora, a soluo nica, pois dada qualquer soluo y  G, temos

y . a = b  (y . a) . a1 = b . a1; multiplicando por a1


 y . (a . a1) = b . a1; pelo axioma G1
 y . e = b . a1; pelo axioma G3
 y = b . a1; pelo axioma G2.

Atividade Final 2
Da equao a . a1 = a1 . a = e, segue que o elemento a faz o papel de um elemento
inverso de a1. Logo, pela unicidade do elemento inverso, segue que (a1)1 = a.

164

CEDERJ

13

AULA

Mais exemplos de grupos

Meta da aula

objetivos

Apresentar exemplos importantes


de grupos.

Ao nal desta aula, voc dever ser capaz de:


Identicar as propriedades que caracterizam
um grupo.
Reconhecer exemplos importantes de grupos.

Pr-requisitos
Voc vai precisar dos conhecimentos
desenvolvidos em lgebra I e na Aula 12.

lgebra II | Mais exemplos de grupos

INTRODUO

O conceito de grupo se tornou to importante na Matemtica devido


identicao dessa estrutura algbrica em tantas reas diferentes da prpria
Matemtica e de outras cincias. Nesta aula, vamos estudar exemplos
importantes de grupos vindos de diferentes reas da Matemtica.
Vamos iniciar retomando um exemplo da aula anterior que ressalta o
conceito de tabela de multiplicao de um grupo. A tabela de multiplicao
explicita todos os produtos de dois elementos do grupo e, portanto, dene
completamente a operao do grupo.

Exemplo 1
x

Considere Z5 =x {a  Z5 | mdc(a,5) =1} = {1, 2, 3, 4}. Vimos, na


aula anterior, que (Z5, .) um grupo abeliano nito de ordem 4. Sua
tabela de multiplicao dada pelo esquema a seguir:
? 1 2 3 4
1 1 2 3 4
2 2 4 1 3
3 3 1 4 2
4 4 3 2 1
Contamos as linhas a partir da primeira linha abaixo do smbolo ?
e contamos as colunas a partir da primeira coluna direita de ?. Assim,
o elemento situado na segunda linha e na terceira coluna o valor 1,
que representa o produto 2 . 3. Portanto, a leitura que fazemos 2 . 3 = 1.
Da terceira linha e quarta coluna, temos 3 . 4 = 2.

Exemplo 2
Considere Z8x = {a  Z8x | mdc(a, 8) = 1} = {1, 3, 5, 7}. Sabemos que
(Z8x, .) um grupo abeliano nito de ordem 4. Sua tabela de multiplicao
dada pelo esquema abaixo:

? 1 3 5 7
1 1 3 5 7
3 3 1 7 5
5 5 7 1 3
7 7 5 3 1

Observe neste exemplo, curiosamente, que todo elemento o seu


prprio inverso: 1 . 1 = 1, 3 . 3 = 1, 5 . 5 = 1 e 7 . 7 = 1.

166 C E D E R J

13
AULA

Exemplo 3
O grupo das permutaes de 3 elementos: S3. Denotamos por S3
o conjunto de todas as bijees de {1, 2, 3}, ou seja,
S3 = {@:{1, 2, 3}  {1, 2, 3}| @ uma bijeo}.
Lembre-se de que uma permutao de um conjunto , exatamente,
uma bijeo desse conjunto. Assim, cada bijeo @:{1, 2, 3}  {1, 2, 3}
representa uma permutao de {1, 2, 3}. Por exemplo, uma destas
permutaes tem como valores: @(1) = 2, @(2) = 3 e @(3) = 1. usual,
em lgebra, representar uma permutao da seguinte forma:
@=

<

@(1) @(2) @<

Assim, a permutao cujos valores so @(1) = 2, @(2) = 3 e @(3) = 1


representada por
@=

123

231
A operao que consideraremos em S3 a composio de funes.

Como a composio de duas bijees uma nova bijeo, essa operao


est bem denida em S3. Lembre que composio de funes denida da
seguinte forma: dadas duas bijees de S3, @, A  S3, ento a composio
@ % A: {1, 2, 3}  {1, 2, 3} denida por
@ % A(i) = @ % (A(i)) para i = 1, 2, 3.
Geralmente, denotamos @ % A simplesmente por @A e chamamos
esta operao de uma multiplicao em S3. Dizemos que @A o produto
de @ por A. Por exemplo, dadas as permutaes
@ =

123
231

eA=

123
132

ento, o produto @A dado por


@A =

123 123
231 132

123
213

C E D E R J 167

lgebra II | Mais exemplos de grupos

Caso voc no tenha compreendido o resultado nal, lembrese de que, como a operao a composio de funes, ela deve ser
realizada da direita para a esquerda. Por exemplo, da permutao
A temos: A:11 e, da permutao @ temos: @:12. Portanto, para a
permutao @A temos: @A:112, ou seja, @A:12. Assim, o clculo
completo de @A dado por:
@A:112;
@A:231;
@A:323;
o que nos d o resultado nal
@A =

123
213

ATIVIDADE
1. Faa o produto inverso A@ para as permutaes anteriores
@=

123
123
eA=
.
132
231

Voc deve ter obtido o seguinte resultado:


A@ =

123
321

Observe que
A@ =

123
321

123
213

= @A,

portanto, esta operao de multiplicao em S3 no comutativa.


O elemento neutro da operao de composio de funes a
funo identidade. Neste caso, em S3, o elemento neutro representado
pela permutao

168 C E D E R J

123

13

123

AULA

I=

Veja tambm que, como o conjunto {1, 2, 3} tem 3 elementos,


ento, existem 3! = 6 bijees possveis de {1, 2, 3}. Logo, S3 tem 6
elementos, a saber,
S3 =

123
123

123
231

123
312

123
132

123
321

123
213

Na prxima atividade, vamos mostrar que S3 gerada pelas duas


permutaes seguintes:
2=

123
231

eB=

123
132

ATIVIDADE
2. Denotando por 2 e B as duas permutaes anteriores, mostre que

a. 22 =

123
;
312

d. B2 =

123
;
321

b. 23 =

123
= I;
123

e. B22 =

123
;
213

c. B2 =

123
= I;
123

f. 2B =

123
= B22.
213

Portanto, S3 pode ser escrito como


S3 = {I, 2, 22, B, B2, B22}.
Na aula anterior, vimos o conceito de grupo abeliano, ou seja, um
G que satisfaz a propriedade comutativa: a . b = b . a para todo a, b  G.
Vejamos, agora, o conceito de grupo no-abeliano.

C E D E R J 169

lgebra II | Mais exemplos de grupos

DEFINIO 1 (GRUPO NO-ABELIANO)


Um grupo G chamado no-abeliano se G no satiszer a
propriedade comutativa, ou seja, se existirem a, b  G tais que a . b 
b . a.
Podemos, agora, enunciar o resultado que buscamos, nosso
primeiro exemplo de grupo no-abeliano.

Proposio 1
Conforme as notaes anteriores, S3 = {I, 2, 22, B, B2, B22}, munido
da operao de composio de funes, um grupo no-abeliano nito
de ordem 6.
Demonstrao
Primeiramente, observe que j que uma permutao uma bijeo
e a composio de duas bijees outra bijeo, ento, a operao est
bem denida. Vamos, agora, vericar os axiomas.
G1. Como a composio de funes associativa, ento, a
operao em S3 associativa.

G2. O elemento neutro da composio de funes a funo


123
.
identidade, que representada, em S3, pela permutao I =
123
G3. Dada uma bijeo, o elemento inverso representado pela
sua funo inversa.
Na Atividade 3, voc ser convidado a determinar o elemento
inverso de cada elemento de S3.
Por m, observe que a operao em S3 no comutativa, pois
como vimos na Atividade 2,
B2 =

123
321

123
213

= 2B.

Portanto, S3 um grupo no-abeliano.

170 C E D E R J

13

3. Construa a tabela de multiplicao do grupo S3 e identique o elemento


inverso de cada elemento de S3.

Exemplo 4
Seja GL2(R) o conjunto das matrizes quadradas de ordem 2
invertveis com elementos em R, isto ,
GL2(R) =

ab
cd

; a, b, c, d  R e ad bc  0 .

Em GL 2(R), consideramos a operao de multiplicao de


matrizes. Do curso de lgebra Linear, sabemos que o produto de
matrizes invertveis uma matriz invertvel e, portanto, a operao de
multiplicao de matrizes est bem denida em GL2(R). J sabemos,
tambm, que a multiplicao de matrizes associativa e, assim,
o axioma da associatividade em GL2(R) j ca automaticamente
satisfeito. O elemento neutro dado pela matriz identidade,
I=

10

01
e o elemento inverso da matriz A =

ab

e GL2(R) dado pela conhecida


cd
frmula do seu curso de lgebra Linear,
A-1 =

d b
1
.
ad bc c a

Tambm fcil ver que GL2(R) um conjunto innito, j que


a0
01

,a0

um conjunto innito de matrizes invertveis, pois


det

a0
01

= a  0.
C E D E R J 171

AULA

ATIVIDADE

lgebra II | Mais exemplos de grupos

Portanto,
a0
01

 GL2(R) para todo a  0


Assim, temos o seguinte resultado:

Proposio 2
GL2(R), munido da operao de multiplicao de matrizes, um
grupo innito no-abeliano.
Na prxima atividade, voc ir mostrar que o grupo GL2(R)
no-abeliano.

ATIVIDADE
4. Mostre que a operao de multiplicao de matrizes em GL2(R) no
comutativa. Para isso, voc dever encontrar duas matrizes A, B  GL2(R)
tais que AB  BA.

Exemplo 5
O grupo das simetrias do tringulo eqiltero: D3. Vamos estudar,
agora, um grupo formado por transformaes geomtricas estudadas
no curso de lgebra Linear II. Trata-se de um grupo de transformaes
que mantm o tringulo eqiltero da Figura 13.1 invariante, ou seja,
que transforma o tringulo eqiltero nele mesmo. Vamos considerar
que o lado BC perpendicular ao eixo-x e a origem O o baricentro
do tringulo ABC. Portanto, nestas condies, as transformaes do
tringulo nele mesmo so compostas pela funo identidade, por algumas
rotaes em torno da origem e por certas reexes. Vamos descrever
cada uma dessas transformaes.

172 C E D E R J

13
AULA

Figura 13.1: Tringulo eqiltero.

Vamos denotar o tringulo ABC da Figura 13.1 por C. As


transformaes que estamos procurando so da forma T: R2  R2 com
T(C) = C.
Inicialmente, a funo identidade, I: R 2  R 2, claramente
mantm o tringulo C invariante, ou seja, I(C) = C, como ilustra a gura
a seguir.

Figura 13.2: A transformao identidade.

Depois, a rotao de 120, ou 2/3 radianos, em torno da origem,


tambm deixa o tringulo C invariante. Retomando a notao do curso
de lgebra Linear II, denotamos por R  R2/3 esta rotao. Portanto,
temos R  R2/3 : R2  R2 com R(C) = C, como ilustra a Figura 13.3.

Figura 13.3: A rotao R = R2/3.

C E D E R J 173

lgebra II | Mais exemplos de grupos

O mesmo acontece com a rotao de 240, ou 4/3 radianos,


em torno da origem. Considerando a operao de composio de
funes, temos:
R4/3 = R2/3 % R2/3 = R2.
Assim, esta rotao satisfaz R2 = R4/3 : R2  R2 com R2(C) = C.
A Figura 13.4 ilustra essa transformao.

Figura 13.4: A rotao R2 = R4/3.

Observe que, aplicando a rotao R = R2/3 mais uma vez, obtemos


a funo identidade:
R3 = R2R = R4/3 % R2/3 = R6/3 = R2 = I.
Outro tipo de transformao que mantm o tringulo eqiltero
invariante so as reexes do plano em torno das retas mediatrizes do
tringulo. Denotamos estas retas por r1, r2 e r3, como indica a Figura
13.5. Observe que a reta mediatriz r1 coincide com o eixo-x.

Figura 13.5: As retas mediatrizes do tringulo eqiltero.

174 C E D E R J

13

Denotamos por F:R2  R2 a reexo em torno do eixo-x. Assim,

AULA

temos F(C) = C. A Figura 13.6 ilustra essa transformao.

Figura 13.6: A reexo F em torno do eixo-x.

Observe que, aplicando a reexo F mais uma vez, obtemos F2 =


F % F = I. Aplicando a composio FR = F % R , obtemos exatamente a
reexo em torno da reta mediatriz r2, como indica a Figura 13.7.

Figura 13.7: Rotao R seguida da reexo F.

Assim, a reexo em torno da reta mediatriz r2 pode ser representada


por FR2: R2  R2 com FR(C) = C. Novamente, temos (FR)2 = I.

Figura 13.8: A reexo FR em torno da reta mediatriz r2.

C E D E R J 175

lgebra II | Mais exemplos de grupos

Analogamente, aplicando a composio FR2 = F % R2, obtemos


a reexo em torno da reta mediatriz r3, como indica a Figura 13.9.
Assim, essa reexo satisfaz FR2 : R2  R2 com FR2 (C) = C e (FR2)2 = I.

Figura 13.9: A reexo FR2 em torno da reta mediatriz r3.

Denotamos por D3 o conjunto dessas seis simetrias do tringulo


eqiltero:
D3 = {I, R, R2, F, FR, FR2}.
Assim, munindo o conjunto D3 com a operao de composio de
funes, obtemos o grupo das simetrias do tringulo eqiltero.

Proposio 3
Com as notaes anteriores, D3 = {I, R, R2, F, FR, FR2}, munido
da operao de composio de funes, um grupo no-abeliano nito
de ordem 6.
Na prxima atividade, voc ser convidado a mostrar que D3
um grupo no-abeliano.

ATIVIDADE
5. Mostre que RF = FR2 e, portanto, RF  FR. Conclua que D3 um grupo
no-abeliano.

176 C E D E R J

13

Em nosso ltimo exemplo desta aula, vamos estabelecer que o

AULA

produto cartesiano de dois grupos tambm tem uma estrutura de grupo.

Exemplo 6
Sejam (G, .) e (H, *) dois grupos. Vamos considerar o produto
cartesiano G ? H munido da seguinte operao:
(a1, b1) T (a2, b2) = (a1. a2, b1 * b2) para a1, a2  G e b1, b2  H.
O elemento neutro dessa operao ser (eG, eH)  G ? H , onde eG
e eH so os elementos neutros de G e H, respectivamente, e o elemento
inverso de (a, b)  G ? H dado por (a1, b1). Nessas condies, temos
o seguinte resultado:

Proposio 4
Com as notaes anteriores, temos que (G ? H, T) um grupo
chamado produto exterior de G e H.

ATIVIDADES FINAIS
1. Construa a tabela de multiplicao do grupo D3 e identique o elemento inverso
x
de cada elemento de D3.

2. Construa a tabela de multiplicao do grupo Z4x? Z4, onde Z4 o grupo multiplicativo


dos elementos invertveis de Z4. Depois, identique o elemento inverso de cada
x

elemento de Z4x? Z4.

C E D E R J 177

lgebra II | Mais exemplos de grupos

RESUMO

Nesta aula, estudamos os grupos multiplicativos (Z5x, .) e (Z8x, .). Eles so grupos nitos
e abelianos. Depois, estudamos o grupo {S3 = I, 2, 22, B, B2, B22} das permutaes
do conjunto {1, 2, 3}. Esse grupo nito e no-abeliano. No exemplo seguinte,
estudamos o grupo GL2(R) das matrizes invertveis de ordem com elementos em R.
Esse grupo innito e no-abeliano. No exemplo seguinte, estudamos o grupo
D3 = {I, R, R2, F, FR, FR2} das simetrias do tringulo eqiltero. Esse grupo tambm
nito e no-abeliano. Por m, vimos o produto exterior G ? H dos grupos G e H.

RESPOSTAS
Atividade 1
O produto

A@ =

123

123

132

231

dado por

A@ : 1 2  3;
A@ : 2 3  2;
A@ : 3 1  1.
Portanto, temos

A@ =

123

123

132

231

123
321

Atividade 2
Temos:
a. 22 = 2 . 2 =

178 C E D E R J

123

123

231

231

123
312

c. B2 = B . B =

d. B2 =

123

312

231

123

123

132

132

123

123

132

231

e. B22 = B . 22 =

f. 2B =

123

132

312

123

123

231

132

= I;

= I;

123

321

123

123

123

123

123

13

123

AULA

b. 23 = 22 . 2 =

123
213

123
213

= B22.

Atividade 3

Queremos completar a seguinte tabela:


?

22

B2

B22

I
2
22
B
B2
B22

Efetuamos os produtos da tabela acima e identicamos os resultados com os


elementos de S3 = {I, 2, 22, B, B2, B22} . Por exemplo,

2 . B2 =

123

123

231

221

123
132

= B.

C E D E R J 179

lgebra II | Mais exemplos de grupos

Assim, obtemos a seguinte tabela de multiplicao:


?

22

B2

B22

22

B2

B22

22

B22

B2

B2

B2

B2

B22

22

B2

B2

B22

22

B2

B2

B2

Podemos observar que os pares de elementos inversos so


I > I; 2 > 22; B > B; B2 > B2; B22 > B22.

Atividade 4
Temos de encontrar duas matrizes invertveis que no satisfaam a propriedade
comutativa. Existem innitas possibilidades e, como vamos apresentar aqui apenas
uma delas, bem provvel que a sua resposta seja diferente desta. Para isso,
considere as matrizes

A=

1 1
0 1

,B=

1 0
1 1

 GL2 (R).

Temos os seguintes produtos:

AB =

1 1

1 0

0 1

1 1

1 0

1 1

1 1

0 1

2 1
1 1

e
BA =

1 1
1 2

Como
2 1
1 1

1 1
1 2

temos, ento, que AB  BA , ou seja, essas matrizes no satisfazem a propriedade


comutativa.
180 C E D E R J

13

Aplicando a composio RF = R F , veja que obtemos exatamente a reexo em


torno da reta mediatriz r3 , como mostra a Figura 13.10.

Figura 13.10: A composio RF igual reexo FR2 em torno da reta mediatriz r3.

Portanto, temos que RF = FR2 . Como FR a reexo em torno da reta mediatriz


r2 , temos reexes diferentes FR2  FR . Logo, RF  FR . Em particular, como o
par R e F no satisfaz a propriedade comutativa, isso nos diz que D3 um grupo
no-abeliano.

Atividade Final 1
Queremos completar a seguinte tabela:
?

R2

FR

FR2

I
R
R2
F
FR
FR2

C E D E R J 181

AULA

Atividade 5

lgebra II | Mais exemplos de grupos

Efetuamos os produtos da tabela acima e identicamos os resultados com os


elementos de D3 = {I, R, R2, F, FR, FR2}. Para isso, voc pode usar as relaes R3 = I,
F2 = I e RF = FR2 . Por exemplo, podemos calcular o produto R . FR :
R . FR = (RF)R, pois a operao associativa;
= (FR2)R, pois RF = FR2;
= F . R3, pois a operao associativa;
= F . I, pois R3 = I;
= F, pois I o elemento neutro.
Tambm podemos obter esse resultado geometricamente:

Assim, obtemos a seguinte tabela de multiplicao:

R2

FR

FR2

R2

FR

FR2

R2

FR2

FR

R2

R2

FR

FR2

FR

FR2

R2

FR

FR

FR2

R2

FR2

FR2

FR

R2

Podemos observar que os pares de elementos inversos so


I > I; R > R2; F > F; FR > FR; FR2 > FR2.

182 C E D E R J

13
AULA

Atividade Final 2
x

Temos que Z4 = {a  Z4 | mdc (a, 4) = 1} = {1, 3}. Ento,



Z4 ? Z4 = {(1, 1), (1, 3), (3, 1), (3, 3)}.



Veja que a operao em Z4 ? Z4 dada por
(a, b) . (c, d) = (a . c, b . d).
Por exemplo,
(1, 3) . (3, 3) = (1 . 3, 3 . 3) = (3, 1).
Operando dessa forma, obtemos a seguinte tabela de multiplicao:
?

1)

(1,

3)

(1,

1)

(3,

3)

(3,

1)

(1,

1)

(1,

3)

(1,

1)

(3,

3)

(3,

3)

(1,

3)

(1,

1)

(1,

3)

(3,

1)

(3,

1)

(3,

1)

(3,

3)

(3,

1)

(1,

3)

(1,

3)

(3,

3)

(3,

1)

(3,

3)

(1,

1)

(1,

x
x
1),
podemos observar que cada elemento
Como o elemento neutro de Z4 ? Z4 (1,
x

de Z4 ? Z4 seu prprio inverso:


1)
> (1,
1);
(1,
3)
> (1,
3);
(3,
1)
> (3,
1);
(3,
3)
> (3,
3).

(1,

C E D E R J 183

14

AULA

Subgrupos
e grupos cclicos

Meta da aula

objetivos

Apresentar os conceitos de subgrupo e


de subgrupo cclico.

Ao nal desta aula, voc dever ser capaz de:


Identicar as propriedades que caracterizam um subgrupo.
Apresentar exemplos de subgrupos.
Identicar as propriedades que caracterizam um grupo
cclico.
Apresentar exemplos de subgrupos cclicos.

Pr-requisitos
Voc vai precisar dos conhecimentos sobre anis
e ideais, desenvolvidos em lgebra I
e nas Aulas 12 e 13.

lgebra II | Subgrupos e grupos cclicos

INTRODUO

Nas duas aulas anteriores, desenvolvemos o conceito de grupo e estudamos


vrios exemplos. Voc deve ter notado que vimos alguns exemplos de grupos
contidos em outro grupo maior. Por exemplo, o grupo (Z, +), dos nmeros
inteiros com a operao de adio, est contido no grupo (Q, +) dos nmeros
racionais com a operao de adio. Da mesma forma, (Q, +) est contido em
(R, +) que, por sua vez, est contido em (C, +). Esta a importante noo de
subgrupo.
relevante observar que, quando dizemos que o grupo (Z, +) est contido
no grupo (Q, +), queremos dizer no s que um conjunto subconjunto do
outro, Z Q, mas tambm que a operao de adio (+) entre dois nmeros
inteiros, a e b, produz o mesmo resultado a + b que na situao em que a e b
so vistos como elementos do grupo (Q, +). Assim, no podemos dizer que o
grupo multiplicativo (Q*, .) est contido no grupo aditivo (R, +), pois, apesar de
Q* R, as operaes a . b em (Q*, .) e a + b em (R, +) do resultados diferentes
para os mesmos a, b Q. Por exemplo, 1 . 1 = 1 e 1 + 1 = 2. Portanto, para
que um grupo seja um subgrupo de outro grupo, vamos exigir no s que um
conjunto esteja contido no outro mas, tambm, que suas operaes coincidam
nos elementos que so comuns aos dois conjuntos.

DEFINIO 1 (SUBGRUPO)
Sejam (G, .) um grupo e H um subconjunto no-vazio de G.
Dizemos que H um subgrupo de G se H, munido da operao . do
grupo G, for um grupo, ou seja, se (H, .) for um grupo.
Veja que a operao . j associativa em G, logo, ela j satisfaz
a propriedade associativa para os elementos de H. Portanto, as
propriedades a serem satisfeitas para que H seja um subgrupo de G so
dadas pelos seguintes axiomas.
SG1. H fechado pela operao de G, isto , a . b H para todo
a, b H.

SG2. eG H .
SG3. Se a H ento a-1 H .
Se H subgrupo de G, ento denotamos H G e, caso contrrio,
denotamos H G.

186

CEDERJ

14

Observao

AULA

Dado o grupo G, ento {eG} e G so subgrupos de G, chamados


subgrupos triviais de G. Se H um subgrupo de G, diferente de {eG} e
G, ento dizemos que H um subgrupo prprio de G.

Exemplo 1
Pelas nossas observaes iniciais, temos a seguinte seqncia de
subgrupos:
(Z, +) (Q, +) (R, +) (C, +) .
No entanto, (Q* , .) no subgrupo de (R, +), j que a operao
de (Q*, .) no a mesma que a de (R, +). Mas verdade que
(Q*, .) (R*, .) (C*, .) .
Assim como temos critrios que facilitam vericar se um subconjunto de um espao vetorial um subespao vetorial ou se um
subconjunto de um anel um subanel, temos, tambm, um critrio que
facilita vericar se um subconjunto de um grupo um subgrupo. o
que vamos fazer a seguir.

Proposio 1 (Critrio do Subgrupo)


Seja H um subconjunto no-vazio de um grupo G. Ento, H um
subgrupo de G se, e somente se, a . b-1 H para todo a, b H .
Demonstrao
() Vamos supor, inicialmente, que H um subgrupo de G.
Queremos provar que a . b1 H para todo a, b H.
Assim, sejam a, b H. Temos
a, b H b1 H
a . b1 H

pela propriedade SG3 de subgrupo


pela propriedade SG1 de subgrupo,

e, assim, provamos o que queramos, ou seja, que a . b1 H para todo


a, b H.

CEDERJ

187

lgebra II | Subgrupos e grupos cclicos

() Nossa hiptese, agora, que a . b1 H para todo a, b H.


Queremos provar que H subgrupo de G, ou seja, que H satisfaz as
propriedades SG1 a SG3. Vamos provar primeiro a validade de SG2,
depois SG3 e, por m, SG1.
SG2. Como H z, existe um elemento a H. Da, temos
a H eG = a . a1 H

pela hiptese com b = a .

SG3. Seja x H. Como j sabemos que eG H, ento,


x, eG H x1 = eG . x1 H pela hiptese com a = eG e b = x.
SG1. Sejam x, y H. Pela propriedade SG3, sabemos que y1 H.
Portanto, temos
x, y1 H x . y = x . (y1) 1 H pela hiptese com a = x e b = y1.
Conclumos, assim, que H um subgrupo de G.
Observao
Quando G for um grupo aditivo, (G, +), e H um subconjunto
no-vazio de G, a condio a . b-1 H se transformar em
a b H,
j que b o elemento inverso de b. Assim, nesse caso, temos
H G

188

CEDERJ

a b H para todo a, b H .

14

1. Dado o grupo aditivo (Z, +), mostre que nZ = { kn _k Z } um subgrupo


de Z para todo inteiro n !1 .
___________________________________________________________________
___________________________________________________________________
___________________________________________________________________
_________________________________________________________________

Exemplo 2
Seja D3 = {I, R, R2, F, FR, FR2} o grupo das simetrias do tringulo
eqiltero visto na Aula 18. Ento
H1 = {I, R, R2} e H2 = {I, F}
so subgrupos de D3 . Isso imediato pela aplicao do critrio do
subgrupo.

Exemplo 3
Considere o grupo (Z4, +). Vamos mostrar que H = {0, 2} o
nico subgrupo prprio de Z4 . Se H for outro subgrupo prprio de
Z4 = {0, 1, 2, 3}, ento, teremos 1 H ou 3 H. Caso seja 1 H, ento,
aplicando SG1, teremos
2 = 1 + 1 H ; 3 = 2+ 1 H e 0 = 3 + 1 H ,
e, portanto, teramos H = {0, 1, 2, 3} = Z4, o que uma contradio, j
que H subgrupo prprio de Z4.
Caso seja 3 H, ento, aplicando SG3, teremos
1 = 3 H ,
e, pelo argumento anterior, teramos novamente que H = {0, 1, 2, 3} = Z4,
que a mesma contradio. A concluso, portanto, que H = {0, 2} o nico
subgrupo prprio de Z4.

CEDERJ

189

AULA

ATIVIDADE

lgebra II | Subgrupos e grupos cclicos

Vamos desenvolver, agora, um importante tipo de subgrupos, que


so os subgrupos gerados por um nico elemento.

DEFINIO 2 (SUBGRUPO GERADO POR UM ELEMENTO)


Sejam (G, .) um grupo e a G . Denimos as potncias de a:
a 0 = eG
an = an1 . a

se n Z, n t 1

an = (a1)n

se n Z, n  0 .

Denotamos por < a > o conjunto de todas as potncias de a, ou


seja,
< a > = {an _ n Z } .
Veremos, a seguir, que este conjunto um subgrupo de G,
chamado subgrupo gerado por a. Dizemos, tambm, que a um
gerador de <a>.
Quando G for um grupo aditivo, (G, +), ento as potncias de a
sero, na verdade, os mltiplos de a:
0a = 0G
na = (n1) a + a
na = (n)(a)

se n Z, n t 1

se n Z, n  0 ,

e o subgrupo gerado por a se escreve como


< a > = {na _ n Z }.

Proposio 2 (O subgrupo gerado por a)


Sejam (G, .) um grupo e a G. Ento < a > um subgrupo de G.
Demonstrao
Vamos aplicar o critrio do subgrupo. Sejam an , ak < a > dois
elementos, ento

190

CEDERJ

AULA

14

an . (ak)1 = an . ak = ank < a > ,


o que prova que < a > um subgrupo de G.

Exemplo 4
Dado o grupo (Z, +), ento nZ = {kn _ k Z = < n >}. Em particular,
2Z = < 2 >. Veja, tambm, que Z = < 1 > .

Exemplo 5
Considere o grupo (Z4, +) do Exemplo 3. Ento H = {0, 2} = < 2 >.
Veja aqui, tambm, que Z4 = < 1 > .
Grupos, como Z ou Z4, que so gerados por apenas um elemento,
so muito importantes e tm uma nomenclatura especial.

DEFINIO 3 (GRUPO CCLICO)


Um grupo G chamado grupo cclico se = G = < a > para algum
a G, ou seja, G gerado por um elemento. Neste caso, dizemos que
a um gerador de G.
Observao
Se G um grupo cclico, ento o gerador de G, isto , o
elemento a G tal que G = < a >, em geral, no nico. Por exemplo,
Z4 =< 1 > e Z4 = < 3 >.

Exemplo 6
Considere o grupo (Zn, +), onde n ! 1 um inteiro. Ento Zn = < 1 >,
e, portanto, Zn um grupo cclico.

CEDERJ

191

lgebra II | Subgrupos e grupos cclicos

ATIVIDADE
2. Determine se os grupos multiplicativos ( Zx5 , . ) e ( Zx8 , . ) so grupos cclicos.
Caso algum deles seja um grupo cclico, determine seus geradores.
___________________________________________________________________
___________________________________________________________________
___________________________________________________________________
___________________________________________________________________
_________________________________________________________________

Para terminar esta aula, vamos enunciar um resultado que diz,


no fundo, que todo grupo cclico uma cpia de (Z, +) ou uma cpia
de algum (Zn, +). Para isso precisamos denir o conceito de ordem de
um elemento.

DEFINIO 4 (ORDEM DE UM ELEMENTO)


Seja G um grupo e seja a G . Se o subgrupo < a > for nito,
ento dizemos que a ordem de a, denotada por ord(a), o nmero de
elementos de < a >, ou seja, igual ordem de < a > . Agora, se < a > for
um grupo innito, ento dizemos que a ordem de a innita.
Observao
1. Para o elemento neutro e de um grupo G, temos < e > ={e}
e, portanto, ord(e) = 1. Para qualquer outro elemento a  G
(a ze), temos ord(a) = !1.
2. Se G um grupo cclico com gerador a, G = < a >, ento
ord(a) = _G_.

Exemplo 7
Considere o grupo aditivo Z4 = {0, 1, 2, 3}. Pela observao
anterior, j sabemos que ord(0) = 1. Agora,
< 1 > = {0, 1, 2, 3} = Z4 ; < 2 > = {0, 2,} ; < 3 > = {0, 1, 2, 3} = Z4 ,
de onde conclumos que
ord(1) = 4 ;

192

CEDERJ

ord(2) = 2

ord(3) = 4

14

3. Determine a ordem dos elementos dos grupos multiplicativos ( Zx5 , . )


e ( Zx8 , . ).
___________________________________________________________________
___________________________________________________________________
___________________________________________________________________
_________________________________________________________________

Podemos enunciar, agora, o resultado mais importante deste


captulo.

TEOREMA 1
Seja G um grupo e seja a G.
1. Se a for um elemento de ordem nita n, ento n ser o menor
inteiro positivo que satisfaz an = eG . Mais ainda, < a > = {e, a,
a2, ..., a n1 }.
2. Se a for um elemento de ordem innita, ento an zeG para
todo inteiro n z0. Mais ainda, < a > = {..., a2, a1 , e, a, a2, ...}
e todas as potncias de a sero distintas.

CARACTERIZAO DOS GRUPOS CCLICOS


Futuramente vamos denir o conceito de isomorsmo de grupos de
modo muito semelhante ao que foi feito para os isomorsmos de espaos
vetoriais e para os isomorsmos de anis. Isso signica que dois grupos
sero isomrcos quando um for uma cpia algbrica do outro.
Assim, se G for um grupo cclico com gerador a, ou seja, G = < a > ,
ento o teorema anterior diz que teremos dois casos a considerar:
1. Se a for um elemento de ordem nita n, ento G = {e, a, a2, ...,
an1} e G ser isomrco a Zn.
2. Se a for um elemento de ordem innita, ento G = {..., a2, a1 , e,
a, a2, ...}, com todas as potncias de a distintas, e G ser isomrco a Z.
Observao
Como conseqncia da caracterizao dos grupos cclicos, temos
que todo grupo cclico abeliano.

CEDERJ

193

AULA

ATIVIDADE

lgebra II | Subgrupos e grupos cclicos

No entanto, a recproca falsa, ou seja, nem todo grupo abeliano


um grupo cclico. Por exemplo, o grupo multiplicativo Zx8 , abeliano,
mas, como voc provou na Atividade 2, ele no um grupo cclico.

ATIVIDADES FINAIS
1. Determine se o grupo multiplicativo Zx7 = {a Z7 _mdc (a, 7) = 1} = {1, 2, 3, 4, 5, 6}
cclico. Caso seja, determine seus geradores.
____________________________________________________________________________
____________________________________________________________________________
____________________________________________________________________________
__________________________________________________________________________

2. Determine se o grupo S3, das permutaes de 3 objetos, cclico. Caso seja,


determine seus geradores.
____________________________________________________________________________
____________________________________________________________________________
____________________________________________________________________________
____________________________________________________________________________
__________________________________________________________________________

194

CEDERJ

14
AULA

RESUMO

Nesta aula, vimos o conceito de subgrupo. Vimos que um subconjunto no-vazio


H de um grupo G um subgrupo de G se satiszer os seguintes axiomas:
SG1. H fechado pela operao de G, isto , a . b H para todo a, b H.
SG2. eG H .
SG3. Se a H ento a1 H .
Depois, vimos o conceito de um subgrupo gerado por um elemento a G, que
o subconjunto < a > = {an | n Z} G. Vimos que a ordem do elemento a G a
ordem do subgrupo < a >. Em seguida, vimos que um grupo G um grupo cclico
se existir a G tal que G = < a >. Nesse caso, dizemos que o elemento a um
gerador do grupo G.
Por m, vimos o importante teorema que diz que se G um grupo e a  G,
ento:
1. Se a for um elemento de ordem nita n, ento n ser o menor inteiro positivo
que satisfaz an = eG . Mais ainda, < a > = {e, a, a2, ..., an1};
2. Se a for um elemento de ordem innita, ento an z eG para todo inteiro n z0. Mais
ainda, < a > = {..., a2,, a1, e, a, a2,...} e todas as potncias de a sero distintas.

RESPOSTAS COMENTADAS

Atividade 1
Pelo critrio do subgrupo, basta vericar que a b nZ para todo a, b nZ. Como
a, b nZ, ento existem k, m Z tais que a = kn e b = mn. Assim,
a b = kn mn = (k m)n nZ ,
e, portanto, nZ um subgrupo de Z.

CEDERJ

195

lgebra II | Subgrupos e grupos cclicos

Atividade 2
Vamos considerar, inicialmente, Zx5 = {a Z5_mdc(a, 5) = 1} = {1, 2, 3, 4}. Considerando
as potncias de 2 Zx5, temos:
(2)1 = 2; (2)2 = 4; (2)3 = 3; (2)4 = 1,
o que mostra que Zx5 = < 2 >, ou seja, Zx5 um grupo cclico. Mais ainda, no s o
elemento 2 um gerador de Zx5, o elemento 3 tambm , pois
(3)1 = 3; (3)2 = 4; (3)3 = 2; (3)4 = 1,
e, portanto, Zx5 = < 3 > . Mas, 4 no gerador de Zx5 , pois
(4)1 = 4; (4)2 = 1; (4)3 = 4; (4)4 = 1; ...,
ou seja, < 4 > = {1, 4}, que um subgrupo prprio de Zx5.
No caso de Zx8 = { a Z8_mdc(a, 8) = 1} = {1, 3, 5, 7}, temos
(3)1 = 3; (3)2 = 1; (3)3 = 3; (3)4 = 1; ...,
(5)1 = 5; (5)2 = 5; (5)3 = 5; (5)4 = 1;...,
e
(7)1 = 7; (7)2 = 7; (7)3 = 7; (7)4 = 1,... .
Portanto, temos
< 3 > = {1, 3} , < 5 > = {1, 5} e < 7 > = {1, 7},

ou seja, todos subgrupos prprios de Zx8. Assim, Zx8 no um grupo cclico.

Atividade 3
Considere Zx5. J sabemos que ord(1) = 1. Agora, dos clculos feitos na atividade
anterior, temos
< 2 > = {1, 2, 3, 4} = Zx5;

< 3 > = {1, 2, 3, 4} = Zx5;

< 4 > = {1, 4} ,

de onde conclumos que


ord(2) = 4;

196

CEDERJ

ord(3) = 4 e

ord(4) = 2.

14

Seja, agora, Zx8 = {1, 3, 5, 7}. J sabemos que ord(1) = 1. Tambm, dos clculos

AULA

feitos na atividade anterior, temos


< 3 > = {1, 3} , < 5 > = {1, 5} e < 7 > = {1, 7},
de onde conclumos que
ord(3) = 2; ord(5) = 2 e ord(7) = 2.
Observe que, como os elementos 3, 5 e 7 so seus prprios inversos em Zx8,
ento eles so de ordem 2.

Atividade Final 1
Calculando as potncias dos elementos de Zx7 = {1, 2, 3, 4, 5, 6,} e aplicando
o Teorema 1, obtemos
(2)1 = 2; (2)2 = 4; (2)3 = 1

ord(2) = 3;

(3)1 = 3; (3)2 = 2; (3)3 = 6; (3)4 = 4; (3)5 = 5; (3)6 = 1


(4)1 = 4; (4)2 = 2; (4)3 = 1

ord(3) = 6

ord(4) = 3

(5)1 = 5; (5)2 = 4; (5)3 = 6; (5)4 = 2; (5)5 = 3; (5)6 = 1

ord(5) = 6

e
(6)1 = 6; (6)2 = 1;

ord(6) = 2

Portanto, como Zx7 = {1, 2, 3, 4, 5, 6} um grupo de ordem 6 e temos dois


elementos tambm de ordem 6, ento segue que Zx7 um grupo cclico com
Zx7 = < 3 > = < 5 >,

ou seja, Zx7 tem os geradores 3 e 5.

Atividade Final 2
Na Aula 18, vimos que S3 = {I, DD2EEDED2} com
D=

123
231

E

123

132

CEDERJ

197

lgebra II | Subgrupos e grupos cclicos

Pelos clculos, tambm feitos naquela aula, e aplicando o Teorema 1, temos


(D)1=
(D2)1=

123
123
123
; D2 =
D3 =
= I
231
312
123

123
123
123
; (D2)2 =
(D2)3 =
= I
312
231
123
(E)1=

(ED)1=

123
123
; E2 =
= I
132
123
123
123
; (ED)2 =
= I
321
123

ord(D) = 3
ord(D) = 3

ord(E) = 2

ord(ED) = 2

(ED2)1=

123
123
; (ED2)2 =
= I
213
123

ord(ED2) = 2

Como S3 um grupo de ordem 6 e todos os seus elementos tm ordem menor


que 6, ento segue que S3 no um grupo cclico.

198

CEDERJ

15

!5,!

/4EOREMADE,AGRANGE

-ETADAAULA

objetivos

!PRESENTARO4EOREMADE,AGRANGE
ESUASCONSEQNCIAS

!OlNALDESTAAULA VOCDEVERSERCAPAZDE
s)DENTIlCARASCONDIESDO4EOREMADE,AGRANGE
s$EMONSTR LO
s!PRESENTARSUASCONSEQNCIAS

0R REQUISITOS

6OCVAIPRECISARDOSCONHECIMENTOS
SOBREGRUPOSDAS!ULASA

LGEBRA))\/4EOREMADE,AGRANGE

).42/$5/

5M PROBLEMA MUITO ESTUDADO E BASTANTE DIFCIL NA TEORIA DOS GRUPOS A
DETERMINAODETODOSOSSUBGRUPOS DEUMGRUPO'5MAFORMADEENCARAR
ESSEPROBLEMASERIACONSIDERARTODOSOSSUBCONJUNTOSDE'QUECONTENHAMO
ELEMENTONEUTROE ENTO VERIlCARSESATISFAZEMASCONDIESDESUBGRUPO.O
ENTANTO ESTAABORDAGEMNONADAPRTICA0OREXEMPLO SEUMGRUPO'TIVER
ELEMENTOS ENTOONMERODESUBCONJUNTOSCONTENDOOELEMENTONEUTROSER
*SE'TIVERELEMENTOS ENTOONMERODESUBCONJUNTOSCONTENDO
OELEMENTONEUTROSER3E'FOSSEUMGRUPOINlNITO ENTOTERAMOS
QUELEVAREMCONSIDERAOUMAINlNIDADEDESUBCONJUNTOSDE'
.OENTANTO QUANDOOGRUPO'FORlNITO TEREMOSUMIMPORTANTERESULTADOQUE
PERMITIRREDUZIRENORMEMENTEONMERODESUBCONJUNTOSDE'QUEPODEM
SERSUBGRUPOS4RATA SEDO4EOREMADE,AGRANGE QUEAlRMAQUESE(FORUM
SUBGRUPODOGRUPOlNITO' ENTOAORDEMDE(DIVIDIRAORDEMDE'.O
CASODEOGRUPO'TERELEMENTOS ENTOBASTACONSIDERAROSSUBCONJUNTOS
CONTENDOAUNIDADECOM  EELEMENTOS QUESOOSDIVISORESDE#OMO
OSSUBCONJUNTOSDEEELEMENTOS NESSECASO SOOSSUBGRUPOSTRIVIAIS ENTO
BASTACONSIDERAROSSUBCONJUNTOSCONTENDOAUNIDADECOMEELEMENTOS
$ENTREESSESESTAROOSDEMAISCANDIDATOSASUBGRUPOSDOGRUPO'6EJAQUE
ASSIM REDUZIMOSENORMEMENTEABUSCAINICIAL

,EMBRE SEDEQUEONMERODESUBCONJUNTOSCONTIDOSNUM
CONJUNTOCOMNELEMENTOSN
0OREXEMPLO OCONJUNTO![A B]POSSUISUBCONJUNTOS
ASABER[A] [B] [A B]E& ONDE&OCONJUNTOVAZIO
/BSERVEQUENOCASODE'SERUMGRUPOCOMELEMENTOS O
NMERODESUBCONJUNTOSCONTENDOOELEMENTOn
POISOELEMENTONEUTROCOMUMEMTODOSOSSUBCONJUNTOS

4%/2%-!$%,!'2!.'%
-i>}wiL}`i K]>`i
`i``i>`i`i
"Li>Xi
}>}i>LV>]/ii>`i>}>}i>w>
i]iv}wi]iKNNNNN
iXK]>iVV>`/ii>`i>}>}ijv>>]i>]
i}i>Kji`>`iiii``NNiKi?
L}`iVNNr
# % $ % 2 *


!5,!

%XEMPLO
->Lii-rO]A A B BA]BAP]V



A
i B
]


j}`i`ii]>]iL}`ii
`i]]i

!
!4)6)$!$%
%NCONTRESUBGRUPOSDE3DEORDEME

*>>`i>/ii>`i>}>}iiV>i`i
VVi] `i V>i >i> >ii] > V>i >i> >Lj
iKv`>i>>>>VXK`}Vii

$ElNIO#LASSE,ATERAL
-i>}iL}`i >`>]V>>
`i>V>i>i>Dii`>>V

>rO>NP

"Li>XK
-i  v } >`] iK `i>i > V>i
>i>>

>rO>NP

-iiviiii`}]iKir>
>`>]>>>>`>

# % $ % 2 * 

LGEBRA))\/4EOREMADE,AGRANGE

"VVi`iV>i>i>D`i>j`iw``i`>?}
jLV`i`iw`

>rO>NP]

`ijL}`ii> i>]i>>
>>]K>L>>iV>V>i>i>D`i>
->>>`>`i`i>>>i?wV>>Li>XK]
>i
!
!4)6)$!$%
3EJAEOELEMENTONEUTRODOGRUPO'ESEJA(UMSUBGRUPO
DE'-OSTREQUE
Air
B>>PARATODO>

%XEMPLO
6> V>V> > V>i >i> ` L}  r O] BP `i
-rO]A]A]B]BA]BAP >i>`>>Li>`iV>XK
`i-]>>>n\

AABBABA
AABBABA

AAABABBA
AAABABAB
BBBABAAA
BABABABAA
BABABBAAA
]i\

A  AO ] BP  OA ] ABP  OA] BA P


A   A O ] BP  OA  ] A BP  OA ] BAP
B  BO ] BP  OB ] B P  OB]  P  
BA  BAO ] BP  OBA ] BABP  OBA] A P  A 
BA   BA O] BP  OBA ] BA BP  OBA ] AP  A
# % $ % 2 *



"Liii>V>i>i>`>]iiV>]K] A

!5,!

iA
6> >] >}>] >}> i`>`i Li > V>i
>i> > i`>`i >K > `i>XK ` /ii> `i
>}>}iii>iii

0ROPOSIO0ROPRIEDADESDAS#LASSES,ATERAIS
-i>}w]L}`ii>]L
>rLi]iiii]Lq>
-i> L x]iK>rL]]i>iiii]i
>xL]iK>Lr
/`>>V>i>i>kNNiii]j]N>NrNN
>>`>
{ iiii>]>]]>]V>ri]>i

r>>>]

i>Kj`>
i>XK
6> ] i>ii] i > r L +ii
>iLq>
->Li i > > r L] }] ii ] > i
>rL*>]

Lq>rLqL>rL

rLqL

ri

r

6>]>}>]iLq>+ii>i
>rL

# % $ % 2 * 

LGEBRA))\/4EOREMADE,AGRANGE

6> >] V>ii] > VK > L

Lq > ] iK ii ] > i Lq > r *>]


>rL-i>]>}>]> >]iii}ijV`i>]V
 K]i

>rL>rL

rL

jL}i]]iKi]>]

>rLL

>]i}ii>L]>>`]i>]>L
VKV?>]L >]jVi>ii>?}>D>ii
i?>>`>`i>>Vk*>]i}ii>rL

!
!4)6)$!$%
0ROVEQUESELq> ENTOL>

-i > L x ] iK ii } > L *>]


}>i}L >]i}iiii]>i}r>i
}rL]i>]>rL]i
>rL>qrLq

>rLq

Lq>rLqLq

Lq>rq

# % $ % 2 *



jL}i]]iKqi]>]

!5,!

Lq>rq]i>i`>`ii>V>L>`i>]
i}ii>rL
iLii`ii]>>>i`Vki
i`iiii]iV>>iii>LiXKii
iiV

`ii>vXKv\m>`iw`>vr>6>
>ii>vXKjLi>*i>>`iwXK`i>]?i
ivr>]i>]ivjLii>
*>>>ivji>]i>]>ivrv
+iiVVir]i
vrv>r>

>q>r>q>

>q>qr>q>

i>ivj]`iv>]i>*>]Vvj>
LiXK] iK > i  k i i `i iii] j]
N>NrNN
{
> >] ii iii >] >] ] > ] V
>ri]>ir>>> ]VV>`>`>V>i
>i>VV`iK`>]>Kr>>>
`iiV`i>`>>K`>

%XEMPLO
>`L}rO] BP`i-rO] A A BA BAP]>
Li iii >] >] ] > - r O] A A B BA BAP > i
-r>>>i>>K`>
6] i ] i > V>i >i> `>] ii
V>]K

rO]BP]ArOA BAPiArOA BAP

# % $ % 2 * 

LGEBRA))\/4EOREMADE,AGRANGE

K]`iiVi>r]>rAi>rA]iii

-rAA

j>K`>
>]>}>]iV`Xi`iVi>>`i>XK`
/ii>`i>}>}i
i>XK`/ii>`i>}>}i
*i>*XK{]>Liiii>]>]]>]V
>ri]>i

r>>>>]

i > K j `>
> K j `>] i `i
iii`ij}>D>`i`iiii`iV>`>V>i
>i>`>K]i>]

NNrN>NN>NN>N

}>]i>*XK]>Lii

N>NrNN>>`r]]]

>i`>`i`>LXi>i>XK>i]i

NNrN>NN>NN>N

rNNNNNN>Vi>

rNN

*>]NNrNNVi]i>]NN``iNN
"LiiVi>`i>XKwVii>iii
Ki`ii/ii>`i>}>}ijv?V`ii>`]}wV>]
iii]i`>L>`vvi>iii]ii
V>]>*XK}>]/ii>`i>}>}iiVikV>
>iiii}>i6>>i>t

# % $ % 2 *


!5,!

#/2/,2)/
-i>}wi>]iK>`i`i>``i>
`i`i]j]`>NNN
i>XK
"L}}i>`>]>]jL}`}w
}]i/ii>`i>}>}i]iiN>NNNN>]V
`iwXK]>`i`iii>j>`i`L}}i>`>]
i>]`>rN>N]i}ii`>NNN

#/2/,2)/
-i>}w`i`ii>]iK>ri
i>XK
-i>>`i`iii> i>V`V
?]
N ] i>] ii i ] > i r 6] > >>
>>`>] i > `i `i > j i i ] > i
>ri]

>r>r>riri

"V?`/ii>`i>}>}ijiiV>ii
ii}>i

#/2/,2)/
/`}`i`ijVVV
i>XK
-i>  } `i `i
] iK ii
> V> xi}>]V> xi]iK`>*
>`] i
? ] `>NNN] i>] `> N >] V
j ] iK i V `i K i i] V
`> ] i> > L`>`i `> r  }wV> i
L} > }i>` > i i i `i iii
ii]V>]i}ii>r]i>]j}VVV
/i] >}>] > `i>XK i ` *ii
/ii>`ii>
# % $ % 2 * 

LGEBRA))\/4EOREMADE,AGRANGE

#/2/,2)/0%15%./4%/2%-!$%&%2-!4
-i>ii>i>i>K``i
K>qy`
i>XK
6]>>]i

<s  O `VS  P  O]] P

<Nrq
>&ij]
j}V>VN
iK`V>]ri]>]> }]i
?]
<

>  ]
i}wV>i>qy`
`i>XK>i`ii}ii>>`>>>Li]>}>]
> `i>XK ii>ii i ` >i ii> `i
iiLi]`>>]i

<s  O> < `V>]  P

j}V>w->`ij`i>`>J]
`i

J  O < b i `V]  P
j > vXK `i i] i>] J j i `i i
]>ibi`V]6i>iV>`ii
]i

J  O < b  i `V]  P

 O] ]] P


#/2/,2)/4%/2%-!$%%5,%2
-i>iii>i]>i`V>]
r K>Jy`
"Liii*ii/ii>`ii>jV>>V>`
/ii>`i iiij`i>XK`/ii>
`i ii?>>`>`iw>>>Vk

# % $ % 2 *



 A #ALCULE TODAS AS CLASSES LATERAIS DISTINTAS DO SUBGRUPO   [] A A] DE
-rO]A A B BA BAP
B /BTENHA ELEMENTOS > ] > ] ] > - r O] A A  B BA BA P TAL QUE

-r>>>SEJAUMAUNIODISJUNTA

0ROVEO4EOREMADE%ULER

2%35-/
/ IMPORTANTE 4EOREMA DE ,AGRANGE AFIRMA QUE SE  UM GRUPO FINITO
E ENTO\\\\\0ARAPROVARESSETEOREMA FOIPRECISOINTRODUZIROCONCEITO
DECLASSELATERALESQUERDA OUSEJA OCONJUNTO>[>N] ONDEE

>$EPOIS VIMOSVRIASCONSEQNCIASDO4EOREMADE,AGRANGE
3EFORUMGRUPOlNITOE> ENTOORD>NNN
3EFORUMGRUPOlNITOCOMNNrE> ENTO>ri
0EQUENO4EOREMADE&ERMAT 3EFORPRIMOE>& ENTO>qy`
4EOREMADE%ULER 3EFORINTEIROE`V>]r ENTO>Jy`

# % $ % 2 * 

!5,!

!4)6)$!$%3&).!)3

LGEBRA))\/4EOREMADE,AGRANGE

2%30/34!3#/-%.4!$!3

!TIVIDADE

B ENTO
#OMOTEMORDEM JQUE
B
-

B[]B]

SERUMSUBGRUPODE-DEORDEM!GORA COMOTEMORDEM
A
JQUEAr ENTO

A[]A]A]

SERUMSUBGRUPODE-DEORDEM

!TIVIDADE
A"ASTAOBSERVARQUEir PARATODO$A

irOiNP

rONPir

r

B#OMOi ENTO>>i>

!TIVIDADE
#OMO Lq >  ENTOEXISTE ]TALQUE Lq >r0ORTANTO >rL
E DA Lr>q3EJA AGORA L  L UMELEMENTOGENRICODE L COM

!SSIM

Lr>qLr>q

r>>q

#OMOSUBGRUPOE] ENTOqE PORTANTO

Lr>q>

$A SEGUEQUEL]> PARATODO OUSEJA L>

# % $ % 2 *


!5,!

!TIVIDADE&INAL
A0ELATABELADEMULTIPLICAODE-

AABBABA
AABBABA

AAABABBA
AAABABAB
BBBABAAA
BABABABAA
BABABBAAA

TEMOS

A  AO ] A] A P  OA ] A ] A P  OA] A ]  P  


A   A O ] A] A P  OA  ] A ] A { P  OA ]  ] AP  
B  BO] A] A P  OB] BA] BA P  OB] BA] BA P
BA  BAO ] A] A P  OBA] BAA] BAA P  OBA] BA ] BP  B
BA   BA O ] A] A P  OBA  ] BA A]BA A P  OBA ] B] BAP  B 

/BSERVEQUEASCLASSESLATERAISDISTINTAS NESSECASO SOEB


B6IMOS NAPARTEA!TIVIDADE&INAL QUEASCLASSESLATERAISDISTINTASSO

r[]A]A]EBrOB BA BAP

%NTO POREXEMPLO PODEMOSESCOLHER>E>B ETEMOSQUE

-rB

UMAUNIODISJUNTA

!TIVIDADE&INAL
#OMO `V>]   ENTO > < !GORA < UM GRUPO DE ORDEM J E

>Jy`
PORTANTO PELO#OROLRIO TEMOS> J OQUESIGNIlCAQUE

# % $ % 2 * 



!5,!

#LASSESLATERAIS
EOGRUPOQUOCIENTE

-ETADAAULA

OBJETIVOS

!PRESENTAROSCONCEITOSDECLASSESLATERAIS
ESQUERDAECLASSESLATERAISDIREITA SUAS
PROPRIEDADES EOCONCEITODEGRUPOQUOCIENTE

!OlNALDESTAAULA VOCDEVERSERCAPAZDE
s)DENTIlCARECALCULARCLASSESLATERAIS
s)DENTIlCAREMQUECONDIESUMAOPERAOSETORNABEMDElNIDANO
CONJUNTODASCLASSESLATERAISESQUERDA
s)DENTIlCARASCARACTERSTICASDEUMGRUPOQUOCIENTE

0R REQUISITOS

6OCVAIPRECISARDOSCONHECIMENTOS
SOBREGRUPOSDAS!ULASA

LGEBRA))\#LASSESLATERAISEOGRUPOQUOCIENTE

).42/$5/

.AAULAANTERIORAPRESENTAMOSEPROVAMOSO4EOREMADE,AGRANGE%LEUM
DOS TEOREMAS MAIS IMPORTANTES DA TEORIA DOS GRUPOS E AlRMA QUE A ORDEM
DETODOSUBGRUPODIVIDEAORDEMDOGRUPOlNITO0ARAPROVARO4EOREMADE
,AGRANGE FOIPRECISOINTRODUZIROCONCEITODECLASSELATERALDEUMGRUPO-AIS
PRECISAMENTE VIMOSOSCONCEITOSDECLASSELATERALESQUERDAECLASSELATERAL
DIREITA.ADEMONSTRAODO4EOREMADE,AGRANGEFOINECESSRIOTRABALHARAPENAS
COMASCLASSESLATERAISESQUERDA.OENTANTO UMDOSOBJETIVOSDESTAAULAA
CONSTRUODOSGRUPOSQUOCIENTESQUEDESEMPENHAM EMTEORIADOSGRUPOS
UMPAPELANLOGOAOSANISQUOCIENTESEMTEORIADOSANIS.ACONSTRUODOS
GRUPOSQUOCIENTESSERNECESSRIOLIDARCOMSUBGRUPOSEMQUEASCLASSESLATERAIS
ESQUERDAEDIREITASOIGUAIS%STESSUBGRUPOSSOCHAMADOSDESUBGRUPOS
NORMAISESERONOSSOOBJETODEESTUDONAPRXIMAAULA
6AMOSINICIARREVENDOOSCONCEITOSDECLASSELATERALESQUERDAEDIREITA

$%&).)/#,!33%,!4%2!,
-i>}iL}`i >`>]V>>
`i>V>i>i>Dii`>`iVii>>V

>  O>  P

i`>?}]V>>`iV>i>i>D`i>`iV
ii>>V

P
>  O >

"Li>Xi
-ij}>`]iK`i>>V>i>i>
>i>

>   O>  P
i


 P]
>  O >

iiV>ii
-iijiiii`}]iirir
>>`>]> >i> >>>`> 

# % $ % 2 *


!5,!

%XEMPLO
-i>}>``ii]i>]}<]

`ii]>}>]L}

  {<  O{ <P

``i{6>V>V>`>>V>i>i>Dii`>
`i?>Li]i>"Li>XK]i

    

}>]i>i

  O  P  O { <P

Vi i ` i i `i> i > `K
{ >i>v>]

  O  P  O { <P

Vi i ` i i `i> i > `K
{]i

  O  P  O { <P

Vii`ii`i>i>`K{*i
}`> Ki<]i`>`K`i>ii{
`ii]]]`iiiVi>>`>V>i
>i>r]]*>]

r]]i

K>V>V>i>i>Dii`>`ir{<i<

# % $ % 2 * 

LGEBRA))\#LASSESLATERAISEOGRUPOQUOCIENTE

!4)6)$!$%
-OSTREQUE((  (  ( E( SOASNICAS
CLASSESLATERAISDIREITADE(:EM: 

VkLi>`>`i]Vii
i`i>i>`K{]Viii
`i>i>`K{iViii`i>
i>`K{]i}ii
 r  r   r   r  i
r
"i>]>V>i>i>Dii`>iD`i>K}>]ii
iL`>Viiii]

>r>>>`><

i>]iii>ViVi]Vii
ii

%XEMPLO

-  O] A] A ] B] BA] BA P
-i>}`>i>Xi`i
iii]`i



i]

ii>rO]P*>>w`iV>]iLii`ii>>Li>`i
V>XK`}-j`>`>


2

2 2
# % $ % 2 *


2


2



i`>>]i>i>kV>i>i>

!5,!

Dii`>Vii>]iK\
rO]PrrO]2P2rO2]P
]>`i>KV>`>?L`>\
rO]PrrO]2Pr2 2rO2]}r
"Lii i i k V>i >i> D ii`> `>\
]>i2  >>>`>`i]Vk>V>V>>V>i>i>
D`i>ViiD

!4)6)$!$%
 -OSTRE QUE AS CLASSES LATERAIS DIREITA COM RESPEITO
ArO]P EM- SO

rO]PrrO]P2rO2]2P

"Lii i i k V>i >i> D ii`> `>\


(]i2
>>`>V>i>i>Dii`>V>V>i
>i>D`i>]i

rO]2Pr2i2rO2, Pr

*>]ii

  i22]

`viii ` i Vi ii >i] i>] iV>


iii> ->i

> >

>i}iXi]>iiL>>}>i`>`i
v`>i>`>V>i>i> >i`>`i?v>i`>`>
>>>>>`>
# % $ % 2 * 

LGEBRA))\#LASSESLATERAISEOGRUPOQUOCIENTE

02/0/3)/02/02)%$!$%3$!3#,!33%3,!4%2!)3
%315%2$!
-i>}]L}`ii>]L
> Li]iiii]Lq>
-i > L

] iK > r L "] i>iiii]


i> L]iK> Lr
-ij}w]iK`>>V>i>i>kNN
iii]j]N>NrNN>>`>  >>>>]`>
>V>i>i>Dii`>kii`iiii
{-ij}w]iKiiiii>]>]]>

]V>ri]>i

r> >

... >]

i>Kj`>
1>i`>`i`kV>]V>`i>XK>?}>]>i
>>>V>i>i>D`i>

02/0/3)/02/02)%$!$%3$!3#,!33%3,!4%2!)3
$)2%)4!
-i>}]L}`ii>]L
>rLi]iiii]>Lq
-i > L ] iK] > r L "] i>iiii]
i>L]iK>L
-ij}w]iK`>>V>i>i>kNN
iii]j]N>NrNN>>`> >>>>]`>
>V>i>i>D`i>kii`iiii
{ -i  j } w] iK ii iii >] >] ]
>V>ri]>i

i>Kj`>
# % $ % 2 *

r> >

... >]



1>VikV>`i>i`>`ijiiii

!5,!

i`iV>i>i>Dii`>iD`i>]iiKi>
}>]i``iii>iii>>i

>>

i>]V>iiV>i>ij>`i>
VV`i]i>]>`

>r>>>`>

iiV>]`iiv>i>VXK`V>>`}
Vii i K ii>i > >j Vii ? i`>`
>iii > i`>`i] ii i > V`XK > r >] >>
`>]i?`iw>i>XKL?>V

rO>N>P

`> V>i >i> i v>? `ii V }] V>>`


} Vii > j > }> > i i>? >
>>>

$%&).)/#/.*5.4/$!3#,!33%3,!4%2!)3
-i>}iL}`i i>

rO>N>P

V`>V>i>i>Dii`>Vii>

%XEMPLO
-i>}<]ir{<rO{N<P*ii
i]>V>V>i>i>Dii`>Vii>r{<
Kr]]i}]

rO]]]P

# % $ % 2 * 

LGEBRA))\#LASSESLATERAISEOGRUPOQUOCIENTE

>`>]>V>>`>>XK>>iiii]i

<{<rO{<]{<]{<]{<P

%XEMPLO
-i>  } - r O,

] 2, , 2P `> i>Xi `i

iii]`i



B
i]

A 

ii>L}rO, ]2P1>`>>Li>`iV>XK`i-]
V`> i]ii

   O ] A] A P  O ]  A]  A P  O ] A] A P  
A  AO] A] A P  OA] AA] A A P  OA] A ] P  
A A O] A] A P  OA ] A A] A A P  OA ] ]AP  
B  BO] A] A P  OB] BA] BA P  OB] BA] BA P
BA  BAO] A] A P  OBA ] BA A] BA A P 
OBA] BA ] BP  B
BA   BA O] A] A P  OBA ] BA A] BA A P 
OBA ] B] BAP  B 
*>]

   O ] B P

!4)6)$!$%
 -OSTRE QUE AS CLASSES LATERAIS DIREITA COM RESPEITO A

rO, ]2P]EM- SOIGUAISSRESPECTIVASCLASSESLATERAIS


ESQUERDA CALCULADASNO%XEMPLO

# % $ % 2 *



i] >}>] j V > i>XK L?>

!5,!

V`>V>i>i>rO>N> P`i`>?
}  v> >> `i `iw > i>XK L?> i
 i? i` i v vi >> >j Vii 6>
v>>i>`j>

$%&).)//0%2!/%-'(
-i>}iL}`i iw>i}i
i>XKV`>V>i>i>rO>N>P\
>Lr>L>>`>]L
i>]iV>>Liii>i>XKi?Li`iw`>]
i>]ii>`ii`i`>iV>`iii>i>iL`>V>i
>i>>iL]iiV>ii i>i>i>>]>>
ii>V>i>i>Dii`>iD`i>VV`i]j]i

>r>>>`>]

iK > i>XK L?> >V> i>?] `i v>] Li `iv`>


i

0ROPOSIO
-i>}iL}`i>i>r>>>
`>-i>r>iLrL]V>]>]L]L]iK

> L  >  L 

]i>iiii]

>L  >L
 }vV> i > i>XK i  K `ii`i `
iii>i>iLiV`>V>i>i>>iL

# % $ % 2 * 

LGEBRA))\#LASSESLATERAISEOGRUPOQUOCIENTE

i>XK
*>> VV i >L
 >
L  ] >i > `>

>L >L  >L  >L
Vii
-i> >L >L] ] iii }ijV `i >L
6>>i>L >L
> >r>]iKii
>i>r>>}>ii]`iLLrL]ii
>iLrL}>]j>VV>]VLrLiL

]iK]ii>iLrL}]>``>
i>v>Xi]i

>L  > L POIS>  > EL  L


 > L PELALEIASSOCIATIVA
 > L POISL  L
 >L PELALEIASSOCIATIVA
 >L{ >L POIS{  
>i>L>Li]>]i>L>L
VKV?>]>L>L]jvi>`i`>?}ii?
>`i>>`>`iw>

%XEMPLO
-i>}<]ir{<rO{N <P*ii
i]

   < {<  O{<] {<] {<] {<P


iLi]`V`i}iL>]i

{<  {<  {<  {<  ] {< 

}]

< {<  O] ] ] P

> {<  {< >

>>`><]iK]i>*XK]>i>XKL?>i?Li
`iw`>i<{<>iV>ii]ii

# % $ % 2 *


!5,!

L {<  > L {<


>>`>]L<]
> {<
]i>iiii]

> L  > L >>`>]L<

>Li>`i>i>XK]i<{<]j`>`>

*`i]>}>]VV>VXK`}Vii

4EOREMA/'RUPO1UOCIENTE
-i>}iL}`i>i>r>>>
`> K]``>i>XK`iw`>i]j}

>>ii}`i}Vii`iVii>
>V>]irjiiii`}i>qj
iiii`i> i>

i   i 
r i

>  > 

i>XK

> r > >> ` > ] iK] i> *XK ]


>i>XK`ii?Li`iw`>6>iwV>>>`i
}>>]
i>XKj>V>>\

> LV  > LV


 >LV
 >LV PELAASSOCIATIVIDADDEEM
 >LV
 >L V

# % $ % 2 * 

LGEBRA))\#LASSESLATERAISEOGRUPOQUOCIENTE

"iiiijirViiiii`i\

>ir>ir>ii>ri>r>
i>iiiiiirir
"iiii`i>j>q\

> >   >>  r ii> >  > >  i


>  > 
i>iiiii

%XEMPLO
-i>}<]ir{<rO{N <P

ix]

   < {<  O] ] ] P

i   {< 
j}ViiViiiij
"LiiiiiVV`iV}< {]`>V>ii`>
`{

!4)6)$!$%3&).!)3
3EJA'OGRUPO
] BA] BA P
-  O ] A] A ] BDASPERMUTAESDEELEMENTOS
ONDE



A
i B
]

ESEJAOSUBGRUPOrO], 2P#ONCLUAQUEAOPERAOEMESTBEMDElNIDA
EMONTEATABELADEOPERAODOGRUPOQUOCIENTE

# % $ % 2 *

!5,!

SE ESOMENTESE >Lq

3EJAMUMGRUPOEUMSUBGRUPODETALQUE>r>PARATODO>3E

>r>ELrL COM> > L L]ENTOPROVEQUE>L >L

2%35-/
.ESTA AULA REVIMOS OS CONCEITOS DE CLASSE LATERAL ESQUERDA E CLASSE LATERAL
DIREITA



3EJAM UMGRUPO UMSUBGRUPODE E >]L -OSTREQUE >rL

>[>N]E>rO>NP

%MSEGUIDA VIMOSASPROPRIEDADESDASCLASSESLATERAISESQUERDAEDASCLASSES
LATERAISDIREITA
>LSE ESOMENTESE Ln>
3E>L ENTO>L/U EQUIVALENTEMENTE SE>L ENTO

>L 
3EUMGRUPOlNITOENTO TODASASCLASSESLATERAISTM\\ELEMENTOS ISTO
\>\\\PARATODO>
 3E  UM GRUPO lNITO ENTO EXISTEM ELEMENTOS >] >] ] >  COM

>ri]TALQUE

  > >   > ]


EAUNIODISJUNTA
>rLSE ESOMENTESE >Ln
3E > L ENTO >rL/U EQUIVALENTEMENTE SE >L ENTO

>L= 

# % $ % 2 * 

LGEBRA))\#LASSESLATERAISEOGRUPOQUOCIENTE

3EUMGRUPOlNITO ENTOTODASASCLASSESLATERAISTM\\ELEMENTOS ISTO


\>\\\PARATODO>
 3E  UM GRUPO lNITO ENTO EXISTEM ELEMENTOS >] >] ] >  COM

>i TALQUE

 r > >  > ]


EAUNIODISJUNTA

$EPOIS VIMOSQUENOCONJUNTODASCLASSESLATERAISESQUERDA

rO>N>P]

PODEMOSDElNIRAOPERAO

>
L  >L PARATODO> ] L  

%MSEGUIDA VIMOSQUEESTAOPERAOESTBEMDElNIDASEMPREQUE > >


PARATODO >  ISTO SEASCLASSESLATERAISESQUERDAEDIREITACOINCIDEM
.ESTECASO CONSTRUMOSOGRUPOQUOCIENTE

2%30/34!3#/-%.4!$!3

!TIVIDADE
0ELA/BSERVAO JSABEMOSQUE

    
!GORA VEJAQUE

# % $ % 2 *

  O  P  O{ <P

FORMA

  O  P  O{ <P

CONSISTEEMTODOSOSINTEIROSQUEDEIXAMRESTONADIVISOPOR E

  O  P  O{ <P
CONSISTEEMTODOSOSINTEIROSQUEDEIXAMRESTONADIVISOPOR0ELO!LGORITMO
DA$IVISOEM: ORESTODADIVISODEQUALQUERINTEIROPORSPODESER  
OU!SSIMTODOINTEIROPERTENCEAUMADASCLASSESLATERAIS r 

OU0ORTANTO


!5,!

CONSISTE EM TODOS OS INTEIROS QUE DEIXAM RESTO  NA DIVISO POR  $A MESMA

r]]i

SOASNICASCLASSESLATERAISDIREITADEr{<EM<

!TIVIDADE
5SANDOATABELADEMULTIPLICAODE- TEMOS

rO]PrO]PrO]Pr
rO]PrO]PrO,P
2rO]P2rO2]2PrO2,2P
rO]P rO]2PrO, Pr
 = O]P = O, . PrO, Pr;
>rO]P2 = O2, . 2PrO2, 2Pr2
!SSIM OBTEMOSSOMENTETRSCLASSESLATERAISDISTINTAS E2

!TIVIDADE
5SANDO A TABELA DE MULTIPLICAO DE - CONTIDA NO %XEMPLO  VAMOS CALCULAR
TODASASCLASSESLATERAIS

 A  O] A] A PA  O A] A A] A AP  OA] A ] P  A  
 A  O ] A] A PA  O A ] A A ] A A P  OA ] ] AP 
A   
B r O] A] A PB r OB ] A B ] A B P r O B ] BA ] BA P r B
BA  O ] A] A PBA  O BA] A BA] A BAP  OBA] B] BA P 
BArB
BA  O] A] A PBA  O BA ] A BA ] A BA P 
OBA ] BA] BP  BA rB
# % $ % 2 * 

LGEBRA))\#LASSESLATERAISEOGRUPOQUOCIENTE

!TIVIDADE&INAL
6IMOS NA!TIVIDADE QUE>=>PARATODO>-0ORTANTO PELA0ROPOSIO
 AOPERAOEMESTBEMDElNIDA4EMOSQUE

rO]P]
!TABELADAOPERAOEMDADAPOR

8




POIS B  B   B     
ONDEOELEMENTONEUTRODE

!TIVIDADE&INAL
 6AMOSSUPOR PRIMEIRAMENTE QUE>rL1UEREMOSPROVARQUE>Lq
3ABEMOSQUE>>rL LOGO EXISTETALQUE>rL0ORTANTO

> L  L L POIS> r L
 L L
 i
 
 6AMOS AGORA SUPORQUE>Lq1UEREMOSPROVARQUE>rL
6AMOSPROVAR INICIALMENTE AINCLUSO >L#OMO >Lq ENTO EXISTE

TALQUE>Lq=0ORTANTO >=L3EJA AGORA >>  UM


ELEMENTOGENRICODE>%NTO TEMOS

>  LPOIS> r L
 L

#OMOSUBGRUPOE  ENTOE PORTANTO

>  L L

# % $ % 2 *

L> COMPLETAMENTEANLOGAANTERIOR0ORTANTO SEGUEQUE>=L

!TIVIDADE&INAL
3EJA > L > L   UMELEMENTOGENRICODE > L6AMOSPROVAR
QUE >L >L #OMO > >=> ENTOEXISTE TALQUE >= >
!NALOGAMENTE DEL L=L EXISTETALQUEL= L!GORA AQUIO
PONTOCRUCIAL COMOL=LE L ENTOEXISTE TALQUEL= L
,OGO JUNTANDOTODASESTASINFORMAES TEMOS

>L  > L POIS>  > EL  L


 >L PELALEEIASSOCIATIVA
 >L POISL  L
 >L PELALEIASSOCIATIVA
 >L{ >L POIS{  
)STOPROVAQUE>L >L E PORTANTO QUE>L >L 

# % $ % 2 * 


!5,!

$A SEGUEQUE>LPARATODO OUSEJA >L!INCLUSOCONTRRIA

!5,!

3UBGRUPOSNORMAIS



-ETADAAULA

OBJETIVOS

!PRESENTAROSSUBGRUPOSNORMAISEOSGRUPOS
QUOCIENTESDEUMGRUPODADO

!OlNALDESTAAULA VOCDEVERSERCAPAZDE
s!PLICARACONCEITUAODOSSUBGRUPOSNORMAIS
s$ETERMINARASCONDIESPARAQUEUMDADOSUBGRUPOSEJANORMAL
s#ONSTRUIROGRUPOQUOCIENTE6OCVAIPRECISARDOSCONHECIMENTOS
SOBREGRUPOSDAS!ULASA

0R REQUISITOS
6OCVAIPRECISARDOSCONHECIMENTOSSOBRE
GRUPOSDAS!ULASA

LGEBRA))\3UBGRUPOSNORMAIS

).42/$5/

.AAULAANTERIOR ENCONTRAMOSUMACLASSEDESUBGRUPOSESPECIAIS.DEUM
GRUPO'QUESATISFAZACONDIO

} PARATODO

%STES SUBGRUPOS SO ESPECIAIS PORQUE NESSE CASO PODEMOS DElNIR UMA
OPERAOBINRIANOCONJUNTODASCLASSESLATERAIS

 O}

} P

DElNIDAPOR

> L

 >L

TORNANDOOCONJUNTO'.NUMGRUPO CHAMADOGRUPOQUOCIENTE
! NECESSIDADE DA CONDIO }

} PARA TODO }  APARECEU PARA

QUEPUDSSEMOSRESOLVEROPROBLEMADAAMBIGIDADEDAREPRESENTAODAS
CLASSESLATERAIS/PROBLEMACONSISTENOFATODEQUEEXISTEMMUITASFORMASDE
SEESCREVERACLASSELATERALA.0OREXEMPLO UMAOUTRAFORMADESEESCREVER
ESTA CLASSE LATERAL AX. PARA QUALQUER

 !LIS VOC PODE PROVAR

ISTONA!TIVIDADE

!4)6)$!$%
3EJAMUMGRUPOE UMSUBGRUPODE0ROVEQUE
> PARATODO 

>}>ii] >> > V>i >i> L ] `i iVii

 L

>> `

] Li> j >Li i >

`iwXK`>i>XKL?>i ]

> L

 >L

`ii`iK`>v>Viii>>V>i>i>]
j] i `ii`i `i iii> > V>i >i> > > i
> >>>}

iii`i>`

>w>i>i>XKL?>i?Li`iw`>i >>>
>>`>>ii }

} >>` }  ]iK]`iv>]

> i>XK L?> i  i? Li `iw`> > iV>ii]


>>i}ii`>`i

# % $ % 2 *



-i>}i L}`i]>i }
` }  -i >  >

i L

!5,!

0ROPOSIO
} >>

rL ]V >]> ]L]L  ]iK]

> L r > L ]
]i>iiii]

>L r >L

"L} >>>>i>XKL?>i i?
Li`iw`>iViLi>`i>XKiiV>

$%&).)/35"'250/./2-!,
1 L} `i }  j V>>` `i L}
>`ii }

} >>` } 

i > V>>Vi>XK `i L} > >`>


*>>`iVik>iV>V`i>i}iV-i>

LV`}i >  iwLV >>


`i

>>  O>>  P
>]i>i}ii`>`i

0ROPOSIO
-i>}]L}`ii > 

>> jL}`i
> r > i]iiii] >>  
i>XK
iLii]iVj`L}>>]L>>
>i

>> PARATODO ] >>

#OMO ] >> ENTOEXISTEM ]  TAISQUE



 >> E  > > %TAMBM COMOSUBGRUPO

DE ENTO   *UNTANDOTUDO TEMOS

# % $ % 2 * 

LGEBRA))\3UBGRUPOSNORMAIS

 > > > > POIS  >> E  > >


 > > > > PORPROPRIEDADEDOELEMENTOINVERSO
 > > > >



 > i >

PELALEIASSOCIATIVA
PORPROPRIEDADEDOELEMENTOINVERSO

 > >

PORPROPRIEDADEDOELEMENTONEUTRO

 > > >> POIS  


*>] >> jL}`i
0 6> i > r > +ii > i

>>

  6>ViX>>`>VK >>  >`


>> ]ii  ]>i  > >


> r >]ii
 ]>i >  > ]i
 > >
 > >

POIS  > >


PELALEIASSOCIATIVA

 >>

POIS>  >

 >>

PELALEIASSOCIATIVA

 i

PORPROPRIEDADEDOELEMENTONEUTRO

 
*>]>i >>  VK  >> i?
>>`>`i>>Vk
6> ] >}>] i >>  i > > >
VK > > >` > ] ii ] > i  >

>

 >> >>  ]iKii  ]>i > 

i]>]  > >]i > >


VKV?>] > > ]jvi>`iv>>?}> >`

>]ii  ]>i  >

>  >>  >>    >> ]


iKii  ]>i >  > > i]>]

 > >  > > >  > > >  > >
]i > >

# % $ % 2 *


!5,!

!4)6)$!$%
3EJAMUMGRUPOEUMSUBGRUPODEQUESATISFAZ
> > 0ROVEQUE  >> 

*>]i>>i`>*XK]>>V>>Vi>XK`i
L}>wV>V>>

$%&).)/35"'250/./2-!,
1 L} `i }  j V>>` `i L}
>`ii } } r

>>` } 

>i`>`iviViVjiv>V>iwV>i
L} jL}>`i >i`>`i>
iL>>iwV>>VK } }

>>` } 

0ROPOSIO#RITRIODO3UBGRUPO.ORMAL
-i>}i L}`i K jL}
>`i]i]iiii] } } r

>>` } 

i>XK
-i j L} > `i ] iK] i> iwXK
] } } r

} }

>> ` }  *>] i}i i`>>ii i


>>` } 

/i`i>i } } r
? >Li] ii] i } }

>>` } 

] iK L>> > i

} } >> ` }  -i> >

iii >i

jL}]iK >

}] } > } } } iV]


]i}ii } > }

ii] } }

jL}]iK } > }

>ii]V

]i>]

L  } >}  } > }
i } >}  L i}i i`>>ii i >  }L} } }
*>]>i

} } ]ii>>`i>XK

`ii jL}>`i

# % $ % 2 * 

LGEBRA))\3UBGRUPOSNORMAIS

"Li>XK
" Vj ` L} > `i i iiV `> i}i
v>\ jL}>`ii]iiii] }}
`

>>

i>>` } 

6>]>}>]i>}ii

%XEMPLO
-i>} KL}>`i]

 Oi P i

r ]KL}>`i
iv>]>>

 OiP ]VijViii`i
} i}  } }  i

i]>]i }
>i

]iK

>>` }  *i>*XK]

 Oi P jL}>`i

>`ii

r jL}>`iv>>i

`>>>`>`i`i>>>
!4)6)$!$%
 3EJA  UM GRUPO -OSTRE QUE  UM SUBGRUPO
NORMALDE

%XEMPLO
-i>}>Li>]iK`L} `ij>
iv>]>>>i

i }  ii

} } r } } ] j>Li>
r
*>]i } }

>>` }  ]i>i

jL}>`i

%XEMPLO

-i>} - r ] ] ] ] ] `>i>Xi`i
iii]`i
# % $ % 2 *


!5,!




i 



 O ] ] P 6] i { i >

i i> L}

`>`i ] >L > > ] i }

} >> ` } -

*>] jL}>`i-

%XEMPLO
-i>L}   O ] P `i-

  O] P  O  ] P  O ] P ONDE  ]
E

  O ] P  O ] P  O ] P x  ]
i}ii   O ] P KjL}>`i-
6>`D>`VKV>]ii jL}
>]iK>i>XKL?>`iw`>i i?Li`iw`> >
i`>`i]>V`XK } }

]>>` }  ]jKwVii

Vj>LjiVi?>>>i>i>XKL?>i ii>
Li`iw`>6i>>`VK>i}
>` >] L  i ]

>L?]iK>i>iii>>

i>V>i>i>> ]j] >


>i> L

]ii L

 > i]>ii]>>>V>i

 L

]>i>XKL?>i

 i?Li`iw`>i]iiii]

>L

 >L

>>` >] L i>>` ]

6i>ii>}>`>`i>ii]iiii

>L

 >L >>` >] L i ]

i]>]

 LL

 LL

>>` L  i

]>i>XKL?>ii?Li`iw`>i]iii]
i

LL

>>` L  i

,i`]iiL} `}i>v>i
>i`>`i LL

PARATODO L  EPARATODO

# % $ % 2 * 

LGEBRA))\3UBGRUPOSNORMAIS

KL}>>>VVii j}
i}K>iiK}Vii
w> `> >> >>`> 6> i> > `iwXi V > >
iV>>`iL}>

4%/2%-!/'250/15/#)%.4%
-i>}i L}>`i K ]
` `> i>XK `iw`> i  ] j }
>> ii
}`i}Vii`i`
>V>] i

jiiii`}i >

iiii`i> i>

i

 i

i >  >

6>>ii>iiLiL}>

%XEMPLO
,i>` > L}

 O] ] P `i -  O ] ] ] ]

] P ] ii jL}>`i-
i{`>>]i}Vii -
j`>`
-

O ]

 i}i >`>`i j >i >> ii`i >


XK`iL}>

!4)6)$!$%
#ALCULETODOSOSSUBGRUPOSNORMAISDE3

# % $ % 2 *


!5,!

ii>i>}>>}i>`Li}Vii

0ROPOSIO
-i>}i L}>`i K\
-ij}>Li>]iK}Vii j
}>Li>
-ij}VVV]iK}Vii j
}VVV
i>XK
-i>> iL `>V>i>i>i /ii

> L  >L ]
 L> ]
 L >

i>`iwXK`>i>XKi
j>Li>

V]>]i j}>Li>>Lj
->] >}>] i  j } VVV }i>` i
iii  j]>iiii`ij>kV>`i
w>i>V>i>i> j}i>``} iv>]
i> >

V >  ]iK`iiVii >  >>>}

< ]
>

 >>>} < ]

i>i j}VVV
6EJAMOSMAISALGUNSEXEMPLOSDEGRUPOSQUOCIENTES

%XEMPLO

<j}>`>Li>]iKL} r{<]
`i`i{]j}>`i<]}
Vii<{<jv>`i>iii
{<r{<]{<]{<i{<
Kj`vVii<{<j}VVV}i>`{<
]<{<j}vV<{
"ii>ijV>>V>`i}iii

# % $ % 2 * 

LGEBRA))\3UBGRUPOSNORMAIS

%XEMPLO
->Liii<]iKL}

<  O <P
jL}>`}>`<->Li>Lji
iiV>i>i>`i<i<]>>Li]
<r<]<]<<

}>`<jVVV]}i>`iiii]i
i}Vii<<>LjjVVVij}i>`i>V>i>i>

< -i`}VVV`i`i]ii<<jv
>< >L`i>XK]>iiiVii

<
 <
<

%XEMPLO

`ii}>Li>

< { s <  O] < { E < P

>i>XK`iw`>

>] L V] `  > V] L] `>>` >] V < { i L] ` <


-i> L}VVV`i<{<}i>`iiii ] ]
j]

  ]  <
iXK >> K i Vv` V > >XK\ Lii i >

i>Vii`i ] j < { ii>i}`>Vii


`i ] j < ]i

]  i<{ s<  ]
]  ]
]  ] ]  ]  ]
]  ] ]  ] ]  ]  ]
{ ]  ] ]  ] ]  ]  ] {
x]  { ] ]  ] { ]  ] {  ] x
]  x] ]  ] x ]  ] x  ]  ]

# % $ % 2 *


!5,!

}]

 O] <P
 O] ] ] ] ] ] ] ] ] {] ] P
-i`<{<>Li>]ii jL}>i

< { s <

}>Li>->Lii`>>V>i>i>

`i K`>]i>i>V>`>`>`i`i ]V>]
iii V>`>] i > K j ` } ] `i `i { }]
ii ii { V>i >i> `i ] i>] } Vii

< { s <

i`i{

]{iii`i < { s <

i ]

> > >`>`i `i> >>] Vk i>? iV>i}>` `i


iwV> i < { s <

j } VVV }i>` ]

*`i] >] VV i < { s <

j } v >

}<{

!4)6)$!$%3&).!)3
 6ERIFIQUE QUE ]

GERADOR DO GRUPO < { s <

 !PRESENTE O

ELEMENTOINVERSODECADAELEMENTODOGRUPO
3EJAM   SUBGRUPOSNORMAISDEUMGRUPO'6ERIlQUEQUE
A (UMSUBGRUPONORMALDE+
B /GRUPO  UMSUBGRUPONORMALDOGRUPO  

# % $ % 2 * 

LGEBRA))\3UBGRUPOSNORMAIS

2%35-/
.ESTAAULAESTUDAMOSUMACLASSEESPECIALDESUBGRUPOSDEUMGRUPO SOOS
CHAMADOSSUBGRUPOSNORMAIS MAISPRECISAMENTE DIZEMOSQUEUMUMSUBGRUPO
NORMALEMSE } } r PARATODO }  OU EQUIVALENTEMENTE SE }

}

PARATODO }  
%STESSUBGRUPOSSOIMPORTANTESPOIS NESSECASO OCONJUNTODASCLASSESLATERAIS
DE EMUMGRUPO CHAMADODOGRUPOQUOCIENTEDEEQUEFOIDENOTADO
POR   

2%30/34!3#/-%.4!$!3

!TIVIDADE
.A0ROPOSIODA!ULA VIMOSQUE >

L

SE ESOMENTESE > L



.ESSECASO TEREMOS

>

L

SE ESOMENTESE > L

!SSIM TEMOS

> >  > > PELALEIASSOCIATIVA


 i


POIS

0ORTANTO PROVAMOSQUE > >

E CONSEQENTEMENTE QUEA.AX.PARA

TODOX.
!TIVIDADE
3EJAH(UMELEMENTOQUALQUER6AMOSPROVARQUE >> #OMO EXISTE 
TALQUEHAAH0ORTANTO

 i PORPROPRIEDADEDOELEMENTONEUTRO
 >> PORPROPRIEDADEDOELEMENTOINVERSO
 >> PELALEIASSOCIATIVA
 > > POIS>  >
 >> >>
0ORTANTO PROVAMOSQUE  >>

# % $ % 2 *


!5,!

!TIVIDADE
$ADO >  UMELEMENTOQUALQUER ENTO

}>}  PARATODO }  

)STO PROVA QUE }}  PARA TODO }  E PORTANTO TEMOS QUE ' UM
SUBGRUPONORMALDE'
!TIVIDADE
,EMBREQUE PELO4EOREMADE,AGRANGE AORDEMDEUMSUBGRUPO(DIVIDEAORDEM

DOGRUPO'#OMO -  OSSUBGRUPOSDE -  ] ] ] ] ] SPODEM


TERORDEM  OU!SSIM TEMOSASSEGUINTESPOSSIBILIDADES
3E   OSUBGRUPOSPODESEROSUBGRUPOTRIVIAL   []
3E   COMO3TEMTRSELEMENTOSDEORDEM ASABER ] ] ENTOOS
SUBGRUPOSDEORDEMSO   O ] P   O ] P E  {  O ] 2 P 
3E   COMO3TEMELEMENTOSDEORDEM ASABER  2 ] ENTOONICO

SUBGRUPODEORDEM x  ] ]

3E   OSUBGRUPOSPODESEROSUBGRUPOTRIVIAL(3
$OSSEISSUBGRUPOSCITADOSANTERIORMENTEEDOSEXEMPLOSVISTOSNESTAAULA SABEMOS

QUE OS SUBGRUPOS TRIVIAIS   [] E (  3 E O SUBGRUPO x  ] ] SO


SUBGRUPOSNORMAIS ENQUANTOOSUBGRUPO  O ] P NOSUBGRUPONORMAL!SSIM
COMOlZEMOSNO%XEMPLO VAMOSVERIlCARQUE  O ] P E {  O ] 2 P NO
SOSUBGRUPOSNORMAIS,EMBRE DA!ULA QUEATABELADEMULTIPLICAODE3
DADAPOR

2
1

2
1

1
2

1
2

# % $ % 2 * 

LGEBRA))\3UBGRUPOSNORMAIS

!SSIMTEMOSQUE

  O] P  O ] P  O ] P
E

  O ] P  O ] P  O ] P x 
,OGO   O ] P NOSUBGRUPONORMALDE-$EMODOANLOGO TEMOS

 {  O] P  O ] P  O ] P
E

 {  O ] P  O ] P  O ] P x  {
,OGO  {  O ] P TAMBMNOSUBGRUPONORMALDE-
#ONCLUINDO OSSUBGRUPOSNORMAISDE-SO   O P x  O ] ] P E   - 

!TIVIDADE&INAL
6IMOS NO%XEMPLO QUE

< { s <

 O ] ]

] ]

] ]

0ARASIMPLIlCARANOTAO DENOTAREMOS

>] L  >] L
ASSIM TEMOS

< { s <

 O] ] ] ] ] ] ] P

6AMOSVERIlCARQUE ]  ]

UMGERADORDE < { s <

]  ]
]  Q]

R Q]

R  ]

 ]

]  ] ]  Q]

R Q]

R  ]

 ]

{ ]  ] ]  Q]

R Q]

R  {]

 ]

0ORTANTO < { s <

# % $ % 2 *

UMGRUPOCCLICOGERADOPOR ]  ]

TEMOS
s ] ]  ] LOGO ] SEUPRPRIOINVERSO
s ] ]  ] LOGO ] E ] SOINVERSOSUMDOOUTRO
s ] ]  ] LOGO ] SEUPRPRIOINVERSO
!TIVIDADE&INAL
A 3EJAM  E  4EMOSQUE



!5,!

!GORA PARA OBTER OS ELEMENTOS INVERSOS DOS ELEMENTOS DE < { s <

 POIS   E(NORMALEM'

!SSIM PROVAMOS QUE   PARA TODO   ,OGO PELO CRITRIO DO


SUBGRUPONORMAL SEGUEQUE(SUBGRUPONORMALDE+
B 3EJAM    E }   4EMOSQUE

}  }  }  }   }} 
#OMO+NORMALEM'E  ENTO }}

 PARATODO  EPARATODO

}  !SSIM TEMOSQUE
}  }  }}   
PARATODO  EPARATODO }  0ORTANTO PELOCRITRIODOSUBGRUPO SEGUE
QUE+(SUBGRUPONORMALDE'(

# % $ % 2 * 



!5,!

(OMOMORlSMOSDEGRUPOS

-ETADAAULA

OBJETIVOS

!PRESENTAROCONCEITODEHOMOMORlSMODE
GRUPOESUASPROPRIEDADESBSICAS

!OlNALDESTAAULA VOCDEVERSERCAPAZDE
s2ECONHECERECONCEITUARUMHOMOMORlSMODEGRUPOS
s!PRESENTAREDEMONSTRARVRIASPROPRIEDADESDOSHOMOMORlSMOS
DEGRUPOS
s!PRESENTARECALCULARIMPORTANTESEXEMPLOSDEHOMOMORlSMOS
DEGRUPOS

0R REQUISITOS

6OCVAIPRECISARDOSCONHECIMENTOSSOBRE
GRUPOSDAS!ULASA

LGEBRA))\(OMOMORFISMOSDEGRUPOS

).42/$5/

!PRESENTAREMOSNESTAAULAOCONCEITODEHOMOMORlSMODEGRUPOS,EMBREQUE
NA!ULAESTUDAMOSOCONCEITODEHOMOMORlSMODEANISEMUITASDESUAS
PROPRIEDADES#OMOACONTECEUNAQUELAAULA EMQUEVIMOSTAMBMOCONCEITO
DEISOMORlSMODEANIS VEREMOSAQUIOCONCEITODEISOMORlSMODEGRUPOS
/SISOMORlSMOSSOMUITOIMPORTANTESPORQUEELESPERMITEMAIDENTIlCAO
ENTREGRUPOSAPARENTEMENTEMUITODIFERENTES,EMBREQUEUMHOMOMORlSMO
DEANISUMAFUNOENTREDOISANISQUEPRESERVAASOPERAESDESTESANIS
!NALOGAMENTE UMHOMOMORlSMODEGRUPOSUMAFUNOENTREDOISGRUPOS
QUEPRESERVAAOPERAODESTESGRUPOS6AMOSSDElNIES

$%&).)/(/-/-/2&)3-/$%'250/3
>``}i]>vXKv\jV>>`>`i
w`i}i

v>Lrv>vL>>`>]L

"Li>Xi
"Liii>i>XKi>>iViiv>Lj>`}]
i>>i>XKi>>iViiv>vLj>i>XK`}
iLii>V`XK

v>Lrv>vL>>`>]L

}wV>ivii>>i>Xi`}i*>>wV>
> >XK] > ii iVii i> V`XK i `i>
iV>ii>i>XK\

v>Lrv>vL>>`>]L

$%&).)/)3/-/2&)3-/$%'250/3
1 w `i } v \   j V>>` `i
w `i } i v] >Lj] > LiXK ii V>]
`ii}iKvi`i> 

# % $ % 2 *



-iv\jw`}iii]`i

!5,!

ivj>w`i
"Li>XK
iLi i ` V  i  k i i `i
iii] i>] ii iK > i> V>`>`>`i] i i >
LiXKiii]iivi}v]iK
ii iK i>>ii i i `i iii  >ViVi
iiv\vw]iK]i>V>]vi?
>LiXKiii

$%&).)/.#,%/$%5-(/-/-/2&)3-/
"Vi`iw`i}v\jV

v  O  v  i P]
`iijiiii`}
6i>] >}>] ` ` ii > i `i
w`i}

%XEMPLO
>` }  i ] V`ii > vXK V>i
v\`>`>

vri>>`]

`iijiiii`}v?ViwV>ivj
w`i}]

v >L  i
 i i
 v >v L]

>>`>]L*`i]>Lj]v>ViiV>V>iVi

vri>>`]iK

v  O  v  i P  

# % $ % 2 * 

LGEBRA))\(OMOMORFISMOSDEGRUPOS

*>] Vi `i v j ` } ] > L}
i`i

%XEMPLO
>`}]w`i`>`i`ij`iw`
i>vXK`i`>`ii]i>]`\]`>r>>>`
>v?ViwV>i>`i`>`ij]`iv>]w
`i}/ii

`> L  > L  `> `L]

>>`>]L ]i>v>Viiii>

> `i`>`i j > LiXK i ] iK ` \   j] > i`>`i]


w`}-iVi>Lj`iiV>V>`
iii"Liii

`  i  i ]
}]

v  O  v  i P  Oi P
*>]Vi`w`i`>`i`jL}
>OiP]iL}i`i

%XEMPLO
-i>  r ,] } >` ` i i> i
r,I]}V>`ii>
`ii
>vXKv\`iw`>

vr>>`,

6> iwV> i v j w `i } >`


],]i

v    v v

# % $ % 2 *



]iivii>>i>Xi`}i]>]j

!5,!

w
>vXKiiV>vrj>LiXK
ii,i,I]iKvjw`i}6>V>V>i
Vi
ir]ii
vr r rri

*>]Vi`ivjL}> vrOP
6>D>i>>`>`i

!4)6)$!$%
 3EJAM  r <] O GRUPO ADITIVO DOS NMEROS INTEIROS E

r<]OGRUPOADITIVODOSINTEIROSMDULO#ONSIDEREAFUNO
v\DElNIDAPOR
v >  > PARATODO> <

-OSTRE QUE v UM HOMOMORlSMO SOBREJETOR E CALCULE O SEU


NCLEO

6>]>}>]i`>>}>i`>`i`w

0ROPOSIO
-i>v\w`i} K]
viri

v> rv>

-i jL}`i]iKv jL}`i
>V>]vrvjL}`i
{ vjL}>`i
xvji>i]iiii] vrOiP
-ivvLi>]iKvq\i?w
`i}

# % $ % 2 * 

LGEBRA))\(OMOMORFISMOSDEGRUPOS

i>XK
/ii

v i  v i i POISi  i i
 v i v i POISv HOMOOMORFISMO
V>`>L>``>i>XKvivirvi
q

vi ]Li

v i v i v i  v i v i ]

v i v i  i ]
iViKi
v i  i
6ii

v > v >  v > > POISv HOMOMORFISMO


 v i POIS> >  i
 i PELAPROPRIEDADEANTERIOR

>}>ii] v > v >  i  }] i> V`>`i `


iiii]i}ii
v >  v >
-i> ] v 6> > i q v

v ]ii> >iv>riVv ]ii> >


ivLr
jL}]iK>Lq ]ii

 v > v L POIS  v > E  v L


 v > v L POISv L  v L
 v >L POISv HOMOMORFISMO
 v > L v POIS>L

*>]iVj`L}]iiv jL}`i
 >V>]Vvrv]iKvjL}`i
{ 6>] i>ii] > i v j L} `i
 >`>Lq v]ii>i>Lq v

>L v]iKv>rvLri]

# % $ % 2 *



v >L  v > v L POISv HOMOMORFISMO

!5,!

 v > v L POOISv L  v L
 i i POISv >  v L  i
 i
iv>Lqri]ii>Lq v]i>i v
jL}`i*>>>i vjL}>`i]
i>> vi}6>>i}>}q v

> v]iKv>ri]

v }>}  v } v > v } POISv HOMOMORFISMO


 v } i v } POISv >  i Ev }  v }
 v } v }
 i
*>]`iv}>}qri]ii}>}q v}]i
Vj`L}>]i}ii vjL}>`i
x 6> i v i> i> +ii > i
vrOiP >`> v]iK

v >  i  v i ]
i] V v j i>] i}i i > r i  >] VV i
vrOiP
6> >}> i

v r OiP +ii >

i v j i> >` >] L > i v> r vL] > >


i>rL/i

v >L  v > v L POISv HOMOMORFISMO


 v > v L POOISv L  v L
 v > v > POISv L  v >
 i

iv>Lqri]ii>Lq v
vrOiP]iK
>Lqrii]V>`L``>`]i>rL]`i`i
VVivji>

# % $ % 2 * 

LGEBRA))\(OMOMORFISMOSDEGRUPOS

-i>]6>>ivqrvqvq
-i>>rvqiLrvq]iKv>rivLr]

v  v v > v L POIS  v >E  v L


 v v >L POISv HOMOMORFISMO
 >L POISv  v  `

 v v POIS> r v EL  v

}]vqjw`i}
"iiv>>>`iwV>XKii}
-i ]Li>`>>>

%XEMPLO
-i> } - r O] , 2, , , 2P `> i>Xi `i
iii]`i



A
i B
]


ii>} rO],],]],],P`>i>`@}
i?i]`>}>n>>]


"

&IGURA4RINGULOEQILTERO!"#

`i,r,/3j>>XK`i/3>`>i`>}iij>
iyiKVii>i

# % $ % 2 *



"Lii>ii>X>>>Li>`iV>XK`ii`}



2
2

,

,2

,

,2

,

,2

,

,2

2 2

2
2  2

,2

,2 ,

,

, ,2 

,2 ,2 


2

2


!5,!

i`i>`viiX>`i>XK]>`>>Li>K`kV>t

,2 ,2 
, ,2

,

,

, ,2 
,

,2

,2 ,
,

,2

*>]j>>`iw>i}iLiXKii-i \

v \ - m ]`i

vrvr,vr,\vrvr,vr,
]i>ii>X>ii>>Li>>V>]jv?Vii

v >L  v > v L

>>`>]L]-}]vjwLii]>]
wii-i ]i`i>-
6>D>>>`>`i ij>iii
`i>w`i}

!4)6)$!$%
 3EJAM  UM GRUPO E }  #ONSIDERE A APLICAO } \ 

DElNIDAPOR}r}}q-OSTREQUE}UMISOMORlSMODO
GRUPONELEMESMO OUSEJA UMAUTOMORlSMODOGRUPO
????????????????????????????????????????????????????????
????????????????????????????????????????????????????????
?????????????????????????????????????????????????????????

# % $ % 2 * 

LGEBRA))\(OMOMORFISMOSDEGRUPOS

6> v>> i> >> >ii>` ` ii


>>i`iw`i}>X>>iii
>iii>`w>>}

%XEMPLO/HOMOMORlSMOCANNICO
-i>}iL}>`i
`ii
>>V>XKiii}Vii] :  ]`iw`>
(>) = >6>iwV>i jw`i}
>`>]L]i

P>L  >L
 >L
 P> PL

*>] jw`i}]V>>`
wV>V

0ROPOSIO
-i>  } i  L} > `i  -i>

:  ](>) = >]wV>V K]
jwLii
= 
i>XK
-i> > ] > ] iii >L? ` }
Vii K]`>>`iwXK`wV>V]
ii(>) = >]``iVVij]`iv>]Lii
/ii

>

P P>  i 

P>   POISi   i  r 

> r  POISP>  >


> 

>i () = 
"Li>XK
>ii>>iwV>Vj>
vXK Lii>] >] i }i>] K j i> *] i  j
L}>`}]`viii`L}>OiP]iK]
# % $ % 2 *



`>`>>iV>i>i>> ]iiL ]L>]>i

!5,!

Lr>]i

(L) = Lr>r(>)
>iwV>V : Kj
>vXKi>
" w `> `>`i ] v \ < <] `iw`

v >  > >>`><]j>iii`iw


V>V
> > >> >i ii> ` w
>>}iii}iiV>`

4EOREMADO(OMOMORlSMOPARA'RUPOS
v
>` v `i } v \
 ] iK ii v `i }

\/ (v) v() i>v>v\ ]`i : 

/ (v)jwV>V
,iii> ii i>` i i}i
ii>

v() 

 v
/ (v) v()

!4)6)$!$%3&).!)3
A 3EJAM<] OGRUPOADITIVODOSNMEROSINTEIROSEv\< <UMHOMOMORlSMO
DE<EM<-OSTREQUEvrvPARATODO <
B -OSTRE QUE TODO AUTOMORFISMO DO GRUPO ADITIVO < DA FORMA
OU q PARATODO <
 A 3EJAM <] O GRUPO ADITIVO DOS INTEIROS MDULO E v \ < < UM
HOMOMORlSMODE<EM<-OSTREQUEPARATODO
v >  v >
><

> <
B -OSTREQUETODOAUTOMORlSMODE<DAFORMA COM
m >

# % $ % 2 * 

LGEBRA))\(OMOMORFISMOSDEGRUPOS

2%35-/
.ESTAAULAVIMOSOCONCEITODEHOMOMORlSMODEGRUPOSONDE DADOSDOISGRUPOS
'E( UMAFUNOv\CHAMADADEUMHOMOMORlSMODEGRUPOS SE

v>Lrv>vLPARATODO>]L 

3E AINDA vUMABIJEO ENTODIZEMOSQUEv\UMISOMORlSMODOS


GRUPOSEEDENOTAMOS
0ARAv\UMHOMOMORlSMODEGRUPOS VIMOSASSEGUINTESPROPRIEDADES
viri

v>qrv>q
3E FORUMSUBGRUPODE ENTOv SERUMSUBGRUPODE%MPARTICULAR
vrvUMSUBGRUPODE
 vUMSUBGRUPONORMALDE
vINJETORASE ESOMENTESE vrOiP
3EvFORBIJETORA ENTOvq\FORUMHOMOMORlSMODEGRUPOS
0ORlM VIMOSOIMPORTANTEEXEMPLODOHOMOMORlSMOCANNICO$ADOSUM
GRUPOEUMSUBGRUPONORMALDE OHOMOMORlSMOCANNICODElNIDOPOR

\COM> = >

2%30/34!3#/-%.4!$!3

!TIVIDADE
FCILVERQUEvUMHOMOMORlSMO POIS DADOS>]L < TEMOS

v >L  >L

 > L
 v > v L

> <  O] ] ]] P <


/HOMOMORlSMOvSOBREJETOR POIS DADO >
v >  >
ENTO1UANTOAONCLEODEv TEMOS
>

v v > 
>
> y `
> <

# % $ % 2 *


!5,!

,OGO ONCLEODEvFORMADOPELOSMLTIPLOSDE OUSEJA vr<


!TIVIDADE
6AMOSVERIlCARPRIMEIROQUE}\UMHOMOMORlSMODEGRUPOS$ADOS
>]L TEMOSQUE

} >L  }>L} POISv HOMOMORFISMO

 }>i L}
 }>} }L} POISi  } }
 }>} }L}
 } > } L

0ORTANTO } UM HOMOMORFISMO DE GRUPOS !GORA VAMOS VERIFICAR QUE }


SOBREJETORA$ADOL QUEREMOSENCONTRAR>TALQUE}>rL OUSEJA
QUEREMOSQUE}>}qrL2ESOLVENDOESTAEQUAOPARA> OBTEMOS>}qL}!SSIM
TOMANDO>}qL} TEMOS

} >  } } L} POIS>  } L}
 }} L}}
 }} L}} PELAASSOCIATIVIDADE

 iLi POIS}}  i
 L
0ORTANTO TEMOSQUE}SOBREJETORA&INALMENTE PARAVERIlCARQUE}INJETORA
VAMOSCALCULARSEUNCLEO4EMOSQUE

>

} } >  i
}>}  i
}>  i }  } MULTIPLICANDO DIREITAPOR}
>  } } MULTIPLICANDO ESQUERDAPOR}
>  i POIS} }  i

/CLCULOANTERIORNOSDIZQUE }rOiPE PORTANTO PELA0ROPOSIO SEGUE


QUE}INJETORA%NTO COMO}\UMHOMOMORlSMOBIJETOR TEMOS
QUE}UMAUTOMORlSMODE

# % $ % 2 * 

LGEBRA))\(OMOMORFISMOSDEGRUPOS

!TIVIDADE&INAL
A OCASO
6AMOSPROVARPORINDUOQUEvrvPARATODO 
"ASE=
#OMOv\<<UMHOMOMORlSMO ENTO PELA0ROPOSIO JSABEMOSQUE
vr,OGO

vrrv

(IPTESEDEINDUO=
6AMOSSUPORQUEvrv
4ESEDEINDUO=

v  v
6AMOSPROVARQUE4EMOS
v  v v POISvUMHOMOMORFISMO
 v v PELAHIP TESEDEINDU O
 v
,OGO PELOO0RINCPIODA)NDUO SEGUEQUEvrvPARATODO 0

OCASO< 0
3EJArq0ELOOCASO TEMOSQUEvrv#OMOrq TEMOS

v  v
 v PELA0ROPOSI O

 v PELOO CASO
 v
 v

0ORTANTO PROVAMOSQUEvrvPARATODO<

v \<m<
<0ELOITEMA JSABEMOSQUE
B 3EJAUMAUTOMORlSMODE

# % $ % 2 *

v v PARATODO<


!5,!

#OMOvUMABIJEODE< ENTOEXISTE< TALQUE

vr]

vr

i>]

#OMOvESONMEROSINTEIROS TEMOSAPENASASPOSSIBILIDADES

vrrOUvrrq

0ORTANTO COMOvrv TEMOSAPENASASDUASPOSSIBILIDADES


vrPARATODO<

vrqPARATODO<

OU

!TIVIDADE&INAL

> <  O] ]] P
A $ADO PODEMOSCONSIDERAR3E>r
b > 
v 
ENTOJSABEMOS PELA0ROPOSIO QUE!GORA PODEMOSSUPORQUE
E PORTANTO
 > 

>   >PARCELAS 

5SANDOQUEvHOMOMORlSMO TEMOS

v >  v  POIS>   PARCELAS


 v v  v POISv HOMOMORFISMOPARCELAS

 v  PARCELAS
 v > POIS>   PARCELAS 

B 3EJA AGORA v\<<UMAUTOMORlSMODE<*SABEMOS PELOITEMA QUE


v  v PARATODO
<

#OMOvUMABIJEODE< ENTOEXISTETALQUE
L <

v L 
OUSEJA

v L 

# % $ % 2 * 

LGEBRA))\(OMOMORFISMOSDEGRUPOS

%NTO SOELEMENTOSINVERTVEISDE<
OUSEJA !SSIM DENO
v i L
v ]L <

>rv
TANDO TEMOS

<
COM
v  v  >

# % $ % 2 *

Referncias

lgebra II

Aulas 6 a 11

GONALVES, Adilson. Introduo lgebra. Rio de Janeiro: IMPA, 1999. (Projeto


Euclides-IMPA.)
IEZZ, Gelson et al. Fundamentos da matemtica elementar. So Paulo: Atual, 1993. v. 6.

Aulas 12 e 13

GARCIA, Arnaldo; LEQUAIN, Yves. lgebra: um curso introdutrio. [s.l: s.n.], 2004.
(Projeto Euclides - IMPA.)
GONALVES, Adilson. Introduo lgebra. Rio de Janeiro: IMPA, 1999. (Projeto
Euclides-IMPA.)

Aula 14

GONALVES, Adilson. Introduo lgebra. Rio de Janeiro: IMPA, 1999. (Projeto


Euclides-IMPA.)
IEZZ, Gelson et al. Fundamentos da matemtica elementar. So Paulo: Atual, 1993. v. 6.

Aula 15

GARCIA, Arnaldo; LEQUAIN, Yves. lgebra: um curso introdutrio. [s.l: s.n.], 2004.
(Projeto Euclides - IMPA.)
GONALVES, Adilson. Introduo lgebra. Rio de Janeiro: IMPA, 1999. (Projeto
Euclides-IMPA.)

264

CEDERJ

I SBN 85 - 7648 - 314 - 9

9 788576 483144

Você também pode gostar