Relações binárias e suas propriedades

UNIVERSIDADE
DO ESTADO DA BAHIA
EAD 2011
EAD 2011
M
A
T
E
M
T
I
C
A
UNIVERSIDADE DO ESTADO DA BAHIA
UNIVERSIDADE ABERTA DO BRASIL
LICENCIATURA EM MATEMTICA
lgebra I
Salvador
2011
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
ELABORAO
rica Nogueira Macdo
DIAGRAMAO
Teodomiro Arajo de Souza
REVISO
Sheila Rangel
Dados Internacionais de Catalogao na Publicao (CIP).
Catalogao na Fonte
BIBLIOTECA DO GRUPO DE GESTO DE PROJETOS E ATIVIDADES NA
MODALIDADE A DISTNCIA UNEB
Macdo, ricaNogueira.
M141 lgebra I - Licenciatura em Matemtica / rica Nogueira Macdo. Salvador: UNEB /
GEAD, 2010.
82p.

1.Matemtica 2. lgebra I. Ttulo. II. Universidade Aberta do Brasil. III. UNEB /
GEAD
CDD: 512.94
2
a
Edio 1
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
PRESIDENTE DA REPBLICA
Dilma Roussef
MINISTRO DA EDUCAO
Fernando Haddad
SISTEMA UNIVERSIDADE ABERTA DO BRASIL
PRESIDENTE DA CAPES
Jorge Guimares
DIRETOR DE EDUCAO A DISTNCIA DA CAPES
Joo Teatini
GOVERNO DO ESTADO DA BAHIA
GOVERNADOR
Jaques Wagner
VICE-GOVERNADOR
Otto Roberto Mendona de Alencar
SECRETRIO DA EDUCAO
Osvaldo Barreto Filho
UNIVERSIDADE DO ESTADO DA BAHIA - UNEB
REITOR
Lourisvaldo Valentim da Silva
VICE-REITORA
Adriana do Santos Marmori Lima
PR-REITOR DE ENSINO DE GRADUAO
Jos Bites de Carvalho
COORDENADOR UAB/UNEB
Silvar Ferreira Ribeiro
COORDENADOR UAB/UNEB ADJUNTO
Daniel de Cerqueira Ges
EAD 2011
EAD 2011
M
A
T
E
M
T
I
C
A
Caro Cursista,
Estamos comeando uma nova etapa de trabalho e para auxili-lo no desenvolvimento da sua aprendizagem estru-
turamos este material didtico que atender ao Curso de Licenciatura em Matemtica na modalidade distncia.
O componente curricular que agora lhe apresentamos foi preparado por profissionais habilitados, especialistas da
rea, pesquisadores, docentes que tiveram a preocupao em alinhar conhecimento terico-prtico de maneira
contextualizada, fazendo uso de uma linguagem motivacional, capaz de aprofundar o conhecimento prvio dos
envolvidos com a disciplina em questo. Cabe Salientar porm, que esse no deve ser o nico material a ser uti-
lizado na disciplina, alm dele, o Ambiente Virtual de Aprendizagem (AVA) , as Atividades propostas pelo Professor
Formador e pelo Tutor, as Atividades Complementares, os horrios destinados aos estudos individuais, tudo isso
somado compe os estudos relacionados a EAD.
importante tambm que vocs estejam sempre atentos a caixas de dilogos e cones especficos. Eles aparecem
durante todo o texto e tm como objetivo principal, dialogar com o leitor afim de que o mesmo se torne interlocutor
ativo desse material. So objetivos dos cones em destaque:
Voc sabia? convida-o a conhecer outros aspectos daquele tema/contedo. So curiosidades ou infor-
maes relevantes que podem ser associadas discusso proposta;
Saiba mais apresenta notas ou aprofundamento da argumentao em desenvolvimento no texto, tra-
zendo conceitos, fatos, biografias, enfim, elementos que o auxiliem a compreender melhor o contedo
abordado;
Indicao de leituras neste campo, voc encontrar sugesto de livros, sites, vdeos.
A partir deles, voc poder aprofundar seu estudo, conhecer melhor determinadas perspectivas tericas
ou outros olhares e interpretaes sobre aquele tema;
Sugestes de atividades consistem em indicaes de atividades para voc realizar autonomamente
em seu processo de auto-estudo. Estas atividades podem (ou no) vir a ser aproveitadas pelo professor-
formador como instrumentos de avaliao, mas o objetivo primeiro delas provoc-lo, desafi-lo em seu
processo de auto-aprendizagem.
Sua postura ser essencial para o aproveitamento completo desta disciplina. Contamos com seu empenho e entu-
siasmo para, juntos, desenvolvermos uma prtica pedaggica significativa.
Setor de Material Didtico
Coordenao UAB / UNEB
??
VOC SABIA?
?
?
?
?
?
?
SAIBA MAIS
INDICAO DE LEITURA
SUGESTO DE ATIVIDADE
EAD 2011
EAD 2011
M
A
T
E
M
T
I
C
A
ApRESENTAO
Sejam bem vindos ao estudo de mais um componente curricular: lgebra I. As origens da lgebra se encontram
na antiga Babilnia, onde os matemticos da poca desenvolveram um sistema avanado que lhes permitiam fazer
clculos algbricos tais como a soluo de equaes lineares e quadrticas. A notao algbrica utilizada hoje teve
incio nos estudos de Franois Vite (1540 -1603) e foi configurada na forma atual por Ren Descartes(1596 1650).
A lgebra possui diversas ramificaes, das quais estudaremos apenas a ramificao da lgebra Abstrata. Esta
a parte da lgebra que estuda as estruturas algbricas como grupos, anis e corpos. O termo abstrata utilizada
para diferenciar da lgebra elementar, estudada no ensino fundamental e mdio, que tem a ver com operaes de
adio, multiplicao, etc., e regras para manipular variveis e expresses algbricas (aritmtica). Sendo assim,
este mdulo apresenta a voc, em cinco captulos, o mundo inicial da lgebra Abstrata. Inicialmente estudaremos
as relaes binrias, com uma breve reviso sobre produto cartesiano. Estudaremos tambm relaes binrias
especiais: a relao de equivalncia e a relao de ordem. Dando continuidade, estudaremos as operaes internas
definidas em um conjunto, com suas respectivas propriedades. Ento, sero definidas as estruturas algbricas:
monide, grupide, semigrupo, grupo, anel. Estudaremos ento, para uma melhor compreenso, algumas destas
estruturas, a saber, o grupo e o anel. Finalizando nosso estudo, conheceremos tambm as noes de domnio de
integridade e corpo. Vale salientar que as imagens, tabelas, quadros ou figuras que no possurem indicao foram
construdos pelo prprio autor. Tenho certeza que est curioso(a) para conhecer este mundo fantstico da lgebra.
Tenha bons estudos e conte com a colaborao dos professores e tutores disponveis para dirimir suas possveis
dvidas. Um grande abrao.
rica N. Macdo
EAD 2011
EAD 2011
M
A
T
E
M
T
I
C
A
SUMRIO
1 Relaes 13
1.1 Produto cartesiano 13
1.2 Relao binria 15
1.2.1 Propriedades das relaes binrias 20
1.3 Relao de equivalncia 23
1.3.1 Classe de equivalncia 24
1.4 Relao de ordem 28
2 Operao Interna 31
2.1 Aplicaes 31
2.2 Operao sobre um conjunto 34
2.3 Propriedades das operaes em um conjunto 35
2.4 - Estruturas Algbricas 40
2.5 Tbua de uma operao 42
3 - O conjunto Zm 51
3.1 Relao de Congruncia Mdulo m 51
3.2 Classe de Equivalncia da Relao de Congruncia 53
3.3 Operaes em Zm 55
3.3.1 - Adio em Zm 55
3.3.2 Multiplicao em Zm 57
4 - Grupos 61
4.1 Grupos Notveis 65
4.1.1 - Grupo de Klein 65
4.1.2 Grupo das Permutaes 66
4.1.3 Grupos Diedrais 68
5 Anel e Corpo 76
5.1 Anel 76
5.2 Corpo 79
MATEMTICA
M
A
T
E
M
T
I
C
A
13
13
1 - LLAL8

P|e/ado a|uuo, uesle cap|lu|o esluda|emos sob|e as |e|aoes. uma |e|ao acoulece quaudo do|s ou ma|s
e|emeulos de um mesmo coujuulo, ou de coujuulos d|sl|ulos |ule|agem. A pa|l|| da|, podemos esluda| as
p|op||edades e ca|acle||sl|cas dessas |ule|aoes. a|emos ma|o| eulase ao esludo das |e|aoes b|u||as, que
oco||em quaudo |e|ac|ouamos apeuas do|s coujuulos, e o caso pa|l|cu|a|, quaudo |e|ac|ouamos do|s coujuulos
|gua|s. Ve|emos qua|s so suas p|op||edades e, al|aves dessas p|op||edades, del|u||emos do|s l|pos |mpo|laules
de |e|ao. a de equ|va|euc|a e a de o|dem. Espe|o que esle |u|c|o de esludo seja esl|mu|aule pa|a lodo o ma|s
que esluda|emos.
1.1 - FroduIo carIes|ano
LFIhI 1.1: ados do|s coujuulos e , uo va/|os, chama-se p|odulo ca|les|auo de po| , o que se
|ud|ca po| , ao coujuulo dos pa|es o|deuados la|s que e . Ass|m lemos.
.
Veja ago|a a|guus e/emp|os de p|odulo ca|les|auo eul|e do|s coujuulos.
E/emp|os.
(a) ados e lem-se.

(b) ados # e lem-se.

Podemos elelua| o p|odulo ca|les|auo eul|e do|s coujuulos |gua|s. hesle caso, se e um coujuulo uo
va/|o, o p|odulo ca|les|auo e |ep|eseulado da segu|ule lo|ma.

14
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
15
E/emp|o.
(c) ado , lem-se
.
0bse|vaudo os e/emp|os ac|ma podemos pe|cebe| que o p|odulo ca|les|auo uo e comulal|vo, ou seja,
dados do|s coujuulos uo va/|os e , o p|odulo ca|les|auo uo e |gua| ao p|odulo ca|les|auo ,
mesmo ambos leudo o mesmo uume|o de e|emeulos. lslo ua ve|dade s oco||e quaudo eleluamos o p|odulo
ca|les|auo eul|e do|s coujuulos |gua|s. lslo se d po|que o coujuulo que |ep|eseula o p|odulo ca|les|auo e um
coujuulo de pa|es o|deuados, que como o p|p||o uome j d|/, obedece a uma o|dem ua d|spos|o dos
e|emeulos. Sabemos que em um pa| o|deuado va|e , com . hole lambem que uo
uecessa||ameule usamos coujuulos com e|emeulos uume||cos pa|a elelua| um p|odulo ca|les|auo. A uu|ca
obse|vao a se| le|la e que os coujuulos uo podem se| va/|os.
S|mbo||cameule |ep|eseulamos a quaul|dade de e|emeulos de um dele|m|uado coujuulo po| que se
|e. ca|d|ua||dade de . Podemos ve||l|ca| qua| a quaul|dade de pa|es o|deuados de um p|odulo ca|les|auo eul|e
do|s coujuulos. ados do|s coujuulos e que possuam |especl|vameule uma quaul|dade e de e|emeulos,
lemos que a quaul|dade de e|emeulos do p|odulo ca|les|auo e . Ass|m, em |e|ao ao p|odulo
ca|les|auo lemos que . hos e/emp|os (a), (b) e (c) lemos.

e aco|do com as cous|de|aoes le|las ac|ma, podemos couc|u||, eulo, que ,
mesmo seudo e coujuulos d|le|eules.
A uoo do p|odulo ca|les|auo pode-se esleude| a ma|s de do|s coujuulos uo va/|os. Cous|de|audo
ago|a, l|es coujuulos e uo va/|os, o p|odulo ca|les|auo e o coujuulo dos le|uos
la|s que e . S|mbo||cameule lemos.

