Livro Pedro S e Elias Macedo Neto

Reitora da Universidade do Estado do Par Marlia Brasil Xavier Pr-Reitora de Extenso Mariane Alves Cordeiro Franco Diretora do Centro
de Cincias Sociais e Educao Maria Jos Cravo Vice- Diretor do Centro de Cincias Sociais e Educao Gilberto Reis Vogado
Autores Elias Paulo Macdo Neto Pedro Franco de S
Caminhei muito para chegar at aqui. Ao chegar, percebi que o longe um lugar que no existe. Elias Macdo
Sumrio
Introduo.......................................................................4 Relaes..........................................................................5 Operaes internas........................................................15 Grupos e Subgrupos......................................................21 Homomorfismo de grupos............................................26 Classes Laterais............................................................30 Anis e Corpos..............................................................34 Homomorfismo de anis...............................................43 Resolues....................................................................48 Referncias.................................................................152
Introduo
Uma das dificuldades encontrada pelo estudante de graduao ao resolver uma questo est na forma como ele organiza suas ideias, para que, em outro momento, o mesmo, ou outrem, possa ter uma base do raciocnio utilizado para solucionar tal exerccio. A disciplina de lgebra Moderna tem como caracterstica um elevado grau de abstrao, o que requer mais cautela no que diz respeito formalizao/organizao das ideias utilizadas. Com o intuito de criar condies para que os licenciandos em Matemtica possam exercitar alguns dos conceitos de lgebra Moderna, verificar a validao dos seus resultados obtidos e sanar suas dvidas quanto resoluo das questes, desenvolvemos o presente livreto. Questes de lgebra Moderna um livro endereado a todos aqueles que, por alguma necessidade, desejam pr em prtica alguns dos conceitos de lgebra Moderna. Esta redao est dividida em oito sees, so elas: (1) Relaes; (2) Operaes Internas; (3) Grupos e Subgrupos; (4) Homomorfismo de Grupos; (5) Classes laterais; (6) Anis e Corpos; (7) Homomorfismo de Anis; (8) Resoluo das Questes. Cada seo, exceto (8), est dividida em duas subsees: (1) Resumo da teoria; (2) Questes propostas. Esperamos que este pequeno livro seja um instrumento til a quem a ele recorrer.
1. Relaes
1.1. Resumo da teoria I Produto cartesiano: Sejam e dois conjuntos no vazios. Chamamos produto cartesiano de por , denotamos por , o conjunto formado por todos os pares ordenados , tais que e . II Relao: Sejam e dois conjuntos no vazios. Chamamos relao binria de em ou apenas relao de em a todo sunconjunto de . III- Domnio e imagem de uma relao: Seja uma relao de em . Chamamos domnio de , denotamos por ao subconjunto de constitudo pelos elementos tais que . Chamamos imagem de , denotamos por , ao subconjunto de constitudo pelos elementos tais que . IV Inversa de uma relao: Seja uma relao de em . Chamamos de relao inversa de , denota-se por , seguinte relao definida de em :
Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S
6 Relao sobre um conjunto: Seja uma relao definida de em . Nesse caso, dizemos que a relao uma relao sobre ou que uma relao em . Propriedades: Seja uma relao sobre um conjunto A. Dizemos que uma relao: reflexiva quando todo elemento de se relaciona consigo mesmo; simtrica se implicar ; transitiva se e , implicar ; antissimtrica se e implicar . VI Relao de equivalncia: Seja uma relao sobre o conjunto . Dizemos que uma relao de equivalncia em se for reflexiva, simtrica e transitiva simultaneamente. VII Classe de equivalncia: Seja uma relao sobre um conjunto e . Chamamos classe de equivalncia determinada por , mdulo , ao subconjunto de definido por: ou VIII Conjunto quociente: Seja uma relao de equivalncia sobre o conjunto . O conjunto formado por todas as classes de equivalncia geradas pelos elementos de denominado conjunto quociente e denotado por .
7 IX Relao de ordem parcial: Uma relao sobre um conjunto dita uma relao de ordem parcial, ou simplesmente relao de ordem sobre se, e somente se, satisfaz as propriedades reflexiva, antissimtrica e transitiva. X Relao de ordem total: Se uma relao de ordem sobre um conjunto , tal que todos os elementos de so comparveis por meio de , dizemos que uma relao de ordem total sobre . XI Diagrama simplificado de uma relao de ordem: Para fazermos o diagrama simplificado de uma relao de ordem, usamos as seguintes regras: Se , ento representamos por Se , e , ento representamos por ; Como uma relao de ordem, temos que reflexiva. Dessa forma, fica subentendida a existncia de um lao em torno do par , ou seja, desnecessria a representao .
8 1.2. Questes propostas 1. Dados os conjuntos , . Determine: a) b) c) d) e) f) (Soluo 2) 2. Represente a) b) c) d) (Soluo 4) e e e

