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

ALGEBRA
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 ............................................................................................................................ 9
INTRODUO ................................................................................................................................11
UNIDADE I - RELAES .........................................................................................................................13
1.1. RELAES BINRIAS E SUAS PROPRIEDADES ..................................................................................................13
1.2. RELAO DE EQUIVALNCIA .......................................................................................................................18
1.3. RELAO DE ORDEM.................................................................................................................................19

UNIDADE II - GRUPOS E SUBGRUPOS .....................................................................................................23

2.1. LEI DE COMPOSIO INTERNA E SUAS PROPRIEDADES ......................................................................................23
2.2. TBUA DE UMA OPERAO ........................................................................................................................24
2.3. GRUPIDE, SEMIGRUPO, MONIDE, GRUPO, GRUPO COMUTATIVO........................................................................29
2.4. PROPRIEDADES DOS GRUPOS ....................................................................................................................33
2.5. SUBGRUPOS .........................................................................................................................................36

UNIDADE III - HOMOMORFISMO DE GRUPOS ...........................................................................................41

3.1. HOMOMORFISMO E CLASSIFICAO DO HOMOMORFISMO. ................................................................................41
3.2. PROPRIEDADES DOS HOMOMORFISMOS .......................................................................................................42
3.3. NCLEO DE UM HOMOMORFISMO ...............................................................................................................43
3.4. HOMOMORFISMOS ESPECIAIS ...................................................................................................................45
UNIDADE IV - CLASSES LATERAIS ..........................................................................................................46
4.1. CLASSE LATERAL DIREITA ........................................................................................................................46
4.2. CLASSE LATERAL ESQUERDA ....................................................................................................................46
4.3. PROPRIEDADES DAS CLASSES LATERAIS .......................................................................................................48
4.4. SUBGRUPO NORMAL................................................................................................................................51

UNIDADE V - ANIS E CORPOS ...............................................................................................................51

5.1. ANEL ....................................................................................................................................................51
5.2. ANIS COMUTATIVOS, ANIS COM UNIDADE E ANIS DE INTEGRIDADE. .................................................................53
5.4. SUBANIS.............................................................................................................................................54
5.5. CORPO.................................................................................................................................................55
E X E R C C I O S ...............................................................................................................................57
BIBLIOGRAFIA: .............................................................................................................................61
 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.
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

UNIDADE I - RELAES
1.1. RELAES BINRIAS E SUAS PROPRIEDADES
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 A e y B }

Se B A, como BxA = { (y , x) y B e x 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

13
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

Tabela de Dupla Entrada

AxB 1 2 BxA 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 2 x 5} e B = { y 1 y 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 AxB

A definio deixa claro que toda relao um conjunto de pares ordenados. Para indicar que (a,b) 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) R , escrevemos
Os conjuntos A e B so denominados, respectivamente, conjunto de partida e conjunto de chegada da
relao R .

14
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

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) R1 = {(1,1); (1,3); (1,5); (1,7); (1,9)}
b) R2 = {(1,1); (2,3); (3,5); (4,7)}
c) R3 = {(2,1); (1,3)}
d) R4 = AxB
e) R5 =
f) R6 = {(x,y) AxB x + 5 < y } = {(1,7); (1,9); (2,9); (3;9)}

02. Dados os conjuntos A = e B = . As relaes abaixo so relaes de A em B :

a) R7 = {(x,y) 2 x = y }
b) R8 = {(x,y) 2 2x + 4y 8 = 0 }
c) R9 = {(x,y) 2 x y + 2 < 0 }
e possuem as respectivas representaes:

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

15
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

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) R e denota-se por D(R).
D(R) = { x A y B ; (x,y) 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) R e denota-se por Im(R).

Im(R) = { y B x A ; (x,y) 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(R1) = {1} e Im(R1) = B
b) D(R2) = A e Im(R2) = {1, 3, 5, 7}
c) D(R5) = e Im(R1) =
d) D(R6) = {1, 2, 3 } e Im(R6) = {7, 9}
e) D(R8) = e Im(R8) =
f) D(R10) = ]2 , 6[ e Im(R10) = ]1 , 5[

Deixamos ao aluno justificar os domnios e imagens acima determinados.

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

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

16
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

INVERSA DE UMA RELAO

Definio:
Seja R uma relao de A em B. Chama-se de relao inversa de R, denota-se por R1, a seguinte
relao definida de B em A :

R1 = { (y,x) B x A (x,y) R }

A relao inversa e tambm denominada de relao recproca.

No caso particular em que A = B, tambm se diz que R1 a relao oposta de R .

Exemplos :
01. Aproveitando os exemplos anteriores de relao, temos que :
a) R11 = {(1,1); (3,1); (5,1); (7,1); (9,1)}
b) R21 = {(1,1); (3,2); (5,3); (7,4)}
c) R31 = {(1,2); (3,1)}
d) R41 = BxA
e) R51 =
f) R61 = {(x,y) BxA y + 5 < x } = {(y,x) BxA x + 5 < y }
g) R71 = {(x,y) 2 x = y }
h) R81 = {(x,y) 2 2y + 4x 8 = 0 }
i) R91 = {(x,y) 2 y x + 2 < 0 }
j) R101 = {(x,y) 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 R1 ?

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 R7 , R8 , R9 e R10 so exemplos de relaes sobre o conjunto A = .

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 A ; tem-se xRx )