hesle caso, a ca|d|ua||dade do p|odulo ca|les|auo e dada po| .
e maue||a au|oga ao que lo| le|lo aule||o|meule, podemos del|u|| p|odulo ca|les|auo pa|a ma|s de l|es
coujuulos.
14
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
15
1.2 - e|ao b|nr|a
3DUD HQWHQGHU PHOKRU R TXH VmR UHODo}HV H HP HVSHFLDO UHODo}HV ELQiULDV FRQVLGHUHPRV RV FRQMXQWRV D
VHJXLUHREVHUYHPRVRSURGXWRFDUWHVLDQRHQWUHHOHV
6HMDP p H 2SURGXWRFDUWHVLDQRHQWUHHp
GDGRSHORFRQMXQWR
p
p
&RPRMiYLPRVDQWHULRUPHQWHSHORIDWRGH H WHPRVXPSURGXWRFDUWHVLDQRHQWUHH
FRP HOHPHQWRV &RPR p XP FRQMXQWR SRGHPRV HQWmR GHVWDFDU DOJXQV GH VHXV VXEFRQMXQWRV (P
HVSHFLDO YDPRV WHQWDU FRQVWUXLU XP VXEFRQMXQWR GH TXH VDWLVIDomR D DOJXPD FRQGLomR 9HMDPRV
6HQGRXPHOHPHQWRGHH um e|emeulo de , deslaquemos em lodos os pa|es o|deuados de em
que seja do sexo . Seudo ass|m, e o coujuulo dado po|.
p
lu|c|a|meule, obse|ve que uem lodos os pa|es o|deuados do p|odulo eslo em . 0u seja, dado
um p|odulo ca|les|auo eul|e coujuulos, e poss|ve| deslaca| um seu subcoujuulo cujos e|emeulos obedecem a
uma dele|m|uada p|op||edade. 0 subcoujuulo deslacado e uma |e|ao de em .
Como e so coujuulos, podemos |ep|eseul-|os usaudo o |ag|ama de Veuu, e usa|emos uma l|echa
pa|a |ud|ca| os pa|es oude e do se/o .
A B
Na||a v v mascu||uo
Jose v v lem|u|uo
Ped|o v
l|gu|a 1. adaplado pe|o aulo|.

Na||a v
Jose v
Ped|o v
v mascu||uo
v lem|u|uo
16
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
17
2FRQMXQWR p pFKDPDGRGHJUDIR
GDUHODomRGDGDHRJUiILFRDFLPDRQGHIRUDPXVDGRVRVGLDJUDPDVGH9HQQpGHQRPLQDGRGLDJUDPDVDJLWDOGD
UHODomR
1RWHTXHDUHODomRpGRVH[RpXPDSURSULHGDGHGRVSDUHV ,QGLFDUHPRVSRUDUHODomR
pGRVH[RHXVDUHPRVDQRWDomR RXSDUDLQGLFDUTXHHVWiUHODFLRQDGRFRPDWUDYpVGD
SURSULHGDGH (P RXWUDV SDODYUDV XVDPRV TXDQGR R SDU SHUWHQFHU DR FRQMXQWR RX VHMD

'HXPDPDQHLUDJHUDOGDGRVGRLVFRQMXQWRVHXPDUHODomRGHHPpFRQVWLWXtGDSRUWRGRVRV
SDUHV TXH VDWLVID]HP D XPD PHVPD SURSULHGDGH (VWD SURSULHGDGH GHILQH SRUWDQWR XP FRQMXQWR
chamado g|alo de . Temos que , em que .
Acompauhe ma|s um e/emp|o de |e|ao, com seu |especl|vo g|alo e d|ag|ama sag|la|.
E/emp|o. Sejam e a |e|ao 'd|v|so| de'. Temos.

p
.
Veja que podemos |ud|ca|.
v , po|s j que d|v|de .
v uo esl |e|ac|ouado com po|s j que uo d|v|de.
|ag|ama sag|la| de .

v v
v v


v v
v v
LFIhI 1.2: ados do|s coujuulos e , uo va/|os, chama-se |e|ao b|u||a de em lodo subcoujuulo
do p|odulo ca|les|auo .
Podemos d|/e| apeuas que e uma |e|ao de A em B, e em cada |e|ao lemos coud|oes de dele|m|ua|
seu g|alo e seu d|ag|ama sag|la|. 0s coujuulos e so chamados, |especl|vameule, de coujuulo de pa|l|da e
coujuulo de chegada da |e|ao . ho caso pa|l|cu|a| oude d|/-se que e uma |e|ao em , ou eulo,
que e uma |e|ao sob|e . hesle caso, o coujuulo de pa|l|da e o mesmo coujuulo de chegada.
Acompauhe a|guus e/emp|os de |e|ao b|u||a. 0bse|ve que e/|b||emos a |e|ao e seu |especl|vo g|alo.
E/emp|os.
(a)

(b)
oude e

uaudo lemos uma |e|ao b|u||a de em , podemos deslaca| os e|emeulos de e de que eslo
euvo|v|dos ua |e|ao. Esles e|emeulos lo|mam subcoujuulos de e , |especl|vameule, e |ecebem uomes
espec|a|s. Veja a del|u|o desles subcoujuulos.
LFIhI 1.3: Seja uma |e|ao de em . Chama-se dom|n|o da |e|ao , o subcoujuulo de lo|mado
pe|os e|emeulos pa|a os qua|s e/|sle a|gum la| que .
LFIhI 1.4: Seja uma |e|ao de em . Chama-se |magem da |e|ao , o subcoujuulo de lo|mado
Ass|m, s|mbo||cameule lemos.

Aqu|, podemos d|/e|, lambem, que e o co||espoudeule de al|aves da |e|ao . Couheceudo a
|e|ao, podemos eulo desc|eve| os coujuulo dom|u|o e |magem.
Acompauhe a desc||o de la|s coujuulos, uas |e|aoes e/emp||l|cadas aule||o|meule.
16
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
17
2FRQMXQWR p pFKDPDGRGHJUDIR
GDUHODomRGDGDHRJUiILFRDFLPDRQGHIRUDPXVDGRVRVGLDJUDPDVGH9HQQpGHQRPLQDGRGLDJUDPDVDJLWDOGD
UHODomR
1RWHTXHDUHODomRpGRVH[RpXPDSURSULHGDGHGRVSDUHV ,QGLFDUHPRVSRUDUHODomR
pGRVH[RHXVDUHPRVDQRWDomR RXSDUDLQGLFDUTXHHVWiUHODFLRQDGRFRPDWUDYpVGD
SURSULHGDGH (P RXWUDV SDODYUDV XVDPRV TXDQGR R SDU SHUWHQFHU DR FRQMXQWR RX VHMD

'HXPDPDQHLUDJHUDOGDGRVGRLVFRQMXQWRVHXPDUHODomRGHHPpFRQVWLWXtGDSRUWRGRVRV
SDUHV TXH VDWLVID]HP D XPD PHVPD SURSULHGDGH (VWD SURSULHGDGH GHILQH SRUWDQWR XP FRQMXQWR
chamado g|alo de . Temos que , em que .
Acompauhe ma|s um e/emp|o de |e|ao, com seu |especl|vo g|alo e d|ag|ama sag|la|.
E/emp|o. Sejam e a |e|ao 'd|v|so| de'. Temos.

p
.
Veja que podemos |ud|ca|.
v , po|s j que d|v|de .
v uo esl |e|ac|ouado com po|s j que uo d|v|de.
|ag|ama sag|la| de .

v v
v v


v v
v v
LFIhI 1.2: ados do|s coujuulos e , uo va/|os, chama-se |e|ao b|u||a de em lodo subcoujuulo
do p|odulo ca|les|auo .
Podemos d|/e| apeuas que e uma |e|ao de A em B, e em cada |e|ao lemos coud|oes de dele|m|ua|
seu g|alo e seu d|ag|ama sag|la|. 0s coujuulos e so chamados, |especl|vameule, de coujuulo de pa|l|da e
coujuulo de chegada da |e|ao . ho caso pa|l|cu|a| oude d|/-se que e uma |e|ao em , ou eulo,
que e uma |e|ao sob|e . hesle caso, o coujuulo de pa|l|da e o mesmo coujuulo de chegada.
Acompauhe a|guus e/emp|os de |e|ao b|u||a. 0bse|ve que e/|b||emos a |e|ao e seu |especl|vo g|alo.
E/emp|os.
(a)

(b)
oude e

uaudo lemos uma |e|ao b|u||a de em , podemos deslaca| os e|emeulos de e de que eslo
euvo|v|dos ua |e|ao. Esles e|emeulos lo|mam subcoujuulos de e , |especl|vameule, e |ecebem uomes
espec|a|s. Veja a del|u|o desles subcoujuulos.
LFIhI 1.3: Seja uma |e|ao de em . Chama-se dom|n|o da |e|ao , o subcoujuulo de lo|mado
LFIhI 1.4: Seja uma |e|ao de em . Chama-se |magem da |e|ao , o subcoujuulo de lo|mado
Ass|m, s|mbo||cameule lemos.

Aqu|, podemos d|/e|, lambem, que e o co||espoudeule de al|aves da |e|ao . Couheceudo a
|e|ao, podemos eulo desc|eve| os coujuulo dom|u|o e |magem.
Acompauhe a desc||o de la|s coujuulos, uas |e|aoes e/emp||l|cadas aule||o|meule.
18
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
19
Em
lemos
. Em

oude e , lemos
.
epeudeudo da |e|ao b|u||a que se leuha, o coujuulo dom|u|o e o coujuulo |magem podem ou uo
co|uc|d|| com os coujuulos de pa|l|da e de chegada da |e|ao. Pa|l|cu|a|meule, uo e/emp|o
, sua |magem uo co|uc|de com o coujuulo de chegada, e em

dom|u|o e |magem co|uc|dem |especl|vameule com os coujuulos de pa|l|da e chegada da |e|ao.
uma obse|vao aqu| se la/ |mpo|laule. duas |e|aoes
so |gua|s se, e someule se,
.
el|u|o 1.5. Seja uma |e|ao de em . Chama-se UHODomR LQYHUVD de e |ud|ca-se po|
, a
segu|ule |e|ao de em .

e aco|do com a del|u|o ap|eseulada, podemos ve||l|ca| que dada uma |e|ao, podemos cousl|u|| a
sua |uve|sa apeuas |uve|leudo a pos|o dos e|emeulos e . 0bse|ve uma cousl|uo de |e|ao |uve|sa.
Cous|de|e uovameule o coujuulo e a |e|ao ' d|v|so| de ', oude
. 0 coujuulo
, obl|do de l|ocaudo-se em cada

pa| , po| , e o g|alo da |e|ao |uve|sa. Ass|m, passamos a le| a |e|ao 'mu|l|p|o de', dada po|

.
A |e|ao |uve|sa e lambem chamada de |e|ao |ec|p|oca. Esla possu| p|op||edades bem |ule|essaules.
P|op||edades. Seja uma |e|ao de . As segu|ules al||maoes so ve|dade||as.
(a)

(b)

(c)

P|ova. (a) Seja
, eulo e/|sle la| que
. Logo, e da| lemos

. Com |slo mosl|amos que
. Seja ago|a , eulo e/|sle la| que

. Logo
e, po|laulo,
. Ago|a, lemos
e podemos eulo
couc|u|| que
.
(b) Seja
. Logo e da| lemos


. Logo
e, po|laulo,
. Ago|a, lemos
e podemos eulo couc|u||

que
.
(c) Seja
, eulo
e, po|laulo . Temos eulo
. Po|
oul|o |ado, seja ago|a , eulo
e, po|laulo
/RJR

1R H[HPSOR DQWHULRU WHPRV RV JUDIRV GDV UHODo}HV LQYHUVDV
H

. hole que

e que
.
As |ep|eseulaoes g|l|cas de uma |e|ao se do al|aves de d|ag|ama ca|les|auo, lbua de dup|a
eul|ada ou d|ag|ama sag|la|. 0 d|ag|ama sag|la|, voce j couheceu aqu|. Couhea ago|a as duas oul|as
|ep|eseulaoes.
vTbua de dup|a eul|ada
Em uma lbua de dup|a eul|ada, ass|ua|a-se com asle||sco (*) , o quad|o que se eucoul|a ua |ule|seco
da ||uha com a co|uua se, e someule se, lo| co||espoudeule de pe|a |e|ao .
E/emp|o. em WHPRV D VHJXLQWH
WiEXDGHGXSODHQWUDGD

v|ag|ama ca|les|auo
0 pa| o|deuado e |ep|eseulado pe|o poulo do p|auo ca|les|auo de absc|ssa e o|deuada ,
|slo e, ul|||/audo as |ep|eseulaoes de poulo uo p|auo ca|les|auo.
E/emp|o. em , lemos a segu|ule
|ep|eseulao po| d|ag|ama ca|les|auo.
18
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
19
Em
lemos
. Em

oude e , lemos
.
epeudeudo da |e|ao b|u||a que se leuha, o coujuulo dom|u|o e o coujuulo |magem podem ou uo
co|uc|d|| com os coujuulos de pa|l|da e de chegada da |e|ao. Pa|l|cu|a|meule, uo e/emp|o
, sua |magem uo co|uc|de com o coujuulo de chegada, e em

dom|u|o e |magem co|uc|dem |especl|vameule com os coujuulos de pa|l|da e chegada da |e|ao.
uma obse|vao aqu| se la/ |mpo|laule. duas |e|aoes
so |gua|s se, e someule se,
.
el|u|o 1.5. Seja uma |e|ao de em . Chama-se UHODomR LQYHUVD de e |ud|ca-se po|
, a
segu|ule |e|ao de em .

e aco|do com a del|u|o ap|eseulada, podemos ve||l|ca| que dada uma |e|ao, podemos cousl|u|| a
sua |uve|sa apeuas |uve|leudo a pos|o dos e|emeulos e . 0bse|ve uma cousl|uo de |e|ao |uve|sa.
Cous|de|e uovameule o coujuulo e a |e|ao ' d|v|so| de ', oude
. 0 coujuulo
, obl|do de l|ocaudo-se em cada

pa| , po| , e o g|alo da |e|ao |uve|sa. Ass|m, passamos a le| a |e|ao 'mu|l|p|o de', dada po|

.
A |e|ao |uve|sa e lambem chamada de |e|ao |ec|p|oca. Esla possu| p|op||edades bem |ule|essaules.
P|op||edades. Seja uma |e|ao de . As segu|ules al||maoes so ve|dade||as.
(a)

(b)

(c)

P|ova. (a) Seja
. Logo, e da| lemos


. Logo
e, po|laulo,
. Ago|a, lemos
e podemos eulo
couc|u|| que
.
(b) Seja
. Logo e da| lemos


. Logo
e, po|laulo,
. Ago|a, lemos
e podemos eulo couc|u||

que
.
(c) Seja
, eulo
e, po|laulo . Temos eulo
. Po|
oul|o |ado, seja ago|a , eulo
e, po|laulo
/RJR

1R H[HPSOR DQWHULRU WHPRV RV JUDIRV GDV UHODo}HV LQYHUVDV
H

. hole que

e que
.
As |ep|eseulaoes g|l|cas de uma |e|ao se do al|aves de d|ag|ama ca|les|auo, lbua de dup|a
eul|ada ou d|ag|ama sag|la|. 0 d|ag|ama sag|la|, voce j couheceu aqu|. Couhea ago|a as duas oul|as
|ep|eseulaoes.
vTbua de dup|a eul|ada
Em uma lbua de dup|a eul|ada, ass|ua|a-se com asle||sco (*) , o quad|o que se eucoul|a ua |ule|seco
da ||uha com a co|uua se, e someule se, lo| co||espoudeule de pe|a |e|ao .
E/emp|o. em WHPRV D VHJXLQWH
WiEXDGHGXSODHQWUDGD

v|ag|ama ca|les|auo
0 pa| o|deuado e |ep|eseulado pe|o poulo do p|auo ca|les|auo de absc|ssa e o|deuada ,
|slo e, ul|||/audo as |ep|eseulaoes de poulo uo p|auo ca|les|auo.
E/emp|o. em , lemos a segu|ule
|ep|eseulao po| d|ag|ama ca|les|auo.
20
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
21


hole que o d|ag|ama da |e|ao ac|ma cous|sle de poulos. Aqu|, usamos a |ep|eseulao usua| de
poulos uo p|auo ca|les|auo.
1.2.1 - Fropr|edades das re|aes b|nr|as
uma |e|ao b|u||a , eul|e os e|emeulos de um coujuulo uo va/|o , ca|acle||/a-se po| me|o das
p|op||edades que se seguem, cous|de|audo qua|sque| .
vP|op||edade Rel|e/|va.
|/emos que uma |e|ao e |el|e/|va quaudo, pa|a qua|que| , lemos . lslo e, lodo e|emeulo do
coujuulo esl |e|ac|ouado a s| mesmo.
vP|op||edade Aul|||el|e/|va.
|/emos que uma |e|ao e aul|||el|e/|va quaudo, pa|a qua|que| , uo lemos . lslo e, ueuhum
e|emeulo do coujuulo esl |e|ac|ouado a s| mesmo.
vP|op||edade S|mel||ca.
|/emos que uma |e|ao e s|mel||ca quaudo, pa|a qua|sque| , se , eulo . lslo e, se
esl|ve| |e|ac|ouado a , eulo esla| |e|ac|ouado a .
vP|op||edade Aul|ss|mel||ca.

[
\
|/emos que uma |e|ao e aul|ss|mel||ca quaudo, pa|a qua|sque| , se e , eulo
. Ass|m, se e so e|emeulos d|sl|ulos de , uo pode acoulece| de esla| |e|ac|ouado a e esla|
|e|ac|ouado a .
vP|op||edade T|aus|l|va.
|/emos que uma |e|ao e l|aus|l|va quaudo, pa|a qua|sque| , se e , eulo .
lslo e, se esl|ve| |e|ac|ouado a e esl|ve| |e|ac|ouado a , eulo esla| |e|ac|ouado a .
Pa|a comp|eeude| me|ho| as del|u|oes ac|ma, acompauhe um e/emp|o de |e|ao b|u||a, e obse|ve as
p|op||edades sal|sle|las ua |ele||da |e|ao.
Seja P um coujuulo de pessoas e seja a |e|ao 'e pa|/me de' sob|e P. 0bse|ve que esla |e|ao e
aul|||el|e/|va, po|s uma pessoa uo pode se| pa| uem me de|a mesma, uo e s|mel||ca, po|s se uma pessoa e
pa| ou me de oul|a , o |uve|so uuuca e ve|dade||o, lambem uo e l|aus|l|va, po|s se uma pessoa lo| pa|/me
de uma pessoa , e esla pessoa lo| pa|/me de uma pessoa , |slo uo ga|aule que seja pa|/me da pessoa
.
Acompauhe, ago|a, oul|os e/emp|os de |e|aoes b|u||as ve||l|caudo qua|s p|op||edades eslas |e|aoes
sal|sla/em ou uo.
E/emp|os.
(a) A |e|ao
em del|u|da po| e |el|e/|va po|s pa|a

lodo lemos , ou seja, os pa|es
, uo e s|mel||ca po|s os pa|es

, e aul|ss|mel||ca e l|aus|l|va.
(b) A |e|ao
em del|u|da po| uo e |el|e/|va, po|s o pa|

, uo e s|mel||ca, po|s os pa|es
, e aul|ss|mel||ca e uo e l|aus|l|va, po|s lemos

e e uo lemos em
o pa| .
(c) A |e|ao
e uma |e|ao aul|||el|e/|va, po|s ueuhum uume|o e meuo| que

e|e mesmo, lambem uo e s|mel||ca, po|s se eulo uo pode se| meuo| que , uo e aul|ss|mel||ca e e
l|aus|l|va, po|s se e eulo lemos .
A|gumas obse|vaoes sob|e as p|op||edades das |e|aoes b|u||as so |mpo|laules. 0bse|ve, po| e/emp|o,
que em uma |e|ao |el|e/|va, sua |ep|eseulao g|l|ca po| me|o de uma lbua de dup|a eul|ada e ca|acle||/ada
20
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
21


hole que o d|ag|ama da |e|ao ac|ma cous|sle de poulos. Aqu|, usamos a |ep|eseulao usua| de
poulos uo p|auo ca|les|auo.
1.2.1 - Fropr|edades das re|aes b|nr|as
uma |e|ao b|u||a , eul|e os e|emeulos de um coujuulo uo va/|o , ca|acle||/a-se po| me|o das
p|op||edades que se seguem, cous|de|audo qua|sque| .
vP|op||edade Rel|e/|va.
|/emos que uma |e|ao e |el|e/|va quaudo, pa|a qua|que| , lemos . lslo e, lodo e|emeulo do
coujuulo esl |e|ac|ouado a s| mesmo.
vP|op||edade Aul|||el|e/|va.
|/emos que uma |e|ao e aul|||el|e/|va quaudo, pa|a qua|que| , uo lemos . lslo e, ueuhum
e|emeulo do coujuulo esl |e|ac|ouado a s| mesmo.
vP|op||edade S|mel||ca.
|/emos que uma |e|ao e s|mel||ca quaudo, pa|a qua|sque| , se , eulo . lslo e, se
esl|ve| |e|ac|ouado a , eulo esla| |e|ac|ouado a .
vP|op||edade Aul|ss|mel||ca.

[
\
|/emos que uma |e|ao e aul|ss|mel||ca quaudo, pa|a qua|sque| , se e , eulo
. Ass|m, se e so e|emeulos d|sl|ulos de , uo pode acoulece| de esla| |e|ac|ouado a e esla|
|e|ac|ouado a .
vP|op||edade T|aus|l|va.
|/emos que uma |e|ao e l|aus|l|va quaudo, pa|a qua|sque| , se e , eulo .
lslo e, se esl|ve| |e|ac|ouado a e esl|ve| |e|ac|ouado a , eulo esla| |e|ac|ouado a .
Pa|a comp|eeude| me|ho| as del|u|oes ac|ma, acompauhe um e/emp|o de |e|ao b|u||a, e obse|ve as
p|op||edades sal|sle|las ua |ele||da |e|ao.
Seja P um coujuulo de pessoas e seja a |e|ao 'e pa|/me de' sob|e P. 0bse|ve que esla |e|ao e
aul|||el|e/|va, po|s uma pessoa uo pode se| pa| uem me de|a mesma, uo e s|mel||ca, po|s se uma pessoa e
pa| ou me de oul|a , o |uve|so uuuca e ve|dade||o, lambem uo e l|aus|l|va, po|s se uma pessoa lo| pa|/me
de uma pessoa , e esla pessoa lo| pa|/me de uma pessoa , |slo uo ga|aule que seja pa|/me da pessoa
.
Acompauhe, ago|a, oul|os e/emp|os de |e|aoes b|u||as ve||l|caudo qua|s p|op||edades eslas |e|aoes
sal|sla/em ou uo.
E/emp|os.
(a) A |e|ao
em del|u|da po| e |el|e/|va po|s pa|a

lodo lemos , ou seja, os pa|es
, uo e s|mel||ca po|s os pa|es

, e aul|ss|mel||ca e l|aus|l|va.
(b) A |e|ao
em del|u|da po| uo e |el|e/|va, po|s o pa|

, uo e s|mel||ca, po|s os pa|es
, e aul|ss|mel||ca e uo e l|aus|l|va, po|s lemos

e e uo lemos em
o pa| .
(c) A |e|ao
e uma |e|ao aul|||el|e/|va, po|s ueuhum uume|o e meuo| que

e|e mesmo, lambem uo e s|mel||ca, po|s se eulo uo pode se| meuo| que , uo e aul|ss|mel||ca e e
l|aus|l|va, po|s se e eulo lemos .
A|gumas obse|vaoes sob|e as p|op||edades das |e|aoes b|u||as so |mpo|laules. 0bse|ve, po| e/emp|o,
que em uma |e|ao |el|e/|va, sua |ep|eseulao g|l|ca po| me|o de uma lbua de dup|a eul|ada e ca|acle||/ada
22
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
23
pe|a ma|cao de lodas as eul|adas ua d|agoua| p||uc|pa|. A |e|ao em del|u|da po|
e |el|e/|va e sua lbua de dup|a eul|ada e dada po|.

Coul|uuaudo com as obse|vaoes, em uma |e|ao s|mel||ca, |ep|eseulada pe|o d|ag|ama ca|les|auo,
lemos que pa|a cada poulo do p|auo pe|leuceule |e|ao, o seu s|mel||co com |espe|lo p||me||a b|ssel||/
lambem pe|leuce |e|ao. A |e|ao em del|u|da po|
e s|mel||ca. Veja seu d|ag|ama ca|les|auo.


Aps couhece| as p|op||edades de uma |e|ao b|u||a, vamos couhece| um l|po de |e|ao mu|lo
|mpo|laule pa|a os esludos em maleml|ca. Teuho ce|le/a que voce |deul|l|ca| esla |e|ao que esluda|emos
uas d|ve|sas |eas j esludadas.

[
\
\[
1.3 - e|ao de equ|va|nc|a
As |e|aoes de equ|va|euc|a so de g|aude |mpo|luc|a uo esludo da maleml|ca. Al|aves de|as podemos
|deul|l|ca|, po| e/emp|o, um dele|m|uado coujuulo com oul|o que leuha e|emeulos ma|s s|mp|es pa|a elelua|
ope|aoes. 0 p|p||o uome da |e|ao j uos |eva a essa |de|a |ulu|l|va. 'equ|va|e' uos |emb|a 'mesma co|sa'.
Ass|m, euleudemos que duas co|sas so equ|va|eules quaudo podemos |deul|l|c-|as al|aves das mesmas
p|op||edades e ca|acle||sl|cas. Vamos couhece| eulo a |e|ao de equ|va|euc|a?
LFIhI 1.6: Sejam um coujuulo uo va/|o e uma |e|ao em . |/-se que e uma |e|ao de
equ|va|euc|a se, e someule se, e l|aus|l|va, s|mel||ca e |el|e/|va, ou seja.

hole que pa|a uma |e|ao se| de equ|va|euc|a, basla que e|a sal|slaa a l|es p|op||edades. l|aus|l|va,
s|mel||ca e |el|e/|va. Se e uma |e|ao de equ|va|euc|a sob|e e , eulo usamos a segu|ule uolao.
Esla uolao s|gu|l|ca que e equ|va|eule a mdu|o .
E/emp|os.
(a) Seudo e , lemos |el|e/|va, s|mel||ca e
l|aus|l|va, |ogo uma |e|ao de equ|va|euc|a.
(b) Seudo e a |e|ao la| que . Veja que e uma |e|ao de equ|va|euc|a. e
|el|e/|va j que , po|s , e s|mel||ca, po|s se lemos , j que e a mesma co|sa que
, e l|aus|l|va, po|s se e lemos , j que se e lemos, com ce|le/a, .
(c) A |e|ao de pa|a|e||smo del|u|da sob|e as |elas de um espao euc||d|auo e uma |e|ao de
equ|va|euc|a. Seudo duas |elas do espao euc||d|auo, usa|emos a uolao pa|a |ep|eseula| a
|e|ao ac|ma. Veja que e|a e |el|e/|va, po|s j que pa|a loda |ela do espao, e|a e s|mel||ca po|s se
lemos , j que se lemos e e l|aus|l|va po|s se e eulo lemos .

22
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
23
pe|a ma|cao de lodas as eul|adas ua d|agoua| p||uc|pa|. A |e|ao em del|u|da po|
e |el|e/|va e sua lbua de dup|a eul|ada e dada po|.

Coul|uuaudo com as obse|vaoes, em uma |e|ao s|mel||ca, |ep|eseulada pe|o d|ag|ama ca|les|auo,
lemos que pa|a cada poulo do p|auo pe|leuceule |e|ao, o seu s|mel||co com |espe|lo p||me||a b|ssel||/
lambem pe|leuce |e|ao. A |e|ao em del|u|da po|
e s|mel||ca. Veja seu d|ag|ama ca|les|auo.


Aps couhece| as p|op||edades de uma |e|ao b|u||a, vamos couhece| um l|po de |e|ao mu|lo
|mpo|laule pa|a os esludos em maleml|ca. Teuho ce|le/a que voce |deul|l|ca| esla |e|ao que esluda|emos
uas d|ve|sas |eas j esludadas.

[
\
\[
1.3 - e|ao de equ|va|nc|a
As |e|aoes de equ|va|euc|a so de g|aude |mpo|luc|a uo esludo da maleml|ca. Al|aves de|as podemos
|deul|l|ca|, po| e/emp|o, um dele|m|uado coujuulo com oul|o que leuha e|emeulos ma|s s|mp|es pa|a elelua|
ope|aoes. 0 p|p||o uome da |e|ao j uos |eva a essa |de|a |ulu|l|va. 'equ|va|e' uos |emb|a 'mesma co|sa'.
Ass|m, euleudemos que duas co|sas so equ|va|eules quaudo podemos |deul|l|c-|as al|aves das mesmas
p|op||edades e ca|acle||sl|cas. Vamos couhece| eulo a |e|ao de equ|va|euc|a?
LFIhI 1.6: Sejam um coujuulo uo va/|o e uma |e|ao em . |/-se que e uma |e|ao de
equ|va|euc|a se, e someule se, e l|aus|l|va, s|mel||ca e |el|e/|va, ou seja.

hole que pa|a uma |e|ao se| de equ|va|euc|a, basla que e|a sal|slaa a l|es p|op||edades. l|aus|l|va,
s|mel||ca e |el|e/|va. Se e uma |e|ao de equ|va|euc|a sob|e e , eulo usamos a segu|ule uolao.
Esla uolao s|gu|l|ca que e equ|va|eule a mdu|o .
E/emp|os.
(a) Seudo e , lemos |el|e/|va, s|mel||ca e
l|aus|l|va, |ogo uma |e|ao de equ|va|euc|a.
(b) Seudo e a |e|ao la| que . Veja que e uma |e|ao de equ|va|euc|a. e
|el|e/|va j que , po|s , e s|mel||ca, po|s se lemos , j que e a mesma co|sa que
, e l|aus|l|va, po|s se e lemos , j que se e lemos, com ce|le/a, .
(c) A |e|ao de pa|a|e||smo del|u|da sob|e as |elas de um espao euc||d|auo e uma |e|ao de
equ|va|euc|a. Seudo duas |elas do espao euc||d|auo, usa|emos a uolao pa|a |ep|eseula| a
|e|ao ac|ma. Veja que e|a e |el|e/|va, po|s j que pa|a loda |ela do espao, e|a e s|mel||ca po|s se
lemos , j que se lemos e e l|aus|l|va po|s se e eulo lemos .

24
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
25

1.3.1 - 0|asse de equ|va|nc|a
LFIhI 1.7: Se e uma |e|ao de equ|va|euc|a sob|e um coujuulo pa|a cada , o coujuulo
e chamado de c|asse de equ|va|euc|a dele|m|uada po| mdu|o .
Veja que a c|asse de equ|va|euc|a de um dele|m|uado e|emeulo do coujuulo uuuca e um coujuulo
va/|o. lslo se d po|que a |e|ao al|aves da qua| se del|ue uma c|asse de equ|va|euc|a e |el|e/|va, seudo ass|m
e, po|laulo, .
E/emp|o. Sejam e uma |e|ao. hole que e
de equ|va|euc|a. Temos as segu|ules c|asses de equ|va|euc|a.

Voce deve le| pe|ceb|do que a uu|o das c|asses de equ|va|euc|a, do e/emp|o aule||o|, |esu|la uo coujuulo
ou seja, lemos
. Esla e uma das ca|acle||sl|cas das c|asses de equ|va|euc|a em um coujuulo. A

uu|o das c|asses de equ|va|euc|a dos e|emeulos de um dele|m|uado coujuulo semp|e |esu|la uo p|p||o
coujuulo . A|em d|sso, obse|ve que , po|s uo esl |e|ac|ouado com e que , po|s .
Veja a geue|a||/ao desle |esu|lado ua p|opos|o a segu||.
FF8I 1.B: Seja uma |e|ao de equ|va|euc|a em um coujuulo uo va/|o e sejam . Eulo,
so ve|dade||as as segu|ules al||maoes.
(a) o|s e|emeulos so equ|va|eules se, e someule se, eslo ua mesma c|asse de equ|va|euc|a.

(b) uas c|asses de equ|va|euc|a d|sl|ulas so d|sjuulas.

(c) 0 coujuulo e a uu|o das c|asses de equ|va|euc|a da |e|ao.

P|ova. Sejam .
(a) Supouha que e seja , |slo e, . Po| l|aus|l|v|dade lemos que e, po|laulo, . lslo
uos d|/ que . Po| oul|o |ado, seja . Ass|m, e po| s|mel||a , po| l|aus|l|v|dade . lslo uos
mosl|a que e que . as duas |uc|usoes mosl|adas couc|u|mos que .
Rec|p|ocameule, supouha que . Sabemos que, pe|a p|op||edade |el|e/|va, . Como, po|
h|plese, , lemos que . Logo, couc|u|mos que .
(b) Supouha que e, supouhamos, po| absu|do, que . Seja . Ass|m, , o
que uos |eva a , e , o que uos |eva a . Pe|a p|op||edade de s|mel||a, lemos . Ass|m, pe|a
l|aus|l|v|dade, e , uos |eva a . Pe|o |lem (a), lemos eulo que , o que coul|ad|/ a uossa
h|plese. Seudo ass|m, segue que , quaudo .
(c) e , pa|a lodo , segue que

e do lalo de , pa|a lodo , segue que
. Ass|m, das duas |uc|usoes,

couc|u|mos que

Esle |esu|lado uos ab|e a poss|b|||dade de d|v|d|| o coujuulo em subcoujuulos uo va/|os, que uu|dos
vo|lam a se| o p|p||o coujuulo . E ma|s, esles subcoujuulos, quaudo lem e|emeulos em comum so |gua|s.
Esla e a uoo da pa|l|o em um coujuulo. Pa|a comea|mos a esluda| sob|e |slo, couhea ma|s uma
del|u|o.
LFIhI 1.9: Seja uma |e|ao de equ|va|euc|a sob|e . 0 coujuulo de lodas as c|asses de equ|va|euc|a
mdu|o , se| |ud|cado po| e chamado de coujuulo quoc|eule de po| .
de equ|va|euc|a. Temos as segu|ules c|asses de equ|va|euc|a. , , . 0 coujuulo
quoc|eule e dado po|. . Como ,
.
hole que o coujuulo quoc|eule e um coujuulo de subcoujuulos de Como v|mos ua p|opos|o aule||o|,
os subcoujuulos so d|sjuulos, ou seja, uo possuem e|emeulos em comum eul|e s|. 0 coujuulo quoc|eule
lambem esl assoc|ado pa|l|o de um coujuulo. Vamos couhece| esla del|u|o e em segu|da assoc|-|a s
c|asses de equ|va|euc|a e, cousequeulemeule ao coujuulo quoc|eule.
LFIhI 1.10: Seja um coujuulo uo va/|o. uma co|eo de subcoujuulos de e d|la uma pa|l|o de
se, e someule se,
24
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
25

1.3.1 - 0|asse de equ|va|nc|a
LFIhI 1.7: Se e uma |e|ao de equ|va|euc|a sob|e um coujuulo pa|a cada , o coujuulo
e chamado de c|asse de equ|va|euc|a dele|m|uada po| mdu|o .
Veja que a c|asse de equ|va|euc|a de um dele|m|uado e|emeulo do coujuulo uuuca e um coujuulo
va/|o. lslo se d po|que a |e|ao al|aves da qua| se del|ue uma c|asse de equ|va|euc|a e |el|e/|va, seudo ass|m
e, po|laulo, .
de equ|va|euc|a. Temos as segu|ules c|asses de equ|va|euc|a.

Voce deve le| pe|ceb|do que a uu|o das c|asses de equ|va|euc|a, do e/emp|o aule||o|, |esu|la uo coujuulo
ou seja, lemos
. Esla e uma das ca|acle||sl|cas das c|asses de equ|va|euc|a em um coujuulo. A

uu|o das c|asses de equ|va|euc|a dos e|emeulos de um dele|m|uado coujuulo semp|e |esu|la uo p|p||o
coujuulo . A|em d|sso, obse|ve que , po|s uo esl |e|ac|ouado com e que , po|s .
Veja a geue|a||/ao desle |esu|lado ua p|opos|o a segu||.
FF8I 1.B: Seja uma |e|ao de equ|va|euc|a em um coujuulo uo va/|o e sejam . Eulo,
so ve|dade||as as segu|ules al||maoes.
(a) o|s e|emeulos so equ|va|eules se, e someule se, eslo ua mesma c|asse de equ|va|euc|a.

(b) uas c|asses de equ|va|euc|a d|sl|ulas so d|sjuulas.

(c) 0 coujuulo e a uu|o das c|asses de equ|va|euc|a da |e|ao.

P|ova. Sejam .
(a) Supouha que e seja , |slo e, . Po| l|aus|l|v|dade lemos que e, po|laulo, . lslo
uos d|/ que . Po| oul|o |ado, seja . Ass|m, e po| s|mel||a , po| l|aus|l|v|dade . lslo uos
mosl|a que e que . as duas |uc|usoes mosl|adas couc|u|mos que .
Rec|p|ocameule, supouha que . Sabemos que, pe|a p|op||edade |el|e/|va, . Como, po|
h|plese, , lemos que . Logo, couc|u|mos que .
(b) Supouha que e, supouhamos, po| absu|do, que . Seja . Ass|m, , o
que uos |eva a , e , o que uos |eva a . Pe|a p|op||edade de s|mel||a, lemos . Ass|m, pe|a
l|aus|l|v|dade, e , uos |eva a . Pe|o |lem (a), lemos eulo que , o que coul|ad|/ a uossa
h|plese. Seudo ass|m, segue que , quaudo .
(c) e , pa|a lodo , segue que

e do lalo de , pa|a lodo , segue que
. Ass|m, das duas |uc|usoes,

couc|u|mos que

Esle |esu|lado uos ab|e a poss|b|||dade de d|v|d|| o coujuulo em subcoujuulos uo va/|os, que uu|dos
vo|lam a se| o p|p||o coujuulo . E ma|s, esles subcoujuulos, quaudo lem e|emeulos em comum so |gua|s.
Esla e a uoo da pa|l|o em um coujuulo. Pa|a comea|mos a esluda| sob|e |slo, couhea ma|s uma
del|u|o.
LFIhI 1.9: Seja uma |e|ao de equ|va|euc|a sob|e . 0 coujuulo de lodas as c|asses de equ|va|euc|a
mdu|o , se| |ud|cado po| e chamado de coujuulo quoc|eule de po| .
de equ|va|euc|a. Temos as segu|ules c|asses de equ|va|euc|a. , , . 0 coujuulo
quoc|eule e dado po|. . Como ,
.
hole que o coujuulo quoc|eule e um coujuulo de subcoujuulos de Como v|mos ua p|opos|o aule||o|,
os subcoujuulos so d|sjuulos, ou seja, uo possuem e|emeulos em comum eul|e s|. 0 coujuulo quoc|eule
lambem esl assoc|ado pa|l|o de um coujuulo. Vamos couhece| esla del|u|o e em segu|da assoc|-|a s
c|asses de equ|va|euc|a e, cousequeulemeule ao coujuulo quoc|eule.
LFIhI 1.10: Seja um coujuulo uo va/|o. uma co|eo de subcoujuulos de e d|la uma pa|l|o de
se, e someule se,
26
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
27

e eulo, ou se eulo,

Veja que a pa|l|o de um coujuulo, uada ma|s e do que uma co|eo de subcoujuulos d|sjuulos, ou seja,
sem e|emeulos em comum, que ao se|em uu|dos |esu|lam uo coujuulo o||g|ua|. Acompauhe a|guus e/emp|os de
pa|l|o de coujuulo.
E/emp|os.
(a) Seja e seja a co|eo de subcoujuulos a co|eo ap|eseulada e
uma pa|l|o do coujuulo Veja uma |ep|eseulao g|l|ca desla pa|l|o.


(b) Seja e seja a co|eo de subcoujuulos dada po| , em que

e . Veja que. os e|emeulos de so uo va/|os, so d|sjuulos e uu|dos |esu|lam em .
Seudo ass|m, e uma pa|l|o de .

l|gu|a G. adaplado pe|o aulo|.

VOC SABA??
O conjunto dos nmeros irracionais tambm pode ser representado atravs da notao .
Como meuc|ouado aule||o|meule, la|emos uma assoc|ao eul|e a pa|l|o de um coujuulo e as c|asses
de equ|va|euc|a. Acompauhe o euuuc|ado do p|/|mo leo|ema.
TLLNA 1.11: Seja uma |e|ao de equ|va|euc|a sob|e um coujuulo . Eulo o coujuulo quoc|eule de po|
, , e uma pa|l|o de .
P|ova. Pa|a mosl|a| que e uma pa|l|o de , basla ve||l|ca| as l|es coud|oes da del|u|o de
pa|l|o de um coujuulo, ou seja, ve||l|ca| que lodo subcoujuulo e uo va/|o, que os subcoujuulos so d|sl|ulos
do|s a do|s e que a uu|o |esu|la uo p|p||o coujuulo .
Seja . Seudo uma |e|ao de equ|va|euc|a, e |el|e/|va e eulo , o que uos |eva a
e, po|laulo, .
Sejam e pe|leuceules a la|s que , eulo e/|sle . Segue que e
, e pe|a p|opos|o 1.8 lemos e . Logo, .
Se eulo . Logo podemos couc|u|| que
. Po| oul|o |ado, seja .

Eulo com . lslo uos mosl|a que
e que, po|laulo,
. as duas |uc|usoes
ac|ma, podemos couc|u|| eulo que
.
Ass|m, acabamos de mosl|a| que o coujuulo quoc|eule de po| , e uma pa|l|o de .
E/emp|o. Sejam e a |e|ao de equ|va|euc|a .
hole que e . Ass|m,
e lemos

Aqu|, va|e lambem a |ec|p|oca, ou seja, quaudo lemos uma pa|l|o em um coujuulo, esla esl assoc|ada
a uma |e|ao de equ|va|euc|a. Veja |slo uo p|/|mo leo|ema.
TLLNA 1.12: Se e uma pa|l|o de , eulo e/|sle uma |e|ao de equ|va|euc|a sob|e la| que
.
P|ova] Seja a |e|ao sob|e del|u|da da segu|ule lo|ma.

|slo e, esl em |e|ao com quaudo e/|sle um coujuulo da pa|l|o que coulem e .
P|ec|samos mosl|a| que e de equ|va|euc|a, ou seja, que e |el|e/|va, s|mel||ca e l|aus|l|va.
Pa|a lodo , e/|sle uma c|asse la| que e eulo . Logo e |el|e/|va.
??
VOC SABIA?
O conjunto dos nmeros irracionais tambm pode ser representado atravs da notao Q.
26
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
27

e eulo, ou se eulo,

Veja que a pa|l|o de um coujuulo, uada ma|s e do que uma co|eo de subcoujuulos d|sjuulos, ou seja,
sem e|emeulos em comum, que ao se|em uu|dos |esu|lam uo coujuulo o||g|ua|. Acompauhe a|guus e/emp|os de
pa|l|o de coujuulo.
E/emp|os.
(a) Seja e seja a co|eo de subcoujuulos a co|eo ap|eseulada e
uma pa|l|o do coujuulo Veja uma |ep|eseulao g|l|ca desla pa|l|o.


(b) Seja e seja a co|eo de subcoujuulos dada po| , em que

e . Veja que. os e|emeulos de so uo va/|os, so d|sjuulos e uu|dos |esu|lam em .
Seudo ass|m, e uma pa|l|o de .

l|gu|a G. adaplado pe|o aulo|.

VOC SABA??
O conjunto dos nmeros irracionais tambm pode ser representado atravs da notao .
Como meuc|ouado aule||o|meule, la|emos uma assoc|ao eul|e a pa|l|o de um coujuulo e as c|asses
de equ|va|euc|a. Acompauhe o euuuc|ado do p|/|mo leo|ema.
TLLNA 1.11: Seja uma |e|ao de equ|va|euc|a sob|e um coujuulo . Eulo o coujuulo quoc|eule de po|
, , e uma pa|l|o de .
P|ova. Pa|a mosl|a| que e uma pa|l|o de , basla ve||l|ca| as l|es coud|oes da del|u|o de
pa|l|o de um coujuulo, ou seja, ve||l|ca| que lodo subcoujuulo e uo va/|o, que os subcoujuulos so d|sl|ulos
do|s a do|s e que a uu|o |esu|la uo p|p||o coujuulo .
Seja . Seudo uma |e|ao de equ|va|euc|a, e |el|e/|va e eulo , o que uos |eva a
e, po|laulo, .
Sejam e pe|leuceules a la|s que , eulo e/|sle . Segue que e
, e pe|a p|opos|o 1.8 lemos e . Logo, .
Se eulo . Logo podemos couc|u|| que
. Po| oul|o |ado, seja .

Eulo com . lslo uos mosl|a que
e que, po|laulo,
. as duas |uc|usoes
ac|ma, podemos couc|u|| eulo que
.
Ass|m, acabamos de mosl|a| que o coujuulo quoc|eule de po| , e uma pa|l|o de .
E/emp|o. Sejam e a |e|ao de equ|va|euc|a .
hole que e . Ass|m,
e lemos

Aqu|, va|e lambem a |ec|p|oca, ou seja, quaudo lemos uma pa|l|o em um coujuulo, esla esl assoc|ada
a uma |e|ao de equ|va|euc|a. Veja |slo uo p|/|mo leo|ema.
TLLNA 1.12: Se e uma pa|l|o de , eulo e/|sle uma |e|ao de equ|va|euc|a sob|e la| que
.
P|ova] Seja a |e|ao sob|e del|u|da da segu|ule lo|ma.

|slo e, esl em |e|ao com quaudo e/|sle um coujuulo da pa|l|o que coulem e .
P|ec|samos mosl|a| que e de equ|va|euc|a, ou seja, que e |el|e/|va, s|mel||ca e l|aus|l|va.
Pa|a lodo , e/|sle uma c|asse la| que e eulo . Logo e |el|e/|va.
28
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
29
Seudo e lemos que . , eulo e/|sle la| que , |slo uos |eva a e, eulo,
lemos . Logo e s|mel||ca.
Seudo lemos.

la| que
la| que

Como
so e|emeulos da pa|l|o e
, eulo lemos
. Po|laulo

e da| . Logo e l|aus|l|va.
E/emp|o. ada a pa|l|o do coujuulo , podemos
assoc|-|a segu|ule |e|ao de equ|va|euc|a.


.
1.4 - e|ao de ordem
uma |e|ao em um coujuulo lambem pode se| c|ass|l|cada como |e|ao de o|dem. Pa|a |sso, basla
que la| |e|ao sal|slaa a oul|o g|upo de p|op||edades. A |e|ao de o|dem, como o uome j suge|e, uos d
|de|a de boa o|deuao eul|e os e|emeulos de um coujuulo.
LFIhI 1.13: Sejam um coujuulo uo va/|o e uma |e|ao sob|e . |/-se que e uma |e|ao de
o|dem pa|c|a| se, e someule se, e |el|e/|va, aul|ss|mel||ca e l|aus|l|va, ou seja.

uaudo e uma |e|ao de o|dem pa|c|a| sob|e , pa|a |ud|ca|mos que usa|emos
, que se |e ' p|ecede ua |e|ao '. Pa|a |ud|ca|mos que e , usa|emos a uolao
, que se |e ' p|ecede esl||lameule ua |e|ao '.
A p||uc|pa| ca|acle||sl|ca de uma |e|ao de o|dem e o|deua|, como o uome j suge|e, os e|emeulos de um
coujuulo.
LFIhI 1.14: um coujuulo pa|c|a|meule o|deuado e um coujuulo sob|e o qua| se del|u|u uma ce|la |e|ao
de o|dem pa|c|a|.
LFIhI 1.16: Seja uma |e|ao de o|dem pa|c|a| sob|e . 0s e|emeulos se d|/em compa|ve|s
med|aule se ou .
LFIhI 1.16: Se do|s e|emeulos qua|sque| de lo|em compa|ve|s med|aule , eulo se| chamada
|e|ao de o|dem lola| sob|e . 0 coujuulo , uesle caso, e chamado coujuulo lola|meule o|deuado.
E/emp|os. (a) Sejam e a |e|ao . Esla
|e|ao |ep|eseula uma |e|ao de o|dem lola| em . E|a e |el|e/|va, aul|ss|mel||ca e l|aus|l|va. uma |e|ao de
o|dem lola|, po|s lodos os e|emeulos so compa|ave|s.
(b) Sejam dados e e a |e|ao ' '. Esla |e|ao e uma |e|ao de o|dem lola|. E|a e
s|mel||ca, aul|ss|mel||ca e l|aus|l|va. veja que dados do|s e|emeulos de , podemos semp|e compa|-|os usaudo
a |e|ao 'meuo| ou |gua| que'.

28
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
29
Seudo e lemos que . , eulo e/|sle la| que , |slo uos |eva a e, eulo,
lemos . Logo e s|mel||ca.
Seudo lemos.

la| que
la| que

Como
so e|emeulos da pa|l|o e
, eulo lemos
. Po|laulo

e da| . Logo e l|aus|l|va.
E/emp|o. ada a pa|l|o do coujuulo , podemos
assoc|-|a segu|ule |e|ao de equ|va|euc|a.


.
1.4 - e|ao de ordem
uma |e|ao em um coujuulo lambem pode se| c|ass|l|cada como |e|ao de o|dem. Pa|a |sso, basla
que la| |e|ao sal|slaa a oul|o g|upo de p|op||edades. A |e|ao de o|dem, como o uome j suge|e, uos d
|de|a de boa o|deuao eul|e os e|emeulos de um coujuulo.
LFIhI 1.13: Sejam um coujuulo uo va/|o e uma |e|ao sob|e . |/-se que e uma |e|ao de
o|dem pa|c|a| se, e someule se, e |el|e/|va, aul|ss|mel||ca e l|aus|l|va, ou seja.

uaudo e uma |e|ao de o|dem pa|c|a| sob|e , pa|a |ud|ca|mos que usa|emos
, que se |e ' p|ecede ua |e|ao '. Pa|a |ud|ca|mos que e , usa|emos a uolao
, que se |e ' p|ecede esl||lameule ua |e|ao '.
A p||uc|pa| ca|acle||sl|ca de uma |e|ao de o|dem e o|deua|, como o uome j suge|e, os e|emeulos de um
coujuulo.
LFIhI 1.14: um coujuulo pa|c|a|meule o|deuado e um coujuulo sob|e o qua| se del|u|u uma ce|la |e|ao
de o|dem pa|c|a|.
LFIhI 1.16: Seja uma |e|ao de o|dem pa|c|a| sob|e . 0s e|emeulos se d|/em compa|ve|s
med|aule se ou .
LFIhI 1.16: Se do|s e|emeulos qua|sque| de lo|em compa|ve|s med|aule , eulo se| chamada
|e|ao de o|dem lola| sob|e . 0 coujuulo , uesle caso, e chamado coujuulo lola|meule o|deuado.
E/emp|os. (a) Sejam e a |e|ao . Esla
|e|ao |ep|eseula uma |e|ao de o|dem lola| em . E|a e |el|e/|va, aul|ss|mel||ca e l|aus|l|va. uma |e|ao de
o|dem lola|, po|s lodos os e|emeulos so compa|ave|s.
(b) Sejam dados e e a |e|ao ' '. Esla |e|ao e uma |e|ao de o|dem lola|. E|a e
s|mel||ca, aul|ss|mel||ca e l|aus|l|va. veja que dados do|s e|emeulos de , podemos semp|e compa|-|os usaudo
a |e|ao 'meuo| ou |gua| que'.

30
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
31
SuEST0ES E ATlVlAES
O1. um coujuulo E s l lem 48 e|emeulos. |/e|, e/am|uaudo lodas as poss|b|||dades, quaulos e|emeulos pode le| o coujuulo E e
quaulos pode le| o coujuulo l.
O2. Seja o g|alo de uma |e|ao sob|e .
a) Cousl|ua um g|l|co pa|a esla |e|ao.
b) ele|m|ue o dom|u|o e |magem da |e|ao.
O8. Sejam e a |e|ao em dada po|

a) ele|m|ua| o dom|u|o e a |magem de ,
b) ele|m|ua| os e|emeulos da |e|ao |ec|p|oca,
,
c) ele|m|ua| o d|ag|ama sag|la| da |e|ao
.
d) ele|m|ua| os e|emeulos dos segu|ules coujuulos.

O4. |/e|, jusl|l|caudo, se so ve|dade||as ou la|sas as al||maoes segu|ules.
a) A |e|ao ' ' e |el|e/|va em .
b) A |e|ao de 'o|logoua||dade' e l|aus|l|va uo coujuulo das |elas do p|auo.
c) Toda |e|ao |el|e/|va e l|aus|l|va.
d) A |ec|p|oca da |e|ao ' ' e a |e|ao ' '.
e) Toda |e|ao uo s|mel||ca e aul|ss|mel||ca .
l) A |e|ao de 'le| os mesmos pa|s' e uma |e|ao de equ|va|euc|a.
g) A |e|ao de 'seme|haua' uo coujuulo dos l||ugu|os e uma |e|ao de equ|va|euc|a.
h) Se e um coujuulo, eulo u e o g|alo de uma |e|ao de equ|va|euc|a.
O5. ho coujuulo a |e|ao '
' e uma |e|ao de equ|va|euc|a? Ap|eseula| um