e e
nos seguintes casos:
3. Sejam os conjuntos e . Enumere os elementos das relaes abaixo definidas, determinando seu domnio, imagem e a relao inversa: a) b) c) d) (Soluo 6)
9 4. Sabendo que um conjunto com 5 elementos e uma relao sobre .
Pedimos: a) Os elementos de . b) O domnio e a imagem de . c) Os elementos, o domnio e a imagem de (Soluo 8) 5. Sejam e a relao 10= . Determine o domnio e a imagem de (Soluo 10)
e 1.
6. Seja uma relao sobre um conjunto . Mostre que: a) b) c) (Soluo 12) 7. D exemplo de uma relao sobre o conjunto que: a) Seja apenas reflexiva. b) Seja apenas simtrica. c) Seja apenas simtrica e antissimtrica. d) No seja apenas simtrica e antissimtrica. (Soluo 14) 8. Sejam e relaes sobre o mesmo conjunto . Prove que: a) se e so simtricas, ento e so simtricas;
10 b) se e so transitivas, ento tambm transitiva; c) d) e) se uma relao transitiva, ento tambm uma relao transitiva. f) qualquer que seja , temos simtrica. (Soluo 16) 9. Seja . Classifique as relaes abaixo em reflexiva, simtrica, transitiva e antissimtrica. a) b) c) d) e) (Soluo 18) 10. Quais das relaes abaixo so relaes de equivalncia sobre o conjunto dos inteiros positivos? a) b) c) d) , tal que (Soluo 20) 11. Dado o conjunto . Seja a relao definida sobre por . Prove que uma relao de equivalncia. (Soluo 22)
11 12. Dado equivalncia. (Soluo 24) 13. Seja relaes um conjunto no vazio, e as e definidas por e , em que um subconjunto do conjunto fixo de . Verifique se as relaes e so de equivalncia. (Soluo 26) 14. Seja o conjunto das retas de um plano . A relao definida por uma relao de equivalncia? Justifique. (Soluo 28) 15. Seja uma relao sobre o conjunto dos nmeros reais dada por . Verifique se uma relao de equivalncia. (Soluo 30) 16. Seja uma relao sobre o conjunto dos nmeros inteiros dada por e tm a mesma paridade. Verifique se uma relao de equivalncia. (Soluo 32) 17. Verifique se a relao reais definida por relao de equivalncia. (Soluo 34) no conjunto dos nmeros uma , verifique se a relao definida por uma relao de
12 18. Sejam por quociente (Soluo 36) e a relao definida . Determine o conjunto .
19. Sejam e a relao definida por . Verifique se uma relao de equivalncia, em caso positivo, determine o conjunto quociente . (Soluo 38) 20. Mostre que a relao definida por uma relao de equivalncia sobre descreva as classes geradas por e (Soluo 40) 21. Mostre que a relao definida por 2+ = + uma relao de equivalncia sobre e descreva as classes geradas por e . (Soluo 42) 22. Mostre que a relao definida por em uma relao de equivalncia. (Soluo 44) 23. Dado o conjunto e sejam os nmeros complexos e de , verifique se a relao e uma relao de ordem parcial. (Soluo 46)
13 24. Sejam os conjuntos e e a relao em . Verifique se a relao uma relao de ordem. (Soluo 48) 25. Seja o conjunto dos nmeros complexos e sejam nmeros complexos e dois elementos de . Considere a relao sobre definida por e . a) Verifique se uma relao de ordem parcial em . b) Verifique se uma relao de ordem total em . (Soluo 50) 26. Seja uma relao de ordem em relao em definida por uma relao de equivalncia em (Soluo 52) . Mostre que a e .
27. Faa o diagrama simplificado das seguintes relaes de ordem no conjunto . Sendo utilizada a: a) Ordem habitual. b) Ordem por divisibilidade. (Soluo 54) 28. Faa o diagrama simplificado da relao de ordem por incluso em . (Soluo 56) 29. Faa o diagrama simplificado da relao de ordem por divisibilidade em . (Soluo 58)
14 30. Faa o diagrama simplificado da relao de ordem por incluso em . (Soluo 60) 31. Seja a relao em definida por a) Verifique se e urna relao de ordem parcial em . b) Verifique se R e uma relao de ordem total em . (Soluo 62)
32. Prove que, se sobre , ento, sobre . (Soluo 64)
uma relao de ordem parcial uma relao de ordem parcial
15
2. Operaes internas
2.1. Resumo da teoria I Lei de composio interna: Chamamos lei de composio interna ou operao interna em a toda aplicao . II Tbua de uma operao: Uma operao num conjunto finito pode ser definida por meio de uma tabela de dupla entrada que indique o composto correspondente a cada par ordenado de elementos de , a essa tabela damos o nome de tbua de operaes de em . Propriedades: Seja uma lei de composio interna em . A operao chamada de: Idempotente se, e somente se, para todo elemento temos ; Associativa quando, para quaisquer elementos , temos ; Comutativa quando, para quaisquer elementos , temos ; Possui elemento neutro se, e somente se, existir , tal que, para todo :
Possui elemento simtrico se, e somente se, existir , tal que, para todo :
16 Possui elemento regular se, e somente se, existir , tal que, para quaisquer :
III Parte fechada em relao a uma operao: Sejam um conjunto no vazio, munido de uma operao , e um subconjunto no vazio de . Dizemos que uma parte fechada em relao operao em , quando , em que . 2.2. Questes propostas 33. A aplicao (Soluo 66) 34. Seja o conjunto das matrizes quadradas de elementos reais. A operao definida em por uma lei de composio interna? (Soluo 68) 35. Seja a operao interna Os elementos de so todos regulares? (Soluo 70) 36. Construa a tbua da operao . (Soluo 72) em . , definida por
, uma lei de composio interna?
em
17 37. Construa a tbua da operao , com Q. (Soluo 74) em
38. Em cada um dos casos abaixo, considere a operao definida sobre o conjunto e verifique em quais deles valem as propriedades: associativa, comutativa, elemento neutro, elemento simetrizvel e elemento regular. a) e . . . . .
b) e c) e d) e e) e (Soluo 76)
39. Que condio deve ser imposta aos inteiros modo que a operao , em a) Associativa. b) Comutativa. c) Admita elemento neutro. (Soluo 78)
e de , seja:
40. Construa a tbua da operao . (Soluo 80)
sobre o conjunto
18 41. Em cada caso, verifique se a operao associativa, comutativa, tem elemento neutro e se todos os elementos so simetrizveis. a) e . b) e . c) e . d) e . e) e . (Soluo 82) 42. Em cada caso, verifique se a operao associativa, comutativa, tem elemento neutro e se todos os elementos so simetrizveis. a) e . b) e c) d) (Soluo 84) 43. Sendo . e e . .
a operao sobre definida por , determine o seu elemento neutro e o conjunto dos seus elementos simetrizveis. (Soluo 86) 44. Demonstre que se uma operao sobre um conjunto possui elemento neutro, ento, ele nico. (Soluo 88)
19 45. Demonstre que se uma operao sobre um conjunto associativa e tem elemento neutro, ento, se o elemento simtrico de x existir, ele nico. (Soluo 90) 46. Demonstre que se uma operao sobre um conjunto associativa e tem elemento neutro, ento, o elemento simtrico de x simetrizvel e . (Soluo 92) 47. Demonstre que se uma operao sobre um conjunto associativa e tem elemento neutro e e so elementos simetrizveis em relao operao , ento, . (Soluo 94) 48. Verifique se o conjunto um subconjunto fechado para a multiplicao usual de matrizes em . (Soluo 96) 49. Mostre que um conjunto fechado para a multiplicao usual de complexos. (Soluo 98) 50. Mostre que um conjunto fechado em relao operao adio usual. (Soluo 100)
20 51. Verifique se um conjunto fechado em relao ao produto usual de . (Soluo 102) 52. Verifique se fechado em relao ao produto usual de (Soluo 104) um conjunto .
53. Verifique se um conjunto fechado em relao ao produto usual de nmeros reais. (Soluo 106)
21
3. Grupos e subgrupos
3.1. Resumo da teoria I Grupoide: Seja um conjunto no vazio munido de uma operao . Chamamos de grupoide ao par ordenado . II Semigrupo: Seja um grupide. Se for associativa, ento o par ordenado chamado de semigrupo. III Monoide: Seja um semigrupo. Se admitir elemento neutro, ento, o par ordenado chamado de monoide. IV Grupo: Seja um monoide. Se todos os elementos de forem simetrizveis em relao operao , ento, o par ordenado um grupo. V Grupo abeliano: Seja um grupo. Se for comutativa, ento, o par ordenado um grupo abeliano.
22 VI Subgrupos: Sejam um grupo e uma parte no vazia do conjunto . Dizemos que o par um subgrupo do grupo quando forem satisfeitas as seguintes condies: Para todo , tem-se O par tambm um grupo. Com sendo um grupo e um subconjunto de , essas duas condies podem ser sintetizadas na seguinte afirmao: Para todo , tem-se ; em que o elemento simtrico de . 3.2 Questes propostas 54. Seja , verifique se , em que operao adio usual de inteiros, um grupo. (Soluo 108) 55. Seja , verifique se grupo, em que o produto usual de inteiros. (Soluo 110) a
um
56. Mostre que o par e que definida por , um grupo abeliano. (Soluo 112) 57. Mostre que o par definida por um grupo abeliano .(Soluo 114)
23 58. Seja definida por , munido da
operao
. Verifique se
um grupo abeliano. (Soluo 116) 59. Sejam por um grupo. (Soluo 118) 60. Seja operao um grupo e a operao definida em . Mostre que o par tambm
munido definida
da por
( + )). Mostre que ( ,) um grupo abeliano.
(Soluo 120) 61. Seja a operao abeliano. (Soluo 122) 62. Seja um grupo tal que, para um dado , . Mostre que o elemento neutro. (Soluo 124) 63. Seja um grupo tal que , para todo . Mostre que grupo abeliano. (Soluo 126) em definida por ) um grupo
. Verifique se (
24 64. Resolva as equaes abaixo no grupo a) b) c) d) (Soluo 128) 65. Verifique se (Soluo 130) 66. Verifique se . (Soluo 132) 67. Seja um subgrupo de .
um subgrupo de
um grupo com . Verifique se um subgrupo de (Soluo 134) 68. Verifique se de . (Soluo 136)
ou .
subgrupo
69. Verifique se subgrupo de . (Soluo 138) 70. Seja um grupo multiplicativo e seja um elemento fixo de . Verifique se um subgrupo de . (Soluo 140)
25 71. Verifique se subgrupo de . (Soluo 142) 72. Verifique se subgrupo de . (Soluo 144) um
um
73. O par um grupo com a adio de n-uplas. Verifique quais dos conjuntos abaixo so subgrupos de . a) b) c) (Soluo 146) 74. Verifique se de . (Soluo 148) um subgrupo
75. Demonstre que a interseo de dois subgrupos um subgrupo. (Soluo 150)
26
4. Homomorfismo de grupos
4.1. Resumo da teoria I Homomorfismo de grupos: Sejam os grupos e . Uma aplicao um homomorfismo de grupos de em quando, para quaisquer , obedece a condio:
II Ncleo de um homomorfismo de grupos: Sejam um homomorfismo de grupos e o elemento neutro do grupo . Chamamos ncleo ou Kernel do homomorfismo ao conjunto:
III Homomorfismos especiais: Seja um homomorfismo de grupos. Dizemos que um: Monomorfismo quando a aplicao for injetora; Epimorfismo quando a aplicao for sobrejetora; Isomorfismo quando a aplicao for bijetora; Endomorfismo quando a aplicao for um homomorfismo de em si prprio; Automorfismo quando o endomorfismo for um isomorfismo.
27 4.2. Questes propostas 76. Verifique se as aplicaes abaixo so homomorfismo de grupos, em caso afirmativo, classifique-a. a) , definida por b) , definida por c) , definida por d) , definida por e) , definida por f) , definida por g) , definida por h) i) j) k) (Soluo 152) , definida por , definida por , definida por , definida por
77. Verifique se um isomorfismo. (Soluo 154) 78. Mostre que o par abeliano e que (Soluo 156)
, definida por
um grupo um isomorfismo.
79. Dado o grupo e seja um elemento fixo do grupo , prove que a aplicao , definida por um isomorfismo. (Soluo 158)
28 80. Construa a tbua de um grupo seja isomorfo ao grupo multiplicativo (Soluo 160) 81. Construa a tbua do grupo que seja isomorfo ao grupo (Soluo 162) 82. Sabendo que multiplicativo isomorfo ao grupo a) Construa a tabela de b) Calcule , e c) Obtenha , tal que (Soluo 164) 83. Mostre que so subgrupos de respectivamente e so isomorfos. (Soluo 166) um grupo : que .
de modo . Resolva a equao
e e ,
84. Prove que um grupo um grupo abeliano se, e somente se, , definida por for um homomorfismo. (Soluo 168) 85. Verifique se o grupo . (Soluo 170) isomorfo ao grupo
29 86. Verifique se o grupo . (Soluo 169) 87. Verifique se o grupo . (Soluo 167) 88. Verifique se o grupo , com (Soluo 165) isomorfo ao grupo
isomorfo ao grupo
isomorfo ao grupo .
89. Seja um grupo abeliano multiplicativo e inteiro positivo. Mostre que homomorfismo de . (Soluo 163) 90. Seja Mostre que (Soluo 161) 91. Seja Mostre que (Soluo 159)
um um
um homomorfismo de grupos. .
um homomorfismo de grupos. .
92. Seja um homomorfismo de grupos. Mostre que para todo inteiro temos que . (Soluo 157)
30
5. Classes laterais
5.1. Resumo da teoria I Classe lateral direita: Sejam um grupo, um subgrupo de e um elemento arbitrrio de . A classe lateral direita de em e gerada por , que denotamos por , o subconjunto de definido por:
II Classe lateral esquerda: Sejam um grupo, um subgrupo de e um elemento arbitrrio de . A classe lateral esquerda de em e gerada por , que denotamos por , o subconjunto de definido por: Propriedades: Se um subgrupo do grupo abeliano , ento, as classes laterais esquerda e direita de em , geradas pelo elemento de coincidem; Se um subgrupo do , ento, todo elemento de pertence sua classe lateral; Sejam um subgrupo do grupo e . As classes laterais direita e (ou as classes laterais esquerda e ) de em , geradas por e , respectivamente, coincidem se, e somente se, (ou ); Sejam um subgrupo do grupo e , ento, as classes laterais direita (ou
31 esquerda) de em , determinadas por e so disjuntas ou coincidentes; Sejam um grupo, um subgrupo de e , com . Ento, existe uma correspondncia biunvoca entre e (ou e ); (Teorema de Lagrange) A ordem de qualquer subgrupo de um grupo finito divide a ordem do grupo . 4.2. Questes propostas 93. Determine todas as classes laterais do subgrupo no grupo aditivo . (Soluo 155) 94. Determine todas as classes laterais do subgrupo no grupo aditivo . (Soluo 153) 95. Todas as possveis operaes do grupo esto representadas na tbua abaixo. Determine todas as classes laterais geradas pelo subgrupo em . (Soluo 151) 96. Seja um subgrupo do grupo abeliano . Mostre que as classes laterais esquerda e direita de em , geradas pelo elemento de coincidem. (Soluo 149)
32 97. Sejam um grupo, um subgrupo de e , com . Prove que existe uma correspondncia biunvoca entre e (ou e ). (Soluo 147) 98. Sejam um subgrupo do grupo e . Prove que as classes laterais direita (ou esquerda) de em , determinadas por e so disjuntas ou coincidentes. (Soluo 145) 99. Sejam um subgrupo do grupo e . Mostre que as classes laterais direita e (ou as classes laterais esquerda e ) de em , geradas por e , respectivamente, coincidem se, e somente se, (ou ). (Soluo 143) 100. Seja um subgrupo do . Mostre que todo elemento de pertence sua classe lateral. (Soluo 141) 101. Seja um subgrupo do grupo . Mostre que o conjunto de todas as classes laterais esquerda (ou direita) de em uma partio do conjunto . (Soluo 139) 102. Seja um subgrupo do grupo e sejam . Prove que se, e somente se, . (Soluo 137)
33 103. Seja um subgrupo do grupo . Prove que que . (Soluo 135) e sejam implica
104. Seja um subgrupo do grupo e sejam . Prove que implica que . (Soluo 133) 105. Seja um subgrupo do grupo . Prove que e implica que . (Soluo 131) 106. Determine todas as classes laterais de aditivo . (Soluo 129) e sejam
no grupo
34
6. Anis e corpos
6.1. Resumo da teoria I Anel: Seja um conjunto no vazio e munido de duas operaes internas e . Dizemos que a terna ordenada um anel quando forem satisfeitas as seguintes condies: O par um grupo abeliano; O par um semi-grupo; ; . II Anel comutativo: Seja um anel. Dizemos que a terna ordenada um anel comutativo se a operao for comutativa. III Anel com unidade: Dizemos que a terna ordenada anel com unidade, que denotamos por operao admitir elemento neutro.
um , quando a
IV Anel comutativo com unidade: Dizemos que a terna ordenada um anel comutativo com unidade quando a operao for comutativa e admitir elemento neutro. V Anel com diviso: Dizemos que a terna ordenada um anel com diviso quando for um anel com unidade e todo elemento no nulo de for inversvel em relao operao .
35 VI Divisores do zero: Se e so elementos no nulos do anel que ou , ento, e divisores do zero em .
tais so
VII Anel de integridade: Dizemos que a terna ordenada um anel de integridade quando for um anel comutativo com unidade e no possuir divisores do zero. VIII Caracterstica de um anel: Seja um anel e . Dizemos que a caracterstica do anel se for o menor nmero que satisfaz a condio: Quando no existe que satisfaa tal condio, dizemos que o anel tem caracterstica zero. IX Subanis: Sejam um anel e um subconjunto no vazio de . Dizemos que um subanel quando: fechado para as operaes e ; (ii) tambm um anel. Com sendo um anel e um subconjunto de , essas duas condies podem ser sintetizadas na seguinte:
X Corpo: Chamamos de corpo a todo anel comutativo com unidade e com diviso. XI Corpo ordenado: Chamamos de corpo ordenado um corpo , no qual se destacou um subconjunto ,
36 chamado o conjunto dos elementos positivos de , tal que as seguintes condies so satisfeitas: Os pares e so grupoides; Para qualquer , ocorre exatamente uma das trs alternativas: ou ou ; em que chamado de conjunto dos negativos. XII Subcorpo: Sejam um corpo e um subconjunto no vazio de . Dizemos que um subcorpo quando: fechado para as operaes e ; (ii) tambm um corpo. Com sendo um corpo e um subconjunto de , essas duas condies podem ser sintetizadas na seguinte:
6.2. Questes propostas 107. Demonstre que se ento , . (Soluo 127) um anel qualquer,
108. Mostre que com as operaes abaixo definidas um anel comutativo com unidade: e . (Soluo 125) 109. Verifique se a terna ordenada com as operaes abaixo definidas um anel comutativo com unidade. e (Soluo 123)
37 110. Seja um anel. Em esto definidas as seguintes operaes: e . Verifique se um anel com essas condies. (Soluo 121) 111. Seja um conjunto no vazio. Mostre que com as operaes abaixo definidas um anel comutativo com unidade: e . (Soluo 119) 112. O conjunto com as operaes usuais de adio e multiplicao de matrizes um anel de integridade? (Soluo 117) 113. Verifique se a terna ordenada com as operaes abaixo definidas um anel comutativo com unidade: e . a) Por que no um anel de integridade? b) Existem divisores de zero? (Soluo 115) 114. Seja um anel em que , para todo Mostre que A um anel comutativo. (Soluo 113) 115. Demonstre que um anel somente se, (Soluo 111) .
comutativo se, e . .
38 116. Demonstre que com as operaes e , , um anel comutativo com unidade. (Soluo 109) 117. Determine as razes das equaes abaixo em cada anel indicado. a) em . b) em . c) em . d) em . e) em . (Soluo 107) 118. Resolva o sistema abaixo em :
(Soluo 105) 119. Resolva o sistema abaixo em :
(Soluo 103) 120. Resolva o sistema abaixo em .
(Soluo 101) 121. Comente a seguinte afirmao: Toda equao do 2 grau possui no mximo 2 razes! (Soluo 99) 122. Comente a seguinte afirmao: Toda equao de grau possui no mximo (Soluo 97)
razes!
39 123. Sejam , e elementos de um anel de integridade e caracterstica . Demonstre que: a) b) c) d) e) (Soluo 95) 124. Verifique se (Soluo 93) um subanel de .
125. Verifique se , sendo , um sub anel de(,+,). (Soluo 91) 126. Sejam e (Soluo 89) 127. Demonstre que a interseco de dois subanis um anel. (Soluo 87) 128. A terna um anel mas no um corpo? Justifique. (Soluo 85) 129. A terna corpo? Justifique. (Soluo 83) 130. Mostre que a terna operaes (Soluo 81)
um subanel de um anel comutativo tal que . Verifique se um subanel de .
um
, com as e um corpo.
40 131. Demonstre que: se , com , (Soluo 79) 132 Demonstre que: se com um corpo qualquer, , ento, um corpo qualquer, e , ento,
(Soluo 77) 133. Demonstre que: se , com um corpo qualquer, ento,
(Soluo 75) 134. Demonstre que: se com (Soluo 73) 135. Demonstre que: se , com , ento, (Soluo 71) 136. Demonstre que: se , ento, um corpo qualquer, um corpo qualquer, , ento,
, um corpo qualquer,
(Soluo 69)
41 137. Demonstre que: se , com , ento, um corpo qualquer,
(Soluo 67) 138. Num corpo ordenado , prove que e somente se, e . (Soluo 65) se,
139. Mostre que a interseo de dois subanis tambm um subanel. (Soluo 63) 140. Verifique se (Soluo 61) 141. Seja um subanel de (Soluo 59) um subanel de . . Verifique se
142. Sejam um subanel de um anel comutativo e tal que Verifique se ,+,) um sub anel de ,+,. (Soluo 57) 143. Mostre que em um corpo ordenado . (Soluo 55) 144. Mostre que num corpo qualquer: (Soluo 53)
42 145. Mostre que num corpo ordenado se (Soluo 51) 146. Demonstre que a interseo de dois subcorpos de um mesmo corpo tambm um subcorpo. (Soluo 49) 147. Seja o conjunto dos nmeros da forma tais que e . Verifique se corpo. (Soluo 47) 148. Demonstre que corpo. (Soluo 45) , sendo , um
um primo, um
43
7. Homomorfismo de Anis
7.1. Resumo da teoria I Homomorfismo de anis: Sejam e Chamamos de homomorfismo a toda aplicao que:
dois de
anis. em , tal
II Ncleo de um homomorfismo: Sejam um homomorfismo de grupos e o elemento neutro do grupo . Chamamos ncleo ou Kernel do homomorfismo ao conjunto:
III Homomorfismos especiais: Seja um homomorfismo de grupos. Dizemos que um: Monomorfismo quando a aplicao for injetora; Epimorfismo quando a aplicao for sobrejetora; Isomorfismo quando a aplicao for bijetora; Endomorfismo quando a aplicao for um homomorfismo de em si prprio; Automorfismo quando o endomorfismo for um isomorfismo.
44 7.2. Questes propostas 149. Seja anis. Prove que (Soluo 43) 150. Seja anis. Prove que (Soluo 41) 151. Seja grupos. Prove que (Soluo 39) 152. Seja grupos. Prove que (Soluo 37) 153. Seja grupos. Prove que (Soluo 35) um homomorfismo de .
um homomorfismo de .
um homomorfismo de .
um homomorfismo de um subanel de
um homomorfismo de um subanel de
154. Sejam e homomorfismos de anis. Mostre que um homomorfismo de anis. (Soluo 33) 155. Verifique se (Soluo 31)
, definida por um homomorfismo de anis.
45 156. Sejam e isomorfismos de anis. Mostre que isomorfismo de anis. (Soluo 29) 157. Sejam os anis e , com homomorfismo de anis. (Soluo 27) 158. Mostre que injetor com (Soluo 25) 159. Sejam os anis e e
um
, sendo . Verifique se um
forma um monomorfismo .
, com a e funo
. Verifique se um isomorfismo. (Soluo 23)
160. Mostre que se um homomorfismo de anis e um subanel de , ento, um subanel de . (Soluo 21)
161. Sejam e dois anis. Mostre que a funo definida por um homomorfismo do anel no anel , sendo com o produto direto. (Soluo 19)
46 162. Mostre que epimorfismo de anis, em que definida por: um
(Soluo 17) 163. Mostre que automorfismo de (Soluo 15) 164. Sejam um com diviso e . Mostre que a funo um automorfismo de , em que definida por: (Soluo 13) 165. Sejam os anis e . Considerando o produto direto em , verifique se um homomorfismo. (Soluo 11) 166. Seja o anel . Considerando o produto direto em , mostre que um endomorfismo e determine o ncleo desse endomorfismo. (Soluo 9) 167. Seja definida por . Mostre que um homomorfismo de anis e encontre o ncleo desse homomorfismo. (Soluo 7) 168. Seja definida por Considerando o
funo , em que
um definida por:
47 produto direto de , encontre os valores de e para que seja um homomorfismo. (Soluo 5) 169. Seja o anel definidas: + a b A A B A A A , ,
com as operaes assim b b a b a b e em
a b
Mostre que a funo , tal que um isomorfismo de . (Soluo 3)
170. Seja ( um anel, munido das operaes de adio e multiplicao assim definidas:
Mostre que a aplicao um epimorfismo de anis. (Soluo 1)
, tal que
48
8. Solues
Soluo 1 Sejam e Calculando: , temos, ento, e .
e mais
Vemos que um homomorfismo de anis. Seja . Tomando , teremos . Logo, sobrejetora. Portanto, um epimorfismo de anis. Soluo 2 Item a) Primeiro, devemos encontrar o conjunto . Como e , temos . Agora, temos e . Efetuando o produto teremos: . Item b) Primeiro, devemos encontrar o conjunto . Como e , temos . Agora, temos e . Efetuando o produto teremos: .
49 Item c) Primeiro, devemos encontrar o conjunto . Como e , temos . Agora, temos e . Efetuando o produto teremos: . Item d) Primeiro, devemos encontrar os conjuntos e . Como , e , temos e . Agora, devemos determinar a unio dos conjuntos e . Teremos, ento: . Item e) Como (visto no item d) ento, . e . Devemos, determinar a interseo dos conjuntos Teremos, assim: . Item f) Primeiro, devemos encontrar o conjunto . Como e , temos . Agora, temos e . Efetuando o produto teremos: .
50 Soluo 3 Sejam . Para e temos trs possveis casos, so eles: . Ento, , e . Logo, . . Ento, , e . Logo, . e . Ento, , e . Logo, . Vemos que nos trs possveis casos . Podemos anuir, ento, que um homomorfismo de anis. Pela prpria forma como a funo definida, vemos que se , ento . Podemos anuir, assim, que injetora. Seja . Temos, ento, dois possveis valores para : . Adotando , teremos . . Adotando , teremos . Vemos, assim, que para todo , existe um tal que . Logo, sobrejetora. Portanto, um isomorfismo de em . Soluo 4 Item a) O produto grfico:
pode ser representado pelo
51
O produto grfico:
Item b) O produto grfico: pode ser representado pelo
O produto grfico:
52
Item c) O produto grfico: pode ser representado pelo
O produto grfico:
Item d) O produto grfico: pode ser representado pelo
53
O produto grfico:
Soluo 5 Sejam . Calculando:
, ento,
Vemos que para quaisquer valores de temos . Calculando:
, ,
54
Para que que:
deve ocorrer
Logo, , , e . Os valores que satisfazem, simultaneamente, essas igualdades podem ser expressos pelo conjunto:
Portanto, homomorfismo quando a dupla ordenada possuir os seguintes valores , , , , ou . Soluo 6 Item a) Substituindo os elementos de teremos: ; ; ; ; . Portanto, temos que , , Sendo assim, temos
um , ,
na relao,
, .
55 O domnio da relao composto pelos elementos das primeiras componentes dos pares ordenados da relao, neste caso: . A imagem da relao composta pelos elementos das segundas componentes dos pares ordenados da relao, neste caso: . Para obter a relao inversa, podemos inverter os pares ordenados da relao, assim teremos: . Item b) Substituindo os elementos de teremos: ; ; ; ; . Portanto, temos que na relao
. O domnio da relao composto pelos elementos das primeiras componentes dos pares ordenados da relao, neste caso: . A imagem da relao composta pelos elementos das segundas componentes dos pares ordenados da relao, neste caso: . Para obter a relao inversa, podemos inverter os pares ordenados da relao, assim teremos:
56 . Item c) Substituindo os elementos de na relao, teremos: ; ; ; ; . Portanto, temos que , . Sendo assim, temos . O domnio da relao composto pelos elementos das primeiras componentes dos pares ordenados da relao, neste caso: . A imagem da relao composta pelos elementos das segundas componentes dos pares ordenados da relao, neste caso: . Para obter a relao inversa, podemos inverter os pares ordenados da relao, assim teremos: . Item d) Substituindo os elementos de na relao teremos: ; e ; e ; ; , e .
57 Portanto, temos que . O domnio da relao composto pelos elementos das primeiras componentes dos pares ordenados da relao, neste caso: . A imagem da relao composta pelos elementos das segundas componentes dos pares ordenados da relao, neste caso: . Para obter a relao inversa, podemos inverter os pares ordenados da relao, assim teremos: . Soluo 7 Sejam
. Calculando:
Seja Logo,
Vemos que um homomorfismo anis. . Como , temos que .
Soluo 8 Item a) Como uma relao sobre o conjunto , os pares ordenados pertencentes a tambm pertencem ao conjunto . Segue que os elementos que constituem os pares ordenados de pertencem ao conjunto . Assim, temos que . Mas, formado por elementos, ento, .
58 Item b) O domnio da relao composto elementos das primeiras componentes dos ordenados da relao, neste caso: A imagem da relao composta elementos das segundas componentes dos ordenados da relao, neste caso: Item c) Para obter a relao inversa, podemos inverter os pares ordenados da relao, assim teremos: . O domnio da relao composto pelos elementos das primeiras componentes dos pares ordenados da relao, neste caso: . A imagem da relao composta pelos elementos das segundas componentes dos pares ordenados da relao, neste caso: . Soluo 9 Sejam . Calculando: pelos pares . pelos pares .
, ento,
Vemos que um homomorfismo de em . Portanto, um endomorfismo de em . Como , temos que . Logo, .
59 Soluo 10 Para encontrarmos o domnio e a imagem da relao, devemos analisar isoladamente as variveis e . Devemos, ento, isolar a varivel na relao , assim, teremos . Como o conjunto de partida o conjunto dos nmeros naturais, assim como o de chegada tambm o , devemos utilizar valores que sejam associados a valores . Dessa forma, teremos: . O domnio da relao composto pelos elementos das primeiras componentes dos pares ordenados da relao, neste caso: . A imagem da relao composta pelos elementos das segundas componentes dos pares ordenados da relao, neste caso: . Para obtermos a relao inversa, podemos inverter os pares ordenados da relao, assim teremos: . Sendo assim, temos: e . Soluo 11 Sejam
. Calculando:
Portanto, homomorfismo de
em
no .
um
60 Soluo 12 Item a) Seja . Assim, temos: .
(ii) . Segue de (ii) que: (iii) Os conjuntos (i) e (iii) podem ser entendidos como todos os elementos , tal que existe pelo menos um que se relaciona com . Portanto, . Item b) Seja (ii) Segue de (ii) que: (iii) I . . Assim, temos: .
Os conjuntos (i) e (iii) podem ser entendidos como todos os elementos , tal que existe pelo menos um que se relaciona com . Portanto, . Item c) Seja . Assim, temos: . Segue que: .
, ento,
Mas,
61 Soluo 13 Sejam
. Calculando:
Vemos que um homomorfismo de anis. Supondo que , segue que . Compondo, em ambos os membros, esquerda com e direita com , teremos que . Com efeito, . Logo, injetora. Seja . Tomando , teremos que . Logo, sobrejetora. Nessas condies, temos que um isomorfismo. Como , temos que um endomorfismo. Portanto, um automorfismo de , em que definida por Soluo 14 Item a) Item b)
. .
62 Item c) Item d) . .
Soluo 15 Seja . Para e temos seis possveis casos, so eles: . Ento, , e . Logo, . . Ento, , e . Logo, . . Ento, , e . Logo, . e . Ento, , e . Logo, = + . e . Ento, , e . Logo, = + . e . Ento, , e . Logo, = + . Vemos que nos seis possveis casos . Podemos anuir, ento, que um homomorfismo de anis. Pela prpria forma como a funo definida, vemos que se , ento . Podemos anuir, assim, que injetora. Seja . Temos, ento, trs possveis valores para :
. Adotando , teremos .
63
. Adotando . Adotando , teremos , teremos . .
Vemos assim que, para todo , existe um tal que . Logo, sobrejetora. Nessas condies, vemos que um isomorfismo. Como , temos que um endomorfismo. Portanto, a funo um automorfismo de anis, em que definida por: Soluo 16 Item a) Sejam e
. Ento, temos que . Como e so simtricas, e . Logo, . Portanto, simtrica. Sejam . Ento, temos que ou . Como e so simtricas, ou . Logo, . Portanto, simtrica. Item b) Sejam e . Ento, temos que . Como e so transitivas, e . Logo, . tambm transitiva.
Portanto, Item c) e (
Seja ( . Logo, (
. Ento, ( e (
. Assim,
64 ( , ento, ( . Logo,
. Agora seja . Segue da que ( e . Temos, ento, que Portanto, Item d)
. Ento, e ( . Logo, . Assim, . .
Seja ( . Ento, ( ou ( . Logo, ( e ( . Assim, ( , ento, ( . Logo, . Agora, seja . Ento, . Segue da que ( ou ( . Logo, ou . Assim, . Temos, ento, que . Portanto, . Item e) Seja uma relao transitiva. Temos, ento: . Segue que: . Assim, temos que , e . Portanto, tambm uma relao transitiva. Item f) ( Seja ( e ( . Sendo assim, . Ento, ( , temos que ( simtrica. . Como ,(
65 Soluo 17 Sejam . Para e temos trs possveis casos, so eles: Se e so mpares, temos que e , logo . Como e so mpares, temos que par, logo . Sendo assim, temos que . Se e so pares, temos que e , logo . Como e so pares, temos que par, logo . Sendo assim, temos que . mpar e par, temos que e , logo . Como mpar e par, temos que mpar, logo . Sendo assim, temos que . Vemos que nos trs possveis casos . Podemos anuir, ento, que um homomorfismo de anis. Seja . Temos, ento, dois possveis valores para : . Tomando qualquer par, teremos . . Tomando qualquer mpar, teremos . Vemos assim que, para todo , existe um tal que . Logo, sobrejetora. Portanto, nestas condies, um epimorfismo de anis. Soluo 18 Item a) Reflexiva e simtrica. Item b) Reflexiva e antissimtrica.
66 Item c) Antissimtrica. Item d) Reflexiva, simtrica e transitiva. Item e) Simtrica, transitiva e antissimtrica. Soluo 19 Sejam e
, temos, ento, . Calculando:
Vemos, a partir de do anel
e , que no anel
um homomorfismo .
Soluo 20 Item a) Seja . Se , ento, ; segue que . Logo, no reflexiva. Portanto, no uma relao de equivalncia. Item b) Seja . Se , ento, ; mas isso absurdo, pois . Logo, no reflexiva. Portanto, no uma relao de equivalncia. Item c) que Sejam . Se , ento, ; segue , ento, . Logo, no simtrica. Portanto, no uma relao de equivalncia.
67 Item d) Sejam . Se , ; segue que . Logo, reflexiva. Se , ento, ; multiplicando a equao por , temos , ento, ; logo, simtrica. Se e , ento, e ; somando as duas equaes, temos , que equivale a ; ento, , logo transitiva. Portanto, uma relao de equivalncia. Soluo 21 Sejam Calculando:
, logo
Como um subanel, , segue, ento, que . Portanto, se um homomorfismo de anis e um subanel de , ento um subanel de . Soluo 22 Sejam , ento, , e . Se , ; logo, reflexiva. Se , ento, , que equivale a , ento, ; logo, simtrica. Se e , ento, e ; segue que , ento, x ; logo, transitiva. Portanto, uma relao de equivalncia. Soluo 23 Sejam
e
. Calculando:
68
Supondo que , segue que . Pela igualdade de pares ordenados, temos que . Ento, injetora. Seja . Tomando , temos . Logo, sobrejetora. Portanto, um isomorfismo de anis. Soluo 24 Sejam e . Se reflexiva. Se , ento, , ento, ; logo, , ento, , ento, e
, , ; logo, ; que equivale a simtrica. Se e ; segue que e , ento, uma relao de
, ento
, que equivale a
; logo, transitiva. Portanto, equivalncia.
Soluo 25 Sejam , ento temos . Tomando por base a funo definida por , vemos que:
Vemos, a partir de homomorfismo. Supondo que
e ,
, que segue
um que
69
. Pela igualdade de matrizes, temos que . Ento, injetora. Portanto, um monomorfismo injetor de anis. Soluo 26 Sejam . Se , ento, ; logo, reflexiva. Se , ento, ; que equivale a , ento, ; logo, simtrica. Se e , ento, e ; segue que , ento, ; logo transitiva. Portanto, uma relao de equivalncia. Se , ento, ; logo, reflexiva. Se , ento, , que equivale a , ento, ; logo, simtrica. Se e , ento, e ; segue que , ento, ; logo, transitiva. Portanto, uma relao de equivalncia. Soluo 27 Sejam
. Calculando:
Vemos, a partir de e , que um homomorfismo. Supondo que , segue que . Logo, . Ento, injetora. Seja , tomando e calculando
70 , vemos que . Ento, sobrejetora. Logo, bijetora. Portanto, um homomorfismo.
Soluo 28 Seja . Se , ento, ; mas isso absurdo, pois uma reta no pode ser perpendicular a ela mesma; ento . Dessa forma, vemos que no reflexiva, ento, no uma relao de equivalncia. Soluo 29 Como visto na questo 154, um homomorfismo de anis. Supondo que , segue que, por ser injetora, . Mas, tambm injetora, ento, . Logo, injetora. Seja . Para todo , existe tal que , pois sobrejetora. Como tambm sobrejetora, existe tal que . Dessa forma, temos que . Logo, sobrejetora. Portanto, sendo e isomorfismos de anis, tambm um isomorfismo de anis. Soluo 30 Sejam . Se , ento, ; de fato , assim, reflexiva. Se ento, ; multiplicando a equao por teremos , ento, ; logo, simtrica. Se e , ento, e ; somando as duas equaes, teremos
71 , que equivale a , ento ; logo, transitiva. Portanto, uma relao de equivalncia. Soluo 31 Sejam ; ento, temos . Calculando:
Portanto, a partir de e um homomorfismo de anis.
, verificamos que
Soluo 32 Sejam . Se , ento, e tm a mesma paridade; de fato, assim, reflexiva. Se ento, e tm a mesma paridade; segue que e tm a mesma paridade, ento, ; logo, simtrica. Se e , ento, e tm a mesma paridade e e tm a mesma paridade; segue que e tm a mesma paridade, ento, ; logo, transitiva. Portanto, uma relao de equivalncia. Soluo 33 Calculando um homomorfismo: Mas,
, temos que, como
tambm um homomorfismo, ento: , temos que, como
Calculando um homomorfismo: Mas,
tambm um homomorfismo, ento:

72
que
Portanto, podemos anuir, a partir de um homomorfismo de anis.
Soluo 34 Sejam ; de fato ento, teremos simtrica. Se
. Se , ento, , assim, reflexiva. Se ; multiplicando a equao por , ento, ; logo, e , ento, e ; somando as duas equaes, teremos , que equivale a , ento, ; logo, transitiva. Portanto, uma relao de equivalncia.
Soluo 35 Sejam e
, temos, ento, que . Calculando:
Vemos que Portanto, Soluo 36 Como
. um subanel de
, temos . Assim, temos: , , , . Portanto, .
73 Soluo 37 Sejam . Como visto no exerccio 151, , pois um homomorfismo. Como um anel, temos que . Dessa forma, . Temos ainda que , pois um homomorfismo. Pelo fato de ser um anel, segue que . Sendo assim, temos que . Portanto, como , um subanel de Soluo 38 Sejam . Se , ento, ; de fato, assim, reflexiva. Se ento, , que equivale a , ento, ; logo, simtrica. Se e , ento, e ; segue que , ento, ; logo, transitiva. Portanto, uma relao de equivalncia. Como , temos . Assim, temos: , , , e . Portanto, temos o conjunto quociente . Soluo 39 Sejam . . Como
. Por ser um anel, temos que Dessa forma, um homomorfismo, segue que . Como visto no
74 exerccio 150, . Portanto, . . Decorre da que
Soluo 40 Sejam . Se , ento, ; de fato, assim, reflexiva. Se ento, ; multiplicando a equao por teremos , ento, ; logo, simtrica. Se e , ento, e ; somando as duas equaes, teremos , que equivale a , ento, ; logo, transitiva. Portanto, uma relao de equivalncia. Como definida por , temos: e .
Soluo 41 Seja . Pelo fato de ser um anel, temos que . Como = 0 =0 , segue que 0 = + ( ), que equivale a . Portanto, .
Soluo 42 Sejam , ento, e . Se , ento, fato, assim, reflexiva. Se ; segue que
, ; de ento, , ento, ;
75 logo, simtrica. Se e , ento, e ; segue que , ento, ; logo, transitiva. Portanto, uma relao de equivalncia. Como definida por , temos: . Soluo 43 Podemos escrever . Como um homomorfismo, temos: . Subtraindo de ambos os membros, temos . Portanto, . Soluo 44 Sejam , ento, , e . Se , ento, ; de fato, assim, reflexiva. Se ento, ; segue que , ento, ; logo, simtrica. Se e , ento, e ; segue que e , ento, ; logo, transitiva. Portanto, uma relao de equivalncia. Soluo 45 Sejam Temos, ento, que
e , e . Calculando:
Vemos, a partir de
, que
associativa
76 em e, a partir de , que Supondo que exista comutativa em , tal que: .
Vemos que possui elemento neutro em Supondo que exista , tal que: Vemos que todo elemento de em . Portanto, o par Calculando:
simetrizvel
um grupo abeliano.
Vemos, a partir de e , que associativa em , a partir de , que comutativa em e, a partir de , em que valem as leis distributivas do produto na soma. Supondo que exista , tal que: Vemos que possui elemento neutro em Supondo que exista , tal que: .
Com , pois Ainda mais, temos que diofantina
, equivale a . Segue da que . Sendo assim, e so os resultados da equao , visto que o , pois primo. Facilmente, vemos que todo elemento de , diferente do zero de , simetrizvel em . Seja o produto , segue da que ou , pois primo.
77 Portanto, nestas condies, vemos que a terna ordenada . Soluo 46 Sejam , ento, , e . Se , ento, e ; de fato, assim, reflexiva. Se e , ento, e y ,e , e ; segue que e , ento, ; logo, antissimtrica. Se e , ento, e ,e , u e ; segue que e , ento, ; logo, transitiva. Portanto, uma relao de ordem. Soluo 47 Sejam
, ento, temos:
Calculando:
78
Vemos, a partir de e , que . Portanto, um subcorpo do corpo dos nmeros complexos. Sendo assim, um corpo. Soluo 48 Sejam . Se , ento, ; de fato, assim reflexiva. Se e , ento, e ; segue que , ento, antissimtrica. Se e , ento, e ; segue que , ento, ; logo transitiva. Portanto, uma relao de ordem. Soluo 49 Sejam e Se Como e ,( 1) e Portanto, .
e .
subcorpos de
, ento, e . so subcorpos, temos que ,( 1) . Decorre da que . tambm um subcorpo do corpo
79 Soluo 50 Item a) Como visto no exerccio, uma relao de ordem. Logo, uma relao de ordem parcial em . Item b) Sejam , temos, ento, e . Agora, adotemos , , e , tais que e . Segue da que, neste caso, no se relaciona com . Portanto, no uma relao de ordem total em . Soluo 51 Como visto no exerccio 143, se Ento, ou . Sendo , e as partes positiva, negativa e nula do corpo , temos que ou (pois e so denominadores), decorre da que, pelas propriedades de corpo ordenado, . Portanto, num corpo ordenado :
Soluo 52 Sejam , ento, , e . Se , ento e ; de fato, pois reflexiva; logo, reflexiva. Se e , ento, e , e, e ; como antissimtrica, e , ento, ; logo,
80 antissimtrica. Se e , ento, e e ; como transitiva, segue que , ento, ; logo, transitiva. Portanto, uma relao de ordem. Soluo 53 Sejam 131, temos que: , e, e
, como visto no exerccio
Ao afirmar que: Segue que:
Que equivale a:
Se
, temos que:
Mas, se , como um corpo, podemos multiplicar ambos os membros da equao por . Assim teremos:
Ou ainda, .
, que equivale a . Temos, assim, que qualquer:
Portanto, num corpo
81 Soluo 54 Item a) A relao de ordem habitual : Assim, temos:
Item b) A relao de ordem habitual : Assim, temos: .
Soluo 55
Sejam e , e as partes positiva, negativa e nula, respectivamente, do corpo . Para temos: Se , ento . Se , ento . Se , ento . Dessa forma, para todo , temos que . Logo, pela propriedade de corpos ordenados, a somatria .
82 Soluo 56 Podemos escrever . ordem por incluso : diagrama: A relao de . Assim, temos o
Soluo 57 Seja temos e
; sendo assim, . Calculando:
2, 1 2 , uma vez que ( ,+,) um subanel.

Portanto, . Soluo 58 Temos que, em , o diagrama:
Vemos que
, pois
um sub anel de
. Assim, temos
83 Soluo 59 Seja e
; sendo assim, temos . Calculando:
Vemos que um subanel de Soluo 60 Podemos escrever
. Portanto, .
por incluso : diagrama:
. A relao de ordem . Assim, temos o
Soluo 61 Sejam e . Calculando:
; sendo assim, temos
Vemos,
assim,
que
84 Portanto, um subanel de .
Soluo 62 Item a) Sejam . Supondo que , segue que . De fato, reflexiva. Supondo que e , segue que e . Isto ocorre se, e somente se, . Logo, antissimtrica. Supondo que e , segue que e . Temos assim que, e . Substituindo em , teremos . Logo, . Dessa forma, transitiva. Portanto, uma relao de ordem parcial. Item b) Sejam . Adotando , segue que no divide . Portanto, R no uma relao de ordem total em . Soluo 63 Sejam anel e Como e Pelo fato de subanis, segue que Se
, ento,
subanis de um . , temos que . e serem e

e .
. Portanto, subanel.
tambm um
85 Soluo 64 Sejam uma relao de ordem parcial sobre e . Como uma relao de ordem parcial sobre o conjunto , segue que: reflexiva, logo . Ento, . Assim, reflexiva. antissimtrica, logo, . Ento, . Assim, antissimtrica. transitiva, logo, . Ento, . Assim, transitiva. Portanto, se uma relao de ordem parcial sobre , ento, uma relao de ordem parcial sobre . Soluo 65 Sejam e e as partes positiva e negativa do corpo . Para temos: Se , ento . Se , ento . Se , ento . Analogamente temos para . Dessa forma, se , ento e , pois e no podem ser simtricos entre si. Agora, se e , ento . Portanto, num corpo ordenado , se, e somente se, e . Soluo 66 Sejam Calculando
, ento, temos teremos:

86
Portanto, composio interna. Soluo 67 Como
. Ento,
uma lei de
um corpo, temos:
Podemos escrever:
Multiplicando ambos os membros por teremos:
Logo,
Portanto,
Soluo 68 Sejam e teremos:
, ento, temos: . Calculando
Portanto, composio interna.
. Logo,
uma lei de
87 Soluo 69 Podemos escrever:
Como veremos no exerccio 137:
Ento teremos que:
Portanto,
Soluo 70 Sejam . Supondo que , segue que ; subtraindo de ambos os membros, teremos , que equivale a . Portanto, temos que todo elemento de regular. Soluo 71 Podemos escrever: Isto ocorre pelo fato de ser um corpo.
Soluo 72 A operao em pode ser representada pela seguinte tbua: 1 3 5 15 1 1 1 1 1

88 3 5 15 1 1 1 3 1 3 1 5 5 3 5 15
Soluo 73 Podemos escrever: Portanto,
Soluo 74 A operao em pode ser representada pela seguinte tbua: M N P Q M M M M M M N N N N M N P P P M N P Q Q Soluo 75 Como veremos no exerccio 135, Ento, temos que:
Como visto no exerccio 132, temos:
Como
um corpo, temos:
89
Soluo 76 Item a) Sejam
. Calculando:
Vemos, a partir de (i) e (ii), que no associativa em e, a partir de (iii), que comutativa em . Supondo que exista , tal que:
Vemos que no possui elemento neutro em . Item b) Sejam . Calculando:
90
em
Vemos, a partir de (i) e (ii), que associativa e, a partir de (iii), que comutativa em . Supondo que exista , tal que: Vemos que possui elemento neutro em . Supondo que exista , tal que:
Vemos que nem todos os elementos de simetrizveis em . Supondo que exista , tal que:
so
Vemos que, no necessariamente, Portanto, os elementos de no so regulares em . Item c) Sejam . Calculando:
91 Vemos, a partir de (i) e (ii), que associativa em e, a partir de (iii), que comutativa em . Supondo que exista , tal que: no no
Vemos que em .
possui elemento neutro esquerda , tal que:
Supondo que exista
Vemos que so regulares em . Item d) Sejam e
. Portanto, os elementos de
, ento, temos . Calculando:
em
Vemos, a partir de (i) e (ii), que associativa e, a partir de (iii), que comutativa em . Supondo que exista , tal que:
Vemos que possui elemento neutro em .

92 Supondo que exista , tal que:
Vemos que nem todos os elementos de simetrizveis em . Supondo que exista , tal que:
so
Vemos que so regulares em . Item e) Sejam e
. Portanto, os elementos de
em
Vemos que no possui elemento neutro em . Supondo que exista , tal que: Vemos que, no necessariamente, Portanto, os elementos de no so regulares em . .
93 Soluo 77 Podemos escrever: Como Como distributividade. Assim temos: Portanto, um , temos: anel, vale a
Soluo 78 Item a) Sejam
. Calculando:
Para que seja associativa em , devemos ter: e ; ento e . Item b) Sejam . Calculando: . . Para que seja comutativa em , devemos ter: . Item c) Sejam tal que:
. Supondo que exista
94
Para que devemos ter: , Soluo 79 Se
admita elemento neutro em e .
Ento . Multiplicando por membros, teremos: Como um corpo, vem: Seja . Multiplicando por ambos os membros, vem: Como . Logo, Portanto, se se, e somente se, ,
ambos os
um corpo, segue que
um corpo, ento, .
Soluo 80 Adotando como a multiplicao usual em , a operao pode ser representada pela seguinte tbua: 1 2 3 4 1 1 2 3 4 2 2 4 1 3
95 3 4 3 4 1 3 4 2 2 1
Soluo 81 Sendo um anel, temos que o par um grupo abeliano, como visto no exerccio 110. Sejam , temos, ento, , e . Calculando:
Vemos, a partir de e , que associativa, a partir de (3), que comutativa e, a partir de , que distributiva em relao . Sendo assim, temos que a terna ordenada um anel comutativo. Supondo que exista , tal que:
logo
Vemos que possui elemento neutro em , um anel com unidade. Supondo que exista , tal que:
96
Vemos que todos os elementos, diferentes do zero do anel so inversveis em relao . Portanto, a terna um corpo. Soluo 82 Item a) Vide questo 38 item e). Item b) Sejam e , ento, temos . Calculando: ,
em
Vemos que possui elemento neutro em . Supondo que exista , tal que:
Vemos que nem todos os elementos de simetrizveis em .
so
97 Item c) Sejam e , ento, temos . Calculando: ,
em
Vemos que no possui elemento neutro em . Item d) Vide exerccio 38 item d). Item e) Sejam e , ento, temos . Calculando: ,
98 Vemos, a partir de (i) e (ii), que associativa e, a partir de (iii), que comutativa em . Supondo que exista , tal que:
em
Vemos que no possui elemento neutro em . Supondo que exista , tal que:
Vemos que todos os elementos de simetrizveis em . Soluo 83 Sejam e
so
, ento, . Calculando:
em
Vemos a partir de e , que + associativa e, a partir de , que + comutativa. Supondo que existe , tal que: . Portanto, o par (C,+) um grupo abeliano. Calculando:
99
Vemos que associativa, a partir de e que comutativa, a partir de . Supondo que exista , tal que: . Vemos que possui elemento neutro em . Supondo que exista , tal que:
Vemos que nem todos os elementos de inversveis em . Portanto, no um corpo. Soluo 84 Item a) Sejam e . Calculando:
so
, ento, temos
100
em
Vemos que todos os elementos de simetrizveis em . Item b) Sejam . Calculando:
so
em
101 Vemos que todos os elementos de simetrizveis em . Item c) Sejam e , ento, temos . Calculando: , so
em
Vemos, a partir de (i) e (ii), que associativa e, a partir de (iii), que no comutativa em . Supondo que exista , tal que:
Vemos que todos os elementos de simetrizveis em .