17
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

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

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

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

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

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

03. A relao R definida por xRy xy (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) 2 (x 4)2 + (y 4)2 4 } uma relao apenas simtrica.

1.2. RELAO DE EQUIVALNCIA

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.

18
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

1.3. RELAO DE ORDEM

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 y , sobre o conjunto dos nmeros reais uma relao de ordem.
03. A relao R definida por xRy xy (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 A. Chama-se de classe de equivalncia
determinada por a, mdulo R, o subconjunto de A, definido por :

a = { x A xRa } ou a = { x 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) R1 = {(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} }

19
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

b) R2 = {(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 A. As seguintes proposies so
equivalentes :

(I) aRb; (II) a a ; (III) b a ; (IV) a b

isto ,

aRb a a

ab b 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

20
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

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 xy (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) R, ento 1 2;
* Se (1,2), (2,4) e (2,4) 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) 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 A um limite superior de B quando todo x B precede L.
Dizse que l A um limite inferior de B quando todo x 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 B um mximo de B, quando ele for um limite superior de B.
Um elemento m B um mnimo de B, quando ele for um limite inferior de B.
Dizse que M0 B maximal de B, se o nico elemento de B precedido por M0 o prprio.
Dizse que m0 B minimal de B, se o nico elemento de B que precede m0 o prprio.

21
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

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

02. Representando A e B em retas, temos:

B
0 1

Limite(s) superior(es) do sub conjunto B: Lim sup(B) = { L L 1}

Limite(s) inferior(es) do sbconmjunto B: Lim inf(B) = { l l 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 y sobre o conjunto A = e o subconjunto B = ] 0 , 1] de A.

Representando A e B em retas, temos:

B
0 1

Limite(s) superior(es) do sub conjunto B: Lim sup(B) = { L L 1}

Limite(s) inferior(es) do sbconmjunto B: Lim inf(B) = { ll0}
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:

22
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

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

UNIDADE II - GRUPOS E SUBGRUPOS

2.1. LEI DE COMPOSIO INTERNA E SUAS PROPRIEDADES
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:

23
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

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: , , , 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) NxN x + y N e (x,y) NxN x.y N

02. A diviso de racionais no nulos uma operao interna no conjunto dos nmeros
racionais no nulos, porque:

x
(x,y) Q x Q Q
y

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 Mmxn() uma operao interna.

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

2.2. TBUA DE UMA OPERAO

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 :

24
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

* 1 2 3
1 1 1 1
2 1 2 1
3 1 1 3

02. A operao definida por x y = x y em A = ({1, 2}) pode ser representada pela
seguinte tbua :
{1} {2} { 1, 2}

{1} {1} {1}
{2} {2} {2}
{ 1, 2} {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 xx = 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 xy = x + y + 2xy no conjuntos dos nmeros inteiros.

25
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

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 xy = x + y + 2xy no conjuntos dos nmeros inteiros.

EXISTNCIA DO ELEMENTO NEUTRO

Diz-se que 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 xy = x + y + xy no conjuntos dos nmeros inteiros no

admite elemento neutro, de fato:
Utilizaremos apenas (I) devido a operao ser comutativa
xe=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.

26
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

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 A elemento simetrizvel para a operao em A, que possui
elemento neutro e, se existir x' 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 xy = 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' =
1 2x
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:

27
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

Proposio
Seja uma operao interna em A, associativa e admite elemento neutro e, ento
podemos concluir que:
a) Todo elemento x A admite um nico simtrico.
b) O simtrico do simtrico, de um elemento x 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 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) xa=ya x=y
(II) ax=ay 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 xy = x + y.

Todos os elementos do conjunto { 1/2} so regulares para a operao
xy = x + y + 2xy , cujo elemento neutro e = 0. De fato:
Utilizaremos apenas (I) devido a operao ser comutativa
xa=ya
x + a + 2xa = y + a + 2ya
2xa = 2ya
xa = ya
x=y
Assim, R( { 1/2}) = { 1/2}, onde U representa o conjunto dos elementos
regulares.

28
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

Utilizaremos a notao R(A) para representar o conjunto dos elementos regulares em

A para a operao .
notrio que um elemento regular a 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 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 xy 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 Z1 Z2 = Z1 . Z2 . 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

2.3. GRUPIDE, SEMIGRUPO, MONIDE, GRUPO, GRUPO COMUTATIVO.

GRUPIDE
Definio:

29
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

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:
(G1) Associativa
Quaisquer que sejam x, y e z G, temse x(yz) = (xy)z.
(G2) Elemento Neutro
Existe em G um elemento e tal que xe = ex qualquer que seja x G.
(G3) Elementos Simetrizveis
Para todo x em G, existe um elemento x' em G tal que xx' = 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:

30
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

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 xy = x + y. De fato :
(G1) x, y, z Q temse (x + y) + z = x + (y + z)
(G2) e = 0 Q, tal que x Q temse 0 + x = x + 0 = x
(G3) x Q, x Q tal que x + ( x) = ( x) + x = 0
(G4) x, y Q, temos x + y = y + x

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

Associativa
(xy)z = (x + y 10)z
= (x + y 10) + z 10
= x + (y + z 10) 10
= x(y + z 10)
= x(yz)