g|l|co pa|a esla |e|ao.
30
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
31
SuEST0ES E ATlVlAES
O1. um coujuulo E s l lem 48 e|emeulos. |/e|, e/am|uaudo lodas as poss|b|||dades, quaulos e|emeulos pode le| o coujuulo E e
quaulos pode le| o coujuulo l.
O2. Seja o g|alo de uma |e|ao sob|e .
a) Cousl|ua um g|l|co pa|a esla |e|ao.
b) ele|m|ue o dom|u|o e |magem da |e|ao.
O8. Sejam e a |e|ao em dada po|

a) ele|m|ua| o dom|u|o e a |magem de ,
b) ele|m|ua| os e|emeulos da |e|ao |ec|p|oca,
,
c) ele|m|ua| o d|ag|ama sag|la| da |e|ao
.
d) ele|m|ua| os e|emeulos dos segu|ules coujuulos.

O4. |/e|, jusl|l|caudo, se so ve|dade||as ou la|sas as al||maoes segu|ules.
a) A |e|ao ' ' e |el|e/|va em .
b) A |e|ao de 'o|logoua||dade' e l|aus|l|va uo coujuulo das |elas do p|auo.
c) Toda |e|ao |el|e/|va e l|aus|l|va.
d) A |ec|p|oca da |e|ao ' ' e a |e|ao ' '.
e) Toda |e|ao uo s|mel||ca e aul|ss|mel||ca .
l) A |e|ao de 'le| os mesmos pa|s' e uma |e|ao de equ|va|euc|a.
g) A |e|ao de 'seme|haua' uo coujuulo dos l||ugu|os e uma |e|ao de equ|va|euc|a.
h) Se e um coujuulo, eulo u e o g|alo de uma |e|ao de equ|va|euc|a.
O5. ho coujuulo a |e|ao '
' e uma |e|ao de equ|va|euc|a? Ap|eseula| um

g|l|co pa|a esla |e|ao.
2 - FLA IhTLhA
Ago|a que voce j sabe como |e|ac|oua| e|emeulos de um coujuulo, vamos eulo, ap|eude| a ope|a| os
e|emeulos de um coujuulo. lu|c|a|meule del|u||emos as ap||caoes eul|e coujuulos, pa|a, em segu|da, del|u|| as
ope|aoes eul|e e|emeulos de um coujuulo. As ope|aoes a se|em del|u|das podem go/a| de ce|las
p|op||edades, o que uos pe|m|l|| c|ass|l|ca| os coujuulos esludados. Vamos coul|uua| a esluda| o ma|av||hoso
muudo da |geb|a.
2.1 - Ap||caes
LFIhI 2.1: Seja uma |e|ao de em . |/-se que e uma ap||cao de em se.

la| que .
Veja que loda ap||cao e uma |e|ao. Aqu|, o coujuulo passa a se chama| dom|n|o da ap||cao e o
coujuulo passa a se| o conIradom|n|o da ap||cao. hole que pa|a uma |e|ao se| uma ap||cao, cada
e|emeulo do dom|u|o lem que esla| |e|ac|ouado com um uu|co e|emeulo do coul|adom|u|o. uaudo e uma
ap||cao de em , usa|emos a segu|ule uolao. ou eulo,

. Se , eulo
esc|evemos , e d|/emos que e a |magem de pe|a ap||cao . Ass|m, o coujuulo dado po|
la| que pa|a e d|lo se| o coujuulo |magem da ap||cao , seudo |ep|eseulado po| .
c|a|o que .
Acompauhe ago|a a|guus e/emp|os de |e|ao, ve||l|caudo se eslas so ou uo uma ap||cao. Pa|a
me|ho|a| essa v|sua||/ao, |ep|eseula|emos as |e|aoes al|aves do d|ag|ama sag|la|.
E/emp|os. (a) Sejam e e seja a |e|ao
.


32
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
33

hesle caso, l e uma |e|ao mas uo e uma ap||cao po|s h e|emeulos em que uo eslo |e|ac|ouados
com e|emeulos de , ou seja, .
(b) Sejam e do|s coujuulos e a |e|ao
. Veja sua |ep|eseulao.


Aqu| |ep|eseula uma ap||cao, lem-se eulo, e . hole que cada
e|emeulo de esl assoc|ado a um uu|co e|emeulo de .
LFIhI 2.2: Seja uma ap||cao de em . |/-se que e uma ap||cao b|jelo|a, se qua|que| que seja
e/|sle um, e s um, la| que , |slo e, a ap||cao e |ujelo|a e sob|ejelo|a ao mesmo
lempo.
Lemb|e-se que uma ap||cao |ujelo|a e aque|a em que e|emeulos d|sl|ulos do dom|u|o lem |magem
d|sl|ula, e que uma ap||cao sob|ejelo|a e aque|a que possu| coujuulo |magem |gua| ao seu coul|adom|u|o.
E/emp|o. A ap||cao dada pe|o d|ag|ama aba|/o e b|jelo|a.

a b e l
c g
l|gu|a 1O. adaplado pe|o aulo|.
a b
c
e l
g

0
1
2
3
4
5
6
7
8

hole que e|a e |ujelo|a, po|s cada e|emeulo d|sl|ulo de lem |magem d|sl|ula, e que e sob|ejelo|a j que o
coujuulo |magem e o p|p||o coul|adom|u|o. Veja lambem que o e/emp|o aule||o|, |lem (b), l|ala-se de uma
ap||cao |ujelo|a.
A|gumas cous|de|aoes so |mpo|laules.
(1) J que uma ap||cao e uma |e|ao, deco||e que se e so duas ap||caoes,
d|/emos que se, e someule se, .
(2) uaudo lemos uma ap||cao del|u|da em um coujuulo, ou seja, se e|a e uma ap||cao
b|jelo|a, d|/emos que e uma pe|mulao de . 0 coujuulo das pe|mulaoes em um coujuulo se| mu|lo
esludado ma|s ad|aule, quaudo comea|mos a del|u|| e esluda| as esl|ulu|as a|geb||cas.
Seja e uma ap||cao b|jelo|a. Como e uma |e|ao, cous|de|e
a |e|ao |uve|sa. Eulo
e lambem uma ap||cao b|jelo|a e e deuom|uada ap||cao |uve|sa da ap||cao .

E/emp|o. A ap||cao
dada po|
, e b|jelo|a e lem como ap||cao |uve|sa
dada po|
.
Aleuo! hem loda ap||cao possu| |uve|sa, pa|a que |slo oco||a e uecess||o que a ap||cao seja
b|jelo|a.
adas duas ap||caoes, podemos cousl|u|| uma uova ap||cao al|aves da compos|o. Acompauhe a
del|u|o desla compos|o.
LFIhI 2.3: Sejam e duas ap||caoes la|s que . Chama-se composla de e
a ap||cao, |ud|cada po| , de em del|u|da da segu|ule maue||a.

E/emp|o. Sejam
l|es coujuulos
uo va/|os, e sejam e duas ap||caoes dadas po|.

.
A ap||cao composla de em , po| del|u|o, e dada po|.
32
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
33

hesle caso, l e uma |e|ao mas uo e uma ap||cao po|s h e|emeulos em que uo eslo |e|ac|ouados
com e|emeulos de , ou seja, .
(b) Sejam e do|s coujuulos e a |e|ao
. Veja sua |ep|eseulao.


Aqu| |ep|eseula uma ap||cao, lem-se eulo, e . hole que cada
e|emeulo de esl assoc|ado a um uu|co e|emeulo de .
LFIhI 2.2: Seja uma ap||cao de em . |/-se que e uma ap||cao b|jelo|a, se qua|que| que seja
e/|sle um, e s um, la| que , |slo e, a ap||cao e |ujelo|a e sob|ejelo|a ao mesmo
lempo.
Lemb|e-se que uma ap||cao |ujelo|a e aque|a em que e|emeulos d|sl|ulos do dom|u|o lem |magem
d|sl|ula, e que uma ap||cao sob|ejelo|a e aque|a que possu| coujuulo |magem |gua| ao seu coul|adom|u|o.
E/emp|o. A ap||cao dada pe|o d|ag|ama aba|/o e b|jelo|a.

a b e l
c g
l|gu|a 1O. adaplado pe|o aulo|.
a b
c
e l
g

0
1
2
3
4
5
6
7
8

hole que e|a e |ujelo|a, po|s cada e|emeulo d|sl|ulo de lem |magem d|sl|ula, e que e sob|ejelo|a j que o
coujuulo |magem e o p|p||o coul|adom|u|o. Veja lambem que o e/emp|o aule||o|, |lem (b), l|ala-se de uma
ap||cao |ujelo|a.
A|gumas cous|de|aoes so |mpo|laules.
(1) J que uma ap||cao e uma |e|ao, deco||e que se e so duas ap||caoes,
d|/emos que se, e someule se, .
(2) uaudo lemos uma ap||cao del|u|da em um coujuulo, ou seja, se e|a e uma ap||cao
b|jelo|a, d|/emos que e uma pe|mulao de . 0 coujuulo das pe|mulaoes em um coujuulo se| mu|lo
esludado ma|s ad|aule, quaudo comea|mos a del|u|| e esluda| as esl|ulu|as a|geb||cas.
Seja e uma ap||cao b|jelo|a. Como e uma |e|ao, cous|de|e
a |e|ao |uve|sa. Eulo
e lambem uma ap||cao b|jelo|a e e deuom|uada ap||cao |uve|sa da ap||cao .

E/emp|o. A ap||cao
dada po|
, e b|jelo|a e lem como ap||cao |uve|sa
dada po|
.
Aleuo! hem loda ap||cao possu| |uve|sa, pa|a que |slo oco||a e uecess||o que a ap||cao seja
b|jelo|a.
adas duas ap||caoes, podemos cousl|u|| uma uova ap||cao al|aves da compos|o. Acompauhe a
del|u|o desla compos|o.
LFIhI 2.3: Sejam e duas ap||caoes la|s que . Chama-se composla de e
a ap||cao, |ud|cada po| , de em del|u|da da segu|ule maue||a.

E/emp|o. Sejam
l|es coujuulos
uo va/|os, e sejam e duas ap||caoes dadas po|.

.
A ap||cao composla de em , po| del|u|o, e dada po|.
34
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
35
E/emp|os. (a) Seja
del|u|da po|
. Eulo, po| e/emp|o,

. Temos aqu| uma ope|ao |ule|ua em .

(b) Seja
del|u|da po| . Eulo, lemos po| e/emp|o,

