Professional Documents
Culture Documents
=
(
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
55
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, +, . ); ( 9, +, . ) e ( C, +, . ) so corpos, denominados, respectivamente,
corpo dos nmeros racionais, corpo dos nmeros reais e corpo dos nmeros complexos,
pois, so vlidas as condies:
(A1) Os pares ( Q, +); ( 9, +) e ( C, +) so grupos abelianos;
(A2) Os pares ( Q, . ); ( 9, . ) e ( C, . ) so grupos abelianos;
(A3) A multiplicao (.) em Q, 9 e C distributiva em relao a adio (+).
02. A terna ( Z, +, . ) um anel mas no um corpo. Deixamos ao encargo do leitor verificar
porque ( Z, +, . ) no um corpo.
03. A terna ( C = { a + b 3 , a, b e Q }, +, . ) um corpo, pois, as trs condies para que
um conjunto no vazio seja um corpo so satisfeitas.
04. A terna ( C = { a, b, c }, , ), com as operaes e definidas pelas tbuas abaixo
um corpo.
a b c a b c
a a b c a a a a
b b c a b a b c
c c a b c a c b
Departamento de Matemtica, Estatstica e Informtica
Licenciatura em Matemtica Modalidade a Distncia
56
05. A terna ( 9x9, , ), com as operaes e abaixo definidas um corpo.
(a,b) (c,d) = (a + c, b + d) e (a,b) (c,d) = (ad bc ,ad + bc)
Note que os pares ( 9
2
, ) e ( 9
2
, ) so grupos abelianos e que, a operao e
distributiva em relao operao .
Teorema
Todo corpo ( C, , ) no possui divisores de zero.
Demonstrao:
Devemos provar que da igualdade a.b = 0 implica em a = 0 ou b = 0, quaisquer que
sejam os elementos a, b e C.
Se a = 0, no h o que demonstrar.
Se a = 0, ento pela definio de corpo, o elemento a e C inversvel, isto , possui
inverso a
1
e C.
Assim, a.b = 0 a
1
.a.b = a
1
.0 1
A
.b = 0 b = 0 .
Teorema
Todo corpo ( C, , ) um anel de integridade.
Demonstrao:
De fato, de acordo com a definio de corpo e teorema acima, ( C, , ) um anel
comutativo com elemento unidade e sem divisores de zero, portanto, ( C, , ) um anel de
integridade.
Universidade Estadual do Par
Centro de Cincias Sociais e Educao
57
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
58
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
59
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
60
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
61
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.