Comutativa
xy = x + y 10 = y + x 10 = yx

Elemento Neutro
xe = x ex =x
x + e 10 = x e + x 10 = x
e = 10 e = 10
Elementos Simetrizveis
xx' = 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.

31
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

03. Os grupides (Z, + ); (Q, + ); (, + ); (C, + ); (Q*, . ); (*, . ) e (C*, . ) tambm so

exemplos de grupos comutativos.

04. Deixamos ao encargo do leito provar que os grupides abaixo so grupos abelianos :

a) G = e xy= 3
x3 y3

b) G = Q e xy=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 Z1 Z2 = Z1 . Z2 . 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 xy = x + y 10 um grupo infinito e sua ordem

infinita.

32
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

2.4. PROPRIEDADES DOS GRUPOS

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')' ] = xe
(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:
(xy)(y'x') = x(yy')x' = xex' = xx' = e
e, de modo anlogo :
(y'x')(xy) = y'(x'x)y = y'ey = y'y = e

33
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

Portanto, o simtrico do composto xy 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 xx = x nica, a saber x = e .

Demonstrao:
De fato, xx = x (xx)x' = xx' x(xx') = e xe = e x = e
Por outro lado, supondo que x0 G tambm soluo da equao xx = x, temse:
x0 = x0e = x0 (x0x0 ' ) = (x0x0)x0 ' = x0 x0 ' = 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 ax = b e ya = b
admitem soluo nica em G .
Demonstrao;
De fato,
ax = b ya = b
a'(ax) = a'b (ya)a' = ba'
(a'a)x = a'b y(aa' ) = ba'
ex = a'b ye = ba'
x = a'b y = ba'

Por outro lado, supondo que x0 e y0 G so, respectivamente, solues das equaes
ax = b e ya = b , temse :
x0 = ex0 e y0 = y0e

34
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

x0 = (a'a)x0 y0 = y0(aa' )
x0 = a'(ax0) y0 = (y0a)a'
x0 = a'b y0 = ba'

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) af = bd = e
d) ad = bc = f
e) ac = bb = d
f) cd = 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 abcxb = c, devemos proceder do seguinte modo:

a'abcxbb' = a'cb'
ebcxe = a'cb'
bcx = a'cb'
b'bcx = b'a'cb'
ecx = b'a'cb'
c'cx = c'b'a'cb'
ex = c'b'a'cb'
x = c'b'a'cb'

35
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

Deixamos ao encargo do leitor determinar outra forma de obter a soluo, observando o

simtrico de um composto.

2.5. SUBGRUPOS
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:
(S1) Quaisquer que sejam os elementos x e y de H, temse xy H
(S2) 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 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 ( , . ), podemos afirmar que :
a) Os subgrupos triviais so : ( , . ) e ( {1}, . ) ;
b) Os conjuntos H1 = { 1, 1} e H2 = {x x > 0} so subgrupos prprios de ( , . )
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}, }

36
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

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

03. O par ( H = { 2n n 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 = x = 2 munido com a operao definida por

(a,b) (c,d) = (a + c, b + d). O conjunto H = { (x,y) 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 eG e eH os respectivos elementos neutros do grupo G e do subgrupo H.
Como H G, temos que eH G e que eH eG = eG eH = eH .
Por hiptese eH o elemento neutro de H, logo eH eH = eH.
Aplicando a propriedade de elementos simplificveis em eH eG = eH eH , obtemos
eG = eH . 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 H e e o elemento neutro do grupo e do subgrupo.

37
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

Consideremos x'G e x'H os simtricos de x em relao ao grupo G e ao subgrupo H,

respectivamente, assim :

xx'G = x'Gx = e e xx'H = x'Hx = 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 :
(S1) Dados h1 , h2 H, temse h1 h2 H.
(S2) Dado h H, temse h' H.
Demonstrao:
Supondo que H seja um subgrupo do grupo G, as condies (S1) e (S2) so claramente
satisfeitas.
Reciprocamente, supondo que as duas condies (S 1) e (S2) sejam satisfeitas, temos :
a) A operao associativa em H, porque a operao em G associativa e H
G;
b) As condies (S1) e (S2) garantem que a operao fechada em H, assim como,
todos os elementos de H so simetrizveis;
c) Tomando h H , pela condio (S2) h' H e pela condio (S1) hh' = h'h H,
assim e H.
Portanto, H um subgrupo do grupo G.

Exemplos:
01. Mostraremos que o par ( H = { 3n n Z }, . ) um subgrupo do grupo multiplicativo
dos racionais positivos ( G = Q+, . ).
a) O neutro do grupo e = 1 que pode ser interpretado como e = 30 = 1, onde 0 Z ;
b) Dados h1 = 3p e h2 = 3q elementos de H, com p e q inteiros, temos :
i. h1h2 = 3p.3q = 3p + q H, pois p + q inteiro
c) Seja h = 3m , com m inteiro. Assim,

38
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

hh' = e 3m.h' = 1 h' = 3 m h' H, pois m inteiro.

Portanto, H um subgrupo de G