. hesle caso, e uma ope|ao |ule|ua em .
Como j lo| meuc|ouado aule||o|meule, uem loda ap||cao del|u|da em um coujuulo se l|ala de uma
ope|ao |ule|ua. Temos po| e/emp|o, que a ope|ao subl|ao del|u|da uo coujuulo uo e uma ope|ao
|ule|ua, po|s dados e|emeulos , podemos le| .
Lemb|e-se. pa|a se| uma ope|ao |ule|ua em um coujuulo , ao ope|a| os e|emeulos a pa|l|| de , o
|esu|lado deve se| um e|emeulo de .
Ve|emos, ago|a, qua|s p|op||edades uma ope|ao |ule|ua pode ou uo sal|sla/e|.
2.3 - Fropr|edades das operaes em um conjunIo
Seja uma ope|ao |ule|ua sob|e um coujuulo , uo va/|o.
vP|op||edade Assoc|al|va
|/-se que a ope|ao adm|le a p|op||edade assoc|al|va quaudo pa|a qua|sque| lem-se
( .
vP|op||edade Comulal|va
|/-se que a ope|ao adm|le a p|op||edade comulal|va quaudo pa|a qua|sque| lem-se
.
vP|op||edade |sl||bul|va
Seja oul|a ope|ao |ule|ua sob|e . |/-se que a ope|ao e d|sl||bul|va em |e|ao a , se, pa|a
qua|sque| , lem-se.
(d|sl||bul|va d||e|la)
(d|sl||bul|va esque|da)
Veja ago|a a|guus e/emp|os de ope|aoes |ule|uas em coujuulo, ve||l|caudo a|guma de suas p|op||edades.
LVWRp
.
Veja que s podemos del|u|| uma ap||cao composla eul|e duas ap||caoes e quaudo a |magem de
esl coul|da uo dom|u|o de , a|em d|sso, a composla lem o mesmo dom|u|o de e o mesmo
coul|adom|u|o de .
2.2 - perao sobre um conjunIo
LFIhI 2.4: Chama-se ope|ao sob|e um coujuulo (ou |e| de compos|o |ule|ua sob|e ) a loda ap||cao
la| que pa|a lodo , assoc|amos um e|emeulo .
E/emp|o. Seja e seja a ap||cao dada po| . Tem-se eulo
como uma ope|ao |ule|ua em . hole que dados qua|sque| o |esu|lado da ap||cao que e dado
po| e lambem um e|emeulo de .
0s e/emp|os ma|s comuus de ope|ao |ule|ua em um coujuulo so as ope|aoes e|emeula|es, la|s como,
ad|o, subl|ao, mu|l|p||cao e d|v|so del|u|das uos coujuulos uume||cos lambem e|emeula|es. , , e
.
Podemos |mag|ua| uma ope|ao |ule|ua como um p|oced|meulo oude so co|ocados em uma mqu|ua
do|s e|emeulos. p||me||o o e|emeulo e a segu|| o e|emeulo . A pa|l|| de uma p|og|amao da mqu|ua, e|a, a
pa|l|| dos do|s e|emeulos, lo|uece um |esu|lado, que e o e|emeulo . Esla s|luao pode se| s|mbo||/ada da
segu|ule maue||a. , oude e so os ope|audos e o |esu|lado. 0 s|mbo|o del|ue a ope|ao a se|
eleluada. Em espec|a| os s|mbo|os |ep|eseulam as ope|aoes usua|s ad|o, subl|ao,
mu|l|p||cao e d|v|so |especl|vameule, o s|mbo|o |ep|eseula a ope|ao de compos|o de luuoes.
ua|que| oul|a ope|ao que d|l||a das usua|s le| que se| bem del|u|da, ou eulo, le| que se| ap|eseulada uma
lbua com lodos os |esu|lados poss|ve|s. Na|s ad|aule, em uosso esludo, v|sua||/a|emos lbuas que
|ep|eseulam ope|aoes |ule|uas del|u|das em coujuulos l|u|los.
34
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
35
E/emp|os. (a) Seja
del|u|da po|
. Eulo, po| e/emp|o,

. Temos aqu| uma ope|ao |ule|ua em .

(b) Seja
del|u|da po| . Eulo, lemos po| e/emp|o,

. hesle caso, e uma ope|ao |ule|ua em .
Como j lo| meuc|ouado aule||o|meule, uem loda ap||cao del|u|da em um coujuulo se l|ala de uma
ope|ao |ule|ua. Temos po| e/emp|o, que a ope|ao subl|ao del|u|da uo coujuulo uo e uma ope|ao
|ule|ua, po|s dados e|emeulos , podemos le| .
Lemb|e-se. pa|a se| uma ope|ao |ule|ua em um coujuulo , ao ope|a| os e|emeulos a pa|l|| de , o
|esu|lado deve se| um e|emeulo de .
Ve|emos, ago|a, qua|s p|op||edades uma ope|ao |ule|ua pode ou uo sal|sla/e|.
2.3 - Fropr|edades das operaes em um conjunIo
Seja uma ope|ao |ule|ua sob|e um coujuulo , uo va/|o.
|/-se que a ope|ao adm|le a p|op||edade assoc|al|va quaudo pa|a qua|sque| lem-se
( .
|/-se que a ope|ao adm|le a p|op||edade comulal|va quaudo pa|a qua|sque| lem-se
.
vP|op||edade |sl||bul|va
Seja oul|a ope|ao |ule|ua sob|e . |/-se que a ope|ao e d|sl||bul|va em |e|ao a , se, pa|a
qua|sque| , lem-se.
(d|sl||bul|va d||e|la)
(d|sl||bul|va esque|da)
Veja ago|a a|guus e/emp|os de ope|aoes |ule|uas em coujuulo, ve||l|caudo a|guma de suas p|op||edades.
LVWRp
.
Veja que s podemos del|u|| uma ap||cao composla eul|e duas ap||caoes e quaudo a |magem de
esl coul|da uo dom|u|o de , a|em d|sso, a composla lem o mesmo dom|u|o de e o mesmo
coul|adom|u|o de .
2.2 - perao sobre um conjunIo
LFIhI 2.4: Chama-se ope|ao sob|e um coujuulo (ou |e| de compos|o |ule|ua sob|e ) a loda ap||cao
la| que pa|a lodo , assoc|amos um e|emeulo .
E/emp|o. Seja e seja a ap||cao dada po| . Tem-se eulo
como uma ope|ao |ule|ua em . hole que dados qua|sque| o |esu|lado da ap||cao que e dado
po| e lambem um e|emeulo de .
0s e/emp|os ma|s comuus de ope|ao |ule|ua em um coujuulo so as ope|aoes e|emeula|es, la|s como,
ad|o, subl|ao, mu|l|p||cao e d|v|so del|u|das uos coujuulos uume||cos lambem e|emeula|es. , , e
.
Podemos |mag|ua| uma ope|ao |ule|ua como um p|oced|meulo oude so co|ocados em uma mqu|ua
do|s e|emeulos. p||me||o o e|emeulo e a segu|| o e|emeulo . A pa|l|| de uma p|og|amao da mqu|ua, e|a, a
pa|l|| dos do|s e|emeulos, lo|uece um |esu|lado, que e o e|emeulo . Esla s|luao pode se| s|mbo||/ada da
segu|ule maue||a. , oude e so os ope|audos e o |esu|lado. 0 s|mbo|o del|ue a ope|ao a se|
eleluada. Em espec|a| os s|mbo|os |ep|eseulam as ope|aoes usua|s ad|o, subl|ao,
mu|l|p||cao e d|v|so |especl|vameule, o s|mbo|o |ep|eseula a ope|ao de compos|o de luuoes.
ua|que| oul|a ope|ao que d|l||a das usua|s le| que se| bem del|u|da, ou eulo, le| que se| ap|eseulada uma
lbua com lodos os |esu|lados poss|ve|s. Na|s ad|aule, em uosso esludo, v|sua||/a|emos lbuas que
|ep|eseulam ope|aoes |ule|uas del|u|das em coujuulos l|u|los.
36
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
37
E/emp|os. (a) A ad|o em , , , e e uma ope|ao que adm|le a p|op||edade assoc|al|va e
comulal|va.
(b) A d|v|so de uume|os |ea|s uo e uma ope|ao com a p|op||edade assoc|al|va, po|s lemos.
e .
(c) A ope|ao
del|u|da po| uo e assoc|al|va, po|s dados

lemos.
e
.
Logo, podemos pe|cebe| que .
(d) A mu|l|p||cao de uume|os |ea|s e uma ope|ao d|sl||bul|va em |e|ao ad|o, ou seja, dados
lemos que .
LFIhI 2.6: |/-se que e e|emeulo ueul|o pa|a uma ope|ao sob|e se, e someule se,

hole que pa|a um dele|m|uado e|emeulo se| um e|emeulo ueul|o, ao se| ope|ado laulo pe|a d||e|la
quaulo pe|a esque|da, com um e|emeulo , esle uo a|le|a seu va|o|. Acompauhe a|guus e/emp|os de ope|ao
|ule|ua e sua |e|ao com o e|emeulo ueul|o.
E/emp|os. (a) e e|emeulo ueul|o pa|a a ad|o em , , e , po|s pa|a em qua|que| um dos
coujuulos c|lados lemos .
(b) e e|emeulo ueul|o pa|a a mu|l|p||cao em , , , e , po|s pa|a pe|leuceule a qua|que| um
dos coujuulos c|lados lem-se .
(c) A ope|ao subl|ao uo adm|le e|emeulo ueul|o em .
Sejam se va|e| apeuas d|/-se que e e|emeulo ueul|o esque|da, se va|e| apeuas
d|/-se que e e|emeulo ueul|o d||e|la. Aqu|, va|e a peua sa||eula| a segu|ule s|luao. pa|a uma
ope|ao |ule|ua possu|| e|emeulo ueul|o, uo uecessa||ameule esla ope|ao p|ec|sa se| comulal|va. E/|slem
coujuulos, muu|dos de ope|ao |ule|ua uo comulal|va, que possuem e|emeulo ueul|o. Se| que voce cousegue
cousl|u|| um e/emp|o?
Veja o e/emp|o a segu||.
E/emp|o. Seja
o coujuulo das mal||/es |ea|s de o|dem muu|do da ope|ao |ule|ua

mu|l|p||cao. Sabemos que a mu|l|p||cao de mal||/es uo e uma ope|ao comulal|va. V|sua||/e |slo com o
segu|ule e/emp|o. sejam

e

duas mal||/es de o|dem . hole que , po|s

e

. Nas a ope|ao mu|l|p||cao
adm|le e|emeulo ueul|o uo coujuulo
. Seja

. e e|emeulo ueul|o da ope|ao.

Veja que dado

lemos semp|e

e

.
0 e|emeulo ueul|o de uma ope|ao |ule|ua e semp|e uu|co. A segu|| le|emos uma p|opos|o que
mosl|a o lalo.
FF8I 2.6: Se uma ope|ao sob|e um coujuulo possu| e|emeulo ueul|o, eulo e|e e uu|co.
P|ova. Sejam e
do|s e|emeulos ueul|os da ope|ao . Se e e|emeulo ueul|o, eulo lemos

, po| oul|o |ado, se
e e|emeulo ueul|o, eulo lemos
. Seudo ass|m,
lemos
, o que uos |eva a couc|u|| que . Po|laulo, o e|emeulo ueul|o e uu|co.

LFIhI 2.7: Seja uma ope|ao sob|e um coujuulo possu|udo e|emeulo ueul|o . |/-se que um
e|emeulo e s|mel||/ve| se, e/|sle
la| que
.
Voce pe|cebeu, al|aves da del|u|o ap|eseulada, que um e|emeulo s e s|mel||/ve| se e/|sle oul|o, que
ope|ado com e|e, laulo d||e|la, quaulo esque|da |esu|la uo e|emeulo ueul|o? Ass|m, s la/ seul|do la|a| em
e|emeulo s|mel||/ve| em um coujuulo, com ope|ao |ule|ua , se esla ope|ao possu|| e|emeulo ueul|o.
E/emp|os. (a) e o uu|co e|emeulo s|mel||/ve| de
pa|a a ope|ao de ad|o.

(b) Todos os |ule||os so s|mel||/ve|s pa|a a ope|ao de ad|o, po|s dado e/|sle la|
que , que e o e|emeulo ueul|o da ad|o em .
(c) e o uu|co e|emeulo de que uo e s|mel||/ve| pa|a a ope|ao de mu|l|p||cao.
uaudo um e|emeulo e s|mel||/ve| em |e|ao a uma ope|ao , pe|a del|u|o, e/|sle
la|
que
, o e|emeulo e d|lo se| o s|mel||co, ou o oposlo, ou a|uda o |uve|so de com |espe|lo

ope|ao .
36
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
37
E/emp|os. (a) A ad|o em , , , e e uma ope|ao que adm|le a p|op||edade assoc|al|va e
comulal|va.
(b) A d|v|so de uume|os |ea|s uo e uma ope|ao com a p|op||edade assoc|al|va, po|s lemos.
e .
(c) A ope|ao
del|u|da po| uo e assoc|al|va, po|s dados

lemos.
e
.
Logo, podemos pe|cebe| que .
(d) A mu|l|p||cao de uume|os |ea|s e uma ope|ao d|sl||bul|va em |e|ao ad|o, ou seja, dados
lemos que .
LFIhI 2.6: |/-se que e e|emeulo ueul|o pa|a uma ope|ao sob|e se, e someule se,

hole que pa|a um dele|m|uado e|emeulo se| um e|emeulo ueul|o, ao se| ope|ado laulo pe|a d||e|la
quaulo pe|a esque|da, com um e|emeulo , esle uo a|le|a seu va|o|. Acompauhe a|guus e/emp|os de ope|ao
|ule|ua e sua |e|ao com o e|emeulo ueul|o.
E/emp|os. (a) e e|emeulo ueul|o pa|a a ad|o em , , e , po|s pa|a em qua|que| um dos
coujuulos c|lados lemos .
(b) e e|emeulo ueul|o pa|a a mu|l|p||cao em , , , e , po|s pa|a pe|leuceule a qua|que| um
dos coujuulos c|lados lem-se .
(c) A ope|ao subl|ao uo adm|le e|emeulo ueul|o em .
Sejam se va|e| apeuas d|/-se que e e|emeulo ueul|o esque|da, se va|e| apeuas
d|/-se que e e|emeulo ueul|o d||e|la. Aqu|, va|e a peua sa||eula| a segu|ule s|luao. pa|a uma
ope|ao |ule|ua possu|| e|emeulo ueul|o, uo uecessa||ameule esla ope|ao p|ec|sa se| comulal|va. E/|slem
coujuulos, muu|dos de ope|ao |ule|ua uo comulal|va, que possuem e|emeulo ueul|o. Se| que voce cousegue
cousl|u|| um e/emp|o?
Veja o e/emp|o a segu||.
E/emp|o. Seja
o coujuulo das mal||/es |ea|s de o|dem muu|do da ope|ao |ule|ua

mu|l|p||cao. Sabemos que a mu|l|p||cao de mal||/es uo e uma ope|ao comulal|va. V|sua||/e |slo com o
segu|ule e/emp|o. sejam

e

duas mal||/es de o|dem . hole que , po|s

e

. Nas a ope|ao mu|l|p||cao
adm|le e|emeulo ueul|o uo coujuulo
. Seja

. e e|emeulo ueul|o da ope|ao.

Veja que dado

lemos semp|e

e

.
0 e|emeulo ueul|o de uma ope|ao |ule|ua e semp|e uu|co. A segu|| le|emos uma p|opos|o que
mosl|a o lalo.
FF8I 2.6: Se uma ope|ao sob|e um coujuulo possu| e|emeulo ueul|o, eulo e|e e uu|co.
P|ova. Sejam e
do|s e|emeulos ueul|os da ope|ao . Se e e|emeulo ueul|o, eulo lemos

, po| oul|o |ado, se
e e|emeulo ueul|o, eulo lemos
. Seudo ass|m,
lemos
, o que uos |eva a couc|u|| que . Po|laulo, o e|emeulo ueul|o e uu|co.

LFIhI 2.7: Seja uma ope|ao sob|e um coujuulo possu|udo e|emeulo ueul|o . |/-se que um
e|emeulo e s|mel||/ve| se, e/|sle
la| que
.
Voce pe|cebeu, al|aves da del|u|o ap|eseulada, que um e|emeulo s e s|mel||/ve| se e/|sle oul|o, que
ope|ado com e|e, laulo d||e|la, quaulo esque|da |esu|la uo e|emeulo ueul|o? Ass|m, s la/ seul|do la|a| em
e|emeulo s|mel||/ve| em um coujuulo, com ope|ao |ule|ua , se esla ope|ao possu|| e|emeulo ueul|o.
E/emp|os. (a) e o uu|co e|emeulo s|mel||/ve| de
pa|a a ope|ao de ad|o.

(b) Todos os |ule||os so s|mel||/ve|s pa|a a ope|ao de ad|o, po|s dado e/|sle la|
que , que e o e|emeulo ueul|o da ad|o em .
(c) e o uu|co e|emeulo de que uo e s|mel||/ve| pa|a a ope|ao de mu|l|p||cao.
uaudo um e|emeulo e s|mel||/ve| em |e|ao a uma ope|ao , pe|a del|u|o, e/|sle
la|
que
, o e|emeulo e d|lo se| o s|mel||co, ou o oposlo, ou a|uda o |uve|so de com |espe|lo

ope|ao .
38
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
39
E/emp|os. (a) 0 s|mel||co de , em |e|ao ope|ao de mu|l|p||cao e
, po|s

.
(b) 0 s|mel||co de em |e|ao ope|ao de ad|o e , po|s .
(c) 0 s|mel||co da mal||/

, em |e|ao ope|ao de mu|l|p||cao e a mal||/

, po|s

.
Em pa|l|cu|a|, em |e|ao ao coujuulo das mal||/es quad|adas, com |espe|lo ope|ao de mu|l|p||cao,
pa|a um e|emeulo se| s|mel||/ve|, basla que possua dele|m|uaule d|le|eule de /e|o, e ma|s, os dele|m|uaules de
duas mal||/es |uve|sas, so lambem uume|os |ea|s |uve|sos em |e|ao mu|l|p||cao.
LFIhI 2.B: Seja uma ope|ao sob|e um coujuulo , que possu| e|emeulo ueul|o . 0 coujuulo dos
e|emeulos s|mel||/ve|s de com |espe|lo ope|ao e dado po|.

E/emp|os. (a) e aco|do com o comeulado ac|ma, o coujuulo das mal||/es quad|adas lem como
e|emeulos s|mel||/ve|s, com |espe|lo mu|l|p||cao, loda mal||/ que possu| dele|m|uaule d|le|eule de /e|o.
(b) ado
, lemos
, se cous|de|a|mos como seudo a ope|ao de ad|o.

Se e um coujuulo que possu| e|emeulo ueul|o em |e|ao ope|ao , lemos que
, po|s
lemos que , da|
.
FF8I 2.9: Se uma ope|ao sob|e um coujuulo e assoc|al|va, possu|| e|emeulo ueul|o e
so e|emeulos s|mel||/ve|s, eulo e s|mel||/ve| e
.
P|ova. Sejam e e|emeulos s|mel||/ve|s de . Acompauhe as ope|aoes a segu||, com o uso da
p|op||edade assoc|al|va.

.
as ope|aoes deseuvo|v|das em e em podemos couc|u|| que e s|mel||/ve| e que o seu
s|mel||co e

lslo uos mosl|a que ao ope|a| e|emeulos s|mel||/ve|s, o |esu|lado lambem e um e|emeulo s|mel||/ve|.
LFIhI 2.10: Sejam um coujuulo e uma ope|ao sob|e . |/-se que um e|emeulo e |egu|a| se,
e someule se,
,
,
pa|a qua|sque| .
E/emp|os. (a) e um e|emeulo |egu|a| pa|a a ad|o em , po|s.
, e
.
(b) e um e|emeulo |egu|a| pa|a a mu|l|p||cao em , po|s.
, e
.
(c) uo e um e|emeulo |egu|a| pa|a a mu|l|p||cao de uume|os |ea|s, po|s lemos ,
mas .
Se po| a|gum acaso, sal|sla/ a apeuas a coud|o d|/emos que e um e|emeulo |egu|a|
esque|da, e se sal|sl|/e| apeuas a coud|o da del|u|o, d|/emos que e um e|emeulo |egu|a| d||e|la.
Caso a ope|ao seja comulal|va, se| |egu|a| d||e|la e equ|va|eule a se| |egu|a| esque|da, ou s|mp|esmeule
|egu|a|.
0 coujuulo dos e|emeulos |egu|a|es de um coujuulo com |espe|lo a uma ope|ao e deuolado po|
. Podemos deslaca| a|guus coujuulos de e|emeulos |egu|a|es, em |e|ao s ope|aoes uolve|s uos
coujuulos uume||cos. Temos po| e/emp|o.
v

E/|sle uma |e|ao |ule|essaule eul|e e|emeulos s|mel||/ve|s e e|emeulos |egu|a|es. Veja esla |e|ao ua
p|opos|o a segu||.
38
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
39
E/emp|os. (a) 0 s|mel||co de , em |e|ao ope|ao de mu|l|p||cao e
, po|s

.
(b) 0 s|mel||co de em |e|ao ope|ao de ad|o e , po|s .
(c) 0 s|mel||co da mal||/

, em |e|ao ope|ao de mu|l|p||cao e a mal||/

, po|s

.
Em pa|l|cu|a|, em |e|ao ao coujuulo das mal||/es quad|adas, com |espe|lo ope|ao de mu|l|p||cao,
pa|a um e|emeulo se| s|mel||/ve|, basla que possua dele|m|uaule d|le|eule de /e|o, e ma|s, os dele|m|uaules de
duas mal||/es |uve|sas, so lambem uume|os |ea|s |uve|sos em |e|ao mu|l|p||cao.
LFIhI 2.B: Seja uma ope|ao sob|e um coujuulo , que possu| e|emeulo ueul|o . 0 coujuulo dos
e|emeulos s|mel||/ve|s de com |espe|lo ope|ao e dado po|.

E/emp|os. (a) e aco|do com o comeulado ac|ma, o coujuulo das mal||/es quad|adas lem como
e|emeulos s|mel||/ve|s, com |espe|lo mu|l|p||cao, loda mal||/ que possu| dele|m|uaule d|le|eule de /e|o.
(b) ado
, lemos
, se cous|de|a|mos como seudo a ope|ao de ad|o.

Se e um coujuulo que possu| e|emeulo ueul|o em |e|ao ope|ao , lemos que
, po|s
lemos que , da|
.
FF8I 2.9: Se uma ope|ao sob|e um coujuulo e assoc|al|va, possu|| e|emeulo ueul|o e
so e|emeulos s|mel||/ve|s, eulo e s|mel||/ve| e
.
P|ova. Sejam e e|emeulos s|mel||/ve|s de . Acompauhe as ope|aoes a segu||, com o uso da
p|op||edade assoc|al|va.

.
as ope|aoes deseuvo|v|das em e em podemos couc|u|| que e s|mel||/ve| e que o seu
s|mel||co e

lslo uos mosl|a que ao ope|a| e|emeulos s|mel||/ve|s, o |esu|lado lambem e um e|emeulo s|mel||/ve|.
LFIhI 2.10: Sejam um coujuulo e uma ope|ao sob|e . |/-se que um e|emeulo e |egu|a| se,
e someule se,
,
,
pa|a qua|sque| .
E/emp|os. (a) e um e|emeulo |egu|a| pa|a a ad|o em , po|s.
, e
.
(b) e um e|emeulo |egu|a| pa|a a mu|l|p||cao em , po|s.
, e
.
(c) uo e um e|emeulo |egu|a| pa|a a mu|l|p||cao de uume|os |ea|s, po|s lemos ,
mas .
Se po| a|gum acaso, sal|sla/ a apeuas a coud|o d|/emos que e um e|emeulo |egu|a|
esque|da, e se sal|sl|/e| apeuas a coud|o da del|u|o, d|/emos que e um e|emeulo |egu|a| d||e|la.
Caso a ope|ao seja comulal|va, se| |egu|a| d||e|la e equ|va|eule a se| |egu|a| esque|da, ou s|mp|esmeule
|egu|a|.
0 coujuulo dos e|emeulos |egu|a|es de um coujuulo com |espe|lo a uma ope|ao e deuolado po|
. Podemos deslaca| a|guus coujuulos de e|emeulos |egu|a|es, em |e|ao s ope|aoes uolve|s uos
coujuulos uume||cos. Temos po| e/emp|o.
v

E/|sle uma |e|ao |ule|essaule eul|e e|emeulos s|mel||/ve|s e e|emeulos |egu|a|es. Veja esla |e|ao ua
p|opos|o a segu||.
40
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
41
FF8I 2.11: Seja uma ope|ao assoc|al|va sob|e um coujuulo , que possu| e|emeulo ueul|o . Se
e/|sle la| que e s|mel||/ve|, eulo e |egu|a|.
P|ova] Sejam um e|emeulo s|mel||/ve| em |e|ao a , e o seu s|mel||co. Sejam
e|emeulos qua|sque| la|s que e . Veja que.

. a|, couc|u|mos
que e |egu|a| esque|da. a mesma maue||a, lemos.

. Couc|u|mos eulo
que e |egu|a| d||e|la. Logo, e um e|emeulo |egu|a|.
Em |esumo, lem-se que lodo e|emeulo s|mel||/ve| e |egu|a|.
Bem, ago|a que couhecemos as p|op||edades de uma ope|ao |ule|ua, podemos ve||l|ca| se um
dele|m|uado coujuulo , sal|sla/ ou uo la|s p|op||edades del|u|das ac|ma, em |e|ao a uma ope|ao .
uaudo um coujuulo sal|sla/ a uma quaul|dade de p|op||edades, |e|al|va a uma ope|ao |ule|ua, podemos
c|ass|l|c-|o. Esla c|ass|l|cao uos d|/ o l|po de esl|ulu|a a|geb||ca. Nas, o que so esl|ulu|as a|geb||cas? Como
dele|m|ua| o l|po de esl|ulu|a a|geb||ca? |slo que couhece|emos ago|a.
2.4 - LsIruIuras A|gbr|cas
LFIhI 2.12: Seja um coujuulo uo va/|o. |/-se que o coujuulo lem uma esl|ulu|a a|geb||ca quaudo
em esl del|u|da uma ope|ao |ule|ua . usa|emos a uolao , pa|a |ud|ca| que e uma esl|ulu|a
a|geb||ca com ope|ao |ule|ua .
E/emp|os. (a) 0 coujuulo , muu|do da ope|ao ad|o e uma esl|ulu|a a|geb||ca.
(b) 0 coujuulo , muu|do da ope|ao mu|l|p||cao e uma esl|ulu|a a|geb||ca.
A depeude| das p|op||edades que a ope|ao adm|le, a esl|ulu|a a|geb||ca |ecebe uma deuom|uao
d|le|eule. So e|as.
v|up|de
e um g|up|de quaudo a ope|ao uo adm|le p|op||edade a|guma.
vSem|g|upo
e um sem|g|upo semp|e que a ope|ao adm|l|| a p|op||edade assoc|al|va.
40
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
41
FF8I 2.11: Seja uma ope|ao assoc|al|va sob|e um coujuulo , que possu| e|emeulo ueul|o . Se
e/|sle la| que e s|mel||/ve|, eulo e |egu|a|.
P|ova] Sejam um e|emeulo s|mel||/ve| em |e|ao a , e o seu s|mel||co. Sejam
e|emeulos qua|sque| la|s que e . Veja que.

. a|, couc|u|mos
que e |egu|a| esque|da. a mesma maue||a, lemos.

. Couc|u|mos eulo
que e |egu|a| d||e|la. Logo, e um e|emeulo |egu|a|.
Em |esumo, lem-se que lodo e|emeulo s|mel||/ve| e |egu|a|.
Bem, ago|a que couhecemos as p|op||edades de uma ope|ao |ule|ua, podemos ve||l|ca| se um
dele|m|uado coujuulo , sal|sla/ ou uo la|s p|op||edades del|u|das ac|ma, em |e|ao a uma ope|ao .
uaudo um coujuulo sal|sla/ a uma quaul|dade de p|op||edades, |e|al|va a uma ope|ao |ule|ua, podemos
c|ass|l|c-|o. Esla c|ass|l|cao uos d|/ o l|po de esl|ulu|a a|geb||ca. Nas, o que so esl|ulu|as a|geb||cas? Como
dele|m|ua| o l|po de esl|ulu|a a|geb||ca? |slo que couhece|emos ago|a.
2.4 - LsIruIuras A|gbr|cas
LFIhI 2.12: Seja um coujuulo uo va/|o. |/-se que o coujuulo lem uma esl|ulu|a a|geb||ca quaudo
em esl del|u|da uma ope|ao |ule|ua . usa|emos a uolao , pa|a |ud|ca| que e uma esl|ulu|a
a|geb||ca com ope|ao |ule|ua .
E/emp|os. (a) 0 coujuulo , muu|do da ope|ao ad|o e uma esl|ulu|a a|geb||ca.
(b) 0 coujuulo , muu|do da ope|ao mu|l|p||cao e uma esl|ulu|a a|geb||ca.
A depeude| das p|op||edades que a ope|ao adm|le, a esl|ulu|a a|geb||ca |ecebe uma deuom|uao
d|le|eule. So e|as.
v|up|de
e um g|up|de quaudo a ope|ao uo adm|le p|op||edade a|guma.
vSem|g|upo
e um sem|g|upo semp|e que a ope|ao adm|l|| a p|op||edade assoc|al|va.
Monide
, um monide sempre que a operao admitir a propriedade associativa e admitir tambm
elemento neutro. Todo monide um semigrupo com elemento neutro.
Grupo
, um grupo sempre que a operao admitir a propriedade associativa, admitir elemento neutro e,
alm disso, todo elemento do conjunto for simetrizvel.
Em outras palavras, podemos dizer que todo grupo um monide, onde todo elemento admite simtrico
em relao operao definida. Lembre-se que provamos, na proposio 2.11, que em um conjunto que admite
propriedade associativa em relao a uma operao , todo elemento simetrizvel regular. Assim, podemos
afirmar que em um grupo, todo elemento regular. Se, em um grupo, tambm admitir a propriedade
comutativa, dizemos que o par , um grupo abeliano.
Neste curso, daremos maior nfase ao estudo dos grupos. Verificaremos exemplos, propriedades dos
elementos, e em seguida, estenderemos o seu conceito, definindo mais de uma operao no mesmo conjunto.

Exemplos: (a) , + um grupo, pois a adio em associativa, possui elemento neutro, e todo
elemento simetrizvel. Alm disso, como a adio de nmeros inteiros comutativa, este grupo abeliano.
VOCE SABIA??
Niels Henrik Abel (Nedstrand, 25 de Agosto de 1802 Froland, 6 de Abril de 1829) foi um matemtico
noruegus. Seu pai, Sren Georg Abel, tinha licenciatura em teologia e filosofia e seu av foi um ativo ministro
protestante em Gjerstad, prximo a Risr. Abel entrou na universidade em 1821, e formou-se em 1822. O
primeiro trabalho relevante de Abel consistiu em demonstrar a impossibilidade de resolver equaes
algbricas de quinto grau usando razes (ver Teorema de Abel-Ruffini). Foi esta, em 1824 sua primeira
investigao publicada, ainda que a demonstrao era difcil e obtusa. Posteriormente se publicou de modo
mais elaborado no primeiro volume do Journal fr die reine und angewandte Mathematik. Em 2002 foi
institudo em sua honra o prmio Abel, outorgado todo ano aos matemticos mais marcantes. Em sua
homenagem o grupo que satisfaz a propriedade comutativa passou a se chamar grupo abeliano.
Fonte: http://pt.wikipedia.org/wiki/Niels_Henrik_Abel
Monide
Grupo

VOCE SABIA??
Monide
Grupo

VOCE SABIA??
??
VOC SABIA?
42
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
43
(b) e um sem|g|upo, po|s a mu|l|p||cao em e assoc|al|va, mas uo adm|le e|emeulo ueul|o.
(c) e um g|up|de, po|s a d|v|so de uume|os |ea|s uo adm|le p|op||edade a|guma.
Se em um g|upo abe||auo esl|ve| del|u|da lambem uma ope|ao que seja assoc|al|va e
d|sl||bul|va em |e|ao a , d|/-se que o l||o e um aue|. um aue| e lambem uma esl|ulu|a a|geb||ca. A
depeude| das p|op||edades que a ope|ao adm|l||, o aue| |ecebe oul|as c|ass|l|caoes. 0 esludo ma|s
dela|hado sob|e aue|s se| le|lo uo p|/|mo compoueule cu|||cu|a|, A|geb|a ll.
Coul|uua|emos, eulo, uossa cam|uhada esludaudo as esl|ulu|as que acabamos de couhece|. lu|c|a|meule
uos dele|emos aos coujuulos l|u|los, po|que ue|es, lemos coud|o de ||sla| lodos os seus e|emeulos, e ||sla|
lodos os |esu|lados da ope|ao eul|e seus e|emeulos. uaudo lemos um coujuulo l|u|lo podemos a||uma| os
e|emeulos, e os |esu|lados da ope|ao eul|e seus e|emeulos em uma labe|a, que se| a lbua da ope|ao.
2.6 - Tbua de uma operao
LFIhI 2.13: Seja uma ope|ao sob|e um coujuulo . |/-se que uma pa|le uo va/|a e lechada
em |e|ao ope|ao se, e someule se pa|a , lem-se
E/emp|os. (a) 0 coujuulo e lechado em |e|ao ad|o e mu|l|p||cao.
(b) uo e lechado em |e|ao d|v|so, po|s .
uaudo um coujuulo e lechado em |e|ao a uma dele|m|uada ope|ao , ao ope|a| do|s e|emeulos de
lemos como |esu|lado lambem um e|emeulo de . Seudo um coujuulo l|u|lo e lechado em |e|ao a ,
couhea a lbua desla ope|ao, uma ve/ que e poss|ve| ||sla| lodos os seus e|emeulos.
Seja
um coujuulo com e|emeulos e uma ope|ao em . A cada pa|
podemos assoc|a| um e|emeulo
. Podemos |ud|ca| o co||espoudeule
, pa|a cada pa|
, al|aves de uma lbua de dup|a eul|ada, cousl|u|da da segu|ule lo|ma.

e|emeulos de

e|emeulos de

A ||uha e a co|uua deslacada so chamadas, |especl|vameule de ||uha luudameula| e co|uua luudameula|.
he|as so d|sposlos os e|emeulos do coujuulo . ado um e|emeulo
da co|uua luudameula| e um e|emeulo

da ||uha luudameula|, o e|emeulo
se| |ep|eseulado pe|a |ule|seco da ||uha com a co|uua

como segue aba|/o.

Voce pe|cebeu que a lbua de uma ope|ao lem o mesmo lo|malo de uma mal||/? 0s e|emeulos de ,
uesla lbua, podem se| |deul|l|cados como os e|emeulos de uma mal||/. Seudo ass|m, os e|emeulos que eslo
sob a lo|ma
lo|mam a d|agoua| p||uc|pa|. Acompauhe a|guus e/emp|os pa|a me|ho| |deul|l|ca| a cousl|uo
desla lbua.
hole que, a lbua de uma ope|ao , del|u|da em um coujuulo que lem ca|d|ua||dade possu|

eul|adas, ou seja, se lodos os e|emeulos de vo se| ope|ados eul|e e|es mesmos, le|emos
coulas a se|em
le|las. Ass|m, um coujuulo com e|emeulos le| uma lbua com eul|adas.
E/emp|os. (a) Seja . Cous|de|e uma ope|ao em , dada po|.

42
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
43
(b) e um sem|g|upo, po|s a mu|l|p||cao em e assoc|al|va, mas uo adm|le e|emeulo ueul|o.
(c) e um g|up|de, po|s a d|v|so de uume|os |ea|s uo adm|le p|op||edade a|guma.
Se em um g|upo abe||auo esl|ve| del|u|da lambem uma ope|ao que seja assoc|al|va e
d|sl||bul|va em |e|ao a , d|/-se que o l||o e um aue|. um aue| e lambem uma esl|ulu|a a|geb||ca. A
depeude| das p|op||edades que a ope|ao adm|l||, o aue| |ecebe oul|as c|ass|l|caoes. 0 esludo ma|s
dela|hado sob|e aue|s se| le|lo uo p|/|mo compoueule cu|||cu|a|, A|geb|a ll.
Coul|uua|emos, eulo, uossa cam|uhada esludaudo as esl|ulu|as que acabamos de couhece|. lu|c|a|meule
uos dele|emos aos coujuulos l|u|los, po|que ue|es, lemos coud|o de ||sla| lodos os seus e|emeulos, e ||sla|
lodos os |esu|lados da ope|ao eul|e seus e|emeulos. uaudo lemos um coujuulo l|u|lo podemos a||uma| os
e|emeulos, e os |esu|lados da ope|ao eul|e seus e|emeulos em uma labe|a, que se| a lbua da ope|ao.
2.6 - Tbua de uma operao
LFIhI 2.13: Seja uma ope|ao sob|e um coujuulo . |/-se que uma pa|le uo va/|a e lechada
em |e|ao ope|ao se, e someule se pa|a , lem-se
E/emp|os. (a) 0 coujuulo e lechado em |e|ao ad|o e mu|l|p||cao.
(b) uo e lechado em |e|ao d|v|so, po|s .
uaudo um coujuulo e lechado em |e|ao a uma dele|m|uada ope|ao , ao ope|a| do|s e|emeulos de
lemos como |esu|lado lambem um e|emeulo de . Seudo um coujuulo l|u|lo e lechado em |e|ao a ,
couhea a lbua desla ope|ao, uma ve/ que e poss|ve| ||sla| lodos os seus e|emeulos.
Seja
um coujuulo com e|emeulos e uma ope|ao em . A cada pa|
podemos assoc|a| um e|emeulo
. Podemos |ud|ca| o co||espoudeule
, pa|a cada pa|
, al|aves de uma lbua de dup|a eul|ada, cousl|u|da da segu|ule lo|ma.

e|emeulos de

e|emeulos de

A ||uha e a co|uua deslacada so chamadas, |especl|vameule de ||uha luudameula| e co|uua luudameula|.
he|as so d|sposlos os e|emeulos do coujuulo . ado um e|emeulo
da co|uua luudameula| e um e|emeulo

da ||uha luudameula|, o e|emeulo
se| |ep|eseulado pe|a |ule|seco da ||uha com a co|uua

como segue aba|/o.

Voce pe|cebeu que a lbua de uma ope|ao lem o mesmo lo|malo de uma mal||/? 0s e|emeulos de ,
uesla lbua, podem se| |deul|l|cados como os e|emeulos de uma mal||/. Seudo ass|m, os e|emeulos que eslo
sob a lo|ma
lo|mam a d|agoua| p||uc|pa|. Acompauhe a|guus e/emp|os pa|a me|ho| |deul|l|ca| a cousl|uo
desla lbua.
hole que, a lbua de uma ope|ao , del|u|da em um coujuulo que lem ca|d|ua||dade possu|

eul|adas, ou seja, se lodos os e|emeulos de vo se| ope|ados eul|e e|es mesmos, le|emos
coulas a se|em
le|las. Ass|m, um coujuulo com e|emeulos le| uma lbua com eul|adas.
E/emp|os. (a) Seja . Cous|de|e uma ope|ao em , dada po|.

44
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
45

Eulo a lbua da ope|ao uo coujuulo , le| eul|adas e e dada po|.

(b) Sejam e a ope|ao de mu|l|p||cao. Logo, a lbua da ope|ao pode se|
|ep|eseulada como aba|/o.

(c) Sejam e a ope|ao de NC (m/|mo d|v|so| comum).
Temos um coujuulo com ca|d|ua||dade eulo, sua lbua le|
eul|adas como segue.

9RFrSHUFHEHXFRPRILFDPDLVVLPSOHVYLVXDOL]DUDRSHUDomRHPXPFRQMXQWRTXDQGRRGLVSRPRVHPVXD
WiEXD"$OJXPDVGDVSURSULHGDGHVGHXPDRSHUDomRWDPEpPSRGHPVHULGHQWLILFDGDVVHFRQKHFHUPRVDWiEXD

