Escolar Documentos
Profissional Documentos
Cultura Documentos
REITORA
Prof. Rubens Vilhena Fonseca
COORDENADOR GERAL DOS CURSOS DE MATEMTICA
MATERIAL DIDTICO
EDITORAO ELETRONICA
Odivaldo Teixeira Lopes
ARTE FINAL DA CAPA
Odivaldo Teixeira Lopes
REALIZAO
Belm - Par - Brasil
- 2011 -
SUMRIO
APRESENTAO ................................................................................................................................. 7
INTRODUO ...................................................................................................................................... 9
UNIDADE I - RELAES ............................................................................................................................. 11
1.1. RELAES BINRIAS E SUAS PROPRIEDADES ...................................................................................................... 11
1.2. RELAO DE EQUIVALNCIA ............................................................................................................................ 16
1.3. RELAO DE ORDEM ...................................................................................................................................... 17
UNIDADE II - GRUPOS E SUBGRUPOS......................................................................................................... 21
2.1. LEI DE COMPOSIO INTERNA E SUAS PROPRIEDADES.......................................................................................... 21
2.2. TBUA DE UMA OPERAO ............................................................................................................................. 22
2.3. GRUPIDE, SEMIGRUPO, MONIDE, GRUPO, GRUPO COMUTATIVO. ......................................................................... 27
2.4. PROPRIEDADES DOS GRUPOS ......................................................................................................................... 31
2.5. SUBGRUPOS ............................................................................................................................................... 34
UNIDADE III - HOMOMORFISMO DE GRUPOS .............................................................................................. 39
3.1. HOMOMORFISMO E CLASSIFICAO DO HOMOMORFISMO. ................................................................................... 39
3.2. PROPRIEDADES DOS HOMOMORFISMOS ........................................................................................................... 40
3.3. NCLEO DE UM HOMOMORFISMO .................................................................................................................... 41
3.4. HOMOMORFISMOS ESPECIAIS ........................................................................................................................ 43
UNIDADE IV - CLASSES LATERAIS .............................................................................................................. 44
4.1. CLASSE LATERAL DIREITA ............................................................................................................................. 44
4.2. CLASSE LATERAL ESQUERDA ......................................................................................................................... 44
4.3. PROPRIEDADES DAS CLASSES LATERAIS ........................................................................................................... 46
4.4. SUBGRUPO NORMAL ..................................................................................................................................... 49
UNIDADE V - ANIS E CORPOS ................................................................................................................... 49
5.1. ANEL .......................................................................................................................................................... 49
5.2. ANIS COMUTATIVOS, ANIS COM UNIDADE E ANIS DE INTEGRIDADE. .................................................................... 51
5.4. SUBANIS ................................................................................................................................................... 52
5.5. CORPO ....................................................................................................................................................... 53
E X E R C C I O S .................................................................................................................................... 55
BIBLIOGRAFIA: ................................................................................................................................. 59
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
11
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
Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia
12
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 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 A x B
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 .
Universidade Estadual do Par
Centro de Cincias Sociais e Educao
13
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
=
f) R
6
= {(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) R
7
= {(x,y)
2
x = y }
b) R
8
= {(x,y)
2
2x + 4y 8 = 0 }
c) R
9
= {(x,y)
2
x y + 2 < 0 }
e possuem as respectivas representaes:
03. A relao R
10
= {(x,y)
2
(x 4)
2
+ (y 3)
2
< 4 }possui a seguinte representao :
Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia
14
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(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
) = e Im(R
1
) =
d) D(R
6
) = {1, 2, 3 } e Im(R
6
) = {7, 9}
e) D(R
8
) = e Im(R
8
) =
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)
2
(x 4)
2
+ (y 3)
2
> 4 }possui a seguinte representao:
Observando sua representao temos que: D(R) = e Im(R) = .
Universidade Estadual do Par
Centro de Cincias Sociais e Educao
15
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 :
R
1
= { (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 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
=
f) R
6
1
= {(x,y) BxA y + 5 < x } = {(y,x) BxA x + 5 < y }
g) R
7
1
= {(x,y)
2
x = y }
h) R
8
1
= {(x,y)
2
2y + 4x 8 = 0 }
i) R
9
1
= {(x,y)
2
y x + 2 < 0 }
j) R
10
1
= {(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 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 = .
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 )
Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia
16
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.
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.
Universidade Estadual do Par
Centro de Cincias Sociais e Educao
17
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) 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} }
Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia
18
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
Universidade Estadual do Par
Centro de Cincias Sociais e Educao
19
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 M
0
B maximal de B, se o nico elemento de B precedido por M
0
o prprio.
Dizse que m
0
B minimal de B, se o nico elemento de B que precede m
0
o prprio.
Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia
20
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:
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:
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) = 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:
0 1
B
0 1
B
Universidade Estadual do Par
Centro de Cincias Sociais e Educao
21
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:
Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia
22
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.
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 :
Universidade Estadual do Par
Centro de Cincias Sociais e Educao
23
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.
* 1 2 3
1 1 1 1
2 1 2 1
3 1 1 3
Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia
24
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
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.
Universidade Estadual do Par
Centro de Cincias Sociais e Educao
25
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
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
, . ) 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 e
G
e e
H
os respectivos elementos neutros do grupo G e do subgrupo H.
Como H G, temos que e
H
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 H e e o elemento neutro do grupo e do subgrupo.
Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia
36
Consideremos x'
G
e x'
H
os simtricos de x em relao ao grupo G e ao subgrupo H,
respectivamente, assim :
xx'
G
= x'
G
x = e e xx'
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
H, temse h
1
h
2
H.
(S
2
) Dado h H, temse h' 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
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 H , pela condio (S
2
) h' H e pela condio (S
1
) hh' = h'h H,
assim e H.
Portanto, H um subgrupo do grupo G.
Exemplos:
01. Mostraremos que o par ( H = { 3
n
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 = 3
0
= 1, onde 0 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
H, pois p + q inteiro
c) Seja h = 3
m
, com m inteiro. Assim,
Universidade Estadual do Par
Centro de Cincias Sociais e Educao
37
hh' = e 3
m
.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 h
1
= cos(
1
) + i.sen(
1
) e h
2
= cos(
2
) + i.sen(
2
) elementos de H, com
1
e
2
racionais, temos :
h
1
h
2
= [cos(
1
) + i.sen(
2
)].[cos(
2
) + i.sen(
2
)]
h
1
h
2
= [cos(
1
).cos(
2
) sen(
1
).sen(
2
)] + i.[cos(
1
).sen(
2
) + sen(
1
).cos(
2
)]
h
1
h
2
= cos(
1
+
2
) + i.sen(
1
+
2
)
h
1
h
2
H, pois
1
+
2
= Q;
c) Dado h = cos() + i.sen() H, com racional. Assim,
hh' = e h.h' = 1 h' =
h
1
h' = cos() i.sen( )
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 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
) H, pois 2.k
1
.k
2
= 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;
Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia
38
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
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 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
H;
c) Seja h elemento de H , com h > 0. Assim,
hh' = e h . h' = 1 h' =
h
1
h' > 0 h' H.
Portanto, H um subgrupo de G = Q
.
Universidade Estadual do Par
Centro de Cincias Sociais e Educao
39
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 :
+
, . ) e ( , + ). A aplicao f :
+
, . ) e (
+
, . ). A aplicao f : C
. A aplicao f :
M
2
()
+
, . ). A aplicao f :
+
, . ) e ( , + ). A aplicao f :
+
, . ) e (
+
, . ). A aplicao f : C
=
(
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
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 e L, sempre que a,b e L.
Universidade Estadual do Par
Centro de Cincias Sociais e Educao
53
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 :
(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, +, . ); ( , +, . ) 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
Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia
54
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 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.
Universidade Estadual do Par
Centro de Cincias Sociais e Educao
55
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)
Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia
56
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
Universidade Estadual do Par
Centro de Cincias Sociais e Educao
57
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
-
, . ).
Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia
58
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).
Universidade Estadual do Par
Centro de Cincias Sociais e Educao
59
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.