02. O conjunto H = { z = cos() + i.sen() 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) H;
b) Dados h1 = cos(1) + i.sen(1) e h2 = cos(2) + i.sen(2) elementos de H, com 1 e
2 racionais, temos :
h1h2 = [cos(1) + i.sen(2)].[cos(2) + i.sen(2)]
h1h2 = [cos(1).cos(2) sen(1).sen(2)] + i.[cos(1).sen(2) + sen(1).cos(2)]
h1h2 = cos(1 + 2) + i.sen(1 + 2)
h1h2 H, pois 1 + 2 = Q;
c) Dado h = cos() + i.sen() H, com racional. Assim,
1
hh' = e h.h' = 1 h' = h' = cos() i.sen( )
h
h' = cos( ) + i.sen( ) , como racional ento
h' H.
Portanto, H um subgrupo de G = C .

03. O conjunto H = { 2.k k 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 Z ;
b) Dados h1 = 2.k1 e h2 = 2.k2 elementos de H, com k1 e k2 inteiros, temos :
h1h2 = (2.k1).(2.k2) = 2.(2.k1.k2) H, pois 2.k1.k2 = k inteiro
c) Seja h = 2.k , com k inteiro. Assim,
hh' = e 2.k + h' = 0 h' = 2.k h' = 2.( k)
h' H, pois k inteiro.
Portanto, H um subgrupo de G = Z.

04. O conjunto H = { z C z= 1} um subgrupo do grupo multiplicativo dos nmeros

complexos no nulos ( C, . ). De fato :
a) O neutro do grupo e = 1 H, pois e= 1;

39
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

b) Dados h1 = z1 e h2 = z2 elementos de H, com z1= 1 e z2= 1, temos :

h1 h2 = z1.z2 = z1.z2= 1.1 = 1, logo h1h2 H;
c) Seja h = z , com z = 1. Assim,

hh' = e z . h' = 1 h' = z

h' = z = z= 1. h' H.
Portanto, H um subgrupo de G = C .

05. O conjunto H = { x Q x > 0} um subgrupo do grupo multiplicativo dos nmeros

racionais no nulos ( Q, . ). De fato :
a) O neutro do grupo e = 1 H, pois e = 1 > 0;
b) Dados h1 e h2 elementos de H, com h1 > 0 e h2 > 0, temos :
h1 h2 = h1.h2 > 0, logo h1h2 H;

c) Seja h elemento de H , com h > 0. Assim,

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

40
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

UNIDADE III - HOMOMORFISMO DE GRUPOS

3.1. HOMOMORFISMO E CLASSIFICAO DO HOMOMORFISMO.
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 ( , + ) e ( +, . ). A aplicao f : + , definida por f(x) = 2x um homomorfismo.
De fato :
f(a b) = 2a + b = 2a . 2b = f(a) f(b)

02. Sejam os grupos (+, . ) e ( , + ). A aplicao f : + , 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 ( + , . ). A aplicao f : C + , definida por f(z) = z um

homomorfismo. De fato :
f(z1 z2) = z1 . z2 = z1 . z2 = f(z1) f(z2)

41
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

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 = M2() tal que det(A) 0; A M2() e J = . A aplicao f :
M2() + , definida por f(X) = det(X) um homomorfismo. De fato :
f(A B) = det(A.B) = det(A) . det(B) = f(A) f(B)

3.2. PROPRIEDADES DOS HOMOMORFISMOS

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

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

Demonstrao :
Para todo x elemento de G, temos :
x eG = x
f(x eG) = f(x)
f(x) f(eG) = f(x)
f(x) f(eG) = f(x) eJ
f(eG) = eJ
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 G .

Demonstrao :
Para todo x elemento de G, temos :
f(eG) = eJ
f(x x') = eJ
f(x) f(x') = eJ
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 .

42
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

Demonstrao:
Seja ( H, ) um subgrupo de ( G, ) .
Afirmamos que ( f(H), ) um subgrupo de ( J, ). De fato :
a) bvio que f(H) , pois eG H f(eG) = eJ eJ f(H);

b) y1, y2 f(H), por definio, existem x1, x2 H tais que f(x1) = y1 e f(x2) = y2 . Assim, y1 y2 = f(x1)
f(x2) = f(x1) f(x2) = f(x1 x2 )
Como x1 x2 H, temse y1 y2 f(H).

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

3.3. NCLEO DE UM HOMOMORFISMO

Definio:
Seja f: (G, ) ( J, ) um homomorfismo de grupos e eJ o elemento neutro do grupo J. Chamase
ncleo ou Kernel do homomorfismo f ao conjunto { x G f(x) = eJ }, indicado pela notao N(f) ou Ker(f)
(leiase ncleo ou Kernel de f), isto :
N(f) = Ker(f) = { x G f(x) = eJ }

Em smbolos :

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

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

43
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

Assim, N(f) = {1}

03. Sejam os grupos (C, . ) e ( +, . ) e o homomorfismo f : C + , definido por f(z) = z, sendo z =

x + y.i. Ento f(z) = eJ z = 1 2 2
x +y =1
Assim, Ker(f) = {z= x + y.i C x2 + y2 = 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) = eJ (x y, 0 ) = (0,0) x=y
Assim, Ker(f) = {(x,y) ZxZ x = y}
Sugerimos que o leitor faa uma interpretao geomtrica do caso acima.