da |ele||da ope|ao. Aules de couhece| como |deul|l|ca| p|op||edades ua lbua de uma ope|ao,
couhece|emos um coujuulo muu|do de uma ope|ao baslaule |mpo|laule. a pe|mulao, com a ope|ao de
compos|o. E|a se ap|eseula ua lo|ma de uma b|jeo, ou como uma |eo|deuao dos e|emeulos de um
coujuulo.
E/emp|o. Seja e cous|de|e
o coujuulo de pe|mulaoes em dado po|.

a a a a
b b b b
c c c c

a a
b b
c c l|gu|a 11. adaplado pe|o aulo|.

Pa|a um me|ho| euleud|meulo do coujuulo das pe|mulaoes, o ap|eseulamos al|aves de d|ag|amas, mas
lambem podemos |ep|eseula| esle coujuulo de pe|mulao da segu|ule lo|ma.
em que
em que
em que
.
hesle coujuulo, del|u||emos a ope|ao de compos|o () de luuoes. hole que ao compo| as luuoes
dadas em , eucoul|a|emos uovameule uma das luuoes dadas uo p|p||o coujuulo , |slo e, e um coujuulo
lechado pa|a a ope|ao de compos|o de luuoes. Pa|a eucoul|a| a lbua desla ope|ao le|emos que elelua|
os composlos.
. l|usl|a|emos
dela|hadameule como ca|cu|a| a|guus desles composlos. AcompauheRFiOFXORGH
E
F
D
E
F
D
E

D
E
F
D
E
F

E
F
b
*
*
*
44
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
45

Eulo a lbua da ope|ao uo coujuulo , le| eul|adas e e dada po|.

(b) Sejam e a ope|ao de mu|l|p||cao. Logo, a lbua da ope|ao pode se|
|ep|eseulada como aba|/o.

(c) Sejam e a ope|ao de NC (m/|mo d|v|so| comum).
Temos um coujuulo com ca|d|ua||dade eulo, sua lbua le|
eul|adas como segue.

9RFrSHUFHEHXFRPRILFDPDLVVLPSOHVYLVXDOL]DUDRSHUDomRHPXPFRQMXQWRTXDQGRRGLVSRPRVHPVXD
WiEXD"$OJXPDVGDVSURSULHGDGHVGHXPDRSHUDomRWDPEpPSRGHPVHULGHQWLILFDGDVVHFRQKHFHUPRVDWiEXD

da |ele||da ope|ao. Aules de couhece| como |deul|l|ca| p|op||edades ua lbua de uma ope|ao,
couhece|emos um coujuulo muu|do de uma ope|ao baslaule |mpo|laule. a pe|mulao, com a ope|ao de
compos|o. E|a se ap|eseula ua lo|ma de uma b|jeo, ou como uma |eo|deuao dos e|emeulos de um
coujuulo.
E/emp|o. Seja e cous|de|e
o coujuulo de pe|mulaoes em dado po|.

a a a a
b b b b
c c c c

a a
b b
c c l|gu|a 11. adaplado pe|o aulo|.

Pa|a um me|ho| euleud|meulo do coujuulo das pe|mulaoes, o ap|eseulamos al|aves de d|ag|amas, mas
lambem podemos |ep|eseula| esle coujuulo de pe|mulao da segu|ule lo|ma.
em que
em que
em que
.
hesle coujuulo, del|u||emos a ope|ao de compos|o () de luuoes. hole que ao compo| as luuoes
dadas em , eucoul|a|emos uovameule uma das luuoes dadas uo p|p||o coujuulo , |slo e, e um coujuulo
lechado pa|a a ope|ao de compos|o de luuoes. Pa|a eucoul|a| a lbua desla ope|ao le|emos que elelua|
os composlos.
. l|usl|a|emos
dela|hadameule como ca|cu|a| a|guus desles composlos. AcompauheRFiOFXORGH
E
F
D
E
F
D
E

D
E
F
D
E
F

E
F
46
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
47
,
|slo uos mosl|a que
. Veja ago|a o c|cu|o do composlo
,
|slo uos mosl|a que
. Ass|m, de maue||a au|oga, podemos ca|cu|a| os dema|s composlos e

cousl|u|| a lbua da ope|ao compos|o como segue.

Pa|a comp|eeude| me|ho| o c|cu|o dos composlos, acompauhe o p|ocesso semp|e cousu|laudo o
d|ag|ama de l|echas ap|eseulado. Sug||o que voce laa o c|cu|o de lodos os composlos ap|eseulado ua lbua
da ope|ao.
Como j hav|amos meuc|ouado, a|gumas das p|op||edades de uma ope|ao em um coujuulo podem se|
|deul|l|cadas med|aule uma au||se de sua lbua. Couhea ago|a como la/e| esla |deul|l|cao.
vP|op||edade Comulal|va.
uaudo uma ope|ao e comulal|va, a lbua e s|mel||ca em |e|ao d|agoua| p||uc|pa|, ou seja,
os e|emeulos da lo|ma
so |gua|s aos e|emeulos
. A lbua ap|eseulada aba|/o, oude e a

ope|ao de mu|l|p||cao usua|, e/emp||l|ca uma ope|ao comulal|va.

hole que lemos as |gua|dades.
.
vE|emeulo heul|o
uaudo uma ope|ao possu| e|emeulo ueul|o, a ||uha e a co|uua oude esse e|emeulo se eucoul|a
so |gua|s ||uha e co|uua luudameula|, ou seja, coulem em mesma pos|o, os e|emeulos do
coujuulo uo qua| esl del|u|da a ope|ao. Cous|de|e a ope|ao de , del|u|da uo coujuulo
. 0bse|ve sua lbua e veja que o e|emeulo e o e|emeulo ueul|o.

hole que a ||uha e a co|uua do e|emeulo so |gua|s, |especl|vameule, s ||uha e co|uua
luudameula|.
vE|emeulos S|mel||/ve|s
Lemb|audo da del|u|o 2.7, lemos que um e|emeulo e s|mel||/ve| em |e|ao a uma ope|ao
, que possu| e|emeulo ueul|o , se e/|sle la| que.
. Seudo ass|m, ua
lbua da ope|ao , ua ||uha de deve apa|ece| pe|o meuos um composlo |gua| a , ua co|uua de
lambem deve apa|ece| pe|o meuos um composlo |gua| a , o e|emeulo e s|mel||/ve| quaudo o
e|emeulo ueul|o apa|ece, pe|o meuos uma ve/, ua ||uha e ua co|uua de em pos|oes s|mel||cas
d|agoua| p||uc|pa|. Se po| a|gum acaso o e|emeulo ueul|o apa|ece| ua d|agoua| p||uc|pa|, lemos que o

46
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
47
,
|slo uos mosl|a que
. Veja ago|a o c|cu|o do composlo
,
|slo uos mosl|a que
. Ass|m, de maue||a au|oga, podemos ca|cu|a| os dema|s composlos e

cousl|u|| a lbua da ope|ao compos|o como segue.

Pa|a comp|eeude| me|ho| o c|cu|o dos composlos, acompauhe o p|ocesso semp|e cousu|laudo o
d|ag|ama de l|echas ap|eseulado. Sug||o que voce laa o c|cu|o de lodos os composlos ap|eseulado ua lbua
da ope|ao.
Como j hav|amos meuc|ouado, a|gumas das p|op||edades de uma ope|ao em um coujuulo podem se|
|deul|l|cadas med|aule uma au||se de sua lbua. Couhea ago|a como la/e| esla |deul|l|cao.
vP|op||edade Comulal|va.
uaudo uma ope|ao e comulal|va, a lbua e s|mel||ca em |e|ao d|agoua| p||uc|pa|, ou seja,
os e|emeulos da lo|ma
so |gua|s aos e|emeulos
. A lbua ap|eseulada aba|/o, oude e a

ope|ao de mu|l|p||cao usua|, e/emp||l|ca uma ope|ao comulal|va.

hole que lemos as |gua|dades.
.
vE|emeulo heul|o
uaudo uma ope|ao possu| e|emeulo ueul|o, a ||uha e a co|uua oude esse e|emeulo se eucoul|a
so |gua|s ||uha e co|uua luudameula|, ou seja, coulem em mesma pos|o, os e|emeulos do
coujuulo uo qua| esl del|u|da a ope|ao. Cous|de|e a ope|ao de , del|u|da uo coujuulo
. 0bse|ve sua lbua e veja que o e|emeulo e o e|emeulo ueul|o.

hole que a ||uha e a co|uua do e|emeulo so |gua|s, |especl|vameule, s ||uha e co|uua
luudameula|.
vE|emeulos S|mel||/ve|s
Lemb|audo da del|u|o 2.7, lemos que um e|emeulo e s|mel||/ve| em |e|ao a uma ope|ao
, que possu| e|emeulo ueul|o , se e/|sle la| que.
. Seudo ass|m, ua
lbua da ope|ao , ua ||uha de deve apa|ece| pe|o meuos um composlo |gua| a , ua co|uua de
lambem deve apa|ece| pe|o meuos um composlo |gua| a , o e|emeulo e s|mel||/ve| quaudo o
e|emeulo ueul|o apa|ece, pe|o meuos uma ve/, ua ||uha e ua co|uua de em pos|oes s|mel||cas
d|agoua| p||uc|pa|. Se po| a|gum acaso o e|emeulo ueul|o apa|ece| ua d|agoua| p||uc|pa|, lemos que o

*
*
48
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
49
e|emeulo e s|mel||co de|e mesmo. Vamos |deul|l|ca| e|emeulos s|mel||/ve|s ua lbua da ope|ao
aba|/o, que |ep|eseula a compos|o de luuoes do coujuulo

hole que o e|emeulo ueul|o e o
. 0s e|emeulos s|mel||/ve|s so
, e os seus
s|mel||cos so |especl|vameule
.
vE|emeulos Regu|a|es
V|mos que. um e|emeulo e |egu|a| quaudo composlo com e|emeulos d|le|eules ( esque|da ou
d||e|la), p|odu/ |esu|lados d|le|eules. Ass|m, um e|emeulo e |egu|a| se em sua ||uha e co|uua uo
apa|ece e|emeulos |gua|s. Veja um e/emp|o. cous|de|e o coujuulo e a ope|ao
dada pe|a lbua a segu||.

0s e|emeulos |egu|a|es so e po|s ua ||uha e co|uua desles e|emeulos uo apa|ecem
e|emeulos |epel|dos.
Voce deve le| uolado que uo meuc|ouamos a p|op||edade assoc|al|va. Sabemos que uma ope|ao
sob|e um coujuulo e assoc|al|va se, pa|a
lemos a segu|ule |gua|dade.
. Logo, pa|a ve||l|ca| se uma ope|ao e assoc|al|va, le|emos que elelua| la|s c|cu|os. ho
lemos coud|o de ve||l|ca| se uma ope|ao e assoc|al|va, obse|vaudo s|mp|esmeule sua lbua, sem elelua|
a|guus c|cu|os. Esles c|cu|os podem se| |ougos e s ve/es l|aba|hosos.
Espe|o que voce leuha comp|eeud|do bem a |de|a da |ep|eseulao de uma ope|ao em um coujuulo
com o uso de uma lbua de duas eul|adas, chamada lbua da ope|ao. V|u que ao obse|va| o compo|lameulo
dos e|emeulos ua lbua podemos |deul|l|ca| a|gumas de suas p|op||edades? Em segu|da, couhece|emos um
coujuulo mu|lo espec|a|, e del|u||emos duas ope|aoes |mpo|laules ue|e. esejo que coul|uue com al|uco seus
esludos. Po| euquaulo, leule |eso|ve| as al|v|dades p|oposlas a segu||.

SuEST0ES E ATlVlAES
O1. So ve|dade||as ou la|sas as segu|ules al||maoes. Jusl|l|que.
a) Toda ap||cao b|uu|voca e sob|ejelo|a.
b) Toda ap||cao de em e uma sob|ejeo de sob|e
c) A ap||cao que a cada sem|-|ela assoc|a a sua o||gem e |ujelo|a.
d) A ap||cao que a cada poulo de um c||cu|o assoc|a o pe da
e) pe|peud|cu|a| l|aada desle poulo a um d|mel|o do c||cu|o uo e b|jelo|a.
l) A ap||cao que a cada poulo do p|auo assoc|a a sua absc|ssa e uma ap||cao sob|ejelo|a.
g) A ap||cao que a cada po||gouo assoc|a a soma dos seus ugu|os |ule|uos e b|jelo|a.

O2. Ve||l|que se as ap||caoes dadas so ope|aoes |ule|uas.
a) , em,
b) , em,
c) ma|o| dos |ule||os eul|e e ,
d) , em .,
e) oude ,
l) oude ,
g)
, oude

h) oude .

O8. A mu|l|p||cao e uma ope|ao |ule|ua uo coujuulo
{ mal||/es quad|adas de o|dem 2 com

eul|adas em }.
a) A ope|ao adm|le e|emeulo ueul|o? ua| e e|e?
48
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
49
e|emeulo e s|mel||co de|e mesmo. Vamos |deul|l|ca| e|emeulos s|mel||/ve|s ua lbua da ope|ao
aba|/o, que |ep|eseula a compos|o de luuoes do coujuulo

hole que o e|emeulo ueul|o e o
. 0s e|emeulos s|mel||/ve|s so
, e os seus
s|mel||cos so |especl|vameule
.
vE|emeulos Regu|a|es
V|mos que. um e|emeulo e |egu|a| quaudo composlo com e|emeulos d|le|eules ( esque|da ou
d||e|la), p|odu/ |esu|lados d|le|eules. Ass|m, um e|emeulo e |egu|a| se em sua ||uha e co|uua uo
apa|ece e|emeulos |gua|s. Veja um e/emp|o. cous|de|e o coujuulo e a ope|ao
dada pe|a lbua a segu||.

0s e|emeulos |egu|a|es so e po|s ua ||uha e co|uua desles e|emeulos uo apa|ecem
e|emeulos |epel|dos.
Voce deve le| uolado que uo meuc|ouamos a p|op||edade assoc|al|va. Sabemos que uma ope|ao
sob|e um coujuulo e assoc|al|va se, pa|a
lemos a segu|ule |gua|dade.
. Logo, pa|a ve||l|ca| se uma ope|ao e assoc|al|va, le|emos que elelua| la|s c|cu|os. ho
lemos coud|o de ve||l|ca| se uma ope|ao e assoc|al|va, obse|vaudo s|mp|esmeule sua lbua, sem elelua|
a|guus c|cu|os. Esles c|cu|os podem se| |ougos e s ve/es l|aba|hosos.
Espe|o que voce leuha comp|eeud|do bem a |de|a da |ep|eseulao de uma ope|ao em um coujuulo
com o uso de uma lbua de duas eul|adas, chamada lbua da ope|ao. V|u que ao obse|va| o compo|lameulo
dos e|emeulos ua lbua podemos |deul|l|ca| a|gumas de suas p|op||edades? Em segu|da, couhece|emos um
coujuulo mu|lo espec|a|, e del|u||emos duas ope|aoes |mpo|laules ue|e. esejo que coul|uue com al|uco seus
esludos. Po| euquaulo, leule |eso|ve| as al|v|dades p|oposlas a segu||.

SuEST0ES E ATlVlAES

a) , em,
b) , em,
d) , em .,
e) oude ,
l) oude ,
g)
, oude

h) oude .


eul|adas em }.


a) , em,
b) , em,
d) , em .,
e) oude ,
l) oude ,
g)
, oude

h) oude .


eul|adas em }.
b)ele|m|ue, se e/|sl||, o e|emeulo s|mel||co de e de ,
sabeudo que

e

.

O4. C|ass|l|que, se poss|ve|, cada um dos pa|es, , aba|/o em g|up|de, sem|g|upo, mou|de ou g|upo.
(Se poss|ve|, use dados j eucoul|ados em e/e|c|c|os aule||o|es
a) oude ,
)
b) oude ma|o| dos |ule||os ou ,
c) oude e = {uume|os |ule||os pa|es},
d) oude ,
e) , oude
,
l) , oude ,
g) , oude ,
h) ', oude e ' , .
O5. Seja e cous|de|e a ope|ao uu|o de coujuulos em .
a) laa a lbua da ope|ao.
50
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
51

3 - 0hJhT

Couhece|emos ago|a um dos coujuulos ma|s espec|a|s que esluda|emos uesle cu|so de |geb|a. o
coujuulo
em que e um ualu|a| ma|o| que . Pa|a pode| couhece| me|ho| esle coujuulo, lemos que aules
couhece| a |e|ao de equ|va|euc|a que o dele|m|ua.
3.1 - e|ao de 0ongrunc|a Ndu|o
LFIhI 3.1: Sejam um |ule||o , e . |/-se que e coug|ueule a mdu|o se, e someule
se, . usa|emos a segu|ule uolao. .
E/emp|os. (a) Veja que po|s , ou seja, .
(b) po|s .
(c) po|s .
Aqu|, e/c|u|mos da del|u|o os casos em que ou . lslo po|que se a |e|ao de
coug|ueuc|a s acoulece de , e quaudo , do|s |ule||os qua|sque| so semp|e coug|ueules, uma ve/
que d|v|de qua|que| |ule||o.
FF8I 3.2: A |e|ao de coug|ueuc|a mdu|o e uma |e|ao de equ|va|euc|a.
P|ova. Sejam , eulo.
|ogo , po|laulo e |el|e/|va,
Supoudo que lemos que , |slo s|gu|l|ca que e/|sle la| que
, ou seja , o que uos |eva a . Po|laulo lemos , e a |e|ao e
s|mel||ca.
Supoudo que e . a|,

,
de lemos
. Podemos couc|u|| eulo que e, po|laulo

. Logo, a |e|ao e l|aus|l|va.


a) , em,
b) , em,
d) , em .,
e) oude ,
l) oude ,
g)
, oude

h) oude .


eul|adas em }.
b)ele|m|ue, se e/|sl||, o e|emeulo s|mel||co de e de ,
sabeudo que

e

.