so
102 Item d) Sejam . Calculando:
em
Vemos que todos os elementos de simetrizveis em . Soluo 85 Os elementos de
so
no so inversveis em .
Soluo 86 Sejam , ento, temos . Calculando: Vemos que comutativa em . Supondo que exista , tal que:
Vemos que possui elemento neutro em .

Vemos que todos os elementos de simetrizveis em . Soluo 87 Sejam e . Se Como e , e Logo, Portanto,
, so
subanis de
, ento e . so subanis, temos que , . . um subanel de .
Soluo 88 Suponhamos que e sejam elementos neutros de em . Se elemento neutro, ento, . Mas tambm elemento neutro, logo, . Como , temos que . Portanto, existe apenas um elemento neutro. Soluo 89 Sejam Calculando:
, ento,
Vemos que , , a partir de e , respectivamente. Isso ocorre pelo fato de ser subanel, logo , .
104 Portanto, . um subanel de
Soluo 90 Suponhamos que e sejam elementos simtricos de em e o elemento neutro de . Como associativa, temos que: . Sendo o elemento neutro, segue que: . Como o elemento neutro, temos . Portanto, se uma operao sobre um conjunto associativa e tem elemento neutro, ento, se o elemento simtrico de x existir ele nico. Soluo 91 Sejam Calculando:
, ento,
Vemos que , respectivamente. Portanto,
, a partir de um subanel de .
Soluo 92 Sejam o elemento simtrico de e o elemento neutro de . Supondo que seja simetrizvel, adotaremos como seu elemento simtrico. Como associativa, temos:
105 . Sendo o elemento neutro, segue que . Que equivale a . Portanto, se uma operao sobre um conjunto associativa e tem elemento neutro, ento, o elemento simtrico de x simetrizvel e . Soluo 93 Sejam temos ainda
, ento . Calculando:
Vemos que , a partir de e , respectivamente. Portanto, um subanel de . Soluo 94 Sejam os elementos simtricos de e o elemento neutro de . Supondo que seja simetrizvel, temos . Compondo esquerda por em ambos os membros teremos: ; como associativa, segue que ; mas, o simtrico de , ento, temos . Compondo esquerda com em ambos os membros teremos: ; que equivale a , pois e so simtricos. Portanto, se uma operao sobre um conjunto associativa e tem elemento neutro e e so elementos simetrizveis em relao operao , ento, .
106 Soluo 95 Item a) Como o anel comutativo, temos que: . Mas o anel de caracterstica 2, ento: . Item b) Podemos escrever: Como visto anteriormente, . Logo, . Portanto, Item c) Podemos calcular usando o Binmio de Newton, uma vez que o anel comutativo. Assim temos: . Como o anel tem caracterstica , e , temos . Item d) Podemos escrever: . Como visto no item a), . Ento, temos Portanto, Item e) Podemos escrever: . Segue que: . Portanto, temos: . . , ento,
. .
107 Soluo 96 Sejam e Calculando:
ento,
temos .
Como temos que Portanto, de matrizes em
. fechado para a multiplicao usual .
Soluo 97 vlida no anel dos complexos, podemos mudar o anel para que a afirmao acima se torne falsa. Soluo 98 Sejam e
Vemos que . Portanto, para a multiplicao usual de complexos.
fechado
Soluo 99 Esta afirmao torna-se falsa apenas mudando o anel em questo. Isso pode ser observado na questo 116, em que as equaes so do segundo grau, e a do item e), por exemplo, possui quatro razes.
108 Soluo 100 Sejam . Calculando:
, ento temos
Vemos que , ento, um conjunto fechado em relao operao adio usual. Soluo 101 Multiplicando por a segunda equao, teremos: . Que equivale equao: . Podemos reescrever o sistema com essa equao e teremos:
Somando as duas equaes, teremos: que equivale equao: Substituindo Adicionando na primeira equao, teremos: em ambos os membros, teremos:
Que equivale equao: Por substituio, vemos que Portanto, o conjunto soluo Soluo 102 Sejam . Calculando: . .
, ento, temos
109 Vemos que , ento, um conjunto fechado em relao operao produto usual em . Soluo 103 Multiplicando a segunda equao por 4, teremos: Que equivale a: . Por substituio, vemos que: , , , . Substituindo os valores de na primeira equao, teremos: (1) Para , vem . Que equivale a: . Logo, no existe , tal que . (2) Para , vem . Que equivale a: . Logo, , , , , e . (3) Para , vem . Que equivale a: . Logo, no existe , tal que . (4) Para , vem . Que equivale a: . Logo, , , , e . Dessa forma, temos como possveis solues os pares: , , , , , , , , , , , . Mas por verificao, vemos que os pares , , , , , , , e no so vlidos. Portanto, o conjunto soluo .
110 Soluo 104 Sejam . Calculando: , ento, temos e
Vemos que , ento, um conjunto fechado em relao operao produto usual em . Soluo 105 Somando as duas equaes, teremos a equao: Que equivale equao: Substituindo o valor de na primeira equao, teremos: que equivale equao: Adicionando em ambos os membros, teremos:
Que equivale equao: Por substituio, vemos que Portanto, o conjunto soluo Soluo 106 Sejam , ento, temos . Calculando: . .
111 Vemos que , ento, um conjunto fechado em relao operao produto usual de nmeros reais. Soluo 107 Item a) Primeiro devemos construir a tbua de
Tbua de
Consultando a tbua de , vemos que , , e . Portanto, o conjunto soluo , , Item b) Primeiramente, devemos fatorar a equao. Adicionando 4 em ambos os membros, teremos: ; que equivale equao: Pela distributividade, temos: Consultando a tbua do item a), vemos que: e . Portanto, o conjunto soluo .
112 Item c) Adicionando 2 em ambos os membros, teremos: Que equivale equao: Pela distributividade, temos: Consultando a tbua do item a), vemos que: . Portanto, o conjunto soluo . Item d) Adicionando 4 em ambos os membros, teremos: Que equivale equao: Pela distributividade, temos que: Consultando a tbua de no item a), vemos que a equao no possui soluo. Portanto, o conjunto soluo . Item e) Primeiro devemos construir a tbua de
113
Tbua de Agora, devemos fatorar a equao. Adicionando em ambos os membros, teremos: Que equivale equao: Pela distributividade temos: ; que equivale equao: Consultando a tbua de e Portanto, o conjunto soluo , vemos que: , .
Soluo 108 Sejam , ento, temos e . Calculando:
Vemos a partir de (i) e (ii), que em . Supondo que exista , tal que:
associativa
Vemos que
possui elemento neutro em .
Vemos que todos os elementos de so simetrizveis em . Portanto, o par ordenado um grupo.
Soluo 109 Sejam
. Calculando:
Vemos que associativa e comutativa em , a partir de e ,e , respectivamente. Supondo que exista , tal que. Vemos que possui elemento neutro em . Supondo que exista , tal que: . Vemos que todo elemento de em . Portanto, o par Calculando: um grupo abeliano.
simetrizvel
Vemos que associativa, comutativa e distributiva, a partir de e e (3), respectivamente. Supondo que exista , tal que:
115 Vemos que possui elemento neutro em . Portanto, a terna ordenada um anel comutativo com unidade. Soluo 110 Sejam , ento, temos e . Calculando:
Vemos a partir de (i) e (ii) que em . Supondo que exista , tal que:
associativa
Vemos que possui elemento neutro em . Supondo que exista , tal que: Vemos que todos os elementos de so simetrizveis em . Portanto, o par ordenado um grupo. Soluo 111 Sejam temos que: Como Sejam temos que: Como
um anel comutativo e
comutativo, e
. Ento: ,
, temos:
116
Que equivale a: Segue ento que: Logo, um anel comutativo. Portanto, uma anel comutativo se, e somente se, , . Soluo 112 Como visto no exerccio 42 (item d): associativa, comutativa e possui elemento neutro. Todos os elementos de so simetrizveis em . Portanto, o par ordenado um grupo abeliano. Soluo 113 Sendo Que equivale a: Segue, ento, que: Logo, Agora, com . , temos que:
, temos que:
Que equivale a: Segue, ento, que:
117 Logo: Mas Portanto, Soluo 114 Sejam e , ento: um anel comutativo.
em
Vemos que todos os elementos de so simetrizveis em . Portanto, o par ordenado um grupo abeliano. Soluo 115 Sejam ,
, ento, . Calculando:
118
Vemos que associativa e comutativa em , a partir de e , respectivamente. Supondo que exista , tal que:
Vemos que possui elemento neutro em . Supondo que exista , tal que: . Vemos que todo elemento de em . Portanto, o par Calculando: um grupo abeliano.
simetrizvel
Vemos que associativa, comutativa e distributiva, a partir de , e , respectivamente. Supondo que exista , tal que: . Vemos que
possui elemento neutro em .
119 Portanto, a terna ordenada comutativo com unidade. Item a) para ou Item b) Sim, sejam e . O produto divisores do zero em Soluo 116 Sejam , tal que . Portanto, . e so Porque no vale a nulidade do produto, isto , se , no necessariamente . Com . um anel
. Calculando:
em
Vemos que todos os elementos de simetrizveis em .