05. Seja o homomorfismo de grupos f : ( M2(), .) ( + , .), definido por f(X) = det(X). Ento, f(X) = eJ
det(X) = 1.
Assim, Ker(f) = {X M2() 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(eG) = eJ , ento eG N(f). Logo, N(f) .

b) Dados x, y N(f), logo f(x) = eJ e f(y) = eJ .

Assim, f(x y ) = f(x) f(y)
f(x y ) = eJ eJ

44
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

f(x y ) = eJ, o que implica em x y N(f).

c) Seja x N(f), logo f(x) = eJ .

Assim, f(x') = f(x)'
f(x') = eJ'
f(x') = eJ , o que implica em x' 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.

3.4. HOMOMORFISMOS ESPECIAIS

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 .

45
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

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

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

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

03. Sejam os grupos (C, . ) e ( +, . ). A aplicao f : C + , 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 (, + ) e ( , + ). A aplicao f : , 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.

UNIDADE IV - CLASSES LATERAIS

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

4.1. CLASSE LATERAL DIREITA

Definio:
A classe lateral direita de H em G gerada por a, denotase por H a, o seguinte
subconjunto de G :
H a = {ha h H}

4.2. CLASSE LATERAL ESQUERDA

Definio :

46
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

A classe lateral esquerda de H em G gerada por a, denotase por a H, o

seguinte subconjunto de G :
a H = {ha h 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 G x = i h ; h H } = { i, i }
i H = { x G x = i h ; h H } = { i, i }
1 H = { x G x = 1 h ; h H } = { 1, 1 }
1 H = { x G x = 1 h ; h H }= { 1, 1 }

H i = { x G x = h i ; h H } = { i, i }
H i = { x G x = h i ; h H } = { i, i }
H 1 = { x G x = h 1 ; h H } = { 1, 1 }
H 1 = { x G x = h 1 ; h 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

47
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

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 G x = a h ; h H } = { a, b, c, e }
b H = { x G x = b h ; h H } = { a, b, c, e }
c H = { x G x = c h ; h H } = { a, b, c, e }
e H = { x G x = e h ; h H } = { a, b, c, e }

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

4.3. PROPRIEDADES DAS CLASSES LATERAIS

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 H} e H a = {h a h H }.
Assim, H a = { h a h H } = { a h h 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 G .
Sabemos que o elemento neutro e do grupo G pertence ao subgrupo H.

48
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

Logo, a G e e a = a o que implica em a H a.

De modo anlogo, provase que a 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' H
( ou a' b H ).

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

49
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

h'1 ( h1 a ) b' = h'1 ( h2 b ) b'

a b' = h'1 h2
O fato de que h'1 h2 H implica em a b' 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 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:Ha Hb
ha hb
f( h a ) = h b

Afirmamos que f : H a H b bijetora. De fato :

a) Seja f(h1 a) = f(h2 a) h1 b = h2 b h1 = h2
logo, h1 a = h2 a. f injetora.

b) Dado h b H b. Ento existe h a 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 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

50
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

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 = (a1 H) (a2 H) ... (ak 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.

4.4. SUBGRUPO NORMAL

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 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.

UNIDADE V - ANIS E CORPOS

5.1. ANEL
Definio:
Seja A um conjunto no vazio ( A ) munido de duas operaes internas e .
Dizse que a terna ( A, , ) um anel quando as operaes internas e possuem
as seguintes propriedades :
(A1) O par ( A, ) um grupo abeliano;
(A2) a, b, c A, temse a(bc) =(ab)c
(A3) a, b, c A, temse : a ( b c ) = a b a c
(bc)a = ba ca

51
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

Exemplos:
01. As ternas ( Z, +, . ); ( Q, +, . ); ( , +, . ) e ( C, +, . ) so anis, pois, para cada uma delas,
so vlidas as trs seguintes condies:
(A1) Os pares ( Z, +); ( Q, +); ( , +) e ( C, +) so grupos abelianos;
(A2) Os pares ( Z, . ); ( Q, . ); ( , . ) e ( C, . ) so semigrupos;
(A3) A multiplicao (.) em Z, Q, 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 M2() o conjunto de todas as matrizes quadradas de ordem 2. A terna ( M 2(), +, .)
um anel, pois, temos :
(A1) O par (M2(), +) um grupo abeliano;
(A2) O par (M2(), . ) um semigrupo;
(A3) A multiplicao (.) em M2() 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 = = { f f : }. Dadas duas funes quaisquer f, g A, definindo f + g

e f.g da seguinte forma :
(f + g) : (f + g)(x) = f(x) + g(x)
(f.g) : (f.g)(x) = f(x).g(x)
Nessas condies A um anel.

52
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

5.2. ANIS COMUTATIVOS, ANIS COM UNIDADE E ANIS DE

INTEGRIDADE.

ANE L COMUTATIVO
Definio:
Dizse que o anel ( A, , ) um anel comutativo, quando a operao
comutativa, isto , a, b 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 A, temse a 1A = 1A a = a .

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

elemento neutro em relao a operao ser denotado por 1A.

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 A, temse a b = 0A a = 0A ou b = 0A , isto , vale a lei do anulamento
do produto.

Se a e b so elementos no nulos do anel A tais que a b = 0A ou b a = 0A,

dizemos que a e b so divisores prprios do zero em A.

53
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

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

02. O anel ( M2(), +, .) no de integridade, pois, alm de no ser comutativo apresenta

divisores prprios do zero, conforme abaixo :
0 1 1 0 0 0
0 0 . 0 0 0 0

1 0 0 1 0 1
embora, . 0 0
0 0 0 0

5.4. SUBANIS
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 L, sempre que a,b L.

54
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

5.5. CORPO
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 :
(C1) ( C, ) um grupo abeliano;
(C2) ( C, ) um grupo abeliano;
(C3) A operao distributiva em relao operao .

Exemplos :
01. Os anis ( Q, +, . ); ( , +, . ) 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, +); ( , +) e ( C, +) so grupos abelianos;
(A2) Os pares ( Q, . ); ( , . ) e ( C, . ) so grupos abelianos;
(A3) A multiplicao (.) em Q, 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 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

55
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

05. A terna ( x, , ), 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 ( 2, ) e ( 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 C.
Se a = 0, no h o que demonstrar.
Se a 0, ento pela definio de corpo, o elemento a C inversvel, isto , possui
inverso a 1 C.
Assim, a.b = 0 a 1.a.b = a 1.0 1A.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.

56
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

EXERCCIOS
01. Dados os conjuntos A = {a, b} ; B = {2, 3} e e) R5 =
C = {3, 4} . Calcule:
a) A x ( B C ) 07. D um exemplo de uma relao sobre o
b) ( A x B ) ( A x C ) conjunto A { a, b, c, d, e} que :
c) A x ( B C ) a) Seja apenas reflexiva
d) ( A x B ) ( A x C ) b) Seja apenas simtrica
e) A x ( B C ) c) Seja apenas simtrica e anti-simtrica
f) A x ( C B ) d) No seja nem simtrica e nem anti-
simtrica
02. Represente A x B e B x A nos seguintes
casos : 08. Sejam R e S relaes sobre o mesmo conjunto
a) A = {x 2 < x < 5} e A. Prove que:
B = { y 1 y 6 }. a) Se R e S so simtricas, ento R S e R
b) A = {x 1 x < 5} e S so simtricas.
B = { y 1 < y 5 }. b) Se R e S so transitivas, ento R S
c) A = {x 2 x < 5} e transitiva.
B = { y 1 y < 6 }. c) R1 S1 = (R S)1
d) A = {x 3 < x < 3} e d) R1 S1 = (R S)1
B = { y 1 < y < 1 }. e) Se R transitiva, ento R1 tambm
transitiva.
03. Sejam os conjuntos A = { 0, 2, 4, 6, 8} e B = f) Qualquer que seja R, tem-se R R1
{ 1, 3, 5, 9}. Enumerar os elementos das simtrica
relaes abaixo definidas, determinando seu
domnio, a imagem e a relao inversa: 09. Quais das relaes abaixo so de equivalncia
a) R1 = {(x,y) AxB y = x + 1} sobre o conjuntos dos inteiros positivos?
b) R2 = {(x,y) AxB x y } a) xRy x + y = 12
c) R3 = {(x,y) AxB y = x2 + 1} b) xRy mdc(x, y)
d) R4 = {(x,y) AxB y (x + 1)} " y (x + c) xRy x y
1) y divide (x + 1)" d) xRy inteiro k tal que x y = 4k