O4. C|ass|l|que, se poss|ve|, cada um dos pa|es, , aba|/o em g|up|de, sem|g|upo, mou|de ou g|upo.
(Se poss|ve|, use dados j eucoul|ados em e/e|c|c|os aule||o|es
a) oude ,
)
b) oude ma|o| dos |ule||os ou ,
c) oude e = {uume|os |ule||os pa|es},
d) oude ,
e) , oude
,
l) , oude ,
g) , oude ,
h) ', oude e ' , .
O5. Seja e cous|de|e a ope|ao uu|o de coujuulos em .
a) laa a lbua da ope|ao.
E2TXHVHSRGHFRQFOXLUTXDQWRDFRPXWDWLYLGDGHGDRSHUDomR"
F2TXHVHREVHUYDQDOLQKDORJRDEDL[RGDOLQKDIXQGDPHQWDOHQDFROXQDORJRjGLUHLWDGDFROXQDIXQGDPHQWDO"
2TXHYRFrFRQFOXL"
GWHPHOHPHQWRVUHJXODUHVSDUDDRSHUDomRUHXQLmR"4XDLV"
H(HOHPHQWRVVLPHWUL]iYHLV"4XDLV"
I&RPRVHFODVVLILFDDHVWUXWXUDDOJpEULFD "
50
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
51

3 - 0hJhT

Couhece|emos ago|a um dos coujuulos ma|s espec|a|s que esluda|emos uesle cu|so de |geb|a. o
coujuulo
em que e um ualu|a| ma|o| que . Pa|a pode| couhece| me|ho| esle coujuulo, lemos que aules
couhece| a |e|ao de equ|va|euc|a que o dele|m|ua.
3.1 - e|ao de 0ongrunc|a Ndu|o
LFIhI 3.1: Sejam um |ule||o , e . |/-se que e coug|ueule a mdu|o se, e someule
se, . usa|emos a segu|ule uolao. .
E/emp|os. (a) Veja que po|s , ou seja, .
(b) po|s .
(c) po|s .
Aqu|, e/c|u|mos da del|u|o os casos em que ou . lslo po|que se a |e|ao de
coug|ueuc|a s acoulece de , e quaudo , do|s |ule||os qua|sque| so semp|e coug|ueules, uma ve/
que d|v|de qua|que| |ule||o.
FF8I 3.2: A |e|ao de coug|ueuc|a mdu|o e uma |e|ao de equ|va|euc|a.
P|ova. Sejam , eulo.
|ogo , po|laulo e |el|e/|va,
Supoudo que lemos que , |slo s|gu|l|ca que e/|sle la| que
, ou seja , o que uos |eva a . Po|laulo lemos , e a |e|ao e
s|mel||ca.
Supoudo que e . a|,

,
de lemos
. Podemos couc|u|| eulo que e, po|laulo

. Logo, a |e|ao e l|aus|l|va.
52
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
53
e e podemos couc|u|| que e uma |e|ao de equ|va|euc|a .
A |e|ao de coug|ueuc|a possu| oul|as p|op||edades. Como uosso objel|vo aqu| e la/e| a cousl|uo do
coujuulo
, as ap|eseula|emos sem demousl|ao. Sug||o que cousu|le os ||v|os |ud|cados uas |ele|euc|as
desle male||a| pa|a eucoul|a| la|s demousl|aoes.
P|op||edades.
v ,
v ,
v e ,
v e ,
v , .
Sug||o que voce leule la/e| a p|ova de cada uma deslas p|op||edades. Pa|a |ea||/-|as basla ap||ca| a
del|u|o de coug|ueuc|a. Teuho ce|le/a que le| sucesso uesla al|v|dade!
J que a |e|ao de coug|ueuc|a mdu|o e uma |e|ao de equ|va|euc|a, podemos eulo peusa| em
c|asses de equ|va|euc|a. Aules de ca|cu|-|as, vamos acompauha| um leo|ema |mpo|laule pa|a a cousl|uo do
coujuulo
TLLNA 3.3:6HMDP (QWmR VHHVRPHQWHVHHGHL[DPRPHVPR

UHVWRTXDQGRGLYLGLGRVSRU
6XSRQKD TXH (QWmR H[LVWH WDO TXH SHOR DOJRULWPR GD GLYLVmR
H[LVWHP
H WDLVTXH
RQGH $VVLP

RQGH /RJRHGHL[DPRPHVPRUHVWRTXDQGRGLYLGLGRVSRU
5HFLSURFDPHQWHVHHGHL[DPRPHVPRUHVWRTXDQGRGLYLGLGRVSRUSRGHPRVHVFUHYHU
HP TXH
H (QWmR
/RJR
E/emp|os. (a) Se de|/a |eslo e lambem de|/a |eslo , eulo .
(b) Se de|/a |eslo e lambem de|/a |eslo , eulo .
0LI 3.3.1. Se e e o |eslo da d|v|so de po| , em que , eulo .
Seudo o |eslo da d|v|so de po| , lemos , o que uos |eva a
. Ass|m .
E/emp|os. (a) ua| o va|o| de , se ?
Pe|o co|o|||o aule||o|, como o |eslo da d|v|so de po| e , lemos que , |ogo,
. Po|laulo, e um uume|o |mpa|.
(b) ua| o va|o| de , sabeudo que ?
Pe|o del|u|o de coug|ueuc|a, , |ogo, , com . Po|laulo, e um uume|o da
lo|ma .
Esle |esu|lado uos mosl|a que um dele|m|uado esl |e|ac|ouado com mdu|o , se / de|/a o mesmo
|eslo que quaudo d|v|d|do po| . E ma|s. lodos os |ule||os que de|/am o mesmo |eslo que quaudo d|v|d|dos
po| lambem eslo |e|ac|ouados com . Ass|m podemos euleude| me|ho| as c|asses de equ|va|euc|a
dele|m|uadas pe|a |e|ao de coug|ueuc|a mdu|o . E|as cousl|luem o coujuulo
.
3.2 - 0|asse de Lqu|va|nc|a da e|ao de 0ongrunc|a
LFIhI 3.4: Sejam , com . Chama-se c|asse de equ|va|euc|a dele|m|uada po| mdu|o
o coujuulo.
ou
ou .

0 coujuulo das c|asses de equ|va|euc|a mdu|o e chamado de coujuulo dos |ule||os mdu|o e se|
|ud|cado po|
. e aco|do com o leo|ema 8.8, a c|asse de equ|va|euc|a de um |ule||o mdu|o e composla

po| lodos |ule||os que de|/am o mesmo |eslo que de|/a quaudo d|v|d|do po| . Seudo ass|m, as
poss|b|||dades de de|/a| |eslo quaudo d|v|d|do po| , se| e/alameule um dos casos. , j
que pe|o a|go||lmo da d|v|so o |eslo lem que se| ma|o| ou |gua| a /e|o e meuo| que o d|v|so|, uesle caso, .
52
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
53
e e podemos couc|u|| que e uma |e|ao de equ|va|euc|a .
A |e|ao de coug|ueuc|a possu| oul|as p|op||edades. Como uosso objel|vo aqu| e la/e| a cousl|uo do
coujuulo
, as ap|eseula|emos sem demousl|ao. Sug||o que cousu|le os ||v|os |ud|cados uas |ele|euc|as
desle male||a| pa|a eucoul|a| la|s demousl|aoes.
P|op||edades.
v ,
v ,
v e ,
v e ,
v , .
Sug||o que voce leule la/e| a p|ova de cada uma deslas p|op||edades. Pa|a |ea||/-|as basla ap||ca| a
del|u|o de coug|ueuc|a. Teuho ce|le/a que le| sucesso uesla al|v|dade!
J que a |e|ao de coug|ueuc|a mdu|o e uma |e|ao de equ|va|euc|a, podemos eulo peusa| em
c|asses de equ|va|euc|a. Aules de ca|cu|-|as, vamos acompauha| um leo|ema |mpo|laule pa|a a cousl|uo do
coujuulo
TLLNA 3.3:6HMDP (QWmR VHHVRPHQWHVHHGHL[DPRPHVPR

UHVWRTXDQGRGLYLGLGRVSRU
6XSRQKD TXH (QWmR H[LVWH WDO TXH SHOR DOJRULWPR GD GLYLVmR
H[LVWHP
H WDLVTXH
RQGH $VVLP

RQGH /RJRHGHL[DPRPHVPRUHVWRTXDQGRGLYLGLGRVSRU
5HFLSURFDPHQWHVHHGHL[DPRPHVPRUHVWRTXDQGRGLYLGLGRVSRUSRGHPRVHVFUHYHU
HP TXH
H (QWmR
/RJR
E/emp|os. (a) Se de|/a |eslo e lambem de|/a |eslo , eulo .
(b) Se de|/a |eslo e lambem de|/a |eslo , eulo .
0LI 3.3.1. Se e e o |eslo da d|v|so de po| , em que , eulo .
Seudo o |eslo da d|v|so de po| , lemos , o que uos |eva a
. Ass|m .
E/emp|os. (a) ua| o va|o| de , se ?
Pe|o co|o|||o aule||o|, como o |eslo da d|v|so de po| e , lemos que , |ogo,
. Po|laulo, e um uume|o |mpa|.
(b) ua| o va|o| de , sabeudo que ?
Pe|o del|u|o de coug|ueuc|a, , |ogo, , com . Po|laulo, e um uume|o da
lo|ma .
Esle |esu|lado uos mosl|a que um dele|m|uado esl |e|ac|ouado com mdu|o , se / de|/a o mesmo
|eslo que quaudo d|v|d|do po| . E ma|s. lodos os |ule||os que de|/am o mesmo |eslo que quaudo d|v|d|dos
po| lambem eslo |e|ac|ouados com . Ass|m podemos euleude| me|ho| as c|asses de equ|va|euc|a
dele|m|uadas pe|a |e|ao de coug|ueuc|a mdu|o . E|as cousl|luem o coujuulo
.
3.2 - 0|asse de Lqu|va|nc|a da e|ao de 0ongrunc|a
LFIhI 3.4: Sejam , com . Chama-se c|asse de equ|va|euc|a dele|m|uada po| mdu|o
o coujuulo.
ou
ou .

0 coujuulo das c|asses de equ|va|euc|a mdu|o e chamado de coujuulo dos |ule||os mdu|o e se|
|ud|cado po|
. e aco|do com o leo|ema 8.8, a c|asse de equ|va|euc|a de um |ule||o mdu|o e composla

po| lodos |ule||os que de|/am o mesmo |eslo que de|/a quaudo d|v|d|do po| . Seudo ass|m, as
poss|b|||dades de de|/a| |eslo quaudo d|v|d|do po| , se| e/alameule um dos casos. , j
que pe|o a|go||lmo da d|v|so o |eslo lem que se| ma|o| ou |gua| a /e|o e meuo| que o d|v|so|, uesle caso, .
54
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
55
J v|mos, ua p|opos|o 1.8, que se do|s e|emeulos eslo |e|ac|ouados po| uma |e|ao de equ|va|euc|a,
eulo e|es possuem a mesma c|asse de equ|va|euc|a. Ass|m as c|asses de equ|va|euc|a dele|m|uadas pe|a
|e|ao de coug|ueuc|a mdu|o so dadas po| . Eulo podemos couc|u|| que o coujuulo
e dado po|.
.
A|em d|sso, de aco|do com a del|u|o 8.4e o a|go||lmo da d|v|so, as c|asses de equ|va|euc|a
dele|m|uadas pe|a |e|ao de coug|ueuc|a mdu|o , lambem podem se| e/p|essas' da segu|ule lo|ma.
.
E/emp|os. (a) Pa|a , lemos.

|ogo,
.
(b) Pa|a , lemos.

|ogo,
.
(c) Pa|a , lemos.

|ogo,
.
Voce deve le| uolado que as c|asses de equ|va|euc|a so composlas pe|os |ule||os, que quaudo d|v|d|dos
po| , de|/am |eslo |gua| ao uume|o co||espoudeule c|asse de equ|va|euc|a, ou seja, a c|asse de equ|va|euc|a
e lo|mada pe|os |ule||os que d|v|d|dos po| de|/am |eslo .
hole lambem que a c|asse e equ|va|eule c|asse mdu|o , uma ve/ que ao d|v|d||mos po|
oblemos |eslo /e|o, ass|m, e, po|laulo, e|es dele|m|uam a mesma c|asse de equ|va|euc|a.
Seudo ass|m, po| e/emp|o, em
lem-se , em
lem-se e em
lem-se .
0 coujuulo
lambem e deuom|uado de coujuulo das c|asses |es|dua|s mdu|o . Cada c|asse |es|dua|
mdu|o , e uma c|asse de equ|va|euc|a mdu|o e co|uc|de com a c|asse dos poss|ve|s |eslos da d|v|so po|
.
uma ve/ couhec|do o coujuulo
, del|u||emos eulo as ope|aoes |ule|uas uesle coujuulo.

Pa|l|cu|a|meule, se|o del|u|das as ope|aoes de ad|o e mu|l|p||cao e, em segu|da, se|o ve||l|cadas suas
p|op||edades.
2SHUDo}HVHP

Em um coujuulo
, , eslo del|u|das duas ope|aoes |ule|uas, a ad|o e a mu|l|p||cao. Pa|a

del|u|| eslas ope|aoes |ule|uas, veja a|gumas pa|l|cu|a||dades em |e|ao s c|asses |es|dua|s.
FF8I 3.6: Se
eulo
.
P|ova. Se
eulo
, se
eulo
. Pe|as p|op||edades v|slas

lemos que
. Ass|m,
. Po| oul|o |ado, lambem usaudo as

p|op||edades da coug|ueuc|a,
. Ass|m, lemos
.
Esla p|opos|o uos assegu|a a |eg|l|m|dade das del|u|oes a segu||, ou seja, as ope|aoes de ad|o e
mu|l|p||cao a se|em del|u|das, |udepeudem do |ep|eseulaule esco|h|do pa|a a c|asse.
3.3.1 - Ad|o em

LFIhI 3.6: adas duas c|asses
, |udepeudeule do |ep|eseulaule que se lome pa|a cada c|asse,

del|ue -se. .
A ope|ao de ad|o ac|ma del|u|da possu| as segu|ules p|op||edades.
54
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
55
J v|mos, ua p|opos|o 1.8, que se do|s e|emeulos eslo |e|ac|ouados po| uma |e|ao de equ|va|euc|a,
eulo e|es possuem a mesma c|asse de equ|va|euc|a. Ass|m as c|asses de equ|va|euc|a dele|m|uadas pe|a
|e|ao de coug|ueuc|a mdu|o so dadas po| . Eulo podemos couc|u|| que o coujuulo
e dado po|.
.
A|em d|sso, de aco|do com a del|u|o 8.4e o a|go||lmo da d|v|so, as c|asses de equ|va|euc|a
dele|m|uadas pe|a |e|ao de coug|ueuc|a mdu|o , lambem podem se| e/p|essas' da segu|ule lo|ma.
.
E/emp|os. (a) Pa|a , lemos.

|ogo,
.
(b) Pa|a , lemos.

|ogo,
.
(c) Pa|a , lemos.

|ogo,
.
Voce deve le| uolado que as c|asses de equ|va|euc|a so composlas pe|os |ule||os, que quaudo d|v|d|dos
po| , de|/am |eslo |gua| ao uume|o co||espoudeule c|asse de equ|va|euc|a, ou seja, a c|asse de equ|va|euc|a
e lo|mada pe|os |ule||os que d|v|d|dos po| de|/am |eslo .
hole lambem que a c|asse e equ|va|eule c|asse mdu|o , uma ve/ que ao d|v|d||mos po|
oblemos |eslo /e|o, ass|m, e, po|laulo, e|es dele|m|uam a mesma c|asse de equ|va|euc|a.
Seudo ass|m, po| e/emp|o, em
lem-se , em
lem-se e em
lem-se .
0 coujuulo
lambem e deuom|uado de coujuulo das c|asses |es|dua|s mdu|o . Cada c|asse |es|dua|
mdu|o , e uma c|asse de equ|va|euc|a mdu|o e co|uc|de com a c|asse dos poss|ve|s |eslos da d|v|so po|
.
uma ve/ couhec|do o coujuulo
, del|u||emos eulo as ope|aoes |ule|uas uesle coujuulo.

Pa|l|cu|a|meule, se|o del|u|das as ope|aoes de ad|o e mu|l|p||cao e, em segu|da, se|o ve||l|cadas suas
p|op||edades.
2SHUDo}HVHP

Em um coujuulo
, , eslo del|u|das duas ope|aoes |ule|uas, a ad|o e a mu|l|p||cao. Pa|a

del|u|| eslas ope|aoes |ule|uas, veja a|gumas pa|l|cu|a||dades em |e|ao s c|asses |es|dua|s.
FF8I 3.6: Se
eulo
.
P|ova. Se
eulo
, se
eulo
. Pe|as p|op||edades v|slas

lemos que
. Ass|m,
. Po| oul|o |ado, lambem usaudo as

p|op||edades da coug|ueuc|a,
. Ass|m, lemos
.
Esla p|opos|o uos assegu|a a |eg|l|m|dade das del|u|oes a segu||, ou seja, as ope|aoes de ad|o e
mu|l|p||cao a se|em del|u|das, |udepeudem do |ep|eseulaule esco|h|do pa|a a c|asse.
3.3.1 - Ad|o em


del|ue -se. .
A ope|ao de ad|o ac|ma del|u|da possu| as segu|ules p|op||edades.
56
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
57
6H
HQWmR /RJRDDGLomRHP
pFRPXWDWLYD
v3URSULHGDGH$VVRFLDWLYD
6H
HQWmR
/RJRDDGLomRHP
pDVVRFLDWLYD
v(OHPHQWR1HXWUR
6H
eulo e . Ass|m, e o e|emeulo ueul|o da ad|o

em
.
vE|emeulo S|mel||/ve|
Se
, eulo o e|emeulo
e la| que . Seudo ass|m,

se
, o seu s|mel||co em |e|ao ope|ao de ad|o e
.
uma ve/ que j couhecemos as p|op||edades da ad|o em
podemos cousl|u|| um e/emp|o,

|ep|eseulaudo esla ope|ao al|aves da sua lbua.
E/emp|o. Cousl|u|| a lbua da ad|o em
.
Temos que
. Acompauhe o c|cu|o de a|guus composlos da ad|o.

Logo, de maue||a au|oga ao e/poslo ac|ma lemos a segu|ule lbua.

Voce pode pe|cebe| que podemos |deul|l|ca| a|gumas das p|op||edades da ope|ao po| obse|vao da
sua lbua. Podemos eulo al||ma| que. e o seu e|emeulo ueul|o, que a ope|ao e comulal|va dev|do
|gua|dade que e/|sle eul|e os e|emeulos s|mel||cos em |e|ao d|agoua| p||uc|pa| e que lodos os e|emeulos so
s|mel||/ve|s.
3.3.2 - Nu|I|p||cao em


del|ue -se.

.
A ope|ao de mu|l|p||cao ac|ma del|u|da possu| as segu|ules p|op||edades.
Se
eulo . Logo, a mu|l|p||cao em
e comulal|va.
Se
eulo .
Logo, a mu|l|p||cao em
e assoc|al|va.
vE|emeulo heul|o
Se
eulo e . Ass|m, e o e|emeulo ueul|o da mu|l|p||cao

em
.
A ope|ao de mu|l|p||cao em
adm|le e|emeulos s|mel||/ve|s em a|guus casos. Pa|a ca|acle||/a|

la|s e|emeulos, acompauhe a p|opos|o a segu||.
FF8I 3.B: Seja
, eulo e s|mel||/ve| se, e someule se, .

P|ova. Supouha que seja s|mel||/ve| e seja o seu s|mel||co. a|, lemos que , ou seja,
. Logo, , eulo e lemos pa|a a|gum . lslo uos |eva a
, doude couc|u|mos
56
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
57
6H
HQWmR /RJRDDGLomRHP
pFRPXWDWLYD
v3URSULHGDGH$VVRFLDWLYD
6H
HQWmR
/RJRDDGLomRHP
pDVVRFLDWLYD
v(OHPHQWR1HXWUR
6H
eulo e . Ass|m, e o e|emeulo ueul|o da ad|o

em
.
Se
, eulo o e|emeulo
e la| que . Seudo ass|m,

se
, o seu s|mel||co em |e|ao ope|ao de ad|o e
.
uma ve/ que j couhecemos as p|op||edades da ad|o em
podemos cousl|u|| um e/emp|o,

|ep|eseulaudo esla ope|ao al|aves da sua lbua.
E/emp|o. Cousl|u|| a lbua da ad|o em
.
Temos que
. Acompauhe o c|cu|o de a|guus composlos da ad|o.

Logo, de maue||a au|oga ao e/poslo ac|ma lemos a segu|ule lbua.

|gua|dade que e/|sle eul|e os e|emeulos s|mel||cos em |e|ao d|agoua| p||uc|pa| e que lodos os e|emeulos so
s|mel||/ve|s.
3.3.2 - Nu|I|p||cao em


del|ue -se.

.
A ope|ao de mu|l|p||cao ac|ma del|u|da possu| as segu|ules p|op||edades.
Se
eulo . Logo, a mu|l|p||cao em
e comulal|va.
Se
eulo .
Logo, a mu|l|p||cao em
e assoc|al|va.
vE|emeulo heul|o
Se
eulo e . Ass|m, e o e|emeulo ueul|o da mu|l|p||cao

em
.
A ope|ao de mu|l|p||cao em
adm|le e|emeulos s|mel||/ve|s em a|guus casos. Pa|a ca|acle||/a|

la|s e|emeulos, acompauhe a p|opos|o a segu||.
FF8I 3.B: Seja
, eulo e s|mel||/ve| se, e someule se, .

P|ova. Supouha que seja s|mel||/ve| e seja o seu s|mel||co. a|, lemos que , ou seja,
. Logo, , eulo e lemos pa|a a|gum . lslo uos |eva a
, doude couc|u|mos
58
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
59
Rec|p|ocameule, se , eulo e/|slem la| que . Eulo,
, ou seja, . lslo uos mosl|a que e, po|laulo . Seudo
ass|m, e o s|mel||co de em

Com esla p|opos|o podemos eulo dele|m|ua| qua|s e|emeulos so s|mel||/ve|s em um coujuulo
.
Pa|a comp|ela| la| |de|a, acompauhe o co|o|||o desla p|opos|o.
0LI 3.B.1: Se e p||mo, eulo lodos os e|emeulos uo uu|os de
so s|mel||/ve|s.
uma ve/ que lambem j couhecemos as p|op||edades da mu|l|p||cao em
podemos cousl|u|| um
e/emp|o, |ep|eseulaudo esla ope|ao al|aves da sua lbua.
E/emp|o. Cousl|u|| a lbua da mu|l|p||cao em
.
Temos que
. Acompauhe o c|cu|o de a|guus composlos.

/RJRGHPDQHLUDDQiORJDDRH[SRVWRDFLPDWHPRVDVHJXLQWHWiEXD

|gua|dade que e/|sle eul|e os e|emeulos s|mel||cos em |e|ao d|agoua| p||uc|pa| e que os e|emeulos so
s|mel||/ve|s so e .
Como v|mos ua p|opos|o 8.8, os e|emeulos s|mel||/ve|s em
, pa|a a ope|ao de mu|l|p||cao, so

aque|es que possuem com |gua| a . Acompauhe ago|a a|guus e/emp|os de como ca|cu|a| la|s
e|emeulos s|mel||/ve|s sem uecessa||ameule cousl|u|| loda a lbua da ope|ao.
E/emp|os. (a) Ve||l|que se e s|mel||/ve| em
, |e|al|vo ope|ao de mu|l|p||cao.

Lemb|e que s se| s|mel||/ve| em |e|ao mu|l|p||cao, se , o que uesle caso e
ve|dade. Logo, podemos couc|u|| que e s|mel||/ve| e seu s|mel||co e , po|s .
(b) Ve||l|que se e s|mel||/ve| em

Veja que , |ogo uo e s|mel||/ve| em
.
Espe|o que voce leuha comp|eeud|do bem a cousl|uo do coujuulo
, a del|u|o de suas ope|aoes, e

qua|s suas p|op||edades. Esla esl|ulu|a a|geb||ca se| baslaule e/p|o|ada uos cap|lu|os segu|ules. Po| euquaulo,
sug||o que voce |ev|se ludo o que lo| esludado ale ago|a, e leule |ea||/a| as al|v|dades p|oposlas.

58
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
59
Rec|p|ocameule, se , eulo e/|slem la| que . Eulo,
, ou seja, . lslo uos mosl|a que e, po|laulo . Seudo
ass|m, e o s|mel||co de em

Com esla p|opos|o podemos eulo dele|m|ua| qua|s e|emeulos so s|mel||/ve|s em um coujuulo
.
Pa|a comp|ela| la| |de|a, acompauhe o co|o|||o desla p|opos|o.
0LI 3.B.1: Se e p||mo, eulo lodos os e|emeulos uo uu|os de
so s|mel||/ve|s.
uma ve/ que lambem j couhecemos as p|op||edades da mu|l|p||cao em
podemos cousl|u|| um
e/emp|o, |ep|eseulaudo esla ope|ao al|aves da sua lbua.
E/emp|o. Cousl|u|| a lbua da mu|l|p||cao em
.
Temos que
. Acompauhe o c|cu|o de a|guus composlos.

/RJRGHPDQHLUDDQiORJDDRH[SRVWRDFLPDWHPRVDVHJXLQWHWiEXD

|gua|dade que e/|sle eul|e os e|emeulos s|mel||cos em |e|ao d|agoua| p||uc|pa| e que os e|emeulos so
s|mel||/ve|s so e .
Como v|mos ua p|opos|o 8.8, os e|emeulos s|mel||/ve|s em
, pa|a a ope|ao de mu|l|p||cao, so

aque|es que possuem com |gua| a . Acompauhe ago|a a|guus e/emp|os de como ca|cu|a| la|s
e|emeulos s|mel||/ve|s sem uecessa||ameule cousl|u|| loda a lbua da ope|ao.
E/emp|os. (a) Ve||l|que se e s|mel||/ve| em

Lemb|e que s se| s|mel||/ve| em |e|ao mu|l|p||cao, se , o que uesle caso e
ve|dade. Logo, podemos couc|u|| que e s|mel||/ve| e seu s|mel||co e , po|s .
(b) Ve||l|que se e s|mel||/ve| em

Veja que , |ogo uo e s|mel||/ve| em
.
Espe|o que voce leuha comp|eeud|do bem a cousl|uo do coujuulo
, a del|u|o de suas ope|aoes, e

qua|s suas p|op||edades. Esla esl|ulu|a a|geb||ca se| baslaule e/p|o|ada uos cap|lu|os segu|ules. Po| euquaulo,
sug||o que voce |ev|se ludo o que lo| esludado ale ago|a, e leule |ea||/a| as al|v|dades p|oposlas.

60
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
61
4 - F8

Chegamos eulo elapa ma|s |mpo|laule desle cu|so. Aqu|, couhece|emos os g|upos ma|s |mpo|laules,
bem como suas p||uc|pa|s ca|acle||sl|cas e p|op||edades. lu|c|a|meule euuuc|a|emos a|gumas del|u|oes,
p|opos|oes e leo|emas, e em segu|da ap|eseula|emos v||os e/emp|os de g|upos. Espe|o que leuha bous
esludos.
LFIhI 4.1: Sejam um coujuulo uo va/|o, e uma ope|ao |ule|ua sob|e . |/-se que e um g|upo
em |e|ao ope|ao , ou que e um g|upo se, e someule se, va|e.
,
la| que, va|e ,

la| que
.
Voce pode obse|va| que. pa|a um coujuulo , muu|do de uma ope|ao |ule|ua , se| um g|upo basla que
a ope|ao sal|slaa as p|op||edades assoc|al|va, e|emeulo ueul|o e e|emeulo s|mel||/ve|. Aqu|, d||emos que
o e|emeulo ueul|o e o e|emeulo ueul|o do g|upo. A pa|l|| desle momeulo, ao uos |ele|||mos a um g|upo ,
usa|emos apeuas o s|mbo|o , com o objel|vo de s|mp||l|ca| a uolao.
Se a|em das p|op||edades c|ladas ac|ma, lambem va|e| a comulal|v|dade, d|/-se le| um g|upo abe||auo.
LFIhI 4.2: ado um g|upo , del|ue-se a o|dem do g|upo e |ud|ca-se po| , a quaul|dade de
e|emeulos do coujuulo .
uaudo se l|ala de um g|upo l|u|lo, sua o|dem e |gua| a a|gum uume|o |ule||o pos|l|vo. Caso coul|||o,
le|emos um g|upo |ul|u|lo e, po|laulo uo podemos |ep|eseula| sua o|dem como um uume|o |ule||o.
Se a ope|ao e uma ad|o, d|/-se que o g|upo e um g|upo ad|l|vo, uo caso em que e uma
mu|l|p||cao, d|/-se que e um g|upo mu|l|p||cal|vo. Se lo| um g|upo l|u|lo, a lbua da ope|ao
passa a se| deuom|uada lbua do g|upo.
E/emp|os. (a) e o g|upo ad|l|vo dos |ule||os e e |ul|u|lo. hesle caso, lemos lambem um g|upo
abe||auo, po|s a ad|o em e comulal|va.
(b) uo e g|upo, po|s os uu|cos e|emeulos s|mel||/ve|s so e .
(c)
e um g|upo l|u|lo que possu| o|dem |gua| a , j que
.

01. Construa as tbuas da adio e da multiplicao em
, para cada dado abaixo.

= 2 , 3 , 5 , 6 , 7 , 8 , 9 , 10 , 11, 12 , 13

02. Nas tbuas acima, determine os pares de elementos simtricos e os elementos regulares para cada uma das
operaes.

03. Mostre que a operao multiplicao distributiva ( direita e esquerda) em relao adio em qualquer
conjunto
; > 1.

04. Determine quais so os elementos simetrizveis com respeito multiplicao nos seguintes conjuntos:
a)
16
b)
17
c)
20
d)
21

05. Em cada um dos conjuntos acima identifique os pares de elementos simtricos.

60
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
61
4 - F8

Chegamos eulo elapa ma|s |mpo|laule desle cu|so. Aqu|, couhece|emos os g|upos ma|s |mpo|laules,
bem como suas p||uc|pa|s ca|acle||sl|cas e p|op||edades. lu|c|a|meule euuuc|a|emos a|gumas del|u|oes,
p|opos|oes e leo|emas, e em segu|da ap|eseula|emos v||os e/emp|os de g|upos. Espe|o que leuha bous
esludos.
LFIhI 4.1: Sejam um coujuulo uo va/|o, e uma ope|ao |ule|ua sob|e . |/-se que e um g|upo
em |e|ao ope|ao , ou que e um g|upo se, e someule se, va|e.
,
la| que, va|e ,

la| que
.
Voce pode obse|va| que. pa|a um coujuulo , muu|do de uma ope|ao |ule|ua , se| um g|upo basla que
a ope|ao sal|slaa as p|op||edades assoc|al|va, e|emeulo ueul|o e e|emeulo s|mel||/ve|. Aqu|, d||emos que
o e|emeulo ueul|o e o e|emeulo ueul|o do g|upo. A pa|l|| desle momeulo, ao uos |ele|||mos a um g|upo ,
usa|emos apeuas o s|mbo|o , com o objel|vo de s|mp||l|ca| a uolao.
Se a|em das p|op||edades c|ladas ac|ma, lambem va|e| a comulal|v|dade, d|/-se le| um g|upo abe||auo.
LFIhI 4.2: ado um g|upo , del|ue-se a o|dem do g|upo e |ud|ca-se po| , a quaul|dade de
e|emeulos do coujuulo .
uaudo se l|ala de um g|upo l|u|lo, sua o|dem e |gua| a a|gum uume|o |ule||o pos|l|vo. Caso coul|||o,
le|emos um g|upo |ul|u|lo e, po|laulo uo podemos |ep|eseula| sua o|dem como um uume|o |ule||o.
Se a ope|ao e uma ad|o, d|/-se que o g|upo e um g|upo ad|l|vo, uo caso em que e uma
mu|l|p||cao, d|/-se que e um g|upo mu|l|p||cal|vo. Se lo| um g|upo l|u|lo, a lbua da ope|ao
passa a se| deuom|uada lbua do g|upo.
E/emp|os. (a) e o g|upo ad|l|vo dos |ule||os e e |ul|u|lo. hesle caso, lemos lambem um g|upo
abe||auo, po|s a ad|o em e comulal|va.
(b) uo e g|upo, po|s os uu|cos e|emeulos s|mel||/ve|s so e .
(c)
e um g|upo l|u|lo que possu| o|dem |gua| a , j que
.
62
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
63
(d) uo e g|upo, po|s o e|emeulo uo e s|mel||/ve|.
(e)
e um g|upo abe||auo |ul|u|lo!

FF8I 4.3: Sejam um g|upo e . Eulo.
Se
so e|emeulos ueul|os de , eulo .

Se
so s|mel||cos de em , eulo .
P|ova. Se e so e|emeulos ueul|os, pa|a lodo lem-se e em pa|l|cu|a|, j
que
, . Po| oul|o |ado, lemos lambem , e em pa|l|cu|a|, j que

, . a|,
.
Se e so s|mel||cos de , eulo lemos e . Logo,
. Po|laulo,
.
Com base uesla p|opos|o, podemos al||ma| que. se e um e|emeulo de , eulo
. Teule la/e|
a ve||l|cao desla al||mao!
FF8I 4.4: Sejam um g|upo e e|emeulos de . Eulo
.
P|ova. Esla p|opos|o lem p|ova seme|haule ap|eseulada ua p|opos|o 2.9. Acompauhe uovameule.
sejam , e|emeulo ueul|o e
e os s|mel||cos de e |especl|vameule. Ass|m, lemos.

.
Logo, couc|u|mos que
.
0LI 4.4.1: Sejam
. Eulo
.
P|ova. eco||e d||elameule da p|opos|o 4.4.
0LI 4.4.2: Se e um g|upo abe||auo e so e|emeulos s|mel||/ve|s, eulo
.
P|ova. e aco|do com a p|opos|o 4.4, lemos
. Como e abe||auo, lemos
, ass|m,
.
Lemb|e-se que em um g|upo, lodo e|emeulo e s|mel||/ve|. e aco|do com o que v|mos ua p|opos|o
2.11, em um g|upo, lodo e|emeulo e |egu|a|. Ass|m, usa|emos esle lalo pa|a demousl|a| a p|/|ma p|opos|o.
LFIhI 4.6: um e|emeulo , de um g|upo e |dempoleule se .
FF8I 4.6: hum g|upo qua|que|, o uu|co e|emeulo |dempoleule e o ueul|o.
P|ova. Seja , um e|emeulo |dempoleule. Eulo, lem-se e , e|emeulo
ueul|o de . Como e um g|upo, e |egu|a|, ou seja, va|e o cauce|ameulo. Ass|m de lemos
.
Ao couhece|mos o e|emeulo |dempoleule, lemos uma |de|a de poleuc|a de e|emeulos deul|o de um g|upo.
Aqu|, va|e a peua sa||eula| que a poleuc|a do e|emeulo de um g|upo esl |e|ac|ouada com a quaul|dade de ve/es
que ope|amos o e|emeulo com e|e mesmo. Pa|a esc|a|ece| me|ho| esle couce|lo, acompauhe a p|/|ma
del|u|o.
LFIhI 4.7: Sejam o e|emeulo ueul|o de um g|upo e . el|ue-se.

E ma|s,
.
Voce pode pe|cebe| que esla del|u|o se asseme|ha del|u|o e s p|op||edades da poleuc|a couhec|da
po| voces ao esluda| os coujuulos uume||cos uolve|s. Acompauhe um e/emp|o oude ca|cu|amos a|gumas
poleuc|as em um g|upo.
E/emp|o. Em
lem-se as segu|ules poleuc|as.

v

Em
o s|mel||co de e . Ass|m, se lemos
.
62
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
63
(d) uo e g|upo, po|s o e|emeulo uo e s|mel||/ve|.
(e)
e um g|upo abe||auo |ul|u|lo!

FF8I 4.3: Sejam um g|upo e . Eulo.
Se
so e|emeulos ueul|os de , eulo .

Se
so s|mel||cos de em , eulo .
P|ova. Se e so e|emeulos ueul|os, pa|a lodo lem-se e em pa|l|cu|a|, j
que
, . Po| oul|o |ado, lemos lambem , e em pa|l|cu|a|, j que

, . a|,
.
Se e so s|mel||cos de , eulo lemos e . Logo,
. Po|laulo,
.
Com base uesla p|opos|o, podemos al||ma| que. se e um e|emeulo de , eulo
. Teule la/e|
a ve||l|cao desla al||mao!
FF8I 4.4: Sejam um g|upo e e|emeulos de . Eulo
.
P|ova. Esla p|opos|o lem p|ova seme|haule ap|eseulada ua p|opos|o 2.9. Acompauhe uovameule.
sejam , e|emeulo ueul|o e
e os s|mel||cos de e |especl|vameule. Ass|m, lemos.

.
Logo, couc|u|mos que
.
0LI 4.4.1: Sejam
. Eulo
.
P|ova. eco||e d||elameule da p|opos|o 4.4.
0LI 4.4.2: Se e um g|upo abe||auo e so e|emeulos s|mel||/ve|s, eulo
.
P|ova. e aco|do com a p|opos|o 4.4, lemos
. Como e abe||auo, lemos
, ass|m,
.
Lemb|e-se que em um g|upo, lodo e|emeulo e s|mel||/ve|. e aco|do com o que v|mos ua p|opos|o
2.11, em um g|upo, lodo e|emeulo e |egu|a|. Ass|m, usa|emos esle lalo pa|a demousl|a| a p|/|ma p|opos|o.
LFIhI 4.6: um e|emeulo , de um g|upo e |dempoleule se .
FF8I 4.6: hum g|upo qua|que|, o uu|co e|emeulo |dempoleule e o ueul|o.
P|ova. Seja , um e|emeulo |dempoleule. Eulo, lem-se e , e|emeulo
ueul|o de . Como e um g|upo, e |egu|a|, ou seja, va|e o cauce|ameulo. Ass|m de lemos
.
Ao couhece|mos o e|emeulo |dempoleule, lemos uma |de|a de poleuc|a de e|emeulos deul|o de um g|upo.
Aqu|, va|e a peua sa||eula| que a poleuc|a do e|emeulo de um g|upo esl |e|ac|ouada com a quaul|dade de ve/es
que ope|amos o e|emeulo com e|e mesmo. Pa|a esc|a|ece| me|ho| esle couce|lo, acompauhe a p|/|ma
del|u|o.
LFIhI 4.7: Sejam o e|emeulo ueul|o de um g|upo e . el|ue-se.

E ma|s,
.
Voce pode pe|cebe| que esla del|u|o se asseme|ha del|u|o e s p|op||edades da poleuc|a couhec|da
po| voces ao esluda| os coujuulos uume||cos uolve|s. Acompauhe um e/emp|o oude ca|cu|amos a|gumas
poleuc|as em um g|upo.
E/emp|o. Em
lem-se as segu|ules poleuc|as.

v

Em
o s|mel||co de e . Ass|m, se lemos
.
64
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
65
hole que pa|a ca|cu|a| poleuc|as de um e|emeulo de um g|upo, uo e uecess||o que esle seja abe||auo.
Temos semp|e que |espe|la| a p|op||edade assoc|al|va. A|guus |esu|lados de poleuc|as de e|emeulo, e |e|ao de
um e|emeulo com seu s|mel||co podem ga|aul|| que um dado g|upo seja abe||auo. Acompauhe esles
|esu|lados uos leo|emas a segu||.
TLLNA 4.B: Se lodo e|emeulo de um g|upo e |gua| ao seu s|mel||co, eulo e abe||auo.
P|ova. Pa|a lodo e|emeulo lem-se . Podemos eulo couc|u|| que
e, po|laulo

, pa|a lodo . Ass|m, dados lemos e, po|laulo,

Temos eulo que e abe||auo, po|s sal|sla/ a p|op||edade comulal|va.
TLLNA 4.9: Seja um g|upo uo qua| pa|a lodo e|emeulo va|e
. Eulo e abe||auo.
P|ova. Pa|a lodo lemos que
. hole que o que uos |eva a e,

po|laulo a
. Ass|m, lodo e|emeulo em e |gua| ao seu s|mel||co. Logo, pe|o leo|ema 4.8, e abe||auo.
Semp|e que um g|upo e abe||auo, ua lbua da ope|ao, em sua d|agoua| p||uc|pa| s apa|ece o
e|emeulo ueul|o. lslo e cousequeuc|a do leo|ema 4.8 esludado. Veja a lbua de um g|upo abe||auo.
E/emp|o. 0 g|upo dado pe|a lbua aba|/o e abe||auo.

LFIhI 4.10: Seja um e|emeulo de um g|upo . el|ue-se a o|dem do e|emeulo como seudo o meuo|
|ule||o pos|l|vo , la| que
. hesle caso, usamos a segu|ule uolao. .

E/emp|os. (a) Em
, a o|dem de e po|s v|mos que
, e e o meuo| |ule||o pa|a o qua| a

poleuc|a de |esu|la uo e|emeulo ueul|o. Ass|m, podemos esc|eve| .
(b) Em
a o|dem de e , po|s lemos.
.
audo segu|meulo ao uosso esludo, couhece|emos eulo uma d|ve|s|dade de g|upos, que so
cous|de|ados g|upos uolve|s, dev|do a sua |mpo|luc|a e a sua g|aude ul|||/ao.
4.1 - rupos hoIve|s
Como c|lado aule||o|meule, couhea ago|a a|guus g|upos |mpo|laules a|em dos j couhec|dos, como po|
e/emp|o , ,
, e
.
4.1.1 - rupo de k|e|n
|upo de K|e|u e lodo g|upo de o|dem ca|acle||/ado pe|a p|op||edade de que lodos os seus e|emeulos,
d|sl|ulos do e|emeulo ueul|o, lem o|dem . e aco|do com o leo|ema 4.9, lemos que o g|upo de K|e|u e semp|e
abe||auo. A lbua de um g|upo de K|e|u, , lem a coul|gu|ao aba|/o.

0bse|ve que em sua d|agoua| p||uc|pa|, apeuas apa|ece o e|emeulo ueul|o. lslo uos d|/ que lodo e|emeulo
e s|mel||co de s| p|p||o.

64
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
65
hole que pa|a ca|cu|a| poleuc|as de um e|emeulo de um g|upo, uo e uecess||o que esle seja abe||auo.
Temos semp|e que |espe|la| a p|op||edade assoc|al|va. A|guus |esu|lados de poleuc|as de e|emeulo, e |e|ao de
um e|emeulo com seu s|mel||co podem ga|aul|| que um dado g|upo seja abe||auo. Acompauhe esles
|esu|lados uos leo|emas a segu||.
TLLNA 4.B: Se lodo e|emeulo de um g|upo e |gua| ao seu s|mel||co, eulo e abe||auo.
P|ova. Pa|a lodo e|emeulo lem-se . Podemos eulo couc|u|| que
e, po|laulo

, pa|a lodo . Ass|m, dados lemos e, po|laulo,

Temos eulo que e abe||auo, po|s sal|sla/ a p|op||edade comulal|va.
TLLNA 4.9: Seja um g|upo uo qua| pa|a lodo e|emeulo va|e
. Eulo e abe||auo.
P|ova. Pa|a lodo lemos que
. hole que o que uos |eva a e,

po|laulo a
. Ass|m, lodo e|emeulo em e |gua| ao seu s|mel||co. Logo, pe|o leo|ema 4.8, e abe||auo.
Semp|e que um g|upo e abe||auo, ua lbua da ope|ao, em sua d|agoua| p||uc|pa| s apa|ece o
e|emeulo ueul|o. lslo e cousequeuc|a do leo|ema 4.8 esludado. Veja a lbua de um g|upo abe||auo.
E/emp|o. 0 g|upo dado pe|a lbua aba|/o e abe||auo.

LFIhI 4.10: Seja um e|emeulo de um g|upo . el|ue-se a o|dem do e|emeulo como seudo o meuo|
|ule||o pos|l|vo , la| que
. hesle caso, usamos a segu|ule uolao. .

E/emp|os. (a) Em
, a o|dem de e po|s v|mos que
, e e o meuo| |ule||o pa|a o qua| a

poleuc|a de |esu|la uo e|emeulo ueul|o. Ass|m, podemos esc|eve| .
(b) Em
a o|dem de e , po|s lemos.
.
audo segu|meulo ao uosso esludo, couhece|emos eulo uma d|ve|s|dade de g|upos, que so
cous|de|ados g|upos uolve|s, dev|do a sua |mpo|luc|a e a sua g|aude ul|||/ao.
4.1 - rupos hoIve|s
Como c|lado aule||o|meule, couhea ago|a a|guus g|upos |mpo|laules a|em dos j couhec|dos, como po|
e/emp|o , ,
, e
.
4.1.1 - rupo de k|e|n
|upo de K|e|u e lodo g|upo de o|dem ca|acle||/ado pe|a p|op||edade de que lodos os seus e|emeulos,
d|sl|ulos do e|emeulo ueul|o, lem o|dem . e aco|do com o leo|ema 4.9, lemos que o g|upo de K|e|u e semp|e
abe||auo. A lbua de um g|upo de K|e|u, , lem a coul|gu|ao aba|/o.

0bse|ve que em sua d|agoua| p||uc|pa|, apeuas apa|ece o e|emeulo ueul|o. lslo uos d|/ que lodo e|emeulo
e s|mel||co de s| p|p||o.

66
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
67
4.1.2 - rupo das FermuIaes
LFIhI 4.11: Seja um coujuulo uo va/|o la| que . Chama-se pe|mulao de loda luuo
b|jelo|a sob|e , |slo e, , com b|jelo|a. 0 coujuulo de lodas as pe|mulaoes de e deuolado po|
.
hole que o coujuulo , muu|do da ope|ao compos|o de luuoes, e um g|upo uo abe||auo. e
lalo, lemos as p|op||edades.
vassoc|al|va,
Sejam e . Temos
.
ve|emeulo ueul|o,
Seja , la| que , pa|a lodo . Temos que . A|em d|sso, se e
, eulo . a|, . Tambem .
Logo, . Po|laulo, e o e|emeulo ueul|o de .
ve|emeulo s|mel||/ve|,
Se , eulo e uma b|jeo e adm|le |uve|sa
la| que
.
Logo, podemos couc|u|| que e um g|upo. A ope|ao compos|o uo e comulal|va, ass|m e
um g|upo uo abe||auo.
uaudo , , eulo se| |ud|cado po|
e o g|upo
e chamado de
g|upo s|mel||co de g|au . hesle caso lemos um g|upo l|u|lo, cuja o|dem e |gua| a .
A |ep|eseulao de uma pe|mulao em pode se da| de duas maue||as. al|aves
da uolao luuc|oua| ou da uolao mal||c|a|. A uolao luuc|oua| e ap|eseulada da segu|ule lo|ma
e a uolao mal||c|a| e ap|eseulada ua lo|ma

.
Pa|a um me|ho| euleud|meulo do que lo| ap|eseulado, veja a segu|| a cousl|uo do g|upo s|mel||co
.
E/emp|o. Seja . 0 g|upo
e lo|mado po| b|jeoes |ep|eseuladas a segu||.

.
J que
e um g|upo l|u|lo, podemos cousl|u|| sua lbua, com |e|ao ope|ao de compos|o ().
he|a, pode|emos |deul|l|ca| o e|emeulo ueul|o, os e|emeulos s|mel||/ve|s, com seus |especl|vos s|mel||cos, e
ve||l|ca| lambem que esle g|upo uo e abe||auo. Pa|a cousl|u|| a lbua da ope|ao ap|eseula|emos a|guus
composlos. Sug||o que voce elelue os dema|s pa|a comp|eeude| me|ho| la| cousl|uo. Acompauhe.

Ass|m, sua lbua se|.

hole que o e|emeulo ueul|o e
, lodos os e|emeulos so s|mel||/ve|s (po| se| g|upo) e o s|mel||co de
e
e|e mesmo, o s|mel||co de
, o s|mel||co de
os e|emeulos
, e
, so s|mel||cos de s|
p|p||os. As o|deus dos e|emeulos so.
.
Voce deve le| pe|ceb|do que lodo e|emeulo que e s|mel||co de s| mesmo lem o|dem Aqu|, lambem
podemos pe|cebe| que o g|upo uo e abe||auo, po|s
, mas
.
66
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
67
4.1.2 - rupo das FermuIaes
LFIhI 4.11: Seja um coujuulo uo va/|o la| que . Chama-se pe|mulao de loda luuo
b|jelo|a sob|e , |slo e, , com b|jelo|a. 0 coujuulo de lodas as pe|mulaoes de e deuolado po|
.
hole que o coujuulo , muu|do da ope|ao compos|o de luuoes, e um g|upo uo abe||auo. e
lalo, lemos as p|op||edades.
vassoc|al|va,
Sejam e . Temos
.
ve|emeulo ueul|o,
Seja , la| que , pa|a lodo . Temos que . A|em d|sso, se e
, eulo . a|, . Tambem .
Logo, . Po|laulo, e o e|emeulo ueul|o de .
ve|emeulo s|mel||/ve|,
Se , eulo e uma b|jeo e adm|le |uve|sa
la| que
.
Logo, podemos couc|u|| que e um g|upo. A ope|ao compos|o uo e comulal|va, ass|m e
um g|upo uo abe||auo.
uaudo , , eulo se| |ud|cado po|
e o g|upo
e chamado de
g|upo s|mel||co de g|au . hesle caso lemos um g|upo l|u|lo, cuja o|dem e |gua| a .
A |ep|eseulao de uma pe|mulao em pode se da| de duas maue||as. al|aves
da uolao luuc|oua| ou da uolao mal||c|a|. A uolao luuc|oua| e ap|eseulada da segu|ule lo|ma
e a uolao mal||c|a| e ap|eseulada ua lo|ma

.
Pa|a um me|ho| euleud|meulo do que lo| ap|eseulado, veja a segu|| a cousl|uo do g|upo s|mel||co
.
E/emp|o. Seja . 0 g|upo
e lo|mado po| b|jeoes |ep|eseuladas a segu||.

.
J que
e um g|upo l|u|lo, podemos cousl|u|| sua lbua, com |e|ao ope|ao de compos|o ().
he|a, pode|emos |deul|l|ca| o e|emeulo ueul|o, os e|emeulos s|mel||/ve|s, com seus |especl|vos s|mel||cos, e
ve||l|ca| lambem que esle g|upo uo e abe||auo. Pa|a cousl|u|| a lbua da ope|ao ap|eseula|emos a|guus
composlos. Sug||o que voce elelue os dema|s pa|a comp|eeude| me|ho| la| cousl|uo. Acompauhe.

Ass|m, sua lbua se|.

hole que o e|emeulo ueul|o e
, lodos os e|emeulos so s|mel||/ve|s (po| se| g|upo) e o s|mel||co de
e
e|e mesmo, o s|mel||co de
, o s|mel||co de
os e|emeulos
, e
, so s|mel||cos de s|
p|p||os. As o|deus dos e|emeulos so.
.
Voce deve le| pe|ceb|do que lodo e|emeulo que e s|mel||co de s| mesmo lem o|dem Aqu|, lambem
podemos pe|cebe| que o g|upo uo e abe||auo, po|s
, mas
.
68
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
69
4.1.3 - rupos |edra|s
0s g|upos d|ed|a|s so g|upos que |ep|eseulam as |olaoes e s|mel||as de um po||gouo |egu|a| de
|ados. Aqu|, ap|eseula|emos a cousl|uo desle g|upo, bem como e/emp||l|ca|emos com o caso do g|upo
d|ed|a| do l||ugu|o |egu|a|. Couhea, eulo, como eucoul|a| la|s |olaoes e s|mel||as.
vRolaoes em um po||gouo |egu|a|
Cous|de|emos um po||gouo |egu|a| de |ados e, uo p|auo do po||gouo, cousl|uamos um s|slema o|logoua|
ca|les|auo cuja o||gem co|uc|da com o ba||ceul|o do po||gouo, e cujo |ado pos|l|vo do e|/o das absc|ssas
couleuha um dos ve|l|ces do po||gouo. hume|emos os ve|l|ces, a pa|l|| do que esl uo |ado pos|l|vo do e|/o das
absc|ssas, uo seul|do aul|-ho|||o. Veja como l|ca pos|c|ouado o l||ugu|o |egu|a|, cous|de|audo o seu
ba||ceul|o.

l|gu|a 12. adaplado pe|o aulo| com uso do E0EBRA.

A segu||, |olac|ouemos, quaulas ve/es lo|em uecess||as, o l||ugu|o em lo|uo do seu ceul|o, uo
seul|do aul|ho|||o, de maue||a a de|/-|o semp|e com um ve|l|ce uo |ado pos|l|vo do e|/o das absc|ssas, ale que
|elo|ue pos|o |u|c|a|. A cada |olao, podemos |eesc|eve| o l||ugu|o de maue||a que assoc|emos a sua
pos|o |u|c|a| com sua uova pos|o, ou seja,
Voc Sabia?
O baricentro de um polgono o ponto de interseco das medianas que partem de cada um
dos vrtices. No caso do tringulo, temos trs medianas e, portanto, o seu baricentro o
ponto de encontro destas trs medianas.
ba||ceul|o.


Voc Sabia?
pos|o |u|c|a|.

1 |olao.

2 |olao.

0bse|ve que ao |ea||/a| a 8 |olao vo|lamos pos|o |u|c|a|. hole que eslas |olaoes so pe|mulaoes
(b|jeoes) do coujuulo . Ass|m, uomeaudo as |olaoes desc||las ac|ma lemos.

. Ta|s |olaoes lo|mam o g|upo das |olaoes do l||ugu|o,
, com |espe|lo ope|ao de compos|o de luuoes. Sua lbua e dada po|.

hole que esle g|upo e abe||auo, seu e|emeulo ueul|o e
e os e|emeulos
so s|mel||cos um do
oul|o. A|em d|slo, a o|dem de cada e|emeulo, e/celo o e|emeulo ueul|o, e .
a mesma maue||a que p|ocedemos com o l||ugu|o, podemos oble| o g|upo das |olaoes do quad|ado.
Pa|a laulo, cous|de|emos o quad|ado como pos|c|ouado aba|/o, seudo E o seu ba||ceul|o.


Voc Sabia?
No quadrado o baricentro coincide com o circuncentro e o incentro!
??
VOC SABIA?
O baricentro de um polgono o ponto de interseco das medianas
que partem de cada um dos vrtices. No caso do tringulo, temos
trs medianas e, portanto, o seu baricentro o ponto de encontro
destas trs medianas.
68
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
69
ba||ceul|o.


Voc Sabia?
pos|o |u|c|a|.

1 |olao.

2 |olao.

0bse|ve que ao |ea||/a| a 8 |olao vo|lamos pos|o |u|c|a|. hole que eslas |olaoes so pe|mulaoes
(b|jeoes) do coujuulo . Ass|m, uomeaudo as |olaoes desc||las ac|ma lemos.

. Ta|s |olaoes lo|mam o g|upo das |olaoes do l||ugu|o,
, com |espe|lo ope|ao de compos|o de luuoes. Sua lbua e dada po|.

e os e|emeulos
so s|mel||cos um do
oul|o. A|em d|slo, a o|dem de cada e|emeulo, e/celo o e|emeulo ueul|o, e .
a mesma maue||a que p|ocedemos com o l||ugu|o, podemos oble| o g|upo das |olaoes do quad|ado.
Pa|a laulo, cous|de|emos o quad|ado como pos|c|ouado aba|/o, seudo E o seu ba||ceul|o.


Voc Sabia?
??
VOC SABIA?
70
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
71

A segu||, |olac|ouemos, quaulas ve/es lo|em uecess||as, o quad|ado em lo|uo do seu ceul|o, uo
|elo|ue pos|o |u|c|a|. A cada |olao, podemos |eesc|eve| o quad|ado de maue||a que assoc|emos a sua
pos|o |u|c|a|.

1 |olao.

2 |olao.

8 |olao.

0bse|ve que ao |ea||/a| a 4 |olao vo|lamos pos|o |u|c|a|. hole que eslas |olaoes ago|a so
pe|mulaoes (b|jeoes) do coujuulo . Ass|m, uomeaudo as |olaoes desc||las ac|ma lemos.
. Ta|s |olaoes
lo|mam o g|upo das |olaoes do quad|ado,
, com |espe|lo ope|ao de compos|o

de luuoes. Sua lbua e dada po|.

, os e|emeulos
so s|mel||cos um do
oul|o e
e s|mel||co de s| p|p||o. A|em d|sso, a o|dem de
e e dos e|emeulos
e .
vS|mel||as de um po||gouo |egu|a|
A |deul|l|cao de s|mel||as uuma l|gu|a possu| ma|o| |e|evuc|a ua |uvesl|gao das p|op||edades de e
ua |eso|uo de p|ob|emas geomel||cos que |he d|/em |espe|lo. E/|slem l|gu|as que podem se| v|slas como a
uu|o de uma l|gu|a com sua |magem pe|a |el|e/o ua |ela . hesse caso, d|/emos que a l|gu|a
e uma l|gu|a s|mel||ca (a/|a|meule) em |e|ao |ela . A l|auslo|mao
e chamada de s|mel||a a/|a|

|ule|ua e a |ela e chamada de e|/o de s|mel||a |ule|ua da l|gu|a. lo|ma|meule, del|u|mos s|mel||a al|aves de
uma b|jeo.
LFIhI 4.12: Sejam uma l|gu|a qua|que|, e , uma luuo b|jelo|a. |/-se que e uma s|mel||a
sob|e , se p|ese|va d|sluc|as eul|e os poulos de .
A|gumas |mpo|laules l|gu|as geomel||cas adm|lem um ou ma|s e|/os de s|mel||a |ule|ua, como, po|
e/emp|o, o l||ugu|o que possu| s|mel||a em |e|ao s suas med|auas, e o quad|ado, que possu| s|mel||a em
|e|ao s suas d|agoua|s e med|al||/es.
Cous|de|audo o l||ugu|o , aule||o|, podemos uola| que e/|slem apeuas l|es s|mel||as, que so suas
|el|e/oes em |e|ao s suas med|auas aqu| deuom|uadas
.


A |el|e/o em |e|ao med|al||/
pode se| |ep|eseulada po|

, a |el|e/o em |e|ao
med|al||/

e a |el|e/o em |e|ao med|al||/
pode se|
|ep|eseulada po|

. 0blemos, eulo, o coujuulo das s|mel||as do l||ugu|o.
Voce pe|cebeu que as s|mel||as lambem so pe|mulaoes? hole que esle coujuulo uo e um g|upo, po|s a
ope|ao compos|o de luuoes uo e uma ope|ao |ule|ua. lslo s|gu|l|ca que ao ope|a| do|s e|emeulos desle
coujuulo, pe|a compos|o de luuoes, o |esu|lado pode uo pe|leuce| ao coujuulo.
70
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
71

A segu||, |olac|ouemos, quaulas ve/es lo|em uecess||as, o quad|ado em lo|uo do seu ceul|o, uo
|elo|ue pos|o |u|c|a|. A cada |olao, podemos |eesc|eve| o quad|ado de maue||a que assoc|emos a sua
pos|o |u|c|a|.

1 |olao.

2 |olao.

8 |olao.

0bse|ve que ao |ea||/a| a 4 |olao vo|lamos pos|o |u|c|a|. hole que eslas |olaoes ago|a so
pe|mulaoes (b|jeoes) do coujuulo . Ass|m, uomeaudo as |olaoes desc||las ac|ma lemos.
. Ta|s |olaoes
lo|mam o g|upo das |olaoes do quad|ado,
, com |espe|lo ope|ao de compos|o

de luuoes. Sua lbua e dada po|.

, os e|emeulos
so s|mel||cos um do
oul|o e
e s|mel||co de s| p|p||o. A|em d|sso, a o|dem de
e e dos e|emeulos
e .
vS|mel||as de um po||gouo |egu|a|
A |deul|l|cao de s|mel||as uuma l|gu|a possu| ma|o| |e|evuc|a ua |uvesl|gao das p|op||edades de e
ua |eso|uo de p|ob|emas geomel||cos que |he d|/em |espe|lo. E/|slem l|gu|as que podem se| v|slas como a
uu|o de uma l|gu|a com sua |magem pe|a |el|e/o ua |ela . hesse caso, d|/emos que a l|gu|a
e uma l|gu|a s|mel||ca (a/|a|meule) em |e|ao |ela . A l|auslo|mao
e chamada de s|mel||a a/|a|

|ule|ua e a |ela e chamada de e|/o de s|mel||a |ule|ua da l|gu|a. lo|ma|meule, del|u|mos s|mel||a al|aves de
uma b|jeo.
LFIhI 4.12: Sejam uma l|gu|a qua|que|, e , uma luuo b|jelo|a. |/-se que e uma s|mel||a
sob|e , se p|ese|va d|sluc|as eul|e os poulos de .
A|gumas |mpo|laules l|gu|as geomel||cas adm|lem um ou ma|s e|/os de s|mel||a |ule|ua, como, po|
e/emp|o, o l||ugu|o que possu| s|mel||a em |e|ao s suas med|auas, e o quad|ado, que possu| s|mel||a em
|e|ao s suas d|agoua|s e med|al||/es.
Cous|de|audo o l||ugu|o , aule||o|, podemos uola| que e/|slem apeuas l|es s|mel||as, que so suas
|el|e/oes em |e|ao s suas med|auas aqu| deuom|uadas
.


A |el|e/o em |e|ao med|al||/

, a |el|e/o em |e|ao
med|al||/

e a |el|e/o em |e|ao med|al||/
pode se|
|ep|eseulada po|

. 0blemos, eulo, o coujuulo das s|mel||as do l||ugu|o.
Voce pe|cebeu que as s|mel||as lambem so pe|mulaoes? hole que esle coujuulo uo e um g|upo, po|s a
ope|ao compos|o de luuoes uo e uma ope|ao |ule|ua. lslo s|gu|l|ca que ao ope|a| do|s e|emeulos desle
coujuulo, pe|a compos|o de luuoes, o |esu|lado pode uo pe|leuce| ao coujuulo.
72
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
73
Po| e/emp|o, ao |ea||/a|mos

, oblemos uma
pe|mulao que uo pe|leuce ao coujuulo das s|mel||as do l||ugu|o. Nas pe|leuce ao coujuulo das |olaoes do
l||ugu|o!
Pe|o e/poslo ac|ma, podemos couc|u|| que o coujuulo das s|mel||as do l||ugu|o, muu|do da ope|ao
compos|o de luuoes, uo e uma esl|ulu|a a|geb||ca.
J cous|de|audo o quad|ado aule||o|, lemos as s|mel||as em |e|ao s med|al||/es
, e em
|e|ao s d|agoua|s
, |ep|eseuladas aba|/o.


Seudo ass|m, a |el|e/o em |e|ao med|al||/
, a
|el|e/o em |e|ao med|al||/
, a |el|e/o em lo|uo da
d|agoua|
e a |el|e/o em lo|uo da d|agoua|
pode se|
|ep|eseulada po|
. 0blemos eulo o coujuulo das s|mel||as do quad|ado.

e maue||a au|oga ao coujuulo das s|mel||as do l||ugu|o, o coujuulo das s|mel||as do quad|ado uo e
lechado pa|a a ope|ao de compos|o.
Se| que voce cousegue eucoul|a| um e/emp|o pa|a coul||ma| esla al||mao? Teuho ce|le/a que s|m. S
como sugeslo, elelue a ope|ao
.
Ago|a e com voce! ele|m|ue as |olaoes e s|mel||as do peulgouo e do he/gouo |egu|a|!
el|u|o 4.18. Seja P um po||gouo |egu|a| com |ados e ve|l|ces . 0 coujuulo
muu|do da ope|ao compos|o de luuoes, e um g|upo l|u|lo, uo abe||auo,

de o|dem , deuom|uado JUXSRGLHGUDOdo po||gouo P.
e aco|do com a del|u|o, pa|a cousl|u|| o g|upo d|ed|a| de um po||gouo qua|que| uecess|lamos
dele|m|ua| lodas as suas |olaoes e lodas as suas s|mel||as, ope|-|a duas a duas, aleulaudo pa|a o lalo de que
a compos|o de luuoes uo e uma ope|ao comulal|va.
Vamos cousl|u|| eulo, o g|upo d|ed|a| do l||ugu|o, e/|b|udo sua lbua. Temos
, oude

. Veja que pe|o lalo do l||ugu|o le| |ados, o seu g|upo
d|ed|a| lem o|dem . Ap|eseula|emos a|guus composlos |ea||/ados pa|a a cousl|uo da lbua. Sug||o que
elelue os que aqu| uo lo|em ap|eseulados. Sua lbua, eulo e.

oude.
.
Voce deve le| pe|ceb|do que ao compo| duas |olaoes, o |esu|lado e semp|e uma |olao. lslo se d pe|o
lalo de que o coujuulo das |olaoes de um po||gouo e um g|upo, o que j mosl|amos aule||o|meule. Ao compo|
72
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
73
Po| e/emp|o, ao |ea||/a|mos

, oblemos uma
pe|mulao que uo pe|leuce ao coujuulo das s|mel||as do l||ugu|o. Nas pe|leuce ao coujuulo das |olaoes do
l||ugu|o!
Pe|o e/poslo ac|ma, podemos couc|u|| que o coujuulo das s|mel||as do l||ugu|o, muu|do da ope|ao
compos|o de luuoes, uo e uma esl|ulu|a a|geb||ca.
J cous|de|audo o quad|ado aule||o|, lemos as s|mel||as em |e|ao s med|al||/es
, e em
|e|ao s d|agoua|s
, |ep|eseuladas aba|/o.


Seudo ass|m, a |el|e/o em |e|ao med|al||/
, a
|el|e/o em |e|ao med|al||/
, a |el|e/o em lo|uo da
d|agoua|
e a |el|e/o em lo|uo da d|agoua|
pode se|
|ep|eseulada po|
. 0blemos eulo o coujuulo das s|mel||as do quad|ado.

e maue||a au|oga ao coujuulo das s|mel||as do l||ugu|o, o coujuulo das s|mel||as do quad|ado uo e
lechado pa|a a ope|ao de compos|o.
Se| que voce cousegue eucoul|a| um e/emp|o pa|a coul||ma| esla al||mao? Teuho ce|le/a que s|m. S
como sugeslo, elelue a ope|ao
.
Ago|a e com voce! ele|m|ue as |olaoes e s|mel||as do peulgouo e do he/gouo |egu|a|!
el|u|o 4.18. Seja P um po||gouo |egu|a| com |ados e ve|l|ces . 0 coujuulo
muu|do da ope|ao compos|o de luuoes, e um g|upo l|u|lo, uo abe||auo,

de o|dem , deuom|uado JUXSRGLHGUDOdo po||gouo P.
e aco|do com a del|u|o, pa|a cousl|u|| o g|upo d|ed|a| de um po||gouo qua|que| uecess|lamos
dele|m|ua| lodas as suas |olaoes e lodas as suas s|mel||as, ope|-|a duas a duas, aleulaudo pa|a o lalo de que
a compos|o de luuoes uo e uma ope|ao comulal|va.
Vamos cousl|u|| eulo, o g|upo d|ed|a| do l||ugu|o, e/|b|udo sua lbua. Temos
, oude

. Veja que pe|o lalo do l||ugu|o le| |ados, o seu g|upo
d|ed|a| lem o|dem . Ap|eseula|emos a|guus composlos |ea||/ados pa|a a cousl|uo da lbua. Sug||o que
elelue os que aqu| uo lo|em ap|eseulados. Sua lbua, eulo e.

oude.
.
Voce deve le| pe|ceb|do que ao compo| duas |olaoes, o |esu|lado e semp|e uma |olao. lslo se d pe|o
lalo de que o coujuulo das |olaoes de um po||gouo e um g|upo, o que j mosl|amos aule||o|meule. Ao compo|
74
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
75
uma rotao com uma simetria, o resultado sempre uma simetria, e ao compor duas simetrias, obtemos
uma rotao. Note tambm que este grupo no abeliano. Voc pode comprovar isto observando os clculos
feitos anteriormente, visualizando que
2

3

3

2
.
Agora com voc! Que tal montar a tbua do grupo diedral do quadrado? Use as informaes j vistas at
agora! Neste caso, o grupo diedral do quadrado tem ordem 8, e dado por
4
= {
0
,
1
,
2
,
3
,
1
,
2
,
3
,
4
}. Lembre-se que j calculamos as rotaes e simetrias do quadrado que compes este grupo. Bom trabalho!

01. Sejam , , , elementos de um grupo . Mostre que as equaes = e = admitem soluo
nica, respectivamente igual a = e = . Se abeliano, mostre que estas solues so iguais.

02. Sejam , elementos de um grupo abeliano . Mostre que ()
.

03. Sejam , um grupo e uma outra operao em definida da seguinte forma: % , tem-se
= . Mostre que , tambm um grupo.

04. Seja = { , , , } e considere , a multiplicao usual de matrizes.

=
1 0
0 1
=
1 0
0 1
=
1 0
0 1
=
1 0
0 1

a) Construa a tbua dessa operao e verifique que uma operao interna em .
b) Determine elemento neutro, elementos regulares e pares de simtricos.
c) Determine a ordem de cada um dos elementos.
d) Verifique que , um grupo abeliano.

05. Considere , elementos de um grupo com elemento neutro para os quais vale as seguintes relaes:
2
= e
13
= 1. Mostre, ento, que = (
6
)
1
.
06. Considere o grupo = {
1
;
2
;
3
;
4
}, onde:
1
=

2
=

3
=

4
=

a) Construa a tbua da operao composio de funes em .
b) Determine o simtrico de cada um dos elementos de .
c) Determine a ordem de cada um dos elementos de .
d) Este um grupo de Klein?

07. a) No conjunto
6
, determine as permutaes , , :
=
1 2 3
2 5 1

4 5 6
6 4 3
1
=
1 2 3
4 1 2

4 5 6
3 6 5
2

1 2 3
5 6 2

4 5 6
1 4 3
1

=
1 2 3
5 6 2

4 5 6
3 4 1
2

b) Determinar , , , , em =
1 6
6

3

de modo que =
2
.

08. Determinar as rotaes de cada um dos polgonos abaixo;
a) pentgono;
b) hexgono;
c) heptgono;
d) octgono;
e) decgono.