so
120 Portanto, o par ordenado abeliano. um grupo
Soluo 117 No, pois no possui elemento neutro na adio usual. Soluo 118 Sejam
. Calculando:
Vemos, a partir de (i) e (ii), que em . Seja exista o elemento neutro de , tal que:
associativa . Supondo que
Vemos que possui elemento neutro em . Seja o elemento simetrizvel de a em relao . Supondo que exista , tal que:
Vemos que todos os elementos de so simetrizveis em . Portanto, o par ordenado um grupo. Soluo 119 Sejam
. Calculando:
121
Vemos, a partir de associativa em e, a parir de em . Supondo que exista
e , que
, que comutativa
, tal que:
Vemos que possui elemento neutro em . Supondo que exista , tal que: Vemos que todos os elementos de so simetrizveis em . Portanto, o par um grupo abeliano. Calculando:
Vemos, a partir de associativa em , a partir de em e, a partir de e distributivas de em . Supondo que exista
e que que comutativa que valem as leis , tal que:
Vemos que o anel possui unidade. Portanto, a terna um anel comutativo com unidade.
122 Soluo 120 Sejam , , . Calculando:
temos,
ento, e
em
Vemos, a partir de (i) e (ii), que associativa e, a partir de (iii), que comutativa. Supondo que exista , tal que:
Vemos que todos os elementos de so simetrizveis em . Portanto, o par ordenado um grupo abeliano. Soluo 121 Sejam e
ento, . Calculando:
123
Vemos que associativa e comutativa, a partir de e , respectivamente, pois um anel. Supondo que exista , tal que: . Vemos que possui elemento neutro em . Supondo que exista tal que . Vemos que todo elemento de em . Portanto, o par Calculando: um grupo abeliano. simetrizvel
Vemos que associativa e distributiva, a partir de (1) e (2) e (3) respectivamente, pois um anel. Portanto, a terna tambm um anel.
124 Soluo 122 Sejam
. Calculando:
em
Vemos que todos os elementos de so simetrizveis em . Portanto, o par ordenado um grupo abeliano. Soluo 123 Sejam
, calculando:
125
Vemos, a partir e , que associativa e, a partir de que comutativa em . Supondo que exista , tal que: Vemos que possui elemento neutro em . Supondo que exista , tal que: . Vemos que todo elemento de . Portanto, o par Calculando: um grupo abeliano.
simtrico em
Vemos, a partir de e , que associativa, a partir de , que comutativa e, a partir de e , que distributiva. Supondo que exista , tal que: . Vemos que possui elemento neutro em . Portanto, a terna ordenada um anel comutativo com unidade.
126 Soluo 124 Como um grupo, temos como o elemento simtrico de em relao . Temos tambm que . Compondo com ambos os membros da equao, teremos: . Sendo o elemento neutro de , temos que . Portanto, se um grupo e, para um dado , , ento, o elemento neutro. Soluo 125 Sejam
, calculando:
Vemos, a partir de e , que associativa e, a partir de , que comutativa em . Suponhamos que exista , tal que: . Vemos que possui elemento neutro em . Suponhamos que exista , tal que: . Vemos que todo elemento de em . Portanto, o par Sejam um grupo abeliano. . Calculando:
simetrizvel
127
Vemos, a partir de e , que associativa em , vemos, a partir de , que comutativa e, a partir de e , que distributiva com . Supondo que exista , tal que: . Vemos que possui elemento neutro em . Portanto, a terna um anel comutativo com unidade. Soluo 126 Sejam . Pela condio do enunciado, temos: . Compondo com em ambos os membros, teremos: . Como associativa, temos o equivalente: ; que equivale a ; como elemento neutro, temos que: . Assim vemos que comutativa. Portanto, um grupo abeliano. Soluo 127 Seja e o elemento neutro de . Como o elemento neutro de , temos: . Mas distributiva, ento:
128 . Adicionando temos: Que equivale a: . em ambos os membros, .
Soluo 128 Item a) Sejam os elementos simtricos de . Compondo esquerda com e direita com em ambos os membros da equao, teremos: . Portanto, . Item b) Sejam os elementos simtricos de , respectivamente. Compondo direita com em ambos os membros da equao, teremos: . Portanto, . Item c) Sejam os elementos simtricos de , respectivamente. Compondo esquerda com e direita com em ambos os membros da equao, teremos: . Portanto, . Item d) de Sejam os elementos simtricos , respectivamente. Compondo esquerda
129 com membros e direita com da equao, . Portanto, . em ambos os teremos:
Soluo 129 Seja o elemento gerador da classe lateral do subgrupo . Como , temos , , ou . Assim teremos as seguintes classes laterais: Se , ento . Se , ento . Se , ento . Se , ento . Obs.: As referidas classes pertencem ao conjunto , ou seja, . Soluo 130 Sejam e
, temos, ento, . Calculando: . Vemos que . Portanto, um subgrupo de
Soluo 131 Sejam (1) Compondo direita com equao (2), teremos
e (2) . em ambos os membros da . Como
130 um subgrupo do grupo . Mas . Portanto, , temos que , segue da que .
Soluo 132 Sejam , temos, ento, e e . Calculando: . Vemos que . Portanto, um subgrupo de . Soluo 133 Seja . Ento, existem tal que ; multiplicando ambos os membros direita e esquerda por , teremos , ou ainda . Logo, . Portanto, implica que . Soluo 134 Sejam ento, Calculando: . Vemos que Portanto, . Sejam ento, Calculando: Vemos que Portanto, . no um subgrupo de , e e . um subgrupo de temos, . . . e e
, temos, .
131 Soluo 135 Seja
, segue que (como visto no exerccio 98). Como visto no exerccio 47, . Assim temos que, ; logo, . Portanto, . Soluo 136 Sejam e , temos, ento, . Calculando: e
Vemos que Portanto,
. um subgrupo de
Soluo 137
Como visto no exerccio 98, se , ento . Sendo assim, de , decorre que . Como visto no exerccio 98, se , ento . Dessa forma, vemos que se , ento, . Logo, se , ento . Agora, sendo , segue que . Decorre da que . Portanto, se, e somente se, . Soluo 138 Sejam ento, e e
, temos, . Calculando:
132
; aplicando o mdulo em ambos os membros da equao, teremos: que . . Vemos
Portanto,
um subgrupo de
Soluo 139 Seja um conjunto no vazio. Dizemos que uma partio de se, e somente se, , em que so subconjuntos de , tais que:
Agora, vamos analisar a classe lateral . Por definio, temos que ; Como visto no exerccio 98, todo par, e , de classes laterais esquerda, se distintas, so disjuntas. Como visto no exerccio 100, para todo temos . Logo, a reunio de todas as classes laterais esquerda de em gera o conjunto . Portanto, o conjunto de todas as classes laterais esquerda de em uma partio do conjunto . De maneira anloga, provamos para as classes laterais direita. Soluo 140 Sejam ; temos
ainda
, temos, ento, e
e .
133 Calculando: esquerda com equivale a Portanto, . Compondo teremos: ; que . Vemos que . um subgrupo de .
Soluo 141 Consideremos a classe lateral direita de em , determinada por . Sabemos que o elemento neutro do grupo pertence ao subgrupo . Como e , temos que . Analogamente, provamos que . Soluo 142 Sejam e
Vemos que Portanto,
. um subgrupo de
Soluo 143 Consideremos que as classes sejam coincidentes. Segue da que existem tais que ; o que implica
e ,
134 . Como um subgrupo, temos que ; dessa forma, . Agora, sejam . Como um subgrupo, temos que . Segue, ento, que a classe lateral direita determinada por em coincide com o subgrupo . Desse modo, existem tais que ; ou ainda . Logo, todo elemento igual a um elemento , e vice-versa. Analogamente, provamos que se, e somente se, . Soluo 144 Sejam , temos, ento, e e . Calculando:
Vemos que Portanto,
. no um subgrupo de
Soluo 145 Consideremos as classes laterais direita e de em , determinadas por e , respectivamente. Suponhamos que exista um elemento tal que e . Logo, existem ,
135 tais que . Que equivale a , ou ainda . O fato de que , pois subgrupo, implica que . Portanto, pela propriedade demonstrada na questo 99, . Analogamente, demonstramos que isso vale para as classes laterais esquerda. Soluo 146 Item a) Sejam e .
temos,
ento, e
Calculando: ; e . Vemos que calculando: . .
1, 2 2,,
Portanto, Item b) Sejam e .
um subgrupo de
temos,
ento, e
Calculando: ; como
1, 2 2,,
.
1 1. Vemos que
.
Portanto,
um subgrupo de
136 Item c) Sejam e ento, e . Como , temos . Vemos que . no um subgrupo de . , temos,
Portanto,
Soluo 147 Definamos a seguir a seguinte aplicao definida por . Afirmamos que bijetora. De fato: Seja , ento, . Logo, . Portanto, injetora. (ii) Dado , ento, existe tal que , pela definio da funo . Portanto, sobrejetora. Soluo 148 Sejam Calculando: Portanto, , temos, ento, . Vemos que um subgrupo de . . .
Soluo 149 Consideremos as classes laterais e . Como um grupo abeliano, temos . Ento, . Portanto, as classes laterais coincidem. Soluo 150
137 Sejam e subgrupos de e . Como , temos que e . Mas e so subgrupos de , ento, e . Assim, . Logo, um subgrupo de . Portanto, a interseo de dois subgrupos um subgrupo. Soluo 151 Consultando a tbua de operaes, podemos perceber que comutativa em . Assim, as classes laterais esquerda e direita coincidem. Portanto, as classes laterais do subgrupo em so:
Soluo 152 Item a) Sejam , , temos, ento, . Calculando:
Vemos que um homomorfismo de grupos. Como , temos um endomorfismo de grupos. Supondo que , temos que ; no necessariamente, , logo no injetora. Portanto, um endomorfismo de grupos.
138 Item b) e Sejam , , temos, ento, . Calculando: Vemos que grupos. Item c) Sejam , , temos, ento, . Calculando: e no um homomorfismo de
Vemos que um homomorfismo de grupos. Supondo que , temos que ; segue que , logo injetora. Seja . Se existe tal que , significa que . Logo, no sobrejetora. Portanto, um monomorfismo de grupos. Item d) Sejam , , temos, ento, . Calculando: e
Vemos que um homomorfismo de grupos. Supondo que , temos que ; segue que , logo injetora. Seja . Se existe tal que , ento . Logo, no sobrejetora.
139 Portanto, Item e) e Sejam , , temos ento . Calculando: um monomorfismo de grupos.
Vemos que um homomorfismo de grupos. Supondo que , temos que ; segue que , logo injetora. Seja . Tomando , teremos . Logo, sobrejetora. Portanto, um isomorfismo de grupos. Item f) Sejam , . Calculando: , temos, ento, e
Vemos que um homomorfismo de grupos. Supondo que , temos que ; segue que , logo injetora. Seja . Tomando , teremos . Logo, sobrejetora. Portanto, um automorfismo de grupos.
140 Item g) Sejam , . Calculando: , temos, ento, e
Vemos que um homomorfismo de grupos. Supondo que , temos que ; no necessariamente , logo no injetora. Portanto, um endomorfismo de grupos. Item h) Sejam , . Calculando: , temos, ento, e
Vemos que grupos. Item i)
no um homomorfismo de
Sejam , , temos, ento, . Calculando: Vemos que grupos. Item j) Sejam , . Calculando: , temos, ento,
no um homomorfismo de
141 Vemos que grupos. Supondo que no necessariamente, Nem todo correspondente em no sobrejetora. Item k) Sejam , . Calculando: , temos, ento, e , temos que , , logo no injetora. elemento de tem . Assim, no um homomorfismo de
Vemos que um homomorfismo de grupos. Supondo que , temos que ; segue que , logo, injetora. Seja . Tomando , teremos um . Logo, sobrejetora. Portanto, automorfismo de grupos.
Soluo 153 Seja o elemento gerador da classe lateral do subgrupo . Como , temos , ou . Assim, teremos as seguintes classes laterais: Se , ento, . Se , ento, .
142 Se , ento, . Obs.: As referidas classes pertencem ao conjunto , ou seja, . Soluo 154 Sejam , , temos, ento, . Calculando:
Vemos que um homomorfismo de grupos. Supondo que , temos que ; segue que , logo injetora. Seja Logo, ; tomando temos . um sobrejetora. Portanto, isomorfismo de grupos.
Soluo 155 Seja o elemento gerador da classe lateral do subgrupo . Como , temos que par ou mpar. Assim, teremos as seguintes classes laterais: Se par, ento, . Se mpar, ento, . Soluo 156 Sejam , ento, temos e . Calculando:
143
em
Vemos, a partir de e , que associativa e, a partir de , vemos que comutativa. Supondo que exista , tal que: Vemos que possui elemento neutro em . Supondo que exista , tal que:
Vemos que todos os elementos de so simetrizveis em . Portanto, o par ordenado um grupo abeliano. Sejam definida por e , . Temos, ento, e . Calculando: Vemos que um homomorfismo de grupos. Supondo que , temos que ; segue que , logo injetora. Seja ; tomando temos . Logo, sobrejetora. Portanto, um isomorfismo de grupos.
144 Soluo 157 Vemos que para
, vlida, pois:
Supondo que seja vlida para um inteiro segue que: Calculando teremos:
Isto significa que vlido para todo inteiro no negativo. Para , sendo positivo, temos que: Como visto no exerccio 91, se homomorfismo de grupos, ento, Assim temos: um .
Portanto, se um homomorfismo de grupos, ento, para todo inteiro temos que . Soluo 158 Sejam , e
Vemos que um homomorfismo de grupos. Supondo que , temos que ; segue que , logo injetora.
145 Seja ; tomando temos . Logo, sobrejetora. Portanto, um isomorfismo de grupos. Soluo 159 Como visto no exerccio 90, . Segue, ento, que . Compondo com em ambos os membros teremos . Soluo 160 Primeiro construmos a tbua do grupo 1 i -1 1 1 i -1 i i -1 -i -1 -1 -i 1 -i -i 1 i Adotando teremos a tbua de : e e e a a b b c c , a a b c e , b b c e a e c c e a b
: -i -i 1 i -1
146 Soluo 161 Sendo e os elementos neutros de e , respectivamente, temos que . Como um homomorfismo de grupos, segue que . Compondo com em ambos os membros teremos . Portanto, . Soluo 162 Primeiro construmos a tbua do grupo : 1 2 3 4 1 2 3 4 1 2 4 1 3 2 3 1 4 2 3 4 3 2 1 4 Adotando , , e teremos a tbua de : e a b c e a b c e a c e b a b e c a b c b a e c Agora, podemos resolver a equao ; compondo esquerda com e direita com em ambos os membros teremos: . Assim, temos .
147 Soluo 163 Sejam . Calculando a imagem de , teremos . Usaremos a induo para provar que . Para , temos . Logo, vale para . Supondo que seja vlido para , temos que . Efetuando o produto . Como abeliano, podemos usar a propriedade do produto de potncias de mesma base. Dessa forma, . Portanto, valido para todo inteiro e positivo. Sendo assim, temos que Portanto, um homomorfismo de .
Soluo 164 Item a) Primeiro devemos construir a tabela de : 0 1 2 3 4 5 0 1 2 3 4 5 0 1 2 3 4 5 0 1 2 3 4 5 0 1 2 3 4 5 0 1 2 3 4 5 0 1 2 3 4 5 0 1 2 3 4 5