04. Sabendo-se que A um conjunto com 5 10. Sejam A = {x Z x 4} e a relao R

elementos e R = {(0,1); (1,2); (2,3); (3,4)} ma definida por xRy x + x = y + y .
relao sobre A. Pede-se obter : Determinar o conjunto quociente A/R.
a) Os elementos de A
b) O domnio e a imagem de R 11. Sejam A = {x Z x 5} e a relao R
c) Os elementos, domnio e imagem de R1 definida por xRy x2 + 2x = y2 + 2y.
Determinar o conjunto quociente A/R.
05. Sejam A = N e a relao R = {(x,y) AxA
2x + y = 10}. Determine o domnio e a 12. Sejam M um conjunto no vazio, A = (M)
imagem de R e R1. (conjunto das partes de M) e as relaes R
definida por XRY X F = YF e XSY
06. Seja A = {1, 2, 3}. Classifique as relaes XF = YF, onde F um subconjunto fixo
abaixo em reflexiva, simtrica, transitiva e anti- de M. Verifique se as relaes R e S so de
simtrica : equivalncia.
a) R1 = {(1,2); (1,1); (2,2); (2,1); (3,3)}
b) R2 = {(1,1); (2,2); (3,3); (1,2); (2,3)} 13. Mostre que a relao R de finida por xRy x
c) R3 = {(1,1); (2,2); (1,2); (2,3); (3,1)} y Q (conjunto dos nmeros racionais)
d) R4 = A2

57
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

uma relao de equivalncia sobre A = e 24. Faa o diagrama simplificado da relao de