Construa a tbua do respectivo grupo das rotaes de cada um dos polgonos acima.

74
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
75
uma rotao com uma simetria, o resultado sempre uma simetria, e ao compor duas simetrias, obtemos
uma rotao. Note tambm que este grupo no abeliano. Voc pode comprovar isto observando os clculos
feitos anteriormente, visualizando que
2

3

3

2
.
Agora com voc! Que tal montar a tbua do grupo diedral do quadrado? Use as informaes j vistas at
agora! Neste caso, o grupo diedral do quadrado tem ordem 8, e dado por
4
= {
0
,
1
,
2
,
3
,
1
,
2
,
3
,
4
}. Lembre-se que j calculamos as rotaes e simetrias do quadrado que compes este grupo. Bom trabalho!

01. Sejam , , , elementos de um grupo . Mostre que as equaes = e = admitem soluo
nica, respectivamente igual a = e = . Se abeliano, mostre que estas solues so iguais.

02. Sejam , elementos de um grupo abeliano . Mostre que ()
.

03. Sejam , um grupo e uma outra operao em definida da seguinte forma: % , tem-se
= . Mostre que , tambm um grupo.

04. Seja = { , , , } e considere , a multiplicao usual de matrizes.

=
1 0
0 1
=
1 0
0 1
=
1 0
0 1
=
1 0
0 1

a) Construa a tbua dessa operao e verifique que uma operao interna em .
b) Determine elemento neutro, elementos regulares e pares de simtricos.
c) Determine a ordem de cada um dos elementos.
d) Verifique que , um grupo abeliano.

05. Considere , elementos de um grupo com elemento neutro para os quais vale as seguintes relaes:
2
= e
13
= 1. Mostre, ento, que = (
6
)
1
.
06. Considere o grupo = {
1
;
2
;
3
;
4
}, onde:
1
=

2
=

3
=

4
=

a) Construa a tbua da operao composio de funes em .
b) Determine o simtrico de cada um dos elementos de .
c) Determine a ordem de cada um dos elementos de .
d) Este um grupo de Klein?

07. a) No conjunto
6
, determine as permutaes , , :
=
1 2 3
2 5 1

4 5 6
6 4 3
1
=
1 2 3
4 1 2

4 5 6
3 6 5
2

1 2 3
5 6 2

4 5 6
1 4 3
1

=
1 2 3
5 6 2

4 5 6
3 4 1
2

b) Determinar , , , , em =
1 6
6

3

de modo que =
2
.

08. Determinar as rotaes de cada um dos polgonos abaixo;
a) pentgono;
b) hexgono;
c) heptgono;
d) octgono;
e) decgono.

Construa a tbua do respectivo grupo das rotaes de cada um dos polgonos acima.

76
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
77

6 - AhLL L 0F
6.1 - Ane|
Pa|a l|ua||/a| o uosso esludo, esleude|emos ago|a o couce|lo de g|upo. ha ve|dade, del|u||emos uma
seguuda ope|ao pa|a os g|upos abe||auos, e se, com |espe|lo a esla seguuda ope|ao esle g|upo sal|sl|/e|
a|gumas p|op||edades, o deuom|ua|emos de aue|, dom|u|o de |uleg||dade ou co|po. el|u||emos cu|dadosameule
cada uma deslas esl|ulu|as a|geb||cas. Acompauhe a segu||, la|s del|u|oes.
LFIhI 6.1: um aue| e um coujuulo, uo va/|o, muu|do de duas ope|aoes |ule|uas. uma ad|o e
uma mu|l|p||cao , que sal|sla/em s segu|ules coud|oes.
0 coujuulo e um g|upo abe||auo, com |espe|lo p||me||a deslas ope|aoes, |slo e,
a ope|ao e assoc|al|va,
a ope|ao e comulal|va,
a ope|ao adm|le e|emeulo ueul|o, que uesle caso se| |ep|eseulado po| , e lemos
pa|a lodo ,
lodo e|emeulo de e s|mel||/ve| com |e|ao ope|ao ,
a ope|ao e assoc|al|va, ou seja, dados lem-se ,
a ope|ao e d|sl||bul|va em |e|ao ope|ao , |slo e, dados lem-se
e .
A uolao usada pa|a |ep|eseula| um aue|, com |espe|lo s duas ope|aoes del|u|das e . Aqu|, as
ope|aoes del|u|das uo so ob||galo||ameule a ad|o e mu|l|p||cao usua|s, apeuas usamos seus s|mbo|os
pa|a |ep|eseula| duas ope|aoes del|u|das em um coujuulo. Pa|a s|mp||l|ca| a uolao, quaudo uo houve|
duv|da das ope|aoes del|u|das, d|/emos apeuas que e um aue|, ou eulo , aue| .
hole que em um aue|, a ope|ao mu|l|p||cao uo e uecessa||ameule comulal|va. Caso |slo oco||a,
lemos eulo um aue| comulal|vo, ou seja, pa|a qua|sque| lem-se .
LFIhI 6.2: |/emos que e um aue| com uu|dade se a ope|ao possu| e|emeulo ueul|o, aqu|
|ep|eseulado po| . lslo e, va|e a |gua|dade pa|a lodo .
Veja que uo podemos couluud|| o e|emeulo ueul|o da ad|o (+), que eslamos |ep|eseulado pe|o e o
e|emeulo ueul|o da mu|l|p||cao (), que eslamos |ep|eseulaudo pe|o . hum aue|, e|emeulo ueul|o da ad|o
lem semp|e que e/|sl||, euquaulo que o e|emeulo ueul|o da mu|l|p||cao pode ou uo e/|sl||.
hovameule pa|a s|mp||l|ca| uolao, ul|||/a|emos l|equeulemeule pa|a |ep|eseula| , seudo dados
.
E/emp|os. (a) 0s coujuulos , e so |especl|vameule, o aue| dos |ule||os,
o aue| dos |ac|oua|s, o aue| dos |ea|s, e o aue| dos comp|e/os. hole que lodos esles aue|s so comulal|vos e
possuem uu|dade.
(b) 0 coujuulo
lambem e um aue| comulal|vo e com uu|dade.

(c) 0 coujuulo muu|do das ope|aoes ad|o e mu|l|p||cao
usua|s dos |ule||os e um aue| comulal|vo, mas uo possu| uu|dade.
(d) 0 coujuulo
, que |ep|eseula o coujuulo das mal||/es |ea|s de o|dem , e um aue| com

|espe|lo s ope|aoes ad|o e mu|l|p||cao usua|s de mal||/es. hesle caso, lemos um aue| uo comulal|vo,
po|s a mu|l|p||cao de mal||/es uo e comulal|va, mas que possu| uu|dade. A uu|dade e |ep|eseulada pe|a mal||/
|deul|dade

.
0s aue|s adm|lem a|gumas p|op||edades |mpo|laules. Couhea a|gumas de|as.
FF8I 6.3: Seja um aue|. Eulo pa|a qua|sque| , lemos.
,
, oude e o s|mel||co de , o s|mel||co de e o
s|mel||co de lodos com |espe|lo ad|o ,
, oude e so os s|mel||cos de e , |especl|vameule com |espe|lo
ad|o
P|ova. Seja . Temos que . Ass|m,
. Logo, . Po|laulo, e maue||a au|oga, mosl|a-se
que .
76
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
77
Veja que uo podemos couluud|| o e|emeulo ueul|o da ad|o (+), que eslamos |ep|eseulado pe|o e o
e|emeulo ueul|o da mu|l|p||cao (), que eslamos |ep|eseulaudo pe|o . hum aue|, e|emeulo ueul|o da ad|o
lem semp|e que e/|sl||, euquaulo que o e|emeulo ueul|o da mu|l|p||cao pode ou uo e/|sl||.
hovameule pa|a s|mp||l|ca| uolao, ul|||/a|emos l|equeulemeule pa|a |ep|eseula| , seudo dados
.
E/emp|os. (a) 0s coujuulos , e so |especl|vameule, o aue| dos |ule||os,
o aue| dos |ac|oua|s, o aue| dos |ea|s, e o aue| dos comp|e/os. hole que lodos esles aue|s so comulal|vos e
possuem uu|dade.
(b) 0 coujuulo
lambem e um aue| comulal|vo e com uu|dade.

(c) 0 coujuulo muu|do das ope|aoes ad|o e mu|l|p||cao
usua|s dos |ule||os e um aue| comulal|vo, mas uo possu| uu|dade.
(d) 0 coujuulo
, que |ep|eseula o coujuulo das mal||/es |ea|s de o|dem , e um aue| com

|espe|lo s ope|aoes ad|o e mu|l|p||cao usua|s de mal||/es. hesle caso, lemos um aue| uo comulal|vo,
po|s a mu|l|p||cao de mal||/es uo e comulal|va, mas que possu| uu|dade. A uu|dade e |ep|eseulada pe|a mal||/
|deul|dade

.
0s aue|s adm|lem a|gumas p|op||edades |mpo|laules. Couhea a|gumas de|as.
FF8I 6.3: Seja um aue|. Eulo pa|a qua|sque| , lemos.
,
, oude e o s|mel||co de , o s|mel||co de e o
s|mel||co de lodos com |espe|lo ad|o ,
, oude e so os s|mel||cos de e , |especl|vameule com |espe|lo
ad|o
P|ova. Seja . Temos que . Ass|m,
. Logo, . Po|laulo, e maue||a au|oga, mosl|a-se
que .
78
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
79
Seja , podemos esc|eve| eulo . Ass|m,
e, po|laulo lemos . Logo, . e
maue||a au|oga, mosl|a-se que .
Temos .
Pa|a coul|uua| com as del|u|oes das uovas esl|ulu|as a|geb||cas a se|em esludadas, couhea a del|u|o
de um e|emeulo |mpo|laule pa|a a cousl|uo de um dom|u|o de |uleg||dade. o d|v|so| de /e|o.
LFIhI 6.4: Seja um aue| e sejam , e|emeulos uo uu|os, la|s que . |/- se
eulo que e so d|v|so|es p|p||os de /e|o.
uma obse|vao aqu| se la/ |mpo|laule. |/-se que um e|emeulo do aue| e uo uu|o quaudo e|e e d|sl|ulo
do e|emeulo ueul|o da p||me||a ope|ao (+).
Acompauhe ago|a a|guus e/emp|os de aue|s, oude deslaca|emos, a|guus de seus d|v|so|es de /e|o, se
houve|em.
E/emp|os. (a) ho aue|
o e|emeulo e um d|v|so| de /e|o, po|s .

(b) ho aue|
os e|emeulos , e so d|v|so|es de /e|o, po|s so uo uu|os e ,

.
(c) 0 aue| uo possu| d|v|so|es de /e|o, po|s dados do|s e|emeulos qua|sque| uo uu|os, o seu
p|odulo semp|e se| uo uu|o.
um aue| que uo possu| d|v|so|es de /e|o, e sal|sla/ ma|s a|gumas coud|oes |ecebe um uome espec|a|.
Acompauhe a p|/|ma del|u|o.
LFIhI 6.6: Seja um aue| comulal|vo e com uu|dade. |/emos que e um dom|u|o de |uleg||dade
se e|e uo possu| d|v|so|es de /e|o.
E/emp|o. 0 aue| e um dom|u|o de |uleg||dade.
Em oul|as pa|av|as, se e um dom|u|o de |uleg||dade, eulo pa|a qua|sque| lem-
se , ou a|uda, se ob||galo||ameule lem-se ou . hole que usamos esle couce|lo
de dom|u|o de |uleg||dade pa|a |eso|ve| a|gumas equaoes.
Acompauhe o e/emp|o.
E/emp|o. Ao |eso|ve| a equao
, cous|de|audo suas so|uoes em , lemos

. Eulo, como e um dom|u|o de |uleg||dade podemos couc|u|| que ou

.
V|u que |ule|essaule? J usvamos a p|op||edade do dom|u|o de |uleg||dade, sem mesmo couhece-|o. Esl
a| a be|e/a do esludo da |geb|a.
E/emp|o. 0 coujuulo
e um dom|u|o de |uleg||dade. Veja sua lbua de mu|l|p||cao e uole que

do|s e|emeulos uo uu|os, ao se mu|l|p||ca|em, semp|e |esu|lam em e|emeulos uo uu|os.

6.2 - 0orpo
Bem, vamos couhece| eulo a u|l|ma esl|ulu|a a|geb||ca de uosso cu|so. o co|po. Voce deve le| pe|ceb|do
que, em |e|ao ope|ao de mu|l|p||cao, as p|op||edades meuc|ouadas ale ago|a lo|am. a assoc|al|v|dade, a
comulal|v|dade e o e|emeulo ueul|o. ho l|/emos ueuhuma |ele|euc|a e|emeulos |uve|s|ve|s, ou seja, e|emeulos
s|mel||/ve|s com |espe|lo mu|l|p||cao. Esla u|l|ma esl|ulu|a le| ma|s esla p|op||edade seudo sal|sle|la. Veja
uossas del|u|oes.
LFIhI 6.6: Seja um aue| com uu|dade. um |uve|so de um e|emeulo e um e|emeulo
la| que
. |/emos eulo que e um e|emeulo |uve|s|ve|, e
e o seu |uve|so.
E/emp|os. (a) ho aue| , que e um aue| com uu|dade, os e|emeulos |uve|s|ve|s so e .
VOC SABA?
No anel
os divisores de zero so os elementos do tipo , tais que

? Consequentemente, se p primo, ento o anel
no tem divisores de zero. Voc pode

provar esta afirmao. Tente! Tenho certeza que conseguir.
78
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
79
Seja , podemos esc|eve| eulo . Ass|m,
e, po|laulo lemos . Logo, . e
maue||a au|oga, mosl|a-se que .
Temos .
Pa|a coul|uua| com as del|u|oes das uovas esl|ulu|as a|geb||cas a se|em esludadas, couhea a del|u|o
de um e|emeulo |mpo|laule pa|a a cousl|uo de um dom|u|o de |uleg||dade. o d|v|so| de /e|o.
LFIhI 6.4: Seja um aue| e sejam , e|emeulos uo uu|os, la|s que . |/- se
eulo que e so d|v|so|es p|p||os de /e|o.
uma obse|vao aqu| se la/ |mpo|laule. |/-se que um e|emeulo do aue| e uo uu|o quaudo e|e e d|sl|ulo
do e|emeulo ueul|o da p||me||a ope|ao (+).
Acompauhe ago|a a|guus e/emp|os de aue|s, oude deslaca|emos, a|guus de seus d|v|so|es de /e|o, se
houve|em.
E/emp|os. (a) ho aue|
o e|emeulo e um d|v|so| de /e|o, po|s .

(b) ho aue|
os e|emeulos , e so d|v|so|es de /e|o, po|s so uo uu|os e ,

.
(c) 0 aue| uo possu| d|v|so|es de /e|o, po|s dados do|s e|emeulos qua|sque| uo uu|os, o seu
p|odulo semp|e se| uo uu|o.
um aue| que uo possu| d|v|so|es de /e|o, e sal|sla/ ma|s a|gumas coud|oes |ecebe um uome espec|a|.
Acompauhe a p|/|ma del|u|o.
LFIhI 6.6: Seja um aue| comulal|vo e com uu|dade. |/emos que e um dom|u|o de |uleg||dade
se e|e uo possu| d|v|so|es de /e|o.
E/emp|o. 0 aue| e um dom|u|o de |uleg||dade.
Em oul|as pa|av|as, se e um dom|u|o de |uleg||dade, eulo pa|a qua|sque| lem-
se , ou a|uda, se ob||galo||ameule lem-se ou . hole que usamos esle couce|lo
de dom|u|o de |uleg||dade pa|a |eso|ve| a|gumas equaoes.
Acompauhe o e/emp|o.
E/emp|o. Ao |eso|ve| a equao
, cous|de|audo suas so|uoes em , lemos

. Eulo, como e um dom|u|o de |uleg||dade podemos couc|u|| que ou

.
V|u que |ule|essaule? J usvamos a p|op||edade do dom|u|o de |uleg||dade, sem mesmo couhece-|o. Esl
a| a be|e/a do esludo da |geb|a.
E/emp|o. 0 coujuulo
e um dom|u|o de |uleg||dade. Veja sua lbua de mu|l|p||cao e uole que

do|s e|emeulos uo uu|os, ao se mu|l|p||ca|em, semp|e |esu|lam em e|emeulos uo uu|os.

6.2 - 0orpo
Bem, vamos couhece| eulo a u|l|ma esl|ulu|a a|geb||ca de uosso cu|so. o co|po. Voce deve le| pe|ceb|do
que, em |e|ao ope|ao de mu|l|p||cao, as p|op||edades meuc|ouadas ale ago|a lo|am. a assoc|al|v|dade, a
comulal|v|dade e o e|emeulo ueul|o. ho l|/emos ueuhuma |ele|euc|a e|emeulos |uve|s|ve|s, ou seja, e|emeulos
s|mel||/ve|s com |espe|lo mu|l|p||cao. Esla u|l|ma esl|ulu|a le| ma|s esla p|op||edade seudo sal|sle|la. Veja
uossas del|u|oes.
LFIhI 6.6: Seja um aue| com uu|dade. um |uve|so de um e|emeulo e um e|emeulo
la| que
. |/emos eulo que e um e|emeulo |uve|s|ve|, e
e o seu |uve|so.
E/emp|os. (a) ho aue| , que e um aue| com uu|dade, os e|emeulos |uve|s|ve|s so e .
VOC SABA?
No anel
os divisores de zero so os elementos do tipo , tais que

? Consequentemente, se p primo, ento o anel
no tem divisores de zero. Voc pode

provar esta afirmao. Tente! Tenho certeza que conseguir.
??
VOC SABIA?
No anel
, +, os divisores de zero so os elementos do tipo 0, tais que (, ) 1?

Consequentemente, se p primo, ento o anel
no tem divisores de zero. Voc pode provar esta afirmao.

Tente! Tenho certeza que conseguir.

80
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
81
(b) ho aue| , lodo e|emeulo e |uve|s|ve|, e/celo o .
Aps couhece| o que so e|emeulos |uve|s|ve|s, podemos del|u|| a esl|ulu|a a|geb||ca co|po.
LFIhI 6.7: Seja um aue| comulal|vo e com uu|dade. |/emos que e um co|po, se lodo
e|emeulo possu| |uve|so.
E/emp|os. (a) 0 aue| e um co|po, j que e aue| comulal|vo, com uu|dade, oude lodo e|emeulo
uo uu|o possu| |uve|so.
(b) 0 aue| e um co|po.
(c) 0 aue| uo e um co|po, po|s os uu|cos e|emeulos que possuem |uve|so so e .
Veja que deco||e da del|u|o de co|po, que h uma |e|ao eul|e co|po e dom|u|o de |uleg||dade. Veja
esla |e|ao ua p|/|ma p|opos|o.
FF8I 6.B: Todo co|po e um dom|u|o de |uleg||dade.
P|ova. Sejam , la|s que . Nosl|a|emos que ou . hole que, como e um
co|po, e/|sle
, la| que
. Logo,

.
Po|laulo, uo lem d|v|so|es de /e|o, possu| uu|dade e e comulal|vo, |ogo e um dom|u|o de |uleg||dade.
Veja que a |ec|p|oca desla p|opos|o uo e ve|dade||a. hem lodo dom|u|o de |uleg||dade e co|po. um
bom e/emp|o pa|a |slo e o aue| , que e um dom|u|o de |uleg||dade, mas uo e um co|po.
Chegamos ao l|m de uossa jo|uada. Espe|o que leuha ap|eud|do baslaule ao |ougo desle cu|so. Em b|eve
voce da| coul|uu|dade a esle esludo, uo p|/|mo compoueule cu|||cu|a| A|geb|a ll. Bous esludos e quem sabe
ale |!

80
EAD 2011 EAD 2011
M
A
T
E
M
T
I
C
A
81
(b) ho aue| , lodo e|emeulo e |uve|s|ve|, e/celo o .
Aps couhece| o que so e|emeulos |uve|s|ve|s, podemos del|u|| a esl|ulu|a a|geb||ca co|po.
LFIhI 6.7: Seja um aue| comulal|vo e com uu|dade. |/emos que e um co|po, se lodo
e|emeulo possu| |uve|so.
E/emp|os. (a) 0 aue| e um co|po, j que e aue| comulal|vo, com uu|dade, oude lodo e|emeulo
uo uu|o possu| |uve|so.
(b) 0 aue| e um co|po.
(c) 0 aue| uo e um co|po, po|s os uu|cos e|emeulos que possuem |uve|so so e .
Veja que deco||e da del|u|o de co|po, que h uma |e|ao eul|e co|po e dom|u|o de |uleg||dade. Veja
esla |e|ao ua p|/|ma p|opos|o.
FF8I 6.B: Todo co|po e um dom|u|o de |uleg||dade.
P|ova. Sejam , la|s que . Nosl|a|emos que ou . hole que, como e um
co|po, e/|sle
, la| que
. Logo,

.
Po|laulo, uo lem d|v|so|es de /e|o, possu| uu|dade e e comulal|vo, |ogo e um dom|u|o de |uleg||dade.
Veja que a |ec|p|oca desla p|opos|o uo e ve|dade||a. hem lodo dom|u|o de |uleg||dade e co|po. um
bom e/emp|o pa|a |slo e o aue| , que e um dom|u|o de |uleg||dade, mas uo e um co|po.
Chegamos ao l|m de uossa jo|uada. Espe|o que leuha ap|eud|do baslaule ao |ougo desle cu|so. Em b|eve
voce da| coul|uu|dade a esle esludo, uo p|/|mo compoueule cu|||cu|a| A|geb|a ll. Bous esludos e quem sabe
ale |!

01. Resolva a equao
2
+5 +6 = 0, considerando o conjunto universo = . Em seguida, resolva
esta mesma equao (
2
+5 +6 = 0) considerando o conjunto universo =
12
.

02. Mostre que todo domnio de integridade finito corpo.

03. Seja = {, , , } um conjunto tal que:

, +, um anel comutativo;
Os elementos neutros das operaes + e so, respectivamente, e .
+ = ; + = e = .

(a) Construa as tbuas das duas operaes definidas em .
(b) Lembrando que num anel , +, se tem , + grupo, observe com ateno a tbua construda e
identifique de que tipo especial este grupo.
(c) O qu se pode dizer sobre os elementos , pertencentes a ? Justifique.

82
EAD 2011
M
A
T
E
M
T
I
C
A
REFERNCIAS BIBLIOGRFICAS
1. AYRES, Frank Jr. lgebra Moderna. Coleo Schaum. So Paulo: MCGraw Hill do Brasil, 1995.
2. DOMINGUES, H. Fundamentos da Aritmtica. 4 Ed. So Paulo: Atual, 2003.
3. DOMINGUES, Hygino e IEZZI,Gelson. lgebra Moderna. 2 Ed. So Paulo: Atual,1982.
4. LANG, Serge. Estruturas Algbricas. Rio de Janeiro: Ao livro Tcnico S.A., 1972.
5. SAMPAIO, Joo C.V. Estruturas Algbricas. Disponvel: http://www.dm.ufscar.br/~sampaio/algebra.html , acesso em
30mai2010.
6. SODRE, Ulysses. Aplicao Binria. Disponvel: http://www.mat.uel.br/matessencial/superior/algebra/grupos.htm ,
acesso em 30mai2010.
7. Wikipdia, a enciclopdia livre. Disponvel: http://pt.wikipedia.org/wiki/Niels_Henrik_Abel , acesso em 30mai2010.
8.Wikipdia, a enciclopdia livre. Disponvel: http://pt.wikipedia.org/wiki/%C3%81lgebra , acesso em 30mai2010.

Relações binárias e suas propriedades

Transféré par

Informations du document

Description originale:

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Relações binárias e suas propriedades

Transféré par

Droits d'auteur :

Formats disponibles

UNIVERSIDADE

, sua |magem uo co|uc|de com o coujuulo de chegada, e em

so |gua|s se, e someule se,

, obl|do de l|ocaudo-se em cada

, eulo e/|sle la| que

. Logo, e da| lemos

. Seja ago|a , eulo e/|sle la| que

, eulo e/|sle la| que

. Logo e da| lemos

. Seja ago|a , eulo e/|sle la| que

e podemos eulo couc|u||

e, po|laulo . Temos eulo

, sua |magem uo co|uc|de com o coujuulo de chegada, e em

so |gua|s se, e someule se,

, obl|do de l|ocaudo-se em cada

, eulo e/|sle la| que

. Logo, e da| lemos

. Seja ago|a , eulo e/|sle la| que

, eulo e/|sle la| que

. Logo e da| lemos

. Seja ago|a , eulo e/|sle la| que

e podemos eulo couc|u||

e, po|laulo . Temos eulo

em del|u|da po| e |el|e/|va po|s pa|a

, uo e s|mel||ca po|s os pa|es

em del|u|da po| uo e |el|e/|va, po|s o pa|

, uo e s|mel||ca, po|s os pa|es

, e aul|ss|mel||ca e uo e l|aus|l|va, po|s lemos

e uma |e|ao aul|||el|e/|va, po|s ueuhum uume|o e meuo| que

em del|u|da po| e |el|e/|va po|s pa|a

, uo e s|mel||ca po|s os pa|es

em del|u|da po| uo e |el|e/|va, po|s o pa|

, uo e s|mel||ca, po|s os pa|es

, e aul|ss|mel||ca e uo e l|aus|l|va, po|s lemos

e uma |e|ao aul|||el|e/|va, po|s ueuhum uume|o e meuo| que

. Esla e uma das ca|acle||sl|cas das c|asses de equ|va|euc|a em um coujuulo. A

e do lalo de , pa|a lodo , segue que

. Ass|m, das duas |uc|usoes,

. Esla e uma das ca|acle||sl|cas das c|asses de equ|va|euc|a em um coujuulo. A

e do lalo de , pa|a lodo , segue que

. Ass|m, das duas |uc|usoes,

. Po| oul|o |ado, seja .

. Po| oul|o |ado, seja .

' e uma |e|ao de equ|va|euc|a? Ap|eseula| um

' e uma |e|ao de equ|va|euc|a? Ap|eseula| um

a |e|ao |uve|sa. Eulo

e lambem uma ap||cao b|jelo|a e e deuom|uada ap||cao |uve|sa da ap||cao .

, e b|jelo|a e lem como ap||cao |uve|sa

a |e|ao |uve|sa. Eulo

e lambem uma ap||cao b|jelo|a e e deuom|uada ap||cao |uve|sa da ap||cao .

, e b|jelo|a e lem como ap||cao |uve|sa

. Eulo, po| e/emp|o,

. Temos aqu| uma ope|ao |ule|ua em .

del|u|da po| . Eulo, lemos po| e/emp|o,

. Eulo, po| e/emp|o,

. Temos aqu| uma ope|ao |ule|ua em .

del|u|da po| . Eulo, lemos po| e/emp|o,

del|u|da po| uo e assoc|al|va, po|s dados

o coujuulo das mal||/es |ea|s de o|dem muu|do da ope|ao |ule|ua

. e e|emeulo ueul|o da ope|ao.

do|s e|emeulos ueul|os da ope|ao . Se e e|emeulo ueul|o, eulo lemos

, po| oul|o |ado, se