Prof.

Dr Marlia Brasil Xavier

REITORA


Prof. M. Sc. Vernica de Menezes Nascimento Nagata
VICE-REITORA



Prof. M. Sc. Neivaldo Oliveira Silva
PR-REITOR DE GRADUAO



Prof. M.Sc. Maria Jos de Souza Cravo
DIRETORA DO CENTRO DE CINCIAS SOCIAIS E EDUCAO



Prof. M. Sc. Gilberto Emanuel Reis Vogado
CHEFE DO DEPARTAMENTO DE MATEMTICA, ESTATSTICA E INFORMTICA



Prof. M. Sc. Rubens Vilhena Fonseca
COORDENADOR DO CURSO DE MATEMTICA
COORDENADOR DO CURSO DE MATEMTICA MODALIDADE A DISTNCIA



















UNIVERSIDADE DO ESTADO DO PAR
CENTRO DE CINCIAS SOCIAIS E EDUCAO
DEPARTAMENTO DE MATEMTICA, ESTATSTICA E INFORMTICA
LICENCIATURA EM MATEMTICA MODALIDADE A DISTNCIA











! # $ % & ' !
Rubens Vilhena Fonseca


















BELM PAR BRASIL
- 2009 -





MATERIAL DIDTICO


ELABORAO DO CONTEDO
Rubens Vilhena Fonseca


EDITORAO ELETRONICA
Odivaldo Teixeira Lopes

ARTE FINAL DA CAPA
Odivaldo Teixeira Lopes










REALIZAO

SUMRIO

APRESENTAO """""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""" #
INTRODUO """"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""$$
()*+!+% * , '%#!-.%/ """""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""$%
0101 '%#!-.%/ &*)2'*!/ % /(!/ 3'43'*%+!+%/ ..................................................................................................13
0151 '%#!-64 +% %7(*8!#9):*! .......................................................................................................................18
01;1 '%#!-64 +% 4'+%< .................................................................................................................................19
()*+!+% ** , $'(34/ % /(&$'(34/ """""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""&%
5101 #%* +% :4<34/*-64 *)=%')! % /(!/ 3'43'*%+!+%/ ......................................................................................23
5151 =2&(! +% (<! 43%'!-64 ........................................................................................................................24
51;1 $'(3>*+%? /%<*$'(34? <4)>*+%? $'(34? $'(34 :4<(=!=*841 .......................................................................29
51@1 3'43'*%+!+%/ +4/ $'(34/ ....................................................................................................................33
51A1 /(&$'(34/ .........................................................................................................................................36
()*+!+% *** , B4<4<4'C*/<4 +% $'(34/ """""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""'$
;101 B4<4<4'C*/<4 % :#!//*C*:!-64 +4 B4<4<4'C*/<41 ................................................................................41
;151 3'43'*%+!+%/ +4/ B4<4<4'C*/<4/ .......................................................................................................42
;1;1 )D:#%4 +% (< B4<4<4'C*/<4 ...............................................................................................................43
;1@1 B4<4<4'C*/<4/ %/3%:*!*/ ...................................................................................................................45
()*+!+% *8 , :#!//%/ #!=%'!*/ """"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""'(
@101 :#!//% #!=%'!# E +*'%*=! ........................................................................................................................46
@151 :#!//% #!=%'!# E %/7(%'+! ....................................................................................................................46
@1;1 3'43'*%+!+%/ +!/ :#!//%/ #!=%'!*/ .......................................................................................................48
@1@1 /(&$'(34 )4'<!# ................................................................................................................................51
()*+!+% 8 , !)F*/ % :4'34/ """"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""")$
A101 !)%# ....................................................................................................................................................51
A151 !)F*/ :4<(=!=*84/? !)F*/ :4< ()*+!+% % !)F*/ +% *)=%$'*+!+%1 .................................................................53
A1@1 /(&!)F*/ .............................................................................................................................................54
A1A1 :4'34 .................................................................................................................................................55
* + * , - . - / 0 1 """"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""")2
BIBLIOGRAFIA: """""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""($




















APRESENTAO

Disciplina: LGEBRA

I IDENTIFICAO:

DISCIPLINA: LGEBRA

CARGA HORRIA TOTAL: 120 h/a

II OBJETIVO GERAl DA DISCIPLINA:

Introduzir os conceitos fundamentais da lgebra, apresentando uma construo lgico-
formal das estruturas algbrica de modo que possa prover o estudante com uma base que lhe
permita a ampliao de seus conhecimentos matemticos em diversas direes.

III CONTEDO PROGRAMTICO:

Unidade I Relaes
1.1. Relaes binrias e suas propriedades
1.2. Relaes de equivalncia
1.3. Relaes de ordem
1.4. Limites superiores e inferiores, supremo e nfimo, mximo e mnimo, maximal e
minimal.
Unidade II Grupos e Subgrupos
2.1. Leis de composio interna e suas propriedades
2.2. Tbua de uma operao
2.3. Grupide, semigrupo, monide, grupo, grupo comutativo.
2.4. Propriedades de grupo
2.5. Subgrupos

Unidade III Homomorfismo de Grupos
3.1. Homomorfismo e classificao do homomorfismo.
3.2. Propriedades dos Homomorfismos
3.3. Ncleo de um Homomorfismo.
3.4. Homomorfismos Especiais

Unidade IV Classes Laterais
4.1. Classe Lateral Direita
4.2. Classe Lateral Esquerda
4.3. Propriedades das Classes Laterais
4.4. Subgrupo Normal
Unidade V Anis e Corpos
5.1. Anel
5.2. Anis comutativos, anis com unidade e anis de integridade,
5.4 Subanis.
5.5 Corpo.


INTRODUO


O sculo dezenove, mais do que qualquer perodo precedente, mereceu ser conhecido
como Idade urea da matemtica. O que se acrescentou ao assunto durante esses cem anos
supera de longe, tanto em quantidade quanto em qualidade , a produtividade total combinada
de todas as pocas precedentes.
Em 1892 um novo mundo na geometria foi descoberto por Lobachevsky, um russo que
tivera um professor alemo, e em 1874 o campo da anlise fora assombrado pela matemtica
do infinito introduzido por Cantor, um alemo nascido na Rssia. A Frana j no era mais o
centro reconhecido do mundo matemtico, embora fornecesse a carreira meterica de variste
Galois (1811 1832). O carter internacional do assunto se percebe no fato de as duas
contribuies mais revolucionrias na lgebra terem sido feitas, em 1843 e 1847, por
matemticos que ensinavam na Irlanda, embora, os contribuidores mais prolficos lgebra
do sculo dezenove tenham sido os ingleses que passaram algum tempo na Amrica, - Arthur
Caley (1821 1895) e J. J. Sylvester (1814 1897) e foi principalmente na universidade de
onde esses provinham, Camdridge, que se deu o aparecimento da lgebra moderna.
O ponto de virada na matemtica inglesa veio em 1815, o algebrista George Peacock
(1791 1858) no produziu resultados novos notveis em matemtica, mas teve grande
importncia na reforma do assunto na Inglaterra, especialmente no que diz respeito lgebra.
Num esforo para justificar as idias mais amplas na lgebra, Peacock em 1830 publicou seu
Treatise on Algebra, em que procurou dar lgebra uma estrutura lgica comparvel de Os
elementos de Euclides. A lgebra de Peacock tinha sugerido que os smbolos para objetos na
lgebra no precisam indicar nmeros, e Augustus De Morgan (1806 1971) arga que as
interpretaes dos smbolos para as operaes eram tambm arbitrrias; George Boole
(1815 1864) levou o formalismo sua concluso. A matemtica j no estava limitada a
questes de nmero e grandeza contnua. Aqui pela primeira vez est claramente expressa a
idia de que a caracterstica essencial da matemtica no tanto seu contedo quanto sua
forma. Se qualquer tpico apresentado de tal modo que consiste de smbolos e regras
precisas de operao sobre smbolos, sujeitas apenas exigncia de consistncia interna, tal
tpico parte da matemtica.
A multiplicidade de lgebra inventadas no sculo dezenove poderia ter dado
matemtica uma tendncia centrfuga se no tivessem sido desenvolvidas certos conceitos
estruturais. Um dois mais importantes desses foi a noo de grupo, cujo papel unificador na
geometria j foi indicado. Na lgebra o conceito de grupo foi sem dvida a fora mais
importante par a coeso , e foi um fator essencial no surgimento das idias abstratas. No
houve uma pessoa responsvel pelo surgimento da idia grupo, mas a figura que mais se
sobressai neste contexto foi o homem que deu o nome a esse conceito, o jovem variste
Galois, morto tragicamente antes de completar vinte anos. A obra de Galois foi importante
no s por tornar a noo abstrata de grupo fundamental na teoria das equaes, mas tambm
por levar, atravs das contribuies de J. W. R. Dedekind (1831 1916), Leopold Kronecker
(1823 1891) e Ernst Eduard Kummer (1810 1893), ao que se pode chamar tratamento
aritmtico da lgebra, algo parecido com a aritmetizao da anlise, isto significa o
desenvolvimento de um cuidadoso tratamento postulacional da estrutura algbrica em termos
de vrios corpos de nmeros.
A Itlia tinha parte um tanto menos ativa no desenvolvimento da lgebra que a Frana,
a Alemanha e a Inglaterra, mas durante os ltimos anos do sculo dezenove houve
matemticos italianos que se interessaram profundamente pela lgica matemtica. O mais
conhecido desses foi Giuseppe Peano (1858 1932) cujo nome lembrado hoje em conexo
com os axiomas de Peano dos quais dependem tantas construes rigorosas da lgebra e da
anlise.
O alto grau de abstrao formal que se introduziu na anlise, geometria e topologia no
comeo do sculo vinte no podia deixar de invadir a lgebra. O resultado de um novo tipo
de lgebra, s vezes inadequadamente descrito como "lgebra moderna", produto em grande
parte do segundo tero do sculo. de fato verdade que um processo gradual de
generalizao na lgebra tinha sido desenvolvido no sculo dezenove, mas no sculo vinte o
grau de abstrao deu uma virada brusca, pois x e y j no representavam mais
necessariamente nmeros desconhecidos (reais ou complexos) ou segmentos, como na obra
de Descartes; agora podiam designar elementos de qualquer tipo substituies, figuras
geomtricas, matrizes, polinmios, funes, etc.
A notvel expanso da matemtica aplicada no sculo vinte de modo algum diminuiu
o ritmo do desenvolvimento da matemtica pura, nem o surgimento de novos ramos diminuiu
o vigor dos antigo.
Os conceitos fundamentais da lgebra moderna (ou abstrata), topologia e espaos
vetoriais foram estabelecidos entre 1920 e 1940, mas a vintena de anos seguinte viu uma
verdadeira revoluo nos mtodos da topologia algbrica que se estendeu lgebra e
anlise, resultando uma nova disciplina chamada lgebra homolgica. A lgebra homolgica
um desenvolvimento da lgebra abstrata que trata de resultados vlidos para muitas espcies
diferentes de espaos uma invaso do domnio da lgebra pura pela topologia algbrica.
Nunca antes a matemtica esteve to unificada quanto hoje, pois os resultados desse ramo
tm aplicao to ampla que as etiquetas antigas, lgebra, , anlise, geometria, j no se
ajustam aos resultados de pesquisas recentes.
A maior parte do enorme desenvolvimento durante os vinte anos seguintes Segunda
Grande Guerra Mundial teve pouco que ver com as cincias naturais, sendo estimulada por
problemas dentro da prpria matemtica pura; no entanto durante o mesmo perodo as
aplicaes da matemtica cincia se multiplicaram incrivelmente. A explicao dessa
anomalia parece clara : a abstrao e percepo de estruturas tem tido papel cada vez mais
importante no estudo da natureza, como na matemtica. Por isso mesmo em nossos dias de
pensamento superabstrato, a matemtica continua a ser a linguagem da cincia, tal como era
na antigidade. No entanto, loucura e sabedoria esto to misturadas na sociedade humana
que h agora uma possibilidade muito real de que a matemtica do homem se torne um dia o
instrumento de sua prpria destruio.




!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



$%
()*+!+% * , '%#!-.%/

0101 '%#!-.%/ &*)2'*!/ % /(!/ 3'43'*%+!+%/
PRODUTO CARTESIANO
Definio:

Sejam A e B dois conjuntos no vazios. Chama-se produto cartesiano de A por B o conjunto formado
por todos os pares ordenados (x , y) tais que o primeiro elemento x pertence ao conjunto A e o segundo elemento
y pertence ao conjunto B .
Este conjunto produto representa-se por AxB, que se l "A por B" , "A vezes B" ou "A cartesiano
B". Simbolicamente, temos:

AxB = { (x , y) , x e A e y e B }

Se B = A, como BxA = { (y , x) , y e B e x e A } e (x , y) = (y , x), segue-se que AxB = BxA, isto ,
o produto cartesiano de dois conjuntos no goza da propriedade comutativa.
Se os conjuntos A e B so finitos e tm respectivamente p e q elementos, ento o produto cartesiano
AxB tambm um conjunto finito e tem p.q elementos, isto , o nmero de AxB igual ao produto do nmero
de elementos de A pelo nmero de elementos de B :

n(AxB) = n(A).n(B)

Exemplos:

01. Sejam os conjuntos: A = {1, 2, 3} e B = { 1, 2}. Temos:
AxB = {(1,1); (1,2); (2,1); (2,2); (3,1); (3,2)} e BxA = {(1,1); (1,2); (1,3); (2,1); (2,2); (2,3)}
O produto cartesiano de dois conjuntos pode ser representado por um diagrama cartesiano, por uma tabela de
dupla entrada ou por um diagrama sagital.
Diagrama Cartesiano


8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


$'
Tabela de Dupla Entrada

A x B 1 2 B x A 1 2 3
1 (1,1) (1,2) 1 (1,1) (1,2) (1,3)
2 (2,1) (2,2) 2 (2,1) (2,2) (2,3)
3 (3,1) (3,2)

Diagrama Sagital



02. Sejam os conjuntos : A = {x e 9 , 2 s x s 5} e B = { y e 9 , 1 s y s 6 }. Temos:



RELAO
Definio:
Sejam A e B dois conjuntos no vazios. Chama-se de relao binria de A em B ou apenas relao de
A em B todo subconjunto R de A x B , isto :

R relao de A em B R c A x B

A definio deixa claro que toda relao um conjunto de pares ordenados. Para indicar que (a,b) e R
usaremos algumas vezes a notao a R b (l-se "a erre b" ou "a est relacionado com b segundo R"). Se
(a,b) e R , escrevemos
Os conjuntos A e B so denominados, respectivamente, conjunto de partida e conjunto de chegada da
relao R .
!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



$)
Exemplos:

01. Sejam os conjuntos A = { 1, 2, 3, 4 } e B = { 1, 3, 5, 7, 9 }. Qualquer subconjunto de A x B uma
relao de A em B, assim, as relaes abaixo so relaes de A em B :
a) R
1
= {(1,1); (1,3); (1,5); (1,7); (1,9)}
b) R
2
= {(1,1); (2,3); (3,5); (4,7)}
c) R
3
= {(2,1); (1,3)}
d) R
4
= AxB
e) R
5
= C
f) R
6
= {(x,y) e AxB , x + 5 < y } = {(1,7); (1,9); (2,9); (3;9)}

02. Dados os conjuntos A = 9 e B = 9. As relaes abaixo so relaes de A em B :
a) R
7
= {(x,y) e 9
2
, x = y }
b) R
8
= {(x,y) e 9
2
, 2x + 4y 8 = 0 }
c) R
9
= {(x,y) e 9
2
, x y + 2 < 0 }
e possuem as respectivas representaes:


03. A relao R
10
= {(x,y) e 9
2
, (x 4)
2
+ (y 3)
2
< 4 }possui a seguinte representao :





8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


$(
DOMNIO E IMAGEM DE UMA RELAO
Definio:
Seja R uma relao de A em B.
Chama-se de domnio de R o subconjunto de A constitudo pelos elementos x para cada um dos quais
existe algum y em B tal que (x,y) e R e denota-se por D(R).
D(R) = { x e A , - y e B ; (x,y) e R}

Chama-se de imagem de R o subconjunto de B constitudo pelos elementos y para cada um dos quais
existe algum x em A tal que (x,y) e R e denota-se por Im(R).

Im(R) = { y e B , - x e A ; (x,y) e R}

Em outras palavras, D(R) o conjunto formado pelos primeiros termos dos pares ordenados que
constituem R e Im(R) formado pelos segundos termos dos pares de R .

Exemplos:

01. Aproveitando os exemplos anteriores de relao, temos que :
a) D(R
1
) = { 1 } e Im(R
1
) = B
b) D(R
2
) = A e Im(R
2
) = {1, 3, 5, 7}
c) D(R
5
) = C e Im(R
1
) = C
d) D(R
6
) = {1, 2, 3 } e Im(R
6
) = {7, 9}
e) D(R
8
) = 9 e Im(R
8
) = 9
f) D(R
10
) = ]2 , 6[ e Im(R
10
) = ]1 , 5[

- Deixamos ao aluno justificar os domnios e imagens acima determinados.

02. A relao R
10
= {(x,y) e 9
2
, (x 4)
2
+ (y 3)
2
> 4 }possui a seguinte representao:

Observando sua representao temos que: D(R) = 9 e Im(R) = 9.

!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



$2
INVERSA DE UMA RELAO
Definio:
Seja R uma relao de A em B. Chama-se de relao inversa de R, denota-se por R
1
, a seguinte
relao definida de B em A :
"
#
$ % &!'"( e ) * + , &"'!( e " ,

A relao inversa e tambm denominada de relao recproca.
No caso particular em que A = B, tambm se diz que R
1
a relao oposta de R .

Exemplos :

01. Aproveitando os exemplos anteriores de relao, temos que :
a) R
1
1
= {(1,1); (3,1); (5,1); (7,1); (9,1)}
b) R
2
1
= {(1,1); (3,2); (5,3); (7,4)}
c) R
3
1
= {(1,2); (3,1)}
d) R
4
1
= BxA
e) R
5
1
= C
f) R
6
1
= {(x,y) e BxA , y + 5 < x } = {(y,x) e BxA , x + 5 < y }
g) R
7
1
= {(x,y) e 9
2
, x = y }
h) R
8
1
= {(x,y) e 9
2
, 2y + 4x 8 = 0 }
i) R
9
1
= {(x,y) e 9
2
, y x + 2 < 0 }
j) R
10
1
= {(x,y) e 9
2
, (y 4)
2
+ (x 3)
2
< 4 }

Sugerimos ao aluno que represente as relaes inversas no plano cartesiano e faa uma analogia com a
respctivarelao definida anteriormente.
Qual a concluso que podemos tirar quando representamos a relao R e sua inversa R
1
?

RELAO SOBRE UM CONJUNTO
Definio:
Seja R uma relao definida de A em A. Neste caso diz-se que a relao R uma relao sobre A ou
que R uma relao em A .
As relaes R
7
, R
8
, R
9
e R
10
so exemplos de relaes sobre o conjunto A = 9 .

Propriedades
Seja R uma relao em A. Ento podemos verificar as seguintes propriedades:

REFLEXIVA
Diz-se que R reflexiva quando a condio abaixo est satisfeita :
( x e A ; tem-se xRx )

8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


$3
SIMTRICA
Diz-se que a R simtrica quando a condio abaixo est satisfeita :
(x, y e A; xRy yRx )

TRANSITIVA
Diz-se que R transitiva quando a condio abaixo est satisfeita :
( x, y e z e A; xRy e yRz xRz )

ANTI-SIMTRICA
Diz que R e anti-simtrica quando a condio abaixo est satisfeita :
( x, y e A; xRy e yRx x = y )

Exemplos:

01. Seja A = {1, 2, 3, 4}. Ento podemos classificar as relaes abaixo em :
a) R
1
= {(1,1); (1,2); (2,1); (2,2)} Simtrica e Trantsitiva
b) R
2
= {(1,1); (2,2); (3,3); (4,4)} Reflexiva, Simtrica, Transitiva e Anti-simtrica
c) R
3
= {(1,2); (2,3); (1,3)} Anti-simtrica e Transitiva
d) R
5
= AxA Reflexiva, Simtrica e Transitiva
e) R
5
= C Simtrica, Transitiva e Anti-simtrica

02. A relao R definida por xRy x s y , sobre o conjunto dos nmeros reais uma relao reflexiva, anti-
simtrica e transitiva.

03. A relao R definida por xRy x|y (x divide y) ,sobre o conjunto dos inteiros positivos e uma relao
reflexiva, anti-simtrica e transitiva.

04. Sendo A o conjunto das retas do espao, a relao R definida por xRy x // y , uma relao reflexiva,
simtrica e transitiva.

05. A relao R = {(x,y) e 9
2
, (x 4)
2
+ (y 4)
2
> 4 } uma relao apenas simtrica.

0151 '%#!-64 +% %7(*8!#9):*!
Definio:
Seja R uma relao sobre o conjunto A. Diz-se que R uma relao de equivalncia em A, se for
reflexiva, simtrica e transitiva simultaneamente.

!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



$#
01;1 '%#!-64 +% 4'+%<
Definio:
Seja R uma relao sobre o conjunto A. Diz-se que R uma relao de ordem em A, se for reflexiva,
anti-simtrica e transitiva simultaneamente.

Exemplos:

01. Sendo A o conjunto das retas do espao, a relao R definida por xRy x // y , uma relao de
equivalncia.
02. A relao R definida por xRy x s y , sobre o conjunto dos nmeros reais uma relao de ordem.
03. A relao R definida por xRy x|y (x divide y) ,sobre o conjunto dos inteiros positivos e uma relao de
ordem.
04. A relao R definida por xRy x y = 3k (onde k um inteiro), sobre o conjunto dos inteiros positivos e
uma relao de equivalncia.

Observao : Se R uma relao de ordem em A e todos os elementos de A esto relacionados, ento diz-se
que R uma relao de ordem total, caso contrrio, diz-se que R uma relao de ordem parcial.

CLASSES DE EQUIVALNCIA
Definio:
Sejam R uma relao sobre o conjunto A e o elemento a e A. Chama-se de classe de equivalncia
determinada por a, mdulo R, o subconjunto de A, definido por :

a = { x e A , xRa } ou a = { x e A , aRx }

CONJUNTO QUOCIENTE
Definio:
Sejam R uma relao de equivalncia sobre o conjunto A. O conjunto formado por todas as classes de
equivalncia gerada pelos elementos de A denominado de conjunto quociente e denotado por A/R.

Exemplos

01. As relaes abaixo definidas so relaes de equivalncia em A = {1, 2, 3, 4}:
a) R
1
= {(1,1); (1,2); (2,1); (2,2); (3,3); (4,4)}
1 = {1, 2} ; 2 = {1, 2} ; 3 = {3} e 4 = {4}
A/R = { (1, 2}; {3}; {4} }

8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


&4
b) R
2
= {(1,1); (1,2); (2,1); (2,2); (3,3); (3,4); (4,3); (4,4)}
1 = 2 = { 1, 2} ; 3 = 4 = {3, 4}
A/R = { (1, 2}; {3,4}}

02. Seja A = {a, b, c, d, e, f} o conjunto das retas da figura abaixo :


Para relao de equivalncia R definida por xRy x // y , em A, as classes de equivalncia e o conjunto
quociente so :
a = { a, b, c} = b = c
d = {d, e} = e
f = {f }
A/R = { {a, b, c}; {d, e}; {f } }

- Deixamos ao encargo do aluno a demnstrao do seguinte teorema :

Teorema
Sejam R uma relao de equivalncia sobre A e os elementos a, b e A. As seguintes proposies so
equivalentes :
(I) aRb; (II) a e a ; (III) b e a ; (IV) b a =
isto ,
aRb a e a
l
b a = : b e a

Antes de apresentarmos algumas definies envolvendo relao de ordem importante sabermos
construir um diagrama simplificado e que, sendo R uma relao de ordem em A e xRy, vale:
xRy ou x est relacionado y ou x y ou x precede y ou y precedido por x



!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



&$
DIAGRAMA SIMPLIFICADO

A partir de um exemplo, mostraremos como construir um diagrama simplificado de uma relao de
ordem.

Exemplo:

A relao R definida por xRy x|y (x divide y), sobre o conjunto A = {1, 2, 3, 4, 6, 8} uma relao de ordem,
isto , R = {(1,1); (1,2); (1,3); (1,4); (1,6); (1,8); (2,2); (2,4); (2,6); (2,8); (3,3); (3,6); (4,4); (4,8); (6,6); (8,8)}.

Para fazermos o diagrama simplificado vale as seguintes regras para construo do diagrama:
* Se (1,2) e R, ento 1 2;
* Se (1,2), (2,4) e (2,4) e R, ento 1 2 4, isto , no h necessidade de indicar 1 4;
* Considerando que toda relao de ordem uma relao reflexiva, fica subtendido a existncia de um lao em
torno de todo par (x,x) e R;



- Deixamos ao aluno apresentar outras relaes de ordem com seus respectivos diagramas simplificados.

Definies:
Seja R uma relao de ordem em A e B um subconjunto de A.
Dizse que L e A um limite superior de B quando todo x e B precede L.
Dizse que l e A um limite inferior de B quando todo x e B precedido por l.
Chamase de supremo do conjunto B ao menor dos limites superiores, caso exista.
Chamase de nfimo do conjunto B ao maior dos limites inferiores, caso exista.
Um elemento M e B um mximo de B, quando ele for um limite superior de B.
Um elemento m e B um mnimo de B, quando ele for um limite inferior de B.
Dizse que M
0
e B maximal de B, se o nico elemento de B precedido por M
0
o prprio.
Dizse que m
0
e B minimal de B, se o nico elemento de B que precede m
0
o prprio.




8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


&&
Exemplos:

01. Sejam a relao R definida por xRy x s y sobre o conjunto A = 9 e o subconjunto B = [ 0 , 1] de A.

02. Representando A e B em retas, temos:

Limite(s) superior(es) do sub conjunto B: Lim sup(B) = { L e9 L > 1}
Limite(s) inferior(es) do sbconmjunto B: Lim inf(B) = { l e9 l s 0 }
Supremo do subconjunto B: Sup(B) = 1
nfimo do sbconjunto B: nf(B) = 0
Mximo do subconjunto B: Mx(B) = 1
Mnimo do sbconjunto B: Mn(B) = 0
Maximal do subconjunto B: Maximal(B) = 1
Minimal do sbconjunto B: Minimal(B) = 0

03. Sejam a relao R definida por xRy x s y sobre o conjunto A = 9 e o subconjunto B = ] 0 , 1] de A.
Representando A e B em retas, temos:

Limite(s) superior(es) do sub conjunto B: Lim sup(B) = { L e 9 L > 1}
Limite(s) inferior(es) do sbconmjunto B: Lim inf(B) = { l e 9 l s 0 }
Supremo do subconjunto B: Sup(B) = 1
nfimo do sbconjunto B: nf(B) = 0
Mximo do subconjunto B: Mx(B) = 1
Mnimo do sbconjunto B: Mn(B) = No existe.
Maximal do subconjunto B: Maximal(B) = 1
Minimal do sbconjunto B: Minimal(B) = No existe.

04. Abaixo est o diagrama simplificado da relao de ordem R sobre E = {a,b,c,d,e,f,g,h,i,j}.
Pede-se:
- #
)
9
- #
)
9
!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



&%
a) Determinar os limites superiores, os limites inferiores, o supremo, o nfimo, o mximo e o mnimo de
A = {d, e}.
b) Dar os pares que constituem R
-1





()*+!+% ** , $'(34/ % /(&$'(34/

5101 #%* +% :4<34/*-64 *)=%')! % /(!/ 3'43'*%+!+%/
Definio:
Chama-se operao interna em A ou apenas operao em A, toda aplicao
f: AxA A do produto cartesiano AxA em A .
Portanto, uma operao f em A faz corresponder a todo par ordenado (x,y) de AxA um
nico elemento f[(x,y)] = x - y (l-se : "x estrela y") de A. Neste caso, diremos tambm que
A um conjunto munido da operao - .
O elemento x - y denominado de composto de x e y pela operao f; os elementos
x e y do composto x - y so denominados de termos do composto x - y; os termos x e y do
composto x - y so chamados, respectivamente, primeiro e segundo termos ou, ento, termo
da esquerda e termo da direita.

Simbolicamente:



8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


&'
Diz-se que o conjunto A acha-se munido da operao - , o conjunto AxA chama-se
domnio da operao e denota-se por (A , - ) .
Outros smbolos podero ser utilizados para operao genrica como: , , , o e .
Exemplos e Contra-exemplos:
01. A adio e a multiplicao de nmeros naturais so operaes internas no conjunto dos
nmeros naturais, porque :

(x,y) e NxN x + y e N e (x,y) e NxN x.y e N

02. A diviso de racionais no nulos uma operao interna no conjunto dos nmeros
racionais no nulos, porque:
(x,y) e Q x Q
y
x
e Q

03. Observe que a diferena de nmeros naturais no uma operao interna em N, porm, a
mesma operao definida no conjunto dos nmeros inteiros uma operao interna em Z.

04. A adio em M
mxn
(9) uma operao interna.

05. Justifique porque a operao x
y
no uma operao interna no conjunto dos nmeros
racionais.

5151 =2&(! +% (<! 43%'!-64

Uma operao - num conjunto finito A pode ser definida por meio de uma tabela de
dupla entrada que indique o composto x - y correspondente a cada par ordenado (x,y) de
elementos de A, denominada de tbua da operao - em A.

Exemplos:

01. A operao definida por x - y = mdc(x,y) em A = {1, 2, 3, 4} pode ser representada pela
seguinte tbua :
!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



&)


02. A operao definida por x - y = x y em A = ({1, 2}) pode ser representada pela
seguinte tbua :
C { 1 } { 2 } { 1, 2}
C C C C C
{ 1 } C { 1 } C { 1 }
{ 2 } C C { 2 } { 2 }
{ 1, 2} C { 1 } { 2 } { 1, 2 }
Sugerimos ao leitor que faa a construo da tbua utilizando a operao de reunio.

PROPRIEDADES DE UMA OPERAO
Seja - uma lei de composio interna em A. A operao - pode ter as seguintes
propriedades :

IDEMPOTNCIA
Diz-se que a operao - em A idempotente se, e somente se, para todo elemento x de
A tem-se x-x = x .

Observe que as operaes representadas anteriormente pelas tbuas so idempotentes.

ASSOCIATIVA
Diz-se que a operao - em A associativa quando, quaisquer que sejam os elementos
x, y e z de A, tem-se x - ( y - z ) = ( x - y ) - z .

fcil notar que as operaes abaixo so associativas nos respectivos conjuntos;
a) As adies e multiplicaes em N, Z, Q, R e C .
b) A composio de funes de R em R .
c) A operao x-y = x + y + 2xy no conjuntos dos nmeros inteiros.
* 1 2 3
1 1 1 1
2 1 2 1
3 1 1 3

8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


&(
COMUTATIVA
Diz-se que a operao - em A comutativa quando, quaisquer que sejam os
elementos x e y de A, tem-se x - y = y - x .

fcil ver que as operaes abaixo so associativas nos respectivos conjuntos;
a) As adies e multiplicaes em N, Z, Q, R e C .
b) A operao x-y = x + y + 2xy no conjuntos dos nmeros inteiros.

EXISTNCIA DO ELEMENTO NEUTRO
Diz-se que e e A elemento neutro para a operao - em A se, e somente se, para
todo elemento x de A tem-se (I) x - e = x e (II) x - e = x .
Observe que a condio x - e = e - x sempre ocorre quando a operao comutativa,
neste caso ser necessrio verificarmos apenas (I) ou (II).
Quando apenas (I) se verifica, diz-se ento que e um elemento neutro direita e,
quando apenas (II) se verifica, diz-se ento que e um elemento neutro esquerda.
evidente que se e elemento neutro esquerda e a direita para a operao -, ento dizemos
que e elemento neutro para esta operao.
fcil identificar o respectivo elemento neutro de cada operao abaixo nos respectivos
conjuntos;
a) O elemento neutro da adio e multiplicao em N, Z, Q, R e C so 0 (zero) e o 1 (um),
respectivamente.
b) Para a composio de funes de R em R , o elemento neutro a funo identidade,
definida por f(x) = x .

Por outro lado a operao x-y = x + y + xy no conjuntos dos nmeros inteiros no
admite elemento neutro, de fato:
Utilizaremos apenas (I) devido a operao ser comutativa
x - e = x
x + e + xe = x
e + xe = 0
e( 1 + x) = 0
somente implica em e = 0 para x = 1, portanto, no vale para todos os inteiros.

!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



&2
Deixamos ao encargo do aluno a demonstrao da seguinte proposio :
Proposio
Seja - uma operao interna em A. Se a operao - admite elemento neutro, ento ele
nico.

EXISTNCIA DO ELEMENTO SIMTRICO
Diz-se que x e A elemento simetrizvel para a operao - em A, que possui
elemento neutro e, se existir x' e A tal que (I) x - x' = e e (II) x' - x = e .
Observe que a condio x - x' = x' - x sempre ocorre quando a operao comutativa,
neste caso ser necessrio verificarmos apenas (I) ou (II).
Quando apenas (I) se verifica, diz-se ento que x' um elemento simtrico direita e,
quando apenas (II) se verifica, diz-se ento que x' um elemento simtrico esquerda.
evidente que se x' elemento simtrico esquerda e a direita para a operao -, ento
dizemos que x' elemento simtrico de x para esta operao.
Quando a operao - uma adio, o simtrico de x tambm chamado de oposto de
x e denotado por x. No caso da operao - ser uma multiplicao, o simtrico de x
denominado de inverso de x e denotado por x
1
.
Apenas os elementos 0 e 1 so simetrizveis no conjunto dos nmeros inteiros para a
operao x-y = x + y + 2xy , cujo elemento neutro e = 0. De fato:
Utilizaremos apenas (I) devido a operao ser comutativa
x - x' = e
x + x' + 2xx' = 0
x' + 2xx' = x
x'( 1 + 2x) = x
Como no existe inteiro que torne o fator ( 1 + 2x) nulo, ento podemos concluir que:
x' =
x
x
2 1 +

Os nicos inteiros que substitudos no lugar de x resultam em inteiro so 0 e 1.
Assim, U
-
(Z) = { 1, 0 }, onde U
-
representa o conjunto dos elementos simetrizveis
de Z.
Utilizaremos a notao U
-
(A) para representar o conjunto dos elementos simetrizveis
em A para a operao - .
Deixamos ao encargo do leitor a demonstrao da seguinte proposio:

8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


&3
Proposio
Seja - uma operao interna em A, associativa e admite elemento neutro e, ento
podemos concluir que:
a) Todo elemento x e A admite um nico simtrico.
b) O simtrico do simtrico, de um elemento x e A, o prprio x .
c) Se x e y so elementos simetrizveis em A e seus respectivos simtricos so x' e y',
ento x - y simetrizvel e seu simtrico y' - x' .

ELEMENTO REGULAR
Diz-se que um elemento a e A regular ou simplificvel em relao a operao - se,
e somente se, quaisquer que sejam os elementos x e y de A, as relaes :
(I) x - a = y - a x = y
(II) a - x = a - y x = y

Observe que a condio x - a = a - x e y - a = a - y sempre ocorrem quando a
operao comutativa, neste caso ser necessrio verificarmos apenas (I) ou (II).
Quando apenas (I) se verifica, diz-se ento que a um elemento regular direita e,
quando apenas (II) se verifica, diz-se ento que x' um elemento regular esquerda.
evidente que se a elemento regular esquerda e a direita para a operao -, ento dizemos
que a elemento regular para esta operao.

Todo nmero real a regular para a operao x-y = x + y.
Todos os elementos do conjunto 9 { 1/2} so regulares para a operao
x-y = x + y + 2xy , cujo elemento neutro e = 0. De fato:
Utilizaremos apenas (I) devido a operao ser comutativa
x - a = y - a
x + a + 2xa = y + a + 2ya
2xa = 2ya
xa = ya
x = y
Assim, R
-
(9 { 1/2}) = 9 { 1/2}, onde U
-
representa o conjunto dos elementos
regulares.
!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



&#
Utilizaremos a notao R
-
(A) para representar o conjunto dos elementos regulares em
A para a operao - .
notrio que um elemento regular a e A regular quando, composto com elementos
distintos esquerda deles ou direita, gera resultados distintos.

Deixamos ao encargo do leitor a demonstrao da seguinte proposio :

Proposio
Se uma operao interna - em A associativa, admite o elemento neutro e e
a e A simetrizvel, ento a regular.

PARTE FECHADA EM RELAO A UMA OPERAO

Definio:
Sejam G um conjunto no vazio munido de uma operao - e H um subconjunto no
vazio de G. Diz-se que H uma parte fechada em relao operao - em G, quando o
composto x-y de dois elementos quaisquer x e y de H, tambm for um elemento de H.

Exemplo:

01. Sejam G = C , H = { i, 1, i, 1} e a operao Z
1
-Z
2
= Z
1
. Z
2
. Observando a tbua
abaixo, conclumos que H uma parte fechada de G.
- i 1 i 1
i 1 i 1 i
1 i 1 i 1
i 1 i 1 i
1 i 1 i 1

51;1 $'(3>*+%? /%<*$'(34? <4)>*+%? $'(34? $'(34 :4<(=!=*841
GRUPIDE
Definio:

8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


%4
Seja G um conjunto no vazio, munido de uma operao - . Chama-se de grupide
ao par (G, - ) .

SEMIGRUPO
Definio:
Semigrupo um par ordenado ( G , - ) formado por um conjunto no vazio G e uma
operao associativa - em G, isto , todo grupide cuja operao - associativa.

MONIDE
Definio:
Chama-se de monide a todo grupide ( G, - ) cuja operao - associativa e
admite elemento neutro, ou todo semigrupo cuja operao - tem admite elemento neutro.

GRUPO
Definio:
Seja G um conjunto no vazio munido de uma operao - . Dizse que a operao -
define uma estrutura de grupo sobre o conjunto G ou que o conjunto G um grupo em
relao operao - quando as seguintes propriedades so vlidas:
(G
1
) Associativa
Quaisquer que sejam x, y e z e G, temse x-(y-z) = (x-y)-z.
(G
2
) Elemento Neutro
Existe em G um elemento e tal que x-e = e-x qualquer que seja x e G.
(G
3
) Elementos Simetrizveis
Para todo x em G, existe um elemento x' em G tal que x-x' = x'-x = e.
Por outro lado, G um grupo se o par ( G, - ) um monide que satisfaz a condio
suplementar de que todo elemento de G simetrizvel para a operao - .

GRUPO COMUTATIVO
Definio:
!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



%$
Se (G, - ) um grupo e a operao - comutativa, ento dizse que o par ( G, - )
um grupo comutativo ou grupo abeliano (homenagem ao matemtico noruegus Niels
Henrik Abel do sculo XIX, 1802 1829).

Exemplos:

01. O grupide ( Q , -) um grupo abeliano, onde x-y = x + y. De fato :
(G
1
) x, y, z e Q temse (x + y) + z = x + (y + z)
(G
2
) - e = 0 e Q, tal que x e Q temse 0 + x = x + 0 = x
(G
3
) x e Q, - x e Q tal que x + ( x) = ( x) + x = 0
(G
4
) x, y e Q, temos x + y = y + x

02. O grupide (Z, - ) munido da operao x-y = x + y 10 possui as seguintes propriedades:
Associativa
(x-y)-z = (x + y 10)-z
= (x + y 10) + z 10
= x + (y + z 10) 10
= x-(y + z 10)
= x-(y-z)

Comutativa
x-y = x + y 10 = y + x 10 = y-x

Elemento Neutro
x-e = x e-x = x
x + e 10 = x e + x 10 = x
e = 10 e = 10
Elementos Simetrizveis
x-x' = e x'-x = e
x + x' 10 = 0 x' + x 10 = 0 U
-
(Z) = Z
x' = 20 x x' = 20 x

Portanto, (Z, - ) um grupo abeliano.

8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


%&
03. Os grupides (Z, + ); (Q, + ); (9, + ); (C, + ); (Q
*
, . ); (9
*
, . ) e (C
*
, . ) tambm so
exemplos de grupos comutativos.

04. Deixamos ao encargo do leito provar que os grupides abaixo so grupos abelianos :
a) G = 9 e x y =
3
3 3
y x +
b) G = Q e x y = x + y + 3

Notao
Para simplificar, indicaremos pela notao aditiva ( G, + ) quando a operao -
for a adio usual e pela notao multiplicativa ( G, . ) se a operao - for a
multiplicao usual. No primeiro caso diz-se que o grupo ( G, + ) um grupo aditivo e no
segundo, o grupo ( G, . ) um grupo multiplicativo .

GRUPOS FINITOS E INFINITOS. ORDEM DE UM GRUPO
Definio:
Se o conjunto G finito, ento dizse que o grupo ( G, - ) um grupo finito e o
nmero de elementos de G, denotado por o(G) ou n(G), a ordem do grupo. Caso contrrio,
dizse que o grupo ( G, - ) um grupo infinito e que sua ordem infinita.

Exemplos :

01. Seja G = { i, 1, i, 1} e a operao Z
1
-Z
2
= Z
1
. Z
2
. Observando a tbua abaixo,
conclumos que G um grupo finito e que sua ordem o(G) = 4.
- i 1 i 1
i 1 i 1 i
1 i 1 i 1
i 1 i 1 i
1 i 1 i 1

02. O grupo (Z, - ) munido da operao x-y = x + y 10 um grupo infinito e sua ordem
infinita.

!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



%%
51@1 3'43'*%+!+%/ +4/ $'(34/
Seja ( G, - ) um grupo.

UNICIDADE DO ELEMENTO NEUTRO
Teorema
O elemento neutro do grupo ( G, - ) nico.

UNICIDADE DO ELEMENTO SIMTRICO
Teorema
Cada elemento x do grupo ( G, - ) admite um nico simtrico.

Corolrio
Para todo elemento do grupo ( G, - ) cujo simtrico x', temse (x')' = x.

Demonstrao:
Pela definio de simtrico, temos:
(x')' - x' = e e x' - (x')' = e
[(x')' - x' ]- x = e - x x - [x' - (x')' ] = x - e
(x')' -[x' -x ] = x [x - x' ]- (x')' = x
(x')' - e = x e - (x')' = x
(x')' = x (x')' = x

SIMTRICO DE UM COMPOSTO
Teorema
Quaisquer que sejam x e y em G, temse ( x - y )' = y' - x'.

Demonstrao:
Aplicando a propriedade associativa, temos:
(x-y)-(y'-x') = x-(y-y')-x' = x-e-x' = x-x' = e
e, de modo anlogo :
(y'-x')-(x-y) = y'-(x'-x)-y = y'-e-y = y'-y = e

8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


%'
Portanto, o simtrico do composto x-y y'-x'

ELEMENTOS REGULARES
Teorema
Todos os elementos do grupo G so regulares.
importante notar que num grupo valem as regras de simplificao esquerda e
direita para a operao - do grupo.

EQUAO NUM GRUPO
Teorema
A soluo da equao x-x = x nica, a saber x = e .

Demonstrao:
De fato, x-x = x (x-x)-x' = x-x' x-(x-x') = e x-e = e x = e
Por outro lado, supondo que x
0
e G tambm soluo da equao x-x = x, temse:
x
0
= x
0
-e = x
0
-(x
0
-x
0
' ) = (x
0
-x
0
)-x
0
' = x
0
-x
0
' = e
Deste modo, o nico elemento idempotente num grupo o elemento neutro.

Teorema
Quaisquer que sejam os elementos a e b de G, as equaes a-x = b e y-a = b
admitem soluo nica em G .
Demonstrao;
De fato,
a-x = b y-a = b
a'-(a-x) = a'-b (y-a)-a' = b-a'
(a'-a)-x = a'-b y-(a-a' ) = b-a'
e-x = a'-b y-e = b-a'
x = a'-b y = b-a'

Por outro lado, supondo que x
0
e y
0
e G so, respectivamente, solues das equaes
a-x = b e y-a = b , temse :
x
0
= e-x
0
e y
0
= y
0
-e
!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



%)
x
0
= (a'-a)-x
0
y
0
= y
0
-(a-a' )
x
0
= a'-(a-x
0
) y
0
= (y
0
-a)-a'
x
0
= a'-b y
0
= b-a'

Exemplos:

01. A tbua ao lado representa todas as possveis operaes do grupo G = { a, b, c, d, e, f}
levandose em conta que :
a) G abeliano
b) O neutro e
c) a-f = b-d = e
d) a-d = b-c = f
e) a-c = b-b = d
f) c-d = a

- a b c d e f
a b c d f a e
b c d f e b a
c d f e a c b
d f e a b d c
e a b c d e f
f e a b c f d

02. Para resolvermos a equao a-b-c-x-b = c, devemos proceder do seguinte modo:
a'-a-b-c-x-b-b' = a'-c-b'
e-b-c-x-e = a'-c-b'
b-c-x = a'-c-b'
b'-b-c-x = b'-a'-c-b'
e-c-x = b'-a'-c-b'
c'-c-x = c'-b'-a'-c-b'
e-x = c'-b'-a'-c-b'
x = c'-b'-a'-c-b'

8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


%(
Deixamos ao encargo do leitor determinar outra forma de obter a soluo, observando o
simtrico de um composto.

51A1 /(&$'(34/
Definio:
Sejam ( G, - ) um grupo e H uma parte no vazia do conjunto G. O par ( H, - ) dizse
um subgrupo do grupo ( G, - ), quando H fechado operao - do grupo G e ( H, - )
tambm um grupo, isto , quando as seguintes condies forem satisfeitas:
(S
1
) Quaisquer que sejam os elementos x e y de H, temse x-y e H
(S
2
) O par ( H, - ) tambm um grupo.
A associatividade da operao - em G garante a associatividade desta operao em
H, porque H uma parte no vazia de G ( H c G ).

Todo grupo ( G, - ) em que o(G) > 1, admite pelo menos dois subgrupos : ( {e}, - ) e
( G, - ), denominados de subgrupos triviais ou subgrupos imprprios. Os demais subgrupos
de ( G, - ), se existem, so chamados de subgrupos prprios .

Exemplos:

01. Sobre o grupo multiplicativo dos reais ( 9, . ), podemos afirmar que :
a) Os subgrupos triviais so : ( 9, . ) e ( {1}, . ) ;
b) Os conjuntos H
1
= { 1, 1} e H
2
= {x e 9 , x > 0} so subgrupos prprios de ( 9, . )
02. O grupo de Klein (Felix Klein 1849 1925), de ordem 4, K = { a, b, c, e} representado na
tbua abaixo :
- e a b c
e e a b c
a a e c b
b b c e a
c c b a e

Possui os seguintes subgrupos :
a) Subgrupos triviais : ( {e}, - ) e ( {a, b, c, e}, - }
!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



%2
b) Subgrupos prprios : ({e, a}, - ); ( {e, b}, - ) e ( {e, c}, - )

03. O par ( H = { 2
n
, n e Z }, . ) um subgrupo do grupo multiplicativo ( G = Q
+
-
, . ) dos
racionais positivos.

04. O grupo G = { i, 1, i, 1} um subgrupo do grupo multiplicativo ( C
-
, . ).

05. Consideremos o grupo G = 9x9 = 9
2
munido com a operao - definida por
(a,b) - (c,d) = (a + c, b + d). O conjunto H = { (x,y) e 9
2
, y = 2x } um subgrupo de G.

PROPRIEDADES DOS SUBGRUPOS
Sejam o grupo ( G, - ) e H um subgrupo de G.

ELEMENTO NEUTRO
Teorema
O elemento do neutro do grupo coincide com o elemento neutro de cada um dos seus
subgrupos.

Demonstrao:
Sejam e
G
e e
H
os respectivos elementos neutros do grupo G e do subgrupo H.
Como H c G, temos que e
H
e G e que e
H
- e
G
= e
G
- e
H
= e
H
.
Por hiptese e
H
o elemento neutro de H, logo e
H
- e
H
= e
H
.
Aplicando a propriedade de elementos simplificveis em e
H
- e
G
= e
H
- e
H
, obtemos
e
G
= e
H
. Portanto, o elemento neutro do grupo o mesmo elemento neutro de cada um dos
seus subgrupos.

SIMTRICO DE UM ELEMENTO
Teorema
O simtrico de qualquer elemento do subgrupo coincide com o seu simtrico no grupo.

Demonstrao:
Sejam x e H e e o elemento neutro do grupo e do subgrupo.

8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


%3
Consideremos x'
G
e x'
H
os simtricos de x em relao ao grupo G e ao subgrupo H,
respectivamente, assim :

x-x'
G
= x'
G
-x = e e x-x'
H
= x'
H
-x = e

Como todo elemento de G regular, conclumos que x'
G
= x'
H
.

CARACTERIZAO DOS SUBGRUPOS
Teorema
Seja H um subconjunto no vazio do grupo (G, -). Ento o par (H, -) um subgrupo
de G se, e somente se, as duas condies abaixo so satisfeitas :
(S
1
) Dados h
1
, h
2
e H, temse h
1
- h
2
e H.
(S
2
) Dado h e H, temse h' e H.
Demonstrao:
Supondo que H seja um subgrupo do grupo G, as condies (S
1
) e (S
2
) so claramente
satisfeitas.
Reciprocamente, supondo que as duas condies (S
1
) e (S
2
) sejam satisfeitas, temos :
a) A operao - associativa em H, porque a operao - em G associativa e H c
G;
b) As condies (S
1
) e (S
2
) garantem que a operao - fechada em H, assim como,
todos os elementos de H so simetrizveis;
c) Tomando h e H , pela condio (S
2
) h' e H e pela condio (S
1
) h-h' = h'-h e H,
assim e e H.
Portanto, H um subgrupo do grupo G.

Exemplos:

01. Mostraremos que o par ( H = { 3
n
, n e Z }, . ) um subgrupo do grupo multiplicativo
dos racionais positivos ( G = Q
+
-
, . ).
a) O neutro do grupo e = 1 que pode ser interpretado como e = 3
0
= 1, onde 0 e Z ;
b) Dados h
1
= 3
p
e h
2
= 3
q
elementos de H, com p e q inteiros, temos :
i. h
1
-h
2
= 3
p
.3
q
= 3
p + q
e H, pois p + q inteiro
c) Seja h = 3
m
, com m inteiro. Assim,
!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



%#
h-h' = e 3
m
.h' = 1 h' = 3
m
h' e H, pois m inteiro.
Portanto, H um subgrupo de G

02. O conjunto H = { z = cos(u) + i.sen(u) , u e Q } um subgrupo do grupo multiplicativo
dos complexos no nulos ( C
-
, . ). De fato :
a) O neutro do grupo e = 1 que pode ser escrito como e = cos(0) +i.sen(0) e H;
b) Dados h
1
= cos(u
1
) + i.sen(u
1
) e h
2
= cos(u
2
) + i.sen(u
2
) elementos de H, com u
1
e
u
2
racionais, temos :
h
1
-h
2
= [cos(u
1
) + i.sen(u
2
)].[cos(u
2
) + i.sen(u
2
)]
h
1
-h
2
= [cos(u
1
).cos(u
2
) sen(u
1
).sen(u
2
)] + i.[cos(u
1
).sen(u
2
) + sen(u
1
).cos(u
2
)]
h
1
-h
2
= cos(u
1
+ u
2
) + i.sen(u
1
+ u
2
)
h
1
-h
2
e H, pois u
1
+ u
2
= u e Q;
c) Dado h = cos(u) + i.sen(u) e H, com u racional. Assim,
h-h' = e h.h' = 1 h' =
h
1
h' = cos(u) i.sen( u)
h' = cos( u) + i.sen( u) , como u racional ento
h' e H.
Portanto, H um subgrupo de G = C
-
.

03. O conjunto H = { 2.k , k e Z } um subgrupo do grupo aditivo dos nmeros inteiros
( Z, + ). De fato :
a) O neutro do grupo e = 0 que pode ser interpretado como e = 2.0 = 0, onde 0 e Z ;
b) Dados h
1
= 2.k
1
e h
2
= 2.k
2
elementos de H, com k
1
e k
2
inteiros, temos :
h
1
-h
2
= (2.k
1
).(2.k
2
) = 2.(2.k
1
.k
2
) e H, pois 2.k
1
.k
2
= k inteiro
c) Seja h = 2.k , com k inteiro. Assim,
h-h' = e 2.k + h' = 0 h' = 2.k h' = 2.( k)


h' e H, pois k inteiro.
Portanto, H um subgrupo de G = Z.

04. O conjunto H = { z e C , |z|= 1} um subgrupo do grupo multiplicativo dos nmeros
complexos no nulos ( C
-
, . ). De fato :
a) O neutro do grupo e = 1 e H, pois | e|= 1;

8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


'4
b) Dados h
1
= z
1
e h
2
= z
2
elementos de H, com |z
1
|= 1 e |z
2
|= 1, temos :
|h
1
-h
2
| = |z
1
.z
2
| = |z
1
|.|z
2
|= 1.1 = 1, logo h
1
-h
2
e H;
c) Seja h = z , com |z| = 1. Assim,
h-h' = e z . h' = 1 h' = z
|h'| = | z | = |z|= 1. h' e H.
Portanto, H um subgrupo de G = C
-
.

05. O conjunto H = { x e Q , x > 0} um subgrupo do grupo multiplicativo dos nmeros
racionais no nulos ( Q
-
, . ). De fato :
a) O neutro do grupo e = 1 e H, pois e = 1 > 0;
b) Dados h
1
e h
2
elementos de H, com h
1
> 0 e h
2
> 0, temos :
h
1
-h
2
= h
1
.h
2
> 0, logo h
1
-h
2
e H;

c) Seja h elemento de H , com h > 0. Assim,
h-h' = e h . h' = 1 h' =
h
1

h' > 0 h' e H.
Portanto, H um subgrupo de G = Q
-
.

!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



'$
()*+!+% *** , B4<4<4'C*/<4 +% $'(34/

;101 B4<4<4'C*/<4 % :#!//*C*:!-64 +4 B4<4<4'C*/<41
Definio:
Sejam os grupos ( G, - ) e ( J, ).
Uma aplicao f: G J um homomorfismo de G em J, quando ela compatvel com as estruturas
dos grupos, isto , f(x - y) = f(x) f(y), quaisquer que sejam x e y de G.

Simbolicamente:



Note que o primeiro membro desta relao, isto , no termo f(x - y) o composto x - y computado em
G ao passo que no segundo membro desta relao, isto , no termo f(x) f(y), o composto de elementos de J.
Com isto, entendese uma aplicao de um sistema algbrico (grupo), em outro sistema algbrico semelhante
(grupo), que conserva a estrutura.

Exemplos :

01. Sejam os grupos ( 9, + ) e ( 9
+
-
, . ). A aplicao f : 9 9
+
-
, definida por f(x) = 2
x
um homomorfismo.
De fato :
f(a - b) = 2
a + b
= 2
a
. 2
b
= f(a) f(b)

02. Sejam os grupos (9
+
-
, . ) e ( 9, + ). A aplicao f : 9
+
-
9 , definida por f(x) = log(x) um
homomorfismo. De fato :
f(m - n) = log(m . n) = log(m) + log(n) = f(m) f(n)

03. Sejam os grupos (C
-
, . ) e ( 9
+
-
, . ). A aplicao f : C
-
9
+
-
, definida por f(z) = |z| um
homomorfismo. De fato :
f(z
1
- z
2
) = |z
1
. z
2
| = |z
1
| .| z
2
| = f(z
1
) f(z
2
)


8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


'&
04. A aplicao f: (ZxZ, +) (ZxZ, +), definida por f(x,y) = (x y, 0) um homomorfismo. De fato :
f[(a,b) - (c,d)] = f[(a,b) + (c,d)] = f[(a + c, b + d)] = ((a + c) (b + d), 0)
f[(a,b) - (c,d)] = ((a b) + (c d), 0 + 0) = (a b, 0) + (c d, 0) = f(a,b) f(c,d)

05. Sejam os grupos multiplicativos G = M
2
(9) tal que det(A) = 0; A e M
2
(9)

e J = 9
-
. A aplicao f :
M
2
(9) 9
+
-
, definida por f(X) = det(X) um homomorfismo. De fato :
f(A - B) = det(A.B) = det(A) . det(B) = f(A) f(B)

;151 3'43'*%+!+%/ +4/ B4<4<4'C*/<4/
Seja f: (G, - ) ( J, ) um homomorfismo de grupos.

Teorema
A imagem f(e
G
) do elemento neutro e
G
do grupo G o elemento neutro e
J
do grupo J, isto , f(e
G
) = e
J
.

Demonstrao :
Para todo x elemento de G, temos :
x - e
G
= x
f(x - e
G
) = f(x)
f(x) f(e
G
) = f(x)
f(x) f(e
G
) = f(x) e
J

f(e
G
) = e
J

c.q.d.
Teorema
A imagem do simtrico de qualquer elemento x do grupo G igual ao simtrico da imagem de x, isto ,
f(x') = [f(x)]' , x e G .

Demonstrao :
Para todo x elemento de G, temos :
f(e
G
) = e
J

f(x - x') = e
J

f(x) f(x') = e
J

f(x) f(x') = f(x) [f(x)]'
f(x') = [f(x)]'
c.q.d.

Teorema
O homomorfismo transforma subgrupos de G em subgrupos de J .
!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



'%
Demonstrao:
Seja ( H, - ) um subgrupo de ( G, -) .
Afirmamos que ( f(H), ) um subgrupo de ( J, ). De fato :
a) bvio que f(H) = C, pois e
G
e H f(e
G
) = e
J
e
J
e f(H);

b) y
1
, y
2
e f(H), por definio, existem x
1
, x
2
e H tais que f(x
1
) = y
1
e f(x
2
) = y
2
. Assim, y
1
y
2
= f(x
1
)
f(x
2
) = f(x
1
) f(x
2
) = f(x
1
- x
2
)
Como x
1
- x
2
e H, temse y
1
y
2
e f(H).

d) y e f(H), por definio, existe xe H tais que f(x) = . Assim, y' = f(x)' = f(x')
Como x' e H, temse y' e f(H).
Portanto, ( f(H), ) um subgrupo de ( J, ) .

;1;1 )D:#%4 +% (< B4<4<4'C*/<4
Definio:
Seja f: (G, - ) ( J, ) um homomorfismo de grupos e e
J
o elemento neutro do grupo J. Chamase
ncleo ou Kernel do homomorfismo f ao conjunto { x e G , f(x) = e
J
}, indicado pela notao N(f) ou Ker(f)
(leiase ncleo ou Kernel de f), isto :
N(f) = Ker(f) = { x e G , f(x) = e
J
}

Em smbolos :


Exemplos :

01. Sejam os grupos ( 9, + ) e ( 9
+
-
, . ) e o homomorfismo f : 9 9
+
-
, definido por f(x) = 2
x
.
Aplicando a condio para que um elemento x de G pertena ao ncleo de f, temos: f(x) = e
J
2
x
= 1
x = 0
Assim, N(f) = {0}

02. Sejam os grupos (9
+
-
, . ) e ( 9, + ) e o homomorfismo f : 9
+
-
9 , definido por f(x) = log(x). Ento,
f(x) = e
J
log(x) = 0 x = 1

8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


''
Assim, N(f) = {1}

03. Sejam os grupos (C
-
, . ) e ( 9
+
-
, . ) e o homomorfismo f : C
-
9
+
-
, definido por f(z) = |z|, sendo z =
x + y.i. Ento f(z) = e
J
|z| = 1 x
2
+ y
2
= 1
Assim, Ker(f) = {z= x + y.i e C , x
2
+ y
2
= 1}

Geometricamente :


04. Consideremos o homomorfismo de grupos f: (ZxZ, +) (ZxZ, +), definido por f(x,y) = (x y, 0). O
Kernel de f :
f(x,y) = e
J
(x y, 0 ) = (0,0) x = y
Assim, Ker(f) = {(x,y) e ZxZ , x = y}
Sugerimos que o leitor faa uma interpretao geomtrica do caso acima.

05. Seja o homomorfismo de grupos f : ( M
2
(9), .) ( 9
+
-
, .), definido por f(X) = det(X). Ento, f(X) = e
J

det(X) = 1.
Assim, Ker(f) = {X e M
2
(9) , det(X) = 1}

Teorema

Seja f: (G, - ) ( J, ) um homomorfismo de grupos, ento o ncleo de f um subgrupo de G, isto ,
o par (N(f), - ) um subgrupo do grupo (G, - ) .
Demonstrao :
a) Como f(e
G
) = e
J
, ento e
G
e N(f). Logo, N(f) = C .

b) Dados x, y e N(f), logo f(x) = e
J
e f(y) = e
J
.
Assim, f(x - y ) = f(x) f(y)
f(x - y ) = e
J
e
J

!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



')
f(x - y ) = e
J
, o que implica em x - y e N(f).

c) Seja x e N(f), logo f(x) = e
J
.
Assim, f(x') = f(x)'
f(x') = e
J
'
f(x') = e
J
, o que implica em x' e N(f).
Portanto, N(f) um subgrupo de (G, - ).

- Sugerimos ao leitor que procure recordar quando uma aplicao injetora, sobrejetora ou bijetora antes
de dar continuidade neste texto.

;1@1 B4<4<4'C*/<4/ %/3%:*!*/

Seja f: (G, - ) ( J, ) um homomorfismo de grupos.

MONOMORFISMO
Definio:

Dizse que o homomorfismo f um monomorfismo ou homomorfismo injetor quando a aplicao f
injetora .

EPIMORFISMO
Definio:

Dizse que o homomorfismo f um epimorfismo ou homomorfismo sobrejetor quando a aplicao f
sobrejetora .

ISOMORFISMO
Definio:
Isomorfismo ou homomorfismo bijetor todo homomorfismo cuja aplicao f bijetora .

ENDOMORFISMO
Definio :
Chamase de endomorfismo a todo homomorfismo de (G, - ) em si prprio .




8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


'(
AUTOMORFISMO
Definio:
Chamase de automorfismo a todo endomorfismo cuja aplicao f seja bijetora .

Exemplos:

01. Sejam os grupos ( 9, + ) e ( 9
+
-
, . ). A aplicao f : 9 9
+
-
, definida por f(x) = 2
x
um isomorfismo.

02. Sejam os grupos (9
+
-
, . ) e ( 9, + ). A aplicao f : 9
+
-
9 , definida por f(x) = log(x) um isomorfismo.

03. Sejam os grupos (C
-
, . ) e ( 9
+
-
, . ). A aplicao f : C
-
9
+
-
, definida por f(z) = |z| um epimorfismo.

04. A aplicao f: (ZxZ, +) (ZxZ, +), definida por f(x,y) = (x y, 0) um endomorfismo.

05. Sejam os grupos (9, + ) e ( 9, + ). A aplicao f : 9 9 , definida por f(x) = 2.x um automorfismo.

06. A aplicao f: (Z, +) (Q, +), definida por f(x,y) = 2.x um monomorfismo.


Deixamos ao encargo do leitor mostrar que as aplicaes so injetora, sobrejetora ou bijetora, conforme o
caso.

()*+!+% *8 , :#!//%/ #!=%'!*/

Sejam o grupo ( G, - ), H um subgrupo de G e a um elemento arbitrrio de G.

@101 :#!//% #!=%'!# E +*'%*=!
Definio:
A classe lateral direita de H em G gerada por a, denotase por H - a, o seguinte
subconjunto de G :
H - a = { h - a , h e H }

@151 :#!//% #!=%'!# E %/7(%'+!
Definio :
!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



'2
A classe lateral esquerda de H em G gerada por a, denotase por a - H, o
seguinte subconjunto de G :
a - H = { h - a , h e H }

Exemplos:

01. Sejam o grupo multiplicativo G = { i, 1, i, 1} e o subgrupo H = { 1, 1}.
Todas as possveis operaes do grupo figuram na tbua abaixo:
- i 1 i 1
i 1 i 1 i
1 i 1 i 1
i 1 i 1 i
1 i 1 i 1

A seguir apresentamos todas as classes laterais esquerda e a direita de H em G.
i - H = { x e G , x = i - h ; h e H } = { i, i }
i - H = { x e G , x = i - h ; h e H } = { i, i }
1 - H = { x e G , x = 1 - h ; h e H } = { 1, 1 }
1- H = { x e G , x = 1 - h ; h e H }= { 1, 1 }

H - i = { x e G , x = h - i ; h e H } = { i, i }
H - i = { x e G , x = h - i ; h e H } = { i, i }
H - 1 = { x e G , x = h - 1 ; h e H } = { 1, 1 }
H - 1 = { x e G , x = h - 1 ; h e H } = { 1, 1 }

Observe que :
- As classes laterais so coincidentes ou disjuntas
- Se o elemento gerador da classe pertence ao subgrupo, ento est classe igual ao prprio
subgrupo.

02. O grupo de Klein de ordem 4, K = { a, b, c, e} est representado na tbua abaixo :
- e a b c
e e a b c

8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


'3
a a e c b
b b c e a
c c B a e

As classes laterais de H = { a, e } em G, so :
a - H = { x e G , x = a - h ; h e H } = { a, b, c, e }
b - H = { x e G , x = b - h ; h e H } = { a, b, c, e }
c - H = { x e G , x = c - h ; h e H } = { a, b, c, e }
e - H = { x e G , x = e - h ; h e H } = { a, b, c, e }

H - a = { x e G , x = h - a ; h e H } = { a, b, c, e }
H - b = { x e G , x = h - b ; h e H } = { a, b, c, e }
H - c = { x e G , x = h - c ; h e H } = { a, b, c, e }
H - e = { x e G , x = h - e ; h e H } = { a, b, c, e }

@1;1 3'43'*%+!+%/ +!/ :#!//%/ #!=%'!*/
Teorema
Sejam ( H, - ) um subgrupo do grupo abeliano ( G, - ), ento as classes laterais
esquerda e direita de H em G, gerada pelo elemento a de G coincidem.

Demonstrao:
Considere as classes laterais a - H = {a - h , h e H} e H - a = {h - a , h e H }.
Assim, H - a = { h - a , h e H } = { a - h , h e H } = a - H, pois G um grupo
abeliano.

Teorema
Sejam ( H, - ) um subgrupo do grupo ( G, - ), ento todo elemento a de G pertence
sua classe lateral.

Demonstrao:
Consideremos a classe lateral direita H - a de H em G, determinada por a e G .
Sabemos que o elemento neutro e do grupo G pertence ao subgrupo H.
!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



'#
Logo, a e G e e - a = a o que implica em a e H - a.
De modo anlogo, provase que a e a - H.

Teorema
Sejam ( H, - ) um subgrupo do grupo ( G, - ), e a, b elementos quaisquer de G, ento
as classes laterais direita H - a e H - b (ou as classes laterais esquerda a - H e a - H )
de H em G, geradas por a e b, respectivamente, coincidem se, e somente se a - b' e H
( ou a' - b e H ).

Demonstrao:
Consideremos que as classes laterais direita sejam coincidentes, isto , H - a e
H - b. Deste modo, existem h
1
, h
2
e H tais que h
1
- a = h
2
- b, o que implica em
a - b' = h'
1
- h
2
. Como h'
1
- h
2
e H, temse a - b' e H.
Por outra parte, suponha que a - b' e H. Assim, a classe lateral direita determinada
por a - b' de H em G coincide com o subgrupo H. Deste modo, existem h
3
, h
4
e H tais que
h
3
- ( a - b') = h
4
, ou ainda h
3
- a = h
4
- b . Logo, todo elemento h
3
- a e H - a igual a um
elemento h
4
- b e H - b, e vice-versa.
Portanto, H - a = H - b.
Por analogia, provase que a - H = b - H, se e somente se a' - b e H .

Teorema
Sejam ( H, - ) um subgrupo do grupo ( G, - ), e a, b elementos quaisquer de G, ento
as classes laterais direita (ou as classes laterais esquerda ) de H em G, determinadas por a
e b so disjuntas ou coincidentes.

Demonstrao:
Consideremos as classes laterais direita H - a e H - b de H em G, determinadas por
a e b, respectivamente.
Suponha que exista um elemento x de G tal que x e H - a e x e H - b .
Logo existem h
1
, h
2
e H tais que :
h
1
- a = x = h
2
- b ou ainda
h
1
- a = h
2
- b

8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


)4
h'
1
- ( h
1
- a ) - b' = h'
1
- ( h
2
- b ) - b'
a - b' = h'
1
- h
2

O fato de que h'
1
- h
2
e H implica em a - b' e H. Portanto, H - a = H - b
De modo anlogo, demonstra-se que vale para as classes laterais esquerda.

Lema
Sejam ( G, - ) um grupo e H um subgrupo de G e a, b e G, com a = b. Ento
existe uma correspondncia biunvoca entre H - a e H - b ( ou a - H e b - H ) .

Demonstrao:
Definamos a seguinte aplicao :
f : H - a H - b
h - a h - b
f( h - a ) = h - b

Afirmamos que f : H - a H - b bijetora. De fato :
a) Seja f(h
1
- a) = f(h
2
- a) h
1
- b = h
2
- b h
1
= h
2

logo, h
1
- a = h
2
- a. f injetora.

b) Dado h - b e H - b. Ento existe h - a e H - a tal que f(h - a) = h - b, pela definio de
f. f sobrejetora.

Teorema de Lagrange
A ordem de qualquer subgrupo ( H, - ) de um grupo finito ( G, - ) divide a ordem do
grupo ( G, - ).

Demonstrao:
Pelo teorema sobre parties em um conjunto, temse que as classes laterais direita
(ou esquerda) de H em G, decompem G em classes laterais mutuamente disjuntas. Por
outro lado, sabemos que entre duas classes laterais existe sempre uma correspondncia
bijetora, isto , H - a H - b, a, b e G, e mais ainda H - a H - b H - e = H. Logo,
como G finito, o nmero de classes laterais multiplicado pela quantidade de elementos em
!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



)$
H, fornece o nmero de elementos de G, isto , k.o(H) = o(G), onde k corresponde ao nmero
de classes laterais mutuamente disjuntas, ou em smbolos :
G = (a
1
- H) (a
2
- H) ... (a
k
- H) o(G) = o(H) + o(H) + ... + o(H) o(G) = k .
o(H) o(H)|o(G)
- A recproca do Teorema de Lagrange falsa, pois um grupo finito no tem
necessariamente um subgrupo cuja ordem seja um divisor da ordem do grupo.
- Se a ordem do grupo for um nmero primo, ento os subgrupos so triviais.
- O teorema de Lagrange de fundamental importncia porque introduz relaes
aritmticas na teoria dos grupos.

@1@1 /(&$'(34 )4'<!#
Definio:
Seja ( H, - ) um subgrupo do grupo ( G, - ). Dizse que H um subgrupo normal ou
um subgrupo invariante de G quando a condio a - H = H - a , a e G verificada,
denotase por H G.
Se ( G, - ) um grupo abeliano, ento todo subgrupo de G um subgrupo normal, mas
a recproca falsa.
Deixamos ao encargo do leitor apresentar exemplos de subgrupos normais.


()*+!+% 8 , !)F*/ % :4'34/

A101 !)%#

Definio:
Seja A um conjunto no vazio ( A = C ) munido de duas operaes internas e .
Dizse que a terna ( A, , ) um anel quando as operaes internas e possuem
as seguintes propriedades :
(A
1
) O par ( A, ) um grupo abeliano;
(A
2
) a, b, c e A, temse a ( b c ) = ( a b ) c
(A
3
) a, b, c e A, temse : a ( b c ) = a b a c
( b c ) a = b a c a

8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


)&
Exemplos:

01. As ternas ( Z, +, . ); ( Q, +, . ); ( 9, +, . ) e ( C, +, . ) so anis, pois, para cada uma delas,
so vlidas as trs seguintes condies:
(A1) Os pares ( Z, +); ( Q, +); ( 9, +) e ( C, +) so grupos abelianos;
(A2) Os pares ( Z, . ); ( Q, . ); ( 9, . ) e ( C, . ) so semigrupos;
(A3) A multiplicao (.) em Z, Q, 9 e C distributiva em relao a adio (+).

02. A terna ( 2.Z, +, . ), onde 2.Z denota o conjunto dos nmeros inteiros pares, um anel,
pois, so vlidas as trs seguintes condies:
(A1) O par ( 2.Z, +) um grupo abeliano;
(A2) O par ( 2.Z, . ) um semigrupo;
(A3) A multiplicao (.) em 2.Z distributiva em relao a adio (+).

03. Seja M
2
(9) o conjunto de todas as matrizes quadradas de ordem 2. A terna ( M
2
(9), +, .)
um anel, pois, temos :
(A1) O par (M
2
(9), +) um grupo abeliano;
(A2) O par (M
2
(9), . ) um semigrupo;
(A3) A multiplicao (.) em M
2
(9) distributiva em relao a adio (+) .
04. A terna ( {0}, +, . ) um anel, porque ( {0}, + ) um grupo abeliano; ( {0}, . ) um semi
grupo e a multiplicao (.) distributiva em relao adio (+).

05. Seja A = 9
9
= { f , f : 9 9 }. Dadas duas funes quaisquer f, g e A, definindo f + g
e f.g da seguinte forma :
(f + g) : 9 9 (f + g)(x) = f(x) + g(x)
(f.g) : 9 9 (f.g)(x) = f(x).g(x)
Nessas condies A um anel.




!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



)%
A151 !)F*/ :4<(=!=*84/? !)F*/ :4< ()*+!+% % !)F*/ +%
*)=%$'*+!+%1

ANE L COMUTATIVO
Definio:
Dizse que o anel ( A, , ) um anel comutativo, quando a operao
comutativa, isto , a, b e A, temse a b = b a.

ANEL COM UNIDADE
Definio:
Dizse que o anel ( A, , ) um anel com unidade, quando a operao admite
elemento neutro em A, isto , a e A, temse a 1
A
= 1
A
a = a .

- O elemento neutro em relao a operao ser denotado por 0
A
, enquanto que, o
elemento neutro em relao a operao ser denotado por 1
A
.

ANEL COMUTATIVO COM UNIDADE
Definio:
Dizse que o anel ( A, , ) um anel comutativo com unidade, quando a operao
for comutativa e admitir elemento neutro em A.

ANEL DE INTEGRIDADE
Definio:
Dizse que o anel comutativo com unidade ( A, , ) um anel de integridade,
quando a, b e A, temse a b = 0
A
a = 0
A
ou b = 0
A
, isto , vale a lei do anulamento
do produto.

Se a e b so elementos no nulos do anel A tais que a b = 0
A
ou b a = 0
A
,
dizemos que a e b so divisores prprios do zero em A.



8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


)'
Exemplos :

01. Os anis ( Z, +, . ); ( Q, +, . ); ( 9, +, . ) e ( C, +, . ) so exemplos clssicos de anis de
integridade.

02. O anel ( M
2
(9), +, .) no de integridade, pois, alm de no ser comutativo apresenta
divisores prprios do zero, conforme abaixo :
(

=
(

0 0
0 0
0 0
0 1
.
0 0
1 0

embora,
(

=
(

0 0
1 0
0 0
1 0
.
0 0
0 1


A1@1 /(&!)F*/
Definio:
Sejam ( A, , ) um anel e L um subconjunto no vazio de A. Diz-se que L um
subanel quando:
a) L fechado para as operaes que dotam o conjunto A da estrutura de anel;
b) ( L, , ) tambm um anel.

Exemplo:

Considerando-se as operaes usuais sobre os conjuntos numricos temos que:
a) Z subanel de Q, R e C;
b) Q subanel de R e C;
c) R subanel de C.

Proposio:
Sejam ( A, , ) um anel e L um subconjunto no vazio de A. Ento L um
subanel de A se, e somente se, a b e a b e L, sempre que a,b e L.


!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



))
A1A1 :4'34
Definio:
Chamase corpo todo anel comutativo ( C, , ) com elemento unidade e tal que
todo elemento no nulo de C inversvel para a operao .
Em outras palavras, corpo toda terna ordenada ( C, , ) que satisfaz as seguintes
condies :
(C
1
) ( C, ) um grupo abeliano;
(C
2
) ( C
-
, ) um grupo abeliano;
(C
3
) A operao distributiva em relao operao .

Exemplos :

01. Os anis ( Q, +, . ); ( 9, +, . ) e ( C, +, . ) so corpos, denominados, respectivamente,
corpo dos nmeros racionais, corpo dos nmeros reais e corpo dos nmeros complexos,
pois, so vlidas as condies:
(A1) Os pares ( Q, +); ( 9, +) e ( C, +) so grupos abelianos;
(A2) Os pares ( Q, . ); ( 9, . ) e ( C, . ) so grupos abelianos;
(A3) A multiplicao (.) em Q, 9 e C distributiva em relao a adio (+).

02. A terna ( Z, +, . ) um anel mas no um corpo. Deixamos ao encargo do leitor verificar
porque ( Z, +, . ) no um corpo.

03. A terna ( C = { a + b 3 , a, b e Q }, +, . ) um corpo, pois, as trs condies para que
um conjunto no vazio seja um corpo so satisfeitas.

04. A terna ( C = { a, b, c }, , ), com as operaes e definidas pelas tbuas abaixo
um corpo.

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

8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


)(
05. A terna ( 9x9, , ), com as operaes e abaixo definidas um corpo.
(a,b) (c,d) = (a + c, b + d) e (a,b) (c,d) = (ad bc ,ad + bc)
Note que os pares ( 9
2
, ) e ( 9
2
, ) so grupos abelianos e que, a operao e
distributiva em relao operao .

Teorema
Todo corpo ( C, , ) no possui divisores de zero.

Demonstrao:
Devemos provar que da igualdade a.b = 0 implica em a = 0 ou b = 0, quaisquer que
sejam os elementos a, b e C.
Se a = 0, no h o que demonstrar.
Se a = 0, ento pela definio de corpo, o elemento a e C inversvel, isto , possui
inverso a
1
e C.
Assim, a.b = 0 a
1
.a.b = a
1
.0 1
A
.b = 0 b = 0 .

Teorema
Todo corpo ( C, , ) um anel de integridade.

Demonstrao:
De fato, de acordo com a definio de corpo e teorema acima, ( C, , ) um anel
comutativo com elemento unidade e sem divisores de zero, portanto, ( C, , ) um anel de
integridade.







!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



)2
E X E R C C I O S

01. Dados os conjuntos A = {a, b} ; B = {2, 3} e
C = {3, 4} . Calcule:
a) A x ( B C )
b) ( A x B ) ( A x C )
c) A x ( B C )
d) ( A x B ) ( A x C )
e) A x ( B C )
f) A x ( C B )

02. Represente A x B e B x A nos seguintes
casos :
a) A = {x e 9 , 2 < x < 5} e
B = { y e 9 , 1 s y s 6 }.
b) A = {x e 9 , 1 s x < 5} e
B = { y e 9 , 1 < y s 5 }.
c) A = {x e 9 , 2 s x < 5} e
B = { y e 9 , 1 s y < 6 }.
d) A = {x e 9 , 3 < x < 3} e
B = { y e 9 , 1 < y < 1 }.

03. Sejam os conjuntos A = { 0, 2, 4, 6, 8} e B =
{ 1, 3, 5, 9}. Enumerar os elementos das
relaes abaixo definidas, determinando seu
domnio, a imagem e a relao inversa:
a) R
1
= {(x,y) e AxB , y = x + 1}
b) R
2
= {(x,y) e AxB , x s y }
c) R
3
= {(x,y) e AxB , y = x
2
+ 1}
d) R
4
= {(x,y) e AxB , y , (x + 1)} " y , (x +
1) y divide (x + 1)"

04. Sabendo-se que A um conjunto com 5
elementos e R = {(0,1); (1,2); (2,3); (3,4)} ma
relao sobre A. Pede-se obter :
a) Os elementos de A
b) O domnio e a imagem de R
c) Os elementos, domnio e imagem de R
1


05. Sejam A = N e a relao R = {(x,y) e AxA ,
2x + y = 10}. Determine o domnio e a
imagem de R e R
1
.

06. Seja A = {1, 2, 3}. Classifique as relaes
abaixo em reflexiva, simtrica, transitiva e anti-
simtrica :
a) R
1
= {(1,2); (1,1); (2,2); (2,1); (3,3)}
b) R
2
= {(1,1); (2,2); (3,3); (1,2); (2,3)}
c) R
3
= {(1,1); (2,2); (1,2); (2,3); (3,1)}
d) R
4
= A
2

e) R
5
= C

07. D um exemplo de uma relao sobre o
conjunto A { a, b, c, d, e} que :
a) Seja apenas reflexiva
b) Seja apenas simtrica
c) Seja apenas simtrica e anti-simtrica
d) No seja nem simtrica e nem anti-
simtrica

08. Sejam R e S relaes sobre o mesmo conjunto
A. Prove que:
a) Se R e S so simtricas, ento R S e R
S so simtricas.
b) Se R e S so transitivas, ento R S
transitiva.
c) R
1
S
1
= (R S)
1

d) R
1
S
1
= (R S)
1

e) Se R transitiva, ento R
1
tambm
transitiva.
f) Qualquer que seja R, tem-se R R
1

simtrica

09. Quais das relaes abaixo so de equivalncia
sobre o conjuntos dos inteiros positivos?
a) xRy x + y = 12
b) xRy mdc(x, y)
c) xRy x | y
d) xRy - inteiro k tal que x y = 4k

10. Sejam A = {x e Z , , x , s 4} e a relao R
definida por xRy x + , x , = y + , y ,.
Determinar o conjunto quociente A/R.

11. Sejam A = {x e Z , , x , s 5} e a relao R
definida por xRy x
2
+ 2x = y
2
+ 2y.
Determinar o conjunto quociente A/R.

12. Sejam M um conjunto no vazio, A = (M)
(conjunto das partes de M) e as relaes R
definida por XRY X F = YF e XSY
XF = YF, onde F um subconjunto fixo
de M. Verifique se as relaes R e S so de
equivalncia.

13. Mostre que a relao R de finida por xRy x
y e Q (conjunto dos nmeros racionais)

8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


)3
uma relao de equivalncia sobre A = 9 e
descreva as classes geradas por
2
1
e 2 .

14. Mostre que a relao R de finida por (a +
b.i)R(c + d.i) a
2
+ b
2
= c
2
+ d
2
uma relao
de equivalncia sobre A = C (conjunto dos
nmeros complexos) e descreva as classes
geradas por 1 + i e 1 i .

15. Seja A o conjunto das retas de um plano t.
Quais das relaes abaixo definidas so
relaes de equivalncia ou de ordem em A ?
a) xRy x // y
b) xRy x y

16. Verifique se a relao (a,b) R (c,d) a.d =
b.c em A = ZxZ uma relao de
equivalncia.

17. Dado o conjunto A = C e seja os nmeros
complexos x = a + b.i e y = c + d.i de C.
Verifique se a relao xRy a s c e b s d
uma relao de ordem parcial em C.

18. Sejam os conjuntos B = C e A = (B) e a
relao XRY X c Y em A. Verifique se a
relao R uma relao de ordem em A.

19. Faa o diagrama simplificado das seguintes
relaes de ordem no conjunto A = {1, 2, 4, 5,
10, 20}. Sendo: a) Ordem habitual. b)
Ordem por divisibilidade.

20. Faa o diagrama simplificado da relao de
ordem por incluso em A = ({a,b}).

21. Faa o diagrama simplificado da relao de
ordem por divisibilidade no conjunto
A = {2,3,5,10,15,30} e determine os limites
superiores, os limites inferiores, o supremo, o
nfimo, o mximo, o mnimo, o maximal e o
minimal, considerando B = {6, 10}.

22. Faa o diagrama simplificado da relao de
ordem por divisibilidade no conjunto
A = {1,2,3,4,6,9,12,18,36} e determine os
limites superiores, os limites inferiores, o
supremo, o nfimo, o mximo, o mnimo, o
maximal e o minimal, considerando
B = {2,4,6}.

23. Seja B = {x eQ 0 s x
2
s 2} um subconjunto
de A = Q, em que se considera a relao de
ordem habitual. Determine os limites
superiores, os limites inferiores, o supremo, o
nfimo, o mximo, o mnimo, o maximal e o
minimal.

24. Faa o diagrama simplificado da relao de
ordem por incluso em A = ({a,b,c}) e
determine os limites superiores, os limites
inferiores, o supremo, o nfimo, o mximo, o
mnimo, o maximal e o minimal, considerando
B = {{a}, {a,b}, {a,c}}.

25. A aplicao f: QxQ Q, definida por f(x,y) =
y
x
uma lei de composio interna ?

26. Seja M
2
(9) o conjunto das matrizes quadradas
de elementos reais. A operao definida em
M
2
(9) por X - Y = X . Y uma lei de
composio interna ?
27. Seja a operao interna x-y = x + y em A = N.
Os elementos de N so todos regulares ?

28. Construa a tbua da operao x-y = mdc(x,y)
em A = {1, 3, 5, 15}.

29. Construa a tbua da operao X-Y = X c Y
em A = { M, N, P, Q }, com M c N c P c Q.

30. Em cada um dos casos abaixo, considere a
operao - definida sobre A e verifique em
quais vale as propriedade associativa,
comutativa, elemento neutro, elemento
simetrizvel e elemento regular :
a) A = 9 e x - y =
2
y x +
.
b) A = 9 e x - y =
2 2
y x + .
c) A = 9 e x - y = x . y +2.x
d) A = ZxZ e (a,b)-(c,d) = ( a + c, b.d)
e) A = ZxZ e (a,b)-(c,d) = ( a . c , 0 )

31. Qual a condio que deve ser imposta aos
inteiros p e q de modo que a operao
x - y = p.x + q.y , em A = Z, seja :
a) Associativa
b) Comutativa
c) Admita elemento neutro

32. Verifique se o conjunto
A =

)
`

9 e
(

) cos( ) sen(
) sen( ) cos(

um subconjunto fechado de M
2
(9) para a
multiplicao usual de matrizes.

33. Construa a tbua da operao - sobre o
conjunto A = { 1, 2, 3, 4} de modo que :
a) A operao seja comutativa
b) O elemento neutro seja e = 1
c) U
-
(A) = A
d) R
-
(A) = A
!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



)#
e) 2 - 3 = 1

34. Verifique se a operao - definida pela tbua
abaixo em A = { 1, 2, 3, 4} um grupo
abeliano:

- 1 2 3 4
1 3 4 1 2
2 4 3 2 1
3 1 2 3 4
4 2 1 4 3

35. Verifique se o conjunto G = { a + b. 2 , a, b
e Q } com a operao x - y = x . y um grupo
abeliano.
36. Seja A = 9
9
= { f , f : 9 9 }. Dadas duas
funes quaisquer f, g e A, definindo f + g e
f.g da seguinte forma :

(f + g) : 9 9 (f + g)(x) = f(x) + g(x)
(f.g) : 9 9 (f.g)(x) = f(x).g(x)

Verifique se os pares (A, + ) e ( A, . ) so
grupos abelianos. Justifique a resposta, caso
no seja grupo abeliano.

37. Construa a tbua do grupo G = {1, 2, 3, 4, 5, 6}
de ordem 6, sabendo que :
a) G abeliano
b) O neutro e = 5
c) 1 - 6 = 2 - 4 = 5
d) 1 - 4 = 2 - 3 = 6
e) 1 - 3 = 2 - 2 = 4
f) 3 - 4 = 1

38. Prove que, se no grupo ( G, - ) existe x tal que
x - x = x, ento x o elemento neutro.

39. Mostre que o conjunto

G =
}
(

1 0
0 1
;
1 0
0 1
;
1 0
0 1
;
1 0
0 1

com a operao de multiplicao usual de
matrizes um grupo abeliano.

40. O par ( G = { 2
k
, k e Z }, -) um grupo
abeliano, sendo x - y = x . y.

41. Prove que, se no grupo ( G, - ) todo elemento x
e tal que x - x = e, ento G abeliano.

42. Abaixo est relacionado um grupo G, a
operao - e um subconjunto H. Quais destes
subconjuntos so subgrupos :
a) G = M
2
(9) ; X - Y = X.Y e
H =

)
`

9 e
(

) cos( ) sen(
) sen( ) cos(

.
b) G = Q {1}; x - y = x + y x.y e
H = 2.Z = { 0, 2, 4, 6, 8, ...}

c) G = Z; x - y = x + y e
H = 2.Z = { 0, 2, 4, 6, 8, ...}

d) G = C
-
; z
1
- z
2
= z
1
. z
2
e
H = { z e C , |z| = 2 }

e) G = 9; x - y = x + y e H = N .

43. Provar que, se H
1
e H
2
so subgrupos do
grupo ( G, - ), ento H
1
H
2
um subgrupo
do grupo G.
44. Mostre que, se G um grupo e x - x = 1, ento
G abeliano.

45. Mostre que, se x elemento grupo e x - x = x ,
ento x o elemento neutro.

46. Sejam a, b, c elementos de um grupo G. Prove
que o simtrico de a-b-c c

-b

-a

. Obtenha x
e G, tal que a-b-c-x-b = a-b-x.

47. Verifique se H
1
= {x e Q x > 0} e H
2
=

Z e
2 + 1
2 + 1
} n , m :
n
m
so subgrupos do
grupo multiplicativo Q
*
.

48. Verifique se H
1
= {a + b 2 e 9
*
a, b e Q}
e H
2
= { } Q b , a : R b a
*
e e 2 +
3
so
subgrupos do grupo multiplicativo 9
*
.


49. Provar que, se H
1
e H
2
so subgrupos de um
grupo ( G, - ), ento H
1
H
2
um subgrupo
do grupo G se, e somente se, H
1
c H
2
ou H
2
c
H
1
.

50. Verifique se H
1
= {cos(u) + i.sen(u) u e 9} e
H
2
= { } z : C z 2 = e so subgrupos do
grupo multiplicativo C
*
.

51. Seja G um grupo e a um elemento de G. Prove
que N(a) = { { x e G a-x = x-a } um
subgrupo de G.

52. O subconjunto H = { 6
n
, n e Z } um
subgrupo do grupo ( Q
-
, . ).


8%9)&,):%",/ (% ;),%:1,#4)< +',),=',#4) % >"?/&:1,#4)
@#4%"4#),-&) %: ;),%:1,#4) ;/().#()(% ) 8#',A"4#)


(4
53. Verifique se as aplicaes abaixo definidas so
homomorfismos de grupos, em caso afirmativo
classifiquea :
a) f : ( 9
-
, . ) ( 9
-
, . ),
definida por f(x) = |x|
b) f : ( 9, + ) ( 9, + ),
definida por f(x) = x + 10
c) f : ( Z, + ) ( ZxZ, + ),
definida por f(x) = (x , 0)
d) f : ( 9, + ) ( 9
-
, . ), definida por
f(x) = 10
x

e) f : ( 9
-
, . ) ( 9, + ), definida por
f(x) = log(x)
f) f : ( C
-
, . ) ( C
-
, . ), definida por
f(z) = z
g) f : ( C
-
, . ) ( C
-
, . ), definida por
f(z) = z
2

h) f : ( C
-
, . ) ( C
-
, . ), definida por
f(z) =
z
1

i) f : ( C
-
, . ) ( C
-
, . ), definida por
f(z) = z
j) f : ( Z, + ) ( C
-
, . ), definida por
f(n) = i
n

k) f : ( 9
-
, . ) ( 9
-
, . ), definida por
f(x) = x
3


54. Verifique se f : ( Z, + ) ( 2.Z, + ), definida
por f(x) = 2.x um isomorfismo.

55. Mostre que o par ( G = { a
n
, n e Z }, . ) um
grupo abeliano e que f : ( Z, + ) ( G, . ) um
isomorfismo.

56. Dado o grupo (G, - ) e seja a um elemento fixo
do grupo G. Prove que a aplicao f: G
G definida por f(x) = a - x - a' um
isomorfismo.

57. Construa a tbua de um grupo G = {e, a, b, c}
que seja isomorfo ao grupo multiplicativo J =
{ 1, i, 1, i}.

58. Prove que um grupo G abeliano se, e somente
se, f: G G, definida por f(x) = x um
homomorfismo.

59. Determinar todas as classes laterais do
subgrupo H = 2.Z no grupo aditivo G = Z.

60. Determinar todas as classes laterais do
subgrupo H = 3.Z no grupo aditivo G = Z.

61. Todas as possveis operaes do grupo G = { 3,
5, 7, 9} esto representadas na tbua abaixo.
Determine todas as classes laterais geradas pelo
subgrupo H = {3, 7} em G.

- 3 5 7 9
3 3 5 7 9
5 5 7 9 3
7 7 9 3 5
9 9 3 5 7

62. Seja f: G J um homomorfismo sobrejetor de
grupos. Se H um subgrupo normal de G,
mostre que f(H) um subgrupo normal de J..
63. O conjunto G =
}
(

1 0
0 1
;
1 0
0 1
;
1 0
0 1
;
1 0
0 1
com as operaes usuais de adio e
multiplicao de matrizes um anel de
integridade

64. Verifique se a terna ordenada ( Z, , ) com
as operaes abaixo definidas um anel
comutativo com unidade:
a b = a + b 1 e a b = a + b a.b

65. Verifique se a terna ordenada ( ZxZ, , )
com as operaes abaixo definidas um anel
comutativo com unidade:
(a,b) (c,d) = (a + c , b +d) e
(a,b) (c,d) = (a.c , b.d)

Porque no um anel de integridade?
Existem divisores do zero?
66. Verifique se a terna ordenada ( 9, , ) com
as operaes abaixo definidas um corpo:
a b = a + b 1 e a b = a + b a

67. Mostre que ( Q, , ) com as operaes
abaixo definidas um anel comutativo com
unidade:
x y = x + y 3 e
x y = x + y
3
y x.


68. Seja E um conjunto no vazio. Mostre que
((E), , ) com as operaes abaixo
definidas um anel comutativo com unidade:

X Y = (X Y) (X Y) e
X Y = X Y
69. Verifique se L = {a + b 2 a, b e Q}
subanel de A = 9.

70. Prove que L = M
2
(Z) um subanel de A =
M
2
(Q).





!"#$%&'#()(% +',)(-). (/ 0)&1
2%",&/ (% 2#3"4#)' 5/4#)#' % +(-4)67/



($
BIBLIOGRAFIA:


ALENCAR FILHO, Edgard de. Teoria Elementar dos Conjuntos. Nobel. So Paulo, 1990.

ALENCAR FILHO, Edgard de. Elementos de lgebra Abstrata. Nobel. So Paulo, 1979.

AZEVEDO, Alberto & PICCININI, Renzo. Introduo teoria dos grupos. IMPA, Rio de
Janeiro, 1969.

DOMINGUES, Higino & IEZZI, Gelson. lgebra Moderna. Atual. So Paulo, 1995.

GARCIA, Arnaldo & LEQUAIN, Yves. lgebra: um curso de introduo. IMPA. Rio de
Janeiro, 1988.

HERNSTEIN, I. N. Topics in Algebra. Traduo: Adalberto P. Bergamasco e L.H. Jacy
Monteiro. Polgono. So Paulo, 1970.

SIMIS, Aron. Introduo lgebra. IMPA Monografias de Matemtica. Rio de Janeiro,
1976.