1 ordem por incluso em A = ({a,b,c}) e
descreva as classes geradas por e 2 . determine os limites superiores, os limites
2 inferiores, o supremo, o nfimo, o mximo, o
mnimo, o maximal e o minimal, considerando
14. Mostre que a relao R de finida por (a + B = {{a}, {a,b}, {a,c}}.
b.i)R(c + d.i) a2 + b2 = c2 + d2 uma relao
de equivalncia sobre A = C (conjunto dos 25. A aplicao f: QxQ Q, definida por f(x,y) =
nmeros complexos) e descreva as classes
x
geradas por 1 + i e 1 i . uma lei de composio interna ?
y
15. Seja A o conjunto das retas de um plano .
Quais das relaes abaixo definidas so 26. Seja M2() o conjunto das matrizes quadradas
relaes de equivalncia ou de ordem em A ? de elementos reais. A operao definida em
a) xRy x // y M2() por X Y = X . Y uma lei de
b) xRy x y composio interna ?
27. Seja a operao interna xy = x + y em A = N.
16. Verifique se a relao (a,b) R (c,d) a.d = Os elementos de N so todos regulares ?
b.c em A = ZxZ uma relao de
equivalncia. 28. Construa a tbua da operao xy = mdc(x,y)
em A = {1, 3, 5, 15}.
17. Dado o conjunto A = C e seja os nmeros
complexos x = a + b.i e y = c + d.i de C. 29. Construa a tbua da operao XY = X Y
Verifique se a relao xRy a c e b d em A = { M, N, P, Q }, com M N P Q.
uma relao de ordem parcial em C.
30. Em cada um dos casos abaixo, considere a
18. Sejam os conjuntos B e A = (B) e a operao definida sobre A e verifique em
relao XRY X Y em A. Verifique se a quais vale as propriedade associativa,
relao R uma relao de ordem em A. comutativa, elemento neutro, elemento
simetrizvel e elemento regular :
19. Faa o diagrama simplificado das seguintes x y
relaes de ordem no conjunto A = {1, 2, 4, 5, a) A = e xy= .
10, 20}. Sendo: a) Ordem habitual. b) 2
Ordem por divisibilidade.
b) A = e xy= x2 y2 .
20. Faa o diagrama simplificado da relao de c) A = e x y = x . y +2.x
ordem por incluso em A = ({a,b}). d) A = ZxZ e (a,b)(c,d) = ( a + c, b.d)
e) A = ZxZ e (a,b)(c,d) = ( a . c , 0 )
21. Faa o diagrama simplificado da relao de
ordem por divisibilidade no conjunto 31. Qual a condio que deve ser imposta aos
A = {2,3,5,10,15,30} e determine os limites inteiros p e q de modo que a operao
superiores, os limites inferiores, o supremo, o x y = p.x + q.y , em A = Z, seja :
nfimo, o mximo, o mnimo, o maximal e o a) Associativa
minimal, considerando B = {6, 10}. b) Comutativa
c) Admita elemento neutro
22. Faa o diagrama simplificado da relao de
ordem por divisibilidade no conjunto 32. Verifique se o conjunto
A = {1,2,3,4,6,9,12,18,36} e determine os
cos() sen()
limites superiores, os limites inferiores, o A =
supremo, o nfimo, o mximo, o mnimo, o sen() cos()
maximal e o minimal, considerando
um subconjunto fechado de M2() para a
B = {2,4,6}.
multiplicao usual de matrizes.
23. Seja B = {x Q 0 x2 2} um subconjunto
33. Construa a tbua da operao sobre o
de A = Q, em que se considera a relao de
conjunto A = { 1, 2, 3, 4} de modo que :
ordem habitual. Determine os limites
a) A operao seja comutativa
superiores, os limites inferiores, o supremo, o
b) O elemento neutro seja e = 1
nfimo, o mximo, o mnimo, o maximal e o
minimal. c) U (A) = A
d) R (A) = A

58
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

e) 23=1 cos() sen()

H =
34. Verifique se a operao definida pela tbua sen() cos()
abaixo em A = { 1, 2, 3, 4} um grupo .
abeliano: b) G = Q {1}; x y = x + y x.y e
H = 2.Z = { 0, 2, 4, 6, 8, ...}
1 2 3 4
1 3 4 1 2 c) G = Z; x y=x+y e
2 4 3 2 1 H = 2.Z = { 0, 2, 4, 6, 8, ...}
3 1 2 3 4
4 2 1 4 3 d) G = C; z1 z2 = z1 . z2 e
H = { z C z = 2 }
35. Verifique se o conjunto G = { a + b. 2 a, b
Q } com a operao x y = x . y um grupo e) G = ; x y = x + y e H = N .
abeliano.
36. Seja A = = { f f : }. Dadas duas 43. Provar que, se H1 e H2 so subgrupos do
funes quaisquer f, g A, definindo f + g e grupo ( G, ), ento H1 H2 um subgrupo
f.g da seguinte forma : do grupo G.
44. Mostre que, se G um grupo e x x = 1, ento
(f + g) : (f + g)(x) = f(x) + g(x) G abeliano.
(f.g) : (f.g)(x) = f(x).g(x)
45. Mostre que, se x elemento grupo e x x = x ,
Verifique se os pares (A, + ) e ( A, . ) so ento x o elemento neutro.
grupos abelianos. Justifique a resposta, caso
no seja grupo abeliano. 46. Sejam a, b, c elementos de um grupo G. Prove
que o simtrico de abc cba. Obtenha x
37. Construa a tbua do grupo G = {1, 2, 3, 4, 5, 6} G, tal que abcxb = abx.
de ordem 6, sabendo que :
a) G abeliano 47. Verifique se H1 = {x Q x > 0} e H2 =
b) O neutro e = 5 m
c) 1 6 = 2 4 = 5 : m, n } so subgrupos do
d) 1 4 = 2 3 = 6 n
e) 1 3 = 2 2 = 4 grupo multiplicativo Q*.
f) 3 4 = 1
48. Verifique se H1 = {a + b * a, b Q}
38. Prove que, se no grupo ( G, ) existe x tal que
x x = x, ento x o elemento neutro.
e H = 2
a b R * : a, b Q} so
subgrupos do grupo multiplicativo *.
39. Mostre que o conjunto

