A. Aneis euclidianos no contexto das ecuacoes diophantinas (sugestao bibliografica, D.V. Huynh, http://www.ime.unicamp.br/ ftorres/ENSINO/CURSOS/euclidian.pdf). B. Aneis booleanos e o anel das partes de um conjumto (sugestao bibliografica, El Turkey H., http://www.math.ou.edu/ mgsa/previous-seminars/02052009/talk2.pdf). C. A comutativida de um anel via a identidade an = a (sugestao bibliografica, A.R.B. de Paula et al. http://www.ime.unicamp.br/ ftorres/ENSINO/MONOGRAFIAS/IP.pdf D. Aneis de divicao e R-espacos vetoriais finito dimensionais (os n umeros reais, os n umeros complexos, os quaterniones sobre os reais, os octonios sobre os reais) (sugestao bibliografica: A. Oneto, http://www.emis.de/journals/DM/vX2/art5.pdf). Exercicios. (1) (a) Seja A um anel associativo. Provar que A e um anel de divicao se e somente se para tudo a A, a 6= 0, para tudo b A existe x A tal que ax = b. (b) Seja A um anel associativo com 1. Provar que A e um anel de divicao se e somente se para cada a A existe um u nico b A tal que aba = a. (c) Seja A um anel associativo com 1. Se a A tem mais de uma inversa pela direita, entao tem uma infinidade de tais inversas. (2) Seja A um anel associativo tal que a3 = a para todo a A. Provar que A e comutativo. (3) Seja G um grupo e R um anel associativo com 1. Seja R[G] o conjunto de funcoes f : G R tal que f (a) = 0 salvo um conjunto finito de elementos de G. Mostre que P sste conjunto e um anel com as operacoes (f + g)(a) = f (a) + g(a) e (f g)(a) = algebra de grupo de G sobre R). Mostre que se R e comutativo, b,c,bc=a f (b)g(c) (o entao R esta contido no centro de R[G]. Descrever este anel o mais exlicitamente quando R = F2 e G e o grupo de ordem 3. (4) Seja A um anel associativo e com 1. Denote por Mn (A) o anel das matrizes n n com entradas em A. Para um ideal J A, seja Jn := {[aij ] Mn (A) : aij J}. Provar que Jn e um ideal de Mn (A) e que de fato tudo ideal de Mn (A) e desta forma. Em particular, os u nicos ideais de Mn (A) sao os triviais se A e um anel de divicao. 1
(5) Seja A um anel associativo, com 1 e comutativo. Seja p(x) = a0 + a1 x + . . . + an xn
A[x]. Provar que p(x) e uma unidade em A[x] se e somente se a0 e uma unidade em R e cada ai e nilpotente em R para cada i 1.