148 Adotando , teremos a tbua de e a e a a b b c c d d f f e , : b b c d f e a c c d f e a b , d d f e a b c , 5 f e a b c d e
e a b c d f
Item b) . . . Item c) Compondo esquerda por e direita por em ambos os membros e sabendo que , teremos . Como , e , temos que . Soluo 165 Tomando por base a funo definida por ; segue que
, com . Logo, um homomorfismo de grupos. Supondo que , temos que ; ento, temos que . Assim, vemos que injetora. Seja . Tomando , temos . Assim, sobrejetora.
149 Portanto, o grupo . Soluo 166 Sejam . Temos ainda Vemos que subgrupo de . Sejam . Temos ainda isomorfo ao grupo
, ento, e . Calculando: . Portanto, , ento, e . Calculando: um
Vemos que . Portanto, um subgrupo de . Sejam , definida por 3 = + e , . Temos, ento, = 2 3 = + e . Calculando:
Vemos que um homomorfismo de grupos. Supondo que , segue que ; temos, ento, que e , logo . Portanto, injetora. Seja . Tomando , temos . Portanto, um isomorfismo de grupos.
150 Soluo 167 Tomando por base a funo , definida por ; segue que
=125 + =125 +125 =

Logo, Supondo que ; ento, temos que injetora. Seja . Assim, .
+ ( ),
com
, 5.
um homomorfismo de grupos. , temos que . Assim, vemos que Tomando ,
temos
sobrejetora. isomorfo ao grupo
Portanto, o grupo .
Soluo 168 Seja , definida por um homomorfismo de grupos. Sendo , com . Calculando: Mas
um homomorfismo de grupos, ento, = ( ) ( ). Segue que = ( ). Dessa forma, vemos que comutativa em . Portanto, um grupo abeliano. Sejam um grupo abeliano, e , definida por . Calculando: Como comutativa, temos que . Logo, um homomorfismo de grupos. Portanto, um grupo um grupo abeliano se, e
151 somente se, homomorfismo. , definida por um
Soluo 169 Tomando por base a funo , definida por ; segue que , com . Logo, um homomorfismo de grupos. Supondo que , temos que ; ento, temos que . Assim, vemos que injetora. Seja Assim . Tomando , temos . sobrejetora. Portanto, o grupo .
isomorfo ao grupo
Soluo 170 No, pois nem todos os elementos de correspondente em .
tm
152
9. Bibliografia
ALENCAR FILHO, Edgard de. Elementos de teoria dos Anis. So Paulo: Nobel. 1982. ______. Teoria dos Grupos. So Paulo: Edgard Blcher. 1985 BIRKHOFF, Garrett; MACLANE, Saunders. lgebra Moderna Bsica. 4. ed. Rio de Janeiro: Guanabara dois, 1980. DOMINGUES, Hygino H. IEZZI, Gelson. lgebra Moderna. So Paulo: Atual. 4. ed. 2003
JACOBSON, Nathan. Lectures in Abstract Algebra: volume I basic concepts. 1951.
Questes de lgebra Moderna um livro endereado a todos aqueles que, por alguma necessidade, desejam pr em prtica alguns dos conceitos de lgebra Moderna. Esperamos que este pequeno livro seja um instrumento til a quem a ele recorrer.

Livro Pedro S e Elias Macedo Neto

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Livro Pedro S e Elias Macedo Neto

Uploaded by

Copyright:

Available Formats

Reitora da Universidade do Estado do Par Marlia Brasil Xavier Pr-Reitora de Extenso Mariane Alves Cordeiro Franco Diretora do Centro

Autores Elias Paulo Macdo Neto Pedro Franco de S

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

8 1.2. Questes propostas 1. Dados os conjuntos , . Determine: a) b) c) d) e) f) (Soluo 2) 2. Represente a) b) c) d) (Soluo 4) e e e

nos seguintes casos:

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

9 4. Sabendo que um conjunto com 5 elementos e uma relao sobre .

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

32. Prove que, se sobre , ento, sobre . (Soluo 64)

uma relao de ordem parcial uma relao de ordem parcial

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

, uma lei de composio interna?

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

17 37. Construa a tbua da operao , com Q. (Soluo 74) em

40. Construa a tbua da operao . (Soluo 80)

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

23 58. Seja definida por , munido da

( + )). Mostre que ( ,) um grupo abeliano.

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

75. Demonstre que a interseo de dois subgrupos um subgrupo. (Soluo 150)

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

de modo . Resolva a equao

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

35 VI Divisores do zero: Se e so elementos no nulos do anel que ou , ento, e divisores do zero em .

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

(Soluo 105) 119. Resolva o sistema abaixo em :

(Soluo 103) 120. Resolva o sistema abaixo em .

um subanel de um anel comutativo tal que . Verifique se um subanel de .

(Soluo 77) 133. Demonstre que: se , com um corpo qualquer, ento,

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

41 137. Demonstre que: se , com , ento, um corpo qualquer,

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

, definida por um homomorfismo de anis.

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

. Verifique se um isomorfismo. (Soluo 23)

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

46 162. Mostre que epimorfismo de anis, em que definida por: um

com as operaes assim b b a b a b e em

Mostre que a funo , tal que um isomorfismo de . (Soluo 3)

Mostre que a aplicao um epimorfismo de anis. (Soluo 1)

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

pode ser representado pelo

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

pode ser representado pelo

Item b) O produto grfico: pode ser representado pelo

pode ser representado pelo

Questes de lgebra Moderna Elias Paulo Macdo Neto Pedro Franco de S

Item c) O produto grfico: pode ser representado pelo