1 0 1 0 1 0 1 0 49. Provar que, se H1 e H2 so subgrupos de um

G =
; ; ; grupo ( G, ), ento H1 H2 um subgrupo
0 1 0 1 0 1 0 1 do grupo G se, e somente se, H1 H2 ou H2
com a operao de multiplicao usual de H1 .
matrizes um grupo abeliano.
50. Verifique se H1 = {cos() + i.sen() } e
40. O par ( G = { 2k k Z }, ) um grupo
abeliano, sendo x y = x . y.

H2 = z C : z } so subgrupos do
grupo multiplicativo C*.
41. Prove que, se no grupo ( G, ) todo elemento x
e tal que x x = e, ento G abeliano. 51. Seja G um grupo e a um elemento de G. Prove
que N(a) = { { x G ax = xa } um
42. Abaixo est relacionado um grupo G, a subgrupo de G.
operao e um subconjunto H. Quais destes
subconjuntos so subgrupos : 52. O subconjunto H = { 6n n Z } um
a) G = M2() ; X Y = X.Y e subgrupo do grupo ( Q, . ).

59
 Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia

53. Verifique se as aplicaes abaixo definidas so 3 5 7 9

homomorfismos de grupos, em caso afirmativo 3 3 5 7 9
classifiquea : 5 5 7 9 3
a) f : ( , . ) ( , . ), 7 7 9 3 5
definida por f(x) = x 9 9 3 5 7
b) f : ( , + ) ( , + ),
definida por f(x) = x + 10 62. Seja f: G J um homomorfismo sobrejetor de
c) f : ( Z, + ) ( ZxZ, + ), grupos. Se H um subgrupo normal de G,
definida por f(x) = (x , 0) mostre que f(H) um subgrupo normal de J..
d) f : ( , + ) ( , . ), definida por 63. O conjunto G =
f(x) = 10x 1 0 1 0 1 0 1 0
e) f : ( , . ) ( , + ), definida por ; ; ;
f(x) = log(x) 0 1 0 1 0 1 0 1
f) f : ( C, . ) ( C, . ), definida por com as operaes usuais de adio e
f(z) = z multiplicao de matrizes um anel de
g) f : ( C, . ) ( C, . ), definida por integridade
f(z) = z2
h) f : ( C, . ) ( C, . ), definida por 64. Verifique se a terna ordenada ( Z, , ) com
as operaes abaixo definidas um anel
1
f(z) = comutativo com unidade:
z a b = a + b 1 e a b = a + b a.b
i) f : ( C, . ) ( C, . ), definida por
f(z) = z 65. Verifique se a terna ordenada ( ZxZ, , )
j) f : ( Z, + ) ( C, . ), definida por com as operaes abaixo definidas um anel
f(n) = in comutativo com unidade:
k) f : ( , . ) ( , . ), definida por (a,b) (c,d) = (a + c , b +d) e
f(x) = x3 (a,b) (c,d) = (a.c , b.d)

54. Verifique se f : ( Z, + ) ( 2.Z, + ), definida Porque no um anel de integridade?

por f(x) = 2.x um isomorfismo. Existem divisores do zero?
66. Verifique se a terna ordenada ( , , ) com
55. Mostre que o par ( G = { an n Z }, . ) um as operaes abaixo definidas um corpo:
grupo abeliano e que f : ( Z, + ) ( G, . ) um ab=a+b1 e ab=a+ba
isomorfismo.
67. Mostre que ( Q, , ) com as operaes
56. Dado o grupo (G, ) e seja a um elemento fixo abaixo definidas um anel comutativo com
do grupo G. Prove que a aplicao f: G unidade:
G definida por f(x) = a x a' um xy=x+y3 e
isomorfismo. x. y
xy=x+y
57. Construa a tbua de um grupo G = {e, a, b, c}
que seja isomorfo ao grupo multiplicativo J =
{ 1, i, 1, i}. 68. Seja E um conjunto no vazio. Mostre que
((E), , ) com as operaes abaixo
58. Prove que um grupo G abeliano se, e somente definidas um anel comutativo com unidade:
se, f: G G, definida por f(x) = x um
homomorfismo. X Y = (X Y) (X Y) e
XY=XY
59. Determinar todas as classes laterais do 69. Verifique se L = {a + b a, b Q}
subgrupo H = 2.Z no grupo aditivo G = Z. subanel de A = .
60. Determinar todas as classes laterais do 70. Prove que L = M2(Z) um subanel de A =
subgrupo H = 3.Z no grupo aditivo G = Z. M2(Q).
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.

60
Universidade Estadual do Par
Centro de Cincias Sociais e Educao

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.

61