Topologia de Zariski. Jairo Menezes e Souza. 25 de maio de Notas incompletas e não revisadas RASCUNHO

Tamanho: px
Começar a partir da página:

Download "Topologia de Zariski. Jairo Menezes e Souza. 25 de maio de Notas incompletas e não revisadas RASCUNHO"

Transcrição

1 Topologia de Zariski Jairo Menezes e Souza 25 de maio de 2013 Notas incompletas e não revisadas 1

2 Resumo Queremos abordar a Topologia de Zariski para o espectro primo de um anel. Antes vamos definir os conceitos de Anéis, Ideais e Ideais Primos. Este é um assunto de Álgebra Comutativa que é utilizado na visão moderna da Geometria Algébrica. Sumário 2

3 1 Introdução 1.1 Anéis Definição 1. Um anel ou anel comutativo com identidade (A, +, ) é um conjunto A com pelo menos dois elementos, munido de uma adição (+) e uma multiplicação ( ) que satisfazem as condições seguintes: (A) (A, +) é um grupo abeliano. (M.1) A multiplicação é associativa.. x, y, z A, (x y) z = x (y z) (AM) A adição é distributiva relativamente à multiplicação. (M.2) A multiplicação é comutativa. x, y, z A, x (y + z) = x y + x $ x, y A, x y = y x (M.3) Existe elemento neutro com respeito à multiplicação. 1 Atal que, x A, 1 x = xex 1 = x Definição 2. Um anel (D, +, ) é um domínio ou domínio de integridade se satisfaz a seguinte condição: (M.4) Se x, y D e x y = 0 então ou x = 0 ou y = 0. Um anel (K, +, ) é um corpo se ele satisfaz a seguinte condição: (M.4 ) Todo elemento não nulo tem um inverso multiplicativo. x K \ {0}, y Ktal quex y = 1 Exemplo 1. Nos três primeiros exemplos + a adição em C e a multiplicação em C. 1. (Z, +, ) é um domínio. 2. (Q, +, ), (R, +, ), (C, +, ) são corpos. 3. ( Z nz,, ) é um anel para todo n Z. Onde e são a adição e multiplicação induzida. 3

4 1.2 Ideais e anéis quociente Definição 3. Seja A um anel e a um subconjunto não vazio de A. Dizemos que a é um ideal de A se: ˆ x + y a, x, y a ˆ a x a, x a e a A Exemplo 2. Alguns exemplos de ideais 1. se K é corpo seus únicos ideais são {0} e K. 2. O conjunto 2Z = {2k : k Z} é um ideal de Z. Mais geralmente o conjunto nz, para n Z são ideais de Z. Teorema 1.1. Seja A um anel e a um ideal de A. Definimos a relação: x y x y a. Então esta é uma relação de equivalência. Ainda mais definimos no conjunto quociente as operações x ȳ = x + y e x ȳ = x y. Estas operações são bem definidas e (A/a,, ) é um anel. Exemplo 3. Seja A = Z e a = 2Z temos que A/a = Z 2Z = { 0, 1}. 1.3 Ideais Primos e Ideais Maximais Definição 4. Seja A um anel. Um ideal p de A é dito um ideal primo se p A e se para x, y A com xy p implica que ou x p ou y p. Exemplo 4. 2Z é ideal primo de Z, mas 4Z não é ideal primo de Z. Definição 5. Um ideal m de A é dito ideal maximal se m A e se para todo a ideal de A com m a A temos que a = m ou a = A. Exemplo 5. 2Z é ideal maximal de Z. Teorema 1.2. Seja A um anel e a um ideal de A. Então: i se a é ideal maximal então a é ideal primo. ii a é ideal primo se e somente se A/a é um domínio. iii a é ideal maximal se e somente se A/a é um corpo. Teorema 1.3. Todo anel A possui ao menos um ideal maximal. Corolário 1.4. Se a (1) é um ideal de A então existe um ideal maximal de A conténdo a. 4

5 Corolário 1.5. Todo elemento de A que não é uma unidade está contido em um ideal maximal. Proposição 1.6. Seja A um anel, então o conjunto dos ideais primos de A tem um elemento minimal com respeito a inclusão. 1.4 Homomorfismos de Anéis Definição 6. Sejam A e B anéis uma função f : A B é um homomorfismo de anéis, se para todos x, y A valem: 1. f(x + y) = f(x) + f(y). 2. f(xy) = f(x)f(y). 3. f(1) = 1. Exemplo 6. Para A um anel e a um ideal de A então temos o homomorfismo (chamado homomorfismo canônico) ϕ : A A /a dado por ϕ(x) = x. Teorema 1.7. Sejam A e B anéis, b B um ideal e f : A B um homomorfismo. temos que: 1. f 1 (b) A é um ideal. 2. Se b é primo então f 1 (b) também é primo. Definição 7. Seja f : A B um homomorfismo de anéis. Definimos o núcleo de f por: ker(f) = {x A : f(x) = 0}. Como ker(f) = f 1 (0) temos que ker(f) é um ideal de A. Teorema 1.8 (Teorema dos homomorfismos). Seja f : A B um homomorfismo de anéis. Então a função f : A /ker(f) B x f(x) está bem definida e é um homomorfismo injetor. Portanto A /ker(f) = Img(f) Teorema 1.9 (Correspondência de Ideais). Seja A um anel e a ideal de A. Então o homomorfismo canônico ϕ : A A /a induz uma correspondência biunívuca entre os conjuntos {ideais b A tais que b a} {ideais de A /a} b ϕ(b) 5

6 1.5 Nilradical e Jacobson Radical Dado um anel A dizemos que um elemento x A é nilpotente se existe n Z, n > o tal que x n = 0. Um anel que tenha um elemento nilpotente diferente de 0 não é domínio. Chamamos de uma unidade de A um elemento u A que divide 1, isto é, existe v A com uv = 1. O elemento v é unicamente determinado por u, e chamamos v = u 1. Chamamos A ao conjunto das unidades de A, temos que (A, ) é um rupo. Definição 8. Seja A um anel, o conjunto R = {x A : chamado de nilratical de A. x é nilpotente} é Teorema Seja A um anel o conjunto nilradical R é um ideal de A e A /R não tem nenhum elemento nilpotente não nulo. Teorema O nilradical de um anel A é a interseção de todos os ideais primos de A. Definição 9. O Jacobson radical J do anel A é a interseção de todos os ideais maximais de A. Teorema x J 1 xy é uma unidade em A y A 1.6 Operações com Ideais Definição 10. Sejam a, b ideais de um anel A. Definimos a soma a + b = {x + y : x a e y b}. Mais geralmente podemos definir a soma λ L a λ, onde L é um conjunto de índices, como o conjunto dos elementos λ L x λ onde x λ a λ e no máximo um número finito de x λ é diferente de zero. Temos que a soma de dois ideais é um ideal. Este é o menor ideal contendo a e b. Do mesmo modo a soma infinita de ideais é um ideal. A interseção de uma família de ideais {a λ } λ L é um ideal. Definição 11. O produto de dois ideais a, b em A é o conjunto ab = { x λ y λ : com x λ a, y λ b e a soma é finita}. Recursivamente definimos o produto de uma família finita de ideais. Assim a n é o conjunto das somas finitas onde as parcelas são x 1 x 2 x n onde x i a. O produto de ideais é um ideal. Exemplo Se A = Z, a = mz,, b = nz então a + b = dz onde d = mdc(m, n). a b = lz onde l = mmc(m, n). E ab = mnz. Neste caso ab = a b m, n são coprimos. 6

7 2. Seja A = k[x, y] e a = (x, y). Então a n é o conjunto dos polinômios que não têm termos de grau menor que n. Em geral a união a b de dois ideais não é um ideal. Teorema Sejam p 1,... p n ideais primos de um anel A e a um ideal tal que a n i=1 p i. Então a p i para algum i. 2. Sejam a, b ideais e p ideal primo com (a b) p. Então p a ou p b. Se p = (a b), então p = a ou p = b. Demonstração. Para provarmos (1) vamos mostrar por indução que a p i para 1 i n a n p. Para n = 1 a implicação vale. Suponha então que vale para n 1 então existem x 1,..., x n a com x i / p j para todo 1 j n, com i j. Se existir algum i com x i / p i então temos o que queríamos. Se não então x i p i para todo i. Considere o elemento n y = x 1 x i x n i=1 temos que y / p i para 1 i n. Assim a n i=1 p i. Agora para vermos (2) suponha que a p e b q daí existe x a e y b com x, y / p. Agora xy (a b) p, o que contradiz a hipótese de p ser primo. i=1 Definição 12. Seja A um anel e a um ideal de A, o radical de a é definido por a = {x A : x n a para algum n > 0}. Proposição a a. 2. a = a. 3. ab = a b = a b. 4. a + b = a + b. 5. Se p é ideal primo, p n = p para todo n > 0. Teorema O radical do ideal a é a interseção de todos os ideais primos que contém a 7

8 Definição 13. Dois ideais a, b são coprimos se a + b = (1). Para ideais coprimos nós temos que a b = ab. Teorema Seja a, b ideais em um anel A tais que a, b são coprimos. Então a, b são coprimos. 2 O Espectro Primo de um Anel 2.1 O espectro primo de um anel Definição 14. Seja A um anel, chamamos de Spec(A) (espectro primo de A) ao conjunto de todos os ideais primos de A. Se ϕ : A B é um homomorfismo de anéis definimos Spec(ϕ) : Spec(B) Spec(A) q ϕ 1 (q) Exemplo 8. (0) Spec(A) se e somente se A é domínio. Exemplo 9. Se A é um Domínio Fatorial e x é irredutível, então (x) é um ideal primo. Exemplo 10. Se A é um Domínio de Ideais Principais, então. Deste modo Spec(A) = (0) {(x) : x é irredutível} Spec(Z) = (0) {(p) : p é primo} (1) Spec(C[X]) = (0) {(X a) : a C} (2) Exemplo 11. Se A é um DIP então todo ideal primo não nulo é maximal. Exemplo 12. Se a é um ideal de A Exemplo 13. Seja a um ideal de um anel A e ϕ : A A /a o homomorfismo canônico. Então o teorema da correspondência nos diz que Spec(ϕ) : Spec( A /a) Spec(A) é injetor com imagem dada pelos primos b que contém a. Daí temos que: Spec( Z ) = {( p) : p primo, p n} nz Spec( C[X] ) = {(X a); (X a) f(x)} (f(x)) 8

9 Teorema 2.1. Para todo anel A existe um ideal maximal m A. Como consequência para todo ideal próprio a A, temos que a m para algum m maximal. 2.2 A topologia de Zariski Espaços Topológicos Definição 15. Seja X um conjunto e T = {A λ : λ I} uma coleção de subconjuntos de X para I um conjunto de íncices quaisquer. Dizemos que o par (X, T ) é um espaço topológico, para os abertos A λ se: (i) T e x T (ii) α L A α T para qualquer L I. (Uniões quaisquer de abertos é um conjunto aberto). (iii) Se A T e B T então A B T. (Interseção finita de abertos é um conjunto aberto). Chamamos o conjunto T de uma topologia para X. Exemplo 14. Tome X = R o conjunto dos números reais, seja T = {uniões de intervalos abertos}. Então temos que (R, T ) é um espaço topológico. Esta topologia tem uma propriedade interessante, é que se dermos x, y R com x y então existem abertos A, B T com x A, y B e A B =. Uma topologia que satisfaz essa condição é chamada de separável por Hausdorff. Definição 16. Seja (X, T ) um espaço topológico. Um conjunto F X é dito fechado se existe A T com F = X \ A. Temos que um conjuto é fechado numa topologia se for o complentar de um aberto. Usando as leis de De Morgan para conjuntos podemos enuciar as propriedades para os conjuntos fechados em uma topologia. Proposição 2.2. Seja (X, T )um espaço topológico e seja F = {F X : F é fechado}. Então (i) F e x F 9

10 (ii) α L F α F para qualquer família {F α } α L em F. (Interseções quaisquer de fechado é um conjunto fechado). (iii) Se A F e B F então A B T. (União finita de fechados é um conjunto fechado). Demonstração. Basta usar as leis de De Morgan: (A B) c = A c B c (A B) c = A c B c Esta proposição implica que para definirmos uma topologia em um conjunto X podemos começar dizendo quem são os conjuntos fechados satisfazendo as condições da proposição. Assim os conjuntos abertos serão os complementares dos fechados Topologia de Zariski Teorema 2.3. Para cada subconjunto E de A, seja V (E) o conjunto de todos ideais primos de A que contem E. (i) Se a é o ideal gerado por E, então V (E) = V ((a)) = V ( a) (ii) V ({0}) = Spec(A), V ({1}) =. (iii) Se {E λ } λ L é uma família de subconjuntos de A, então ( ) V E λ = V (E λ ) λ I. (iv) V (a b) = V (ab) = V (a) V (b) para qualquer a, b de A. λ I Demonstração. Primeiro note que V reverte inclusões, isto é, paraf E A temos que V (E) V (F ). De fato, se p V (E) então p E F, logo p V (F ). Então para provarmos (1), já que E a = (E) então V (a) V (E). Recíprocamente tome p V (E), então E p como a = (E) é o menor ideal que contém E então a p, e daí p V (a). Agora para provarmos a igualdade V (a) = V ( a), temos primeiro que a a daí V ( a) V (a). 10

11 Agora tome p V (a) então a p, se t a então t n a p para algum n > 0, logo t p. Daí a p e p V ( a). Agora temos que (0) p para todo ideal p. Daí, V (0) = Spec(A). Agora se 1 p então p = A, logo p não é primo. Temos que V (1) =. Provamos (ii). p V ( λ L E ) λ λ L E λ p E λ p, para todo λ L p V (E λ ), para todo λ L p V ( λ L E λ). Provando (iii) Para provarmos (iv) observamos que ab a b segue que V (a b) V (ab). Agora temos que se p V (ab) então ab p Seja t a b, daí t 2 ab p daí t p pois p é primo. Portanto temos a igualdade V (ab) = V (a b). Agora temos que a b a e a b b portanto V (a) V (a b) e V (b) V (a b) e daí (V (a) V (b)) V (a b). Por outro lado se p V (a b) então (a b) p pelo 1.13 a p ou b p então p V (a) ou p V (b). Logo V (a b) (V (a) V (b)). Este teorema mostra que os conjuntos V (E) satisfazem as condições para conjuntos fechados em um espaço topológico. A topologia de Spec(A) dada pelos fechados V (E) é chamada de Topologia de Zariski Proposição 2.4. Dado t A seja X t = [V (t)] c, então os conjuntos X t são abertos e formam uma base para a topologia de Zariski em Spec(A) Demonstração. Vamsos mostrar que os conjuntos X t, para t A formam uma base para a topologia de Zariski em Spec(A). Dado X um aberto de Spec(A) então X = Spec(A) \ V (a) para algum a Spec(A). Então [ ( c [ ] c X = V {t})] = V (t) = t a t a t a V (t) c = t a X t Proposição 2.5. Os abertos X t gozam das seguintes propriedades: 1. X t X v = X tv 2. X t = t é nilpotente. 3. X t = Spec(A) t é uma unidade. 4. X t = X v (t) = (v). 5. Spec(A) é quasi-compacto (isto é, toda cobertura de Spec(A) por abertos tem uma subcobertura finita). 11

12 6. Mais geralmente, cada X t é quasi-compacto. 7. Um aberto de Spec(()A) é quasi-compacto se e somente se é uma união finita de conjuntos X t. Demonstração. 1. X t X v = V (t) c V (v) c = [V (t) V (v)] c = [V ((t)(v))] c = [V (tv)] c = X tv. 2. X t = V (t) c = V (t) = Spec(A) t R. Pelo teorema 1.11 (onde R é o nilradical de A). 3. X t = Spec(A) V (t) = p Spec(A), t / p t / p para p maximal (p, (t)) = (1), para todo p maximal t é uma unidade. 4. Seja {X i } i L uma coleção de abertos com i L X t i = Spec(A) Temos que Spec(A) = i L X t i = i L [V (t i)] c = [ i L V (t i) ] c [ = V ( i L {t i} )] c V ( i L {t i} ) = i L {t i} p, para p maximal (1) = ( i L {x i} ) 1 = n j=1 v jt ij para i 1,..., i n L com v j A (1) = ( n ) (t i1,..., t in ) = V (1) = V j=1 t i j = n j=1 V (t i j ) Spec(A) = [ n ] c j=1 V (t i j ) = n j=1 X t ij 5. Seja X t = i L X t i é uma cobertura aberta de X t, podemos completar esta cobertura até termos uma cobertura de Spec(A). Assim Spec(A) = ( i L X ) ( ) t i j L 0 X tj como Spec(A) é quasi-compacto ( n ) ( temos uma subcobertura finita, Spec(A) = l=1 X m ) t il l=1 X t jl o que implica que X t = Spec(A) X t = ( n ( m [( n ) X t = l=1 X t il X t ) l=1 X t jl X t = que é uma cobertura finita de X t. ( m ) l=1 X t il l=1 X t jl )] ) ( m ) ( n l=1 X t il t l=1 X t jl t Por razões psicológicas, as vezes é conveniente denotar um ideal primo de A com a letra x ou y pensando em um ponto de Spec(A). Quando pensarmos em x como um ideal primo de A, denotamos por p x. É claro que x e p x é a mesma coisa. Proposição O conjunto {x} é fechado em Spec(A) se e somente se p x é maximal. 12

13 2. {x} = V (p x ). 3. y {x} p x p y. 4. Spec(A) é um espaço T 0 ( Isto é, para x, y pontos distintos de Spec(A), então ou existe um aberto contendo x e que não contenha y, ou existe um aberto contendo y que não contenha x). Demonstração. 1. se {x} = V (a) para algum a ideal de A. Temos que a m para algum ideal maximal m. Logo p x = m. Agora se p x é maximal então V (p x ) = x. 2. {x} V (p x ) {x} V (p x ). Se {x} V (a) então para y V (p x ) temos que a p x p y Daí y V (a). Assim temos que V (p x ) é o menor fechado que contém x. 3. Consequência imediata do item anterior. 4. Sejam x y em Spec(A), então p x p y. Isto é ou p x p y ou p y p x, então y / V (p x ) = {y} ou x / V (p x ) = {x}. Daí x [{x}] c ou y [{x}] c. Definição 17. Um espaço topológico X é dito irredutível se não se decompõe como união de fechados próprios. Isto é X é irredutível se e somente se X = X 1 X 2, com X 1, X 2 fechados X 1 = ou X 2 =. Proposição 2.7. Para um espaço topológico X são equivalentes: 1. X é irredutível. 2. Quaisquer dois abertos não vazios em X se intersectam. 3. Todo aberto não vazio em X é denso. Demonstração. (1) (2) Sejam A 1 e A 2 abertos não vazios de X com A 1 A 2 = então X = [A 1 A 2 ] c = A c 1 A c 2. Assim X 1 = A c 1 X e X 2 X são fechados com X = X 1 X 2. (2) (3) Seja A aberto de X com Ā X, então A 0 = X \ Ā é aberto com A 0 A =. (3) (1) Sejam X 1 X e X 2 X, fechados com X = X 1 X 2. Tome A = X \ X 1 então Ā X 2 X. Teorema 2.8. Spec(A) é irredutível se e somente se o nilradical de A é um ideal primo. 13

14 Demonstração. Vamos mostrar que Spec(A) é redutível se e somente se o nilradical de A não é primo. Spec(A) é redutível existem dois abertos básicos X t e X v não vazios com X tv = X t X v = v é nilpotente mas t e v não são nilpotentes. R não é primo. Proposição 2.9. Seja X um espaço topológico. 1. Se Y é um subespaço irredutível de X então o fecho Y de Y em X é irredutível. 2. Todo subespaço irredutível de X está contido em um subespaço irredutível maximal. 3. Os subespaços irredutíveis maximais são fechados e cobrem X. 4. Se A é um anel e X = Spec(A), então as componentes irredutíveis de X são os conjuntos fechados V (p), onde p é um ideal primo minimal de A. Demonstração. 1. Tome Y = Y 1 Y 2 com Y 1 e Y 2 fechados em Y. Daí Y = (Y 1 Y ) (Y 2 Y ). Se (Y 1 Y ) = então Y 1 Y. Com isto Y = Y 2 Y. E então Y = (Y 2 Y ) (Y 2 Y ) = Y 2. Então Y = Y 2 e Y 1 =. 2. Seja Y um subespaço irredutível, tome o conjunto P dos subespaços irredutíveis Z Y, ordenado pela inclusão. Se temos uma cadeia em P dada por Y Z 1 Z 2 Z n, vamos mostrar que n=1 Z i. é irredutível. Tome A ( n=1 Z n) aberto, A = ( n=1 (Z n A). Assim A = ) ( n=1 (Z ) n A) n=1 (Z n A) = n=1 Z n. Logo A é denso. Daí pelo Lema de Zorn temos que todo subespaço irredutível Y está contido num subespaço irredutível maximal. 3. Se Y é um subespaço irredutível maximal temos que Y Y que é irredutível. Logo Y = Y. Temos que o subespaço x dado por um ponto é irredutível. Então X = ( x X {x}) x X Y (x) onde Y (x) é a componente irredutível maximal que contém x. 4. Vejamos que V (p x ) é irredutível para p x primo. Se V (p x ) = V (a) V (b) = V (ab) é a união de dois fechados, então x V (p x ) = V (ab), daí ab p x logo a p x ou b p x. E então V (p x V (a) ou V (p x ) V (b). Portanto ou V (p x ) = V (a) ou V (p x ) = V (b). Agora se p x p y então V (p y ) V (p x ). Assim as componentes irredutíveis são V (p) com p ideal primo minimal. 14

15 Teorema Seja ϕ : A B um homomorfismo de anéis. A aplicação ϕ : Spec(B) Spec(A) satisfaz as seguintes condições: 1. Para t A temos que Spec(ϕ) 1 (X t ) = Y ϕ(t). Daí Spec(ϕ) é contínua. Demonstração. 1. Tome qã 15

Versão Preliminar. Álgebra Comutativa. Notas de Aula. Maria Eugenia Martin. Universidade de São Paulo São Paulo, 23 de novembro de 2014

Versão Preliminar. Álgebra Comutativa. Notas de Aula. Maria Eugenia Martin. Universidade de São Paulo São Paulo, 23 de novembro de 2014 Álgebra Comutativa Notas de Aula Maria Eugenia Martin Universidade de São Paulo São Paulo, 23 de novembro de 2014 S U M Á R I O 1 anéis e ideais 2 1.1 Teorema Chinês dos Restos 12 1.2 Exercícios 14 2 variedades

Leia mais

Fabio Augusto Camargo

Fabio Augusto Camargo Universidade Federal de São Carlos Centro de Ciências Exatas e de Tecnologia Departamento de Matemática Introdução à Topologia Autor: Fabio Augusto Camargo Orientador: Prof. Dr. Márcio de Jesus Soares

Leia mais

ANÉIS. Professora: Elisandra Bär de Figueiredo

ANÉIS. Professora: Elisandra Bär de Figueiredo Professora: Elisandra Bär de Figueiredo ANÉIS DEFINIÇÃO 1 Um sistema matemático (A,, ) constituído de um conjunto não vazio A e duas leis de composição interna sobre A, uma adição: (x, y) x y e uma multiplicação

Leia mais

Definição 1. Um ideal de um anel A é um subgrupo aditivo I de A tal que ax I para todo a A, x I. Se I é um ideal de A escrevemos I A.

Definição 1. Um ideal de um anel A é um subgrupo aditivo I de A tal que ax I para todo a A, x I. Se I é um ideal de A escrevemos I A. 1. Ideais, quocientes, teorema de isomorfismo Seja A um anel comutativo unitário. Em particular A é um grupo abeliano com +; seja I um subgrupo aditivo de A. Como visto no primeiro modulo, sabemos fazer

Leia mais

Dado um inteiro positivo n, definimos U(n) como sendo o conjunto dos inteiros positivos menores que n e primos com n. Não é difícil ver que a

Dado um inteiro positivo n, definimos U(n) como sendo o conjunto dos inteiros positivos menores que n e primos com n. Não é difícil ver que a Exemplo (U(n)) Dado um inteiro positivo n, definimos U(n) como sendo o conjunto dos inteiros positivos menores que n e primos com n. Não é difícil ver que a multiplicação módulo n é uma operação binária

Leia mais

Aula 11 IDEAIS E ANÉIS QUOCIENTES META. Apresentar o conceito de ideal e definir anel quociente. OBJETIVOS

Aula 11 IDEAIS E ANÉIS QUOCIENTES META. Apresentar o conceito de ideal e definir anel quociente. OBJETIVOS Aula 11 IDEAIS E ANÉIS QUOCIENTES META Apresentar o conceito de ideal e definir anel quociente. OBJETIVOS Aplicar as propriedades de ideais na resolução de problemas. Reconhecer a estrutura algébrica de

Leia mais

O espaço das Ordens de um Corpo

O espaço das Ordens de um Corpo O espaço das Ordens de um Corpo Clotilzio Moreira dos Santos Resumo O objetivo deste trabalho é exibir corpos com infinitas ordens e exibir uma estrutura topológica ao conjunto das ordens de um corpo.

Leia mais

x B A x X B B A τ x B 3 B 1 B 2

x B A x X B B A τ x B 3 B 1 B 2 1. Definição e exemplos. Bases. Dar uma topologia num conjunto X é especificar quais dos subconjuntos de X são abertos: Definição 1.1. Um espaço topológico é um par (X, τ) em que τ é uma colecção de subconjuntos

Leia mais

Geometria Algébrica. Notas de aula por Juliana Coelho

Geometria Algébrica. Notas de aula por Juliana Coelho Introdução à Geometria Algébrica Notas de aula por Juliana Coelho 1 Sumário 1 Variedades Afins 4 1.1 Topologia de Zariski em A n............................... 4 1.2 Funções regulares e morfismos..............................

Leia mais

f(xnyn) = f(xyn) = f(xy) = f(x)f(y) = f(xn)f(yn).

f(xnyn) = f(xyn) = f(xy) = f(x)f(y) = f(xn)f(yn). Teoremas de isomorfismo. Teorema (Teorema de Isomorfismo). Seja f : A B um homomorfismo de grupos. Então A/ ker(f) = Im(f). Demonstração. Seja N := ker(f) e seja f : A/N Im(f), f(xn) := f(x). Mostramos

Leia mais

Anéis quocientes k[x]/i

Anéis quocientes k[x]/i META: Determinar as possíveis estruturas definidas sobre o conjunto das classes residuais do quociente entre o anel de polinômios e seus ideais. OBJETIVOS: Ao final da aula o aluno deverá ser capaz de:

Leia mais

OS TEOREMAS DE JORDAN-HÖLDER E KRULL-SCHMIDT (SEGUNDA VERSÃO)

OS TEOREMAS DE JORDAN-HÖLDER E KRULL-SCHMIDT (SEGUNDA VERSÃO) ! #" $ %$!&'%($$ OS TEOREMAS DE JORDAN-HÖLDER E KRULL-SCHMIDT (SEGUNDA VERSÃO) Neste texto apresentaremos dois teoremas de estrutura para módulos que são artinianos e noetherianos simultaneamente. Seja

Leia mais

1 Noções preliminares

1 Noções preliminares Álgebras, subálgebras e endomorfirsmos Ana Cristina - MAT/UFMG Durante este texto, vamos considerar F um corpo de característica zero. Iniciaremos com algumas definições da teoria de anéis que serão importantes

Leia mais

Geradores e relações

Geradores e relações Geradores e relações Recordamos a tabela de Cayley de D 4 (simetrias do quadrado): ρ 0 ρ 90 ρ 180 ρ 270 h v d 1 d 2 ρ 0 ρ 0 ρ 90 ρ 180 ρ 270 h v d 1 d 2 ρ 90 ρ 90 ρ 180 ρ 270 ρ 0 d 2 d 1 h v ρ 180 ρ 180

Leia mais

Axiomatizações equivalentes do conceito de topologia

Axiomatizações equivalentes do conceito de topologia Axiomatizações equivalentes do conceito de topologia Giselle Moraes Resende Pereira Universidade Federal de Uberlândia - Faculdade de Matemática Graduanda em Matemática - Programa de Educação Tutorial

Leia mais

Generalizações do Teorema de Wedderburn-Malcev e PI-álgebras. Silvia Gonçalves Santos

Generalizações do Teorema de Wedderburn-Malcev e PI-álgebras. Silvia Gonçalves Santos Generalizações do Teorema de Wedderburn-Malcev e PI-álgebras Silvia Gonçalves Santos Definição 1 Seja R um anel com unidade. O radical de Jacobson de R, denotado por J(R), é o ideal (à esquerda) dado pela

Leia mais

Lista 1 MAT5734/MAT SEMESTRE DE Seja R um anel com 1 0. Exercício 5. Mostre que ( 1) 2 = 1 em R.

Lista 1 MAT5734/MAT SEMESTRE DE Seja R um anel com 1 0. Exercício 5. Mostre que ( 1) 2 = 1 em R. Lista 1 MAT5734/MAT0501 2 SEMESTRE DE 2017 Seja R um anel com 1 0. Exercício 1. Mostre que ( 1) 2 = 1 em R. Exercício 2. Seja u unidade em R. Mostre que u é unidade também. Exercício 3. Mostre que a interseção

Leia mais

Variedades diferenciáveis e grupos de Lie

Variedades diferenciáveis e grupos de Lie LISTA DE EXERCÍCIOS Variedades diferenciáveis e grupos de Lie 1 VARIEDADES TOPOLÓGICAS 1. Seja M uma n-variedade topológica. Mostre que qualquer aberto N M é também uma n-variedade topológica. 2. Mostre

Leia mais

MAT Topologia Bacharelado em Matemática 2 a Prova - 27 de maio de 2004

MAT Topologia Bacharelado em Matemática 2 a Prova - 27 de maio de 2004 MAT 317 - Topologia Bacharelado em Matemática 2 a Prova - 27 de maio de 2004 1 Nome : Número USP : Assinatura : Professor : Severino Toscano do Rêgo Melo 2 3 4 5 Total Podem tentar fazer todas as questões.

Leia mais

Capítulo 1. Os Números. 1.1 Notação. 1.2 Números naturais não nulos (inteiros positivos) Última atualização em setembro de 2017 por Sadao Massago

Capítulo 1. Os Números. 1.1 Notação. 1.2 Números naturais não nulos (inteiros positivos) Última atualização em setembro de 2017 por Sadao Massago Capítulo 1 Os Números Última atualização em setembro de 2017 por Sadao Massago 1.1 Notação Números naturais: Neste texto, N = {0, 1, 2, 3,...} e N + = {1, 2, 3, }. Mas existem vários autores considerando

Leia mais

Unidade 5 - Subespaços vetoriais. A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa. 10 de agosto de 2013

Unidade 5 - Subespaços vetoriais. A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa. 10 de agosto de 2013 MA33 - Introdução à Álgebra Linear Unidade 5 - Subespaços vetoriais A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa PROFMAT - SBM 10 de agosto de 2013 Às vezes, é necessário detectar, dentro

Leia mais

CARACTERÍSTICA DE UM ANEL

CARACTERÍSTICA DE UM ANEL Professora: Elisandra Bär de Figueiredo CARACTERÍSTICA DE UM ANEL PROPOSIÇÃO 1 Seja A um anel com unidade. Se m, n Z, então (mn)1 A = (m1 A )(n1 A ). Seja A um anel. Considere o seguinte subconjunto de

Leia mais

MAT Cálculo Avançado - Notas de Aula

MAT Cálculo Avançado - Notas de Aula bola fechada de centro a e raio r: B r [a] = {p X d(p, a) r} MAT5711 - Cálculo Avançado - Notas de Aula 2 de março de 2010 1 ESPAÇOS MÉTRICOS Definição 11 Um espaço métrico é um par (X, d), onde X é um

Leia mais

Reticulados e Álgebras de Boole

Reticulados e Álgebras de Boole Capítulo 3 Reticulados e Álgebras de Boole 3.1 Reticulados Recorde-se que uma relação de ordem parcial num conjunto X é uma relação reflexiva, anti-simétrica e transitiva em X. Um conjunto parcialmente

Leia mais

OPERAÇÕES - LEIS DE COMPOSIÇÃO INTERNA

OPERAÇÕES - LEIS DE COMPOSIÇÃO INTERNA Professora: Elisandra Figueiredo OPERAÇÕES - LEIS DE COMPOSIÇÃO INTERNA DEFINIÇÃO 1 Sendo E um conjunto não vazio, toda aplicação f : E E E recebe o nome de operação sobre E (ou em E) ou lei de composição

Leia mais

O Teorema de Ramsey e o Último Teorema de Fermat em Corpos Finitos.

O Teorema de Ramsey e o Último Teorema de Fermat em Corpos Finitos. O Teorema de Ramsey e o Último Teorema de Fermat em Corpos Finitos. Leandro Cioletti Eduardo A. Silva 12 de setembro de 2011 Resumo O objetivo deste texto é apresentar a prova do Último Teorema de Fermat

Leia mais

Sobre Anéis Primos, Semiprimos e suas Relações

Sobre Anéis Primos, Semiprimos e suas Relações Sobre Anéis Primos, Semiprimos e suas Relações Mateus Medeiros Teixeira 17 de julho de 2014 Resumo Neste trabalho apresentamos os anéis primos e semiprimos, buscando suas caracterizações e relações com

Leia mais

Topologia Geral. Ofelia Alas Lúcia Junqueira Marcelo Dias Passos Artur Tomita

Topologia Geral. Ofelia Alas Lúcia Junqueira Marcelo Dias Passos Artur Tomita Topologia Geral Ofelia Alas Lúcia Junqueira Marcelo Dias Passos Artur Tomita Sumário Capítulo 1. Alguns conceitos básicos 5 Capítulo 2. Espaços topológicos 9 1. Espaços topológicos. Conjuntos abertos

Leia mais

MAT 5798 Medida e Integração Exercícios de Revisão de Espaços Métricos

MAT 5798 Medida e Integração Exercícios de Revisão de Espaços Métricos MAT 5798 Medida e Integração Exercícios de Revisão de Espaços Métricos Prof. Edson de Faria 30 de Março de 2014 Observação: O objetivo desta lista é motivar uma revisão dos conceitos e fatos básicos sobre

Leia mais

Axioma dos inteiros. Sadao Massago

Axioma dos inteiros. Sadao Massago Axioma dos inteiros Sadao Massago setembro de 2018 Sumário 1 Os Números 2 1.1 Notação......................................... 2 1.2 Números naturais não nulos (inteiros positivos)................... 2

Leia mais

Capítulo 1. Os Números. 1.1 Notação. 1.2 Números naturais (inteiros positivos)

Capítulo 1. Os Números. 1.1 Notação. 1.2 Números naturais (inteiros positivos) Capítulo 1 Os Números 1.1 Notação Números naturais: N = {1, 2, 3,...}, mas existem vários autores considerando N = {0, 1, 2, 3,...}. Por isso, é recomendado dizer números positivos, números não negativos,

Leia mais

(Ciência de Computadores) 2005/ Diga quais dos conjuntos seguintes satisfazem o Princípio de Boa Ordenação

(Ciência de Computadores) 2005/ Diga quais dos conjuntos seguintes satisfazem o Princípio de Boa Ordenação Álgebra (Ciência de Computadores) 2005/2006 Números inteiros 1. Diga quais dos conjuntos seguintes satisfazem o Princípio de Boa Ordenação (a) {inteiros positivos impares}; (b) {inteiros negativos pares};

Leia mais

No que segue, X sempre denota um espaço topológico localmente compacto

No que segue, X sempre denota um espaço topológico localmente compacto O TEOREMA DE REPRESENTAÇÃO DE RIESZ PARA MEDIDAS DANIEL V. TAUSK No que segue, sempre denota um espaço topológico localmente compacto Hausdorff. Se f : R é uma função, então supp f denota o{ suporte (relativamente

Leia mais

Lista 1. 9 Se 0 < x < y e n N então 0 < x n < y n.

Lista 1. 9 Se 0 < x < y e n N então 0 < x n < y n. UFPR - Universidade Federal do Paraná Departamento de Matemática CM095 - Análise I Prof. José Carlos Eidam Lista 1 Em toda a lista, K denota um corpo ordenado qualquer. Corpos ordenados 1. Verifique as

Leia mais

Leandro F. Aurichi de novembro de Instituto de Ciências Matemáticas e de Computação - Universidade de São Paulo, São Carlos, SP

Leandro F. Aurichi de novembro de Instituto de Ciências Matemáticas e de Computação - Universidade de São Paulo, São Carlos, SP Espaços Métricos Leandro F. Aurichi 1 30 de novembro de 2010 1 Instituto de Ciências Matemáticas e de Computação - Universidade de São Paulo, São Carlos, SP 2 Sumário 1 Conceitos básicos 5 1.1 Métricas...........................................

Leia mais

Então (τ x, ) é um conjunto dirigido e se tomarmos x U U, para cada U vizinhança de x, então (x U ) U I é uma rede em X.

Então (τ x, ) é um conjunto dirigido e se tomarmos x U U, para cada U vizinhança de x, então (x U ) U I é uma rede em X. 1. Redes Quando trabalhamos no R n, podemos testar várias propriedades de um conjunto A usando seqüências. Por exemplo: se A = A, se A é compacto, ou se a função f : R n R m é contínua. Mas, em espaços

Leia mais

1. Prove que (a+b) c = a c+b c para todo a, b, c em ZZ /mzz. (Explique cada passo).

1. Prove que (a+b) c = a c+b c para todo a, b, c em ZZ /mzz. (Explique cada passo). 1 a Lista de Exercícios de Álgebra II - MAT 231 1. Prove que (a+b) c = a c+b c para todo a, b, c em ZZ /mzz. (Explique cada passo). 2. Seja A um anel associativo. Dado a A, como você definiria a m, m IN?

Leia mais

Universidade Federal de Goiás Câmpus Catalão Aluno: Bruno Castilho Rosa Orientador: Igor Lima Seminário Semanal de Álgebra

Universidade Federal de Goiás Câmpus Catalão Aluno: Bruno Castilho Rosa Orientador: Igor Lima Seminário Semanal de Álgebra Universidade Federal de Goiás Câmpus Catalão Aluno: Bruno Castilho Rosa Orientador: Igor Lima Seminário Semanal de Álgebra Notas de aula 1. Título: Subgrupos finitos de. 2. Breve descrição da aula A aula

Leia mais

obs: i) Salvo menção em contrário, anel = anel comutativo com unidade. ii) O conjunto dos naturais inclui o zero.

obs: i) Salvo menção em contrário, anel = anel comutativo com unidade. ii) O conjunto dos naturais inclui o zero. Lista 1 - Teoria de Anéis - 2013 Professor: Marcelo M.S. Alves Data: 03/09/2013 obs: i) Salvo menção em contrário, anel = anel comutativo com unidade. ii) O conjunto dos naturais inclui o zero. 1. Os conjuntos

Leia mais

Apostila Minicurso SEMAT XXVII

Apostila Minicurso SEMAT XXVII Apostila Minicurso SEMAT XXVII Título do Minicurso: Estrutura algébrica dos germes de funções Autores: Amanda Monteiro, Daniel Silva costa Ferreira e Plínio Gabriel Sicuti Orientadora: Prof a. Dr a. Michelle

Leia mais

UMA INTRODUÇÃO À EXTENSÕES DE CORPOS FINITAS E ALGÉBRICAS

UMA INTRODUÇÃO À EXTENSÕES DE CORPOS FINITAS E ALGÉBRICAS UNIVERSIDADE ESTADUAL DA PARAÍBA CAMPUS VI - POETA PINTO DO MONTEIRO CENTRO DE CIÊNCIAS HUMANAS E EXATAS CURSO DE LICENCIATURA PLENA EM MATEMÁTICA JÚLIO FERNANDES DA SILVA UMA INTRODUÇÃO À EXTENSÕES DE

Leia mais

Apresentar o conceito de anel, suas primeiras definições, diversos exemplos e resultados. Aplicar as propriedades dos anéis na relação de problemas.

Apresentar o conceito de anel, suas primeiras definições, diversos exemplos e resultados. Aplicar as propriedades dos anéis na relação de problemas. Aula 10 O CONCEITO DE ANEL META Apresentar o conceito de anel, suas primeiras definições, diversos exemplos e resultados. OBJETIVOS Definir, exemplificar e classificar anéis. Aplicar as propriedades dos

Leia mais

MCTB Álgebra Linear Avançada I Claudia Correa Exercícios sobre corpos e espaços vetoriais sobre corpos

MCTB Álgebra Linear Avançada I Claudia Correa Exercícios sobre corpos e espaços vetoriais sobre corpos MCTB002-13 Álgebra Linear Avançada I Claudia Correa Exercícios sobre corpos e espaços vetoriais sobre corpos O Exercício 8 é o exercício bônus dessa lista Exercício 1. Seja K um conjunto formado exatamente

Leia mais

Conjuntos Abelianos Maximais

Conjuntos Abelianos Maximais Conjuntos Abelianos Maximais (Dedicado para meu filho Demetrius) por José Ivan da Silva Ramos (Doutor em Álgebra e membro efetivo do Centro de Ciências Exatas e Tecnológicas da Universidade Federal do

Leia mais

Álgebras de Lie são espaços vetoriais munidos de uma nova operaçao que em geral não é comutativa nem associativa: [x, y] = xy yx.

Álgebras de Lie são espaços vetoriais munidos de uma nova operaçao que em geral não é comutativa nem associativa: [x, y] = xy yx. 4 Álgebras de Lie Álgebras de Lie são espaços vetoriais munidos de uma nova operaçao que em geral não é comutativa nem associativa: [x, y] = xy yx. 4.1 Álgebras de Lie Simples Definição 4.1 Uma álgebra

Leia mais

Lista de exercícios 1 Grupos e Topológia

Lista de exercícios 1 Grupos e Topológia Universidade Federal do Paraná 1 semestre 2017. Programa de Pós-Graduação em Matemática Grupos de Lie Prof. Olivier Brahic Lista de exercícios 1 Grupos e Topológia Exercício 1. (Propriedades topológicas

Leia mais

Vamos começar relembrando algumas estruturas algébricas Grupos. Um grupo é um conjunto G munido de uma função

Vamos começar relembrando algumas estruturas algébricas Grupos. Um grupo é um conjunto G munido de uma função UMA INTRODUÇÃO A ÁLGEBRAS TIAGO MACEDO Resumo. Neste seminário vamos introduzir uma nova estrutura algébrica, álgebras. Começaremos recapitulando estruturas definidas em seminários anteriores. Em seguida,

Leia mais

MAT ÁLGEBRAS DE OPERADORES 2 SEMESTRE DE 2017 LISTA DE PROBLEMAS

MAT ÁLGEBRAS DE OPERADORES 2 SEMESTRE DE 2017 LISTA DE PROBLEMAS MAT 5818 - ÁLGEBRAS DE OPERADORES 2 SEMESTRE DE 2017 LISTA DE PROBLEMAS 1) Mostre que M n (C) munida da norma ((a jk )) 1 j,k n = k=1 2) Defina na álgebra C[X] dos polinômios complexos na variável X a

Leia mais

ALGEBRA I Maria L ucia Torres Villela Instituto de Matem atica Universidade Federal Fluminense Junho de 2007 Revis ao em Fevereiro de 2008

ALGEBRA I Maria L ucia Torres Villela Instituto de Matem atica Universidade Federal Fluminense Junho de 2007 Revis ao em Fevereiro de 2008 ÁLGEBRA I Maria Lúcia Torres Villela Instituto de Matemática Universidade Federal Fluminense Junho de 2007 Revisão em Fevereiro de 2008 Sumário Introdução... 3 Parte 1 - Preliminares... 5 Seção 1 - Noções

Leia mais

Exercícios de topologia geral, espaços métricos e espaços vetoriais

Exercícios de topologia geral, espaços métricos e espaços vetoriais Exercícios de topologia geral, espaços métricos e espaços vetoriais 9 de Dezembro de 2009 Resumo O material nestas notas serve como revisão e treino para o curso. Estudantes que nunca tenham estudado estes

Leia mais

Números - Aula 03. Alexandre Nolasco de Carvalho Universidade de São Paulo São Carlos SP, Brazil

Números - Aula 03. Alexandre Nolasco de Carvalho Universidade de São Paulo São Carlos SP, Brazil Números - Aula 03 Alexandre Nolasco de Carvalho Universidade de São Paulo São Carlos SP, Brazil 28 de Fevereiro de 2014 Primeiro Semestre de 2014 Turma 2013106 - Engenharia Mecânica Corpos Vimos que o

Leia mais

Álgebra Linear e Geometria Anaĺıtica. Espaços Vetoriais Reais

Álgebra Linear e Geometria Anaĺıtica. Espaços Vetoriais Reais universidade de aveiro departamento de matemática Álgebra Linear e Geometria Anaĺıtica Agrupamento IV (ECT, EET, EI) Capítulo 4 Espaços Vetoriais Reais Definição de espaço vetorial real [4 01] O conjunto

Leia mais

MA14 - Aritmética Unidade 22 Resumo. Aritmética das Classes Residuais

MA14 - Aritmética Unidade 22 Resumo. Aritmética das Classes Residuais MA14 - Aritmética Unidade 22 Resumo Aritmética das Classes Residuais Abramo Hefez PROFMAT - SBM Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo não garante o domínio

Leia mais

uma breve introdução a estruturas algébricas de módulos sobre anéis - generalizando o conceito de espaço vetorial

uma breve introdução a estruturas algébricas de módulos sobre anéis - generalizando o conceito de espaço vetorial V Bienal da SBM Sociedade Brasileira de Matemática UFPB - Universidade Federal da Paraíba 18 a 22 de outubro de 2010 uma breve introdução a estruturas algébricas de módulos sobre anéis - generalizando

Leia mais

Corpos estendidos no espaço em grupos

Corpos estendidos no espaço em grupos Corpos estendidos no espaço em grupos Carlos Shine Vamos ver como conceitos de teoria dos números (especialmente números mod p) podem ser generalizados com conceitos de Álgebra. 1 Corpos Em termos simples,

Leia mais

DANIEL V. TAUSK. se A é um subconjunto de X, denotamos por A c o complementar de

DANIEL V. TAUSK. se A é um subconjunto de X, denotamos por A c o complementar de O TEOREMA DE REPRESENTAÇÃO DE RIESZ PARA MEDIDAS DANIEL V. TAUSK Ao longo do texto, denotará sempre um espaço topológico fixado. Além do mais, as seguintes notações serão utilizadas: supp f denota o suporte

Leia mais

MCTB Álgebra Linear Avançada I Claudia Correa Exercícios sobre transformações lineares. Os Exercícios 3 e 4 são os exercícios bônus dessa lista.

MCTB Álgebra Linear Avançada I Claudia Correa Exercícios sobre transformações lineares. Os Exercícios 3 e 4 são os exercícios bônus dessa lista. MCTB002-13 Álgebra Linear Avançada I Claudia Correa Exercícios sobre transformações lineares Os Exercícios 3 e 4 são os exercícios bônus dessa lista. Definição 1. Dados conjuntos X e Y, uma função ϕ :

Leia mais

Notas Para o Curso de Medida e. Daniel V. Tausk

Notas Para o Curso de Medida e. Daniel V. Tausk Notas Para o Curso de Medida e Integração Daniel V. Tausk Sumário Capítulo 1. Medida de Lebesgue e Espaços de Medida... 1 1.1. Aritmética na Reta Estendida... 1 1.2. O Problema da Medida... 6 1.3. Volume

Leia mais

Parte 1. Conjuntos finitos, enumeráveis e

Parte 1. Conjuntos finitos, enumeráveis e Parte 1 Conjuntos finitos, enumeráveis e não-enumeráveis Georg Ferdinand Ludwig Philipp Cantor (1845-1818) Rússia. A descoberta de que há diversos tipos de infinito deve-se a Georg Cantor. Mas, para os

Leia mais

Método prático para extrair uma base de um conjunto de geradores de um subespaço de R n

Método prático para extrair uma base de um conjunto de geradores de um subespaço de R n Método prático para extrair uma base de um conjunto de geradores de um subespaço de R n 1. Descrição do método e alguns exemplos Colocamos o seguinte problema: dado um conjunto finito: A = {a 1, a 2,...,

Leia mais

Números inteiros. Sandro Marcos Guzzo

Números inteiros. Sandro Marcos Guzzo Números inteiros Sandro Marcos Guzzo Cascavel - Pr Agosto de 2013 1 Construção do conjunto dos números inteiros O conjunto dos números inteiros, designado por Z será aqui construído a partir do conjunto

Leia mais

Grupos livres e apresentações, grupos hopfianos e grupos residualmente finitos

Grupos livres e apresentações, grupos hopfianos e grupos residualmente finitos Grupos livres e apresentações, grupos hopfianos e grupos residualmente finitos Bárbara Lopes Amaral Professora Ana Cristina Vieira Tópicos Especiais em Teoria de Grupos Belo orizonte Dezembro de 2010 Grupos

Leia mais

Aula 10. variáveis; a resultante fatoração única em Z[x]

Aula 10. variáveis; a resultante fatoração única em Z[x] Aula 10 fatoração única em várias variáveis; a resultante (Anterior: Gauss. ) 10.1 fatoração única em Z[x] 1. Prop. Seja f Z[x], deg f > 0. Então existem m Z e polinômios irredutíveis p 1,..., p t Z[x]

Leia mais

Relações Binárias, Aplicações e Operações

Relações Binárias, Aplicações e Operações Relações Binárias, Aplicações e Operações MAT 131-2018 II Pouya Mehdipour 6 de dezembro de 2018 Pouya Mehdipour 6 de dezembro de 2018 1 / 24 Referências ALENCAR FILHO, E. Teoria Elementar dos Conjuntos,

Leia mais

Axiomas de corpo ordenado

Axiomas de corpo ordenado Axiomas de corpo ordenado 2 a lista de exercícios Análise real A abordagem axiomática dos números reais previne erros que a intuição pode ocasionar e torna mais rigoroso o processo de demonstração matemática,

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/31 7 - ESTRUTURAS ALGÉBRICAS 7.1) Operações Binárias

Leia mais

Números naturais e cardinalidade

Números naturais e cardinalidade Números naturais e cardinalidade Roberto Imbuzeiro M. F. de Oliveira 5 de Janeiro de 2008 Resumo 1 Axiomas de Peano e o princípio da indução Intuitivamente, o conjunto N dos números naturais corresponde

Leia mais

Topologia e Análise Linear. Maria Manuel Clementino, 2013/14

Topologia e Análise Linear. Maria Manuel Clementino, 2013/14 Maria Manuel Clementino, 2013/14 2013/14 1 ESPAÇOS MÉTRICOS Espaço Métrico Um par (X, d) diz-se um espaço métrico se X for um conjunto e d : X X R + for uma aplicação que verifica as seguintes condições,

Leia mais

Universidade Federal de Minas Gerais Instituto de Ciências Exatas Departamento de Matemática DIVISORES DE ZERO LIA FEITAL FUSARO

Universidade Federal de Minas Gerais Instituto de Ciências Exatas Departamento de Matemática DIVISORES DE ZERO LIA FEITAL FUSARO Universidade Federal de Minas Gerais Instituto de Ciências Exatas Departamento de Matemática ANÉIS DE FATORAÇÃO ÚNICA COM DIVISORES DE ZERO LIA FEITAL FUSARO Belo Horizonte 2008 LIA FEITAL FUSARO ANÉIS

Leia mais

Matemática I. 1 Propriedades dos números reais

Matemática I. 1 Propriedades dos números reais Matemática I 1 Propriedades dos números reais O conjunto R dos números reais satisfaz algumas propriedades fundamentais: dados quaisquer x, y R, estão definidos a soma x + y e produto xy e tem-se 1 x +

Leia mais

Teoria dos anéis 1 a parte 3

Teoria dos anéis 1 a parte 3 A U L A Teoria dos anéis 1 a parte 3 Meta da aula Descrever a estrutura algébrica de anel como uma generalização de determinadas propriedades dos números inteiros. objetivos Ao final desta aula, você deverá

Leia mais

Slides de apoio: Fundamentos

Slides de apoio: Fundamentos Pré-Cálculo ECT2101 Slides de apoio: Fundamentos Prof. Ronaldo Carlotto Batista 23 de fevereiro de 2017 Conjuntos Um conjunto é coleção de objetos, chamados de elememtos do conjunto. Nomeraremos conjuntos

Leia mais

Conceitos Básicos sobre Representações e Caracteres de Grupos Finitos. Ana Cristina Vieira. Departamento de Matemática - ICEx - UFMG

Conceitos Básicos sobre Representações e Caracteres de Grupos Finitos. Ana Cristina Vieira. Departamento de Matemática - ICEx - UFMG 1 Conceitos Básicos sobre Representações e Caracteres de Grupos Finitos Ana Cristina Vieira Departamento de Matemática - ICEx - UFMG - 2011 1. Representações de Grupos Finitos 1.1. Fatos iniciais Consideremos

Leia mais

Introdução à Linguagem da Topologia

Introdução à Linguagem da Topologia Introdução à Linguagem da Topologia Corpos Define-se corpo por um conjunto K, munido de duas operações básicas chamadas de adição e multiplicação. São os axiomas do corpo: Axiomas da Adição Associatividade:

Leia mais

1 Grupos (23/04) Sim(R 2 ) T T

1 Grupos (23/04) Sim(R 2 ) T T 1 Grupos (23/04) Definição 1.1. Um grupo é um conjunto G não-vazio com uma operação binária : G G G que satisfaz as seguintes condições: 1. (associatividade) g (h k) = (g h) k para todos g, h, k G; 2.

Leia mais

Classes de Ideais Primos e Radicais de Anéis

Classes de Ideais Primos e Radicais de Anéis FELIE VIEIA Classes de Ideais rimos e adicais de Anéis Trabalho de Conclusão de Curso apresentado ao Curso de Matemática - Habilitação Bacharelado Departamento de Matemática Centro de Ciências Físicas

Leia mais

UNIVERSIDADE FEDERAL DE PERNAMBUCO CENTRO DE CIÊNCIAS EXATAS E DA NATUREZA DEPARTAMENTO DE MATEMÁTICA PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA

UNIVERSIDADE FEDERAL DE PERNAMBUCO CENTRO DE CIÊNCIAS EXATAS E DA NATUREZA DEPARTAMENTO DE MATEMÁTICA PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA UNIVERSIDADE FEDERAL DE PERNAMBUCO CENTRO DE CIÊNCIAS EXATAS E DA NATUREZA DEPARTAMENTO DE MATEMÁTICA PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA Manaíra Lima da Silva O Teorema da Dimensão das Fibras e pontos

Leia mais

Lema. G(K/F ) [K : F ]. Vamos demonstrar usando o Teorema do Elemento Primitivo, a ser provado mais adiante. Assim, K = F (α).

Lema. G(K/F ) [K : F ]. Vamos demonstrar usando o Teorema do Elemento Primitivo, a ser provado mais adiante. Assim, K = F (α). Teoria de Galois Vamos nos restringir a car. zero. Seja K/F uma extensão finita de corpos. O grupo de Galois G(K/F ) é formado pelos isomorfismos ϕ : K K tais que x F, ϕ(x) = x. Lema. G(K/F ) [K : F ].

Leia mais

Cálculo Diferencial e Integral I

Cálculo Diferencial e Integral I Cálculo Diferencial e Integral I Texto de apoio às aulas. Amélia Bastos, António Bravo Dezembro 2010 Capítulo 1 Números reais As propriedades do conjunto dos números reais têm por base um conjunto restrito

Leia mais

A forma canônica de Jordan

A forma canônica de Jordan A forma canônica de Jordan 1 Matrizes e espaços vetoriais Definição: Sejam A e B matrizes quadradas de orden n sobre um corpo arbitrário X. Dizemos que A é semelhante a B em X (A B) se existe uma matriz

Leia mais

3 Sistema de Steiner e Código de Golay

3 Sistema de Steiner e Código de Golay 3 Sistema de Steiner e Código de Golay Considere o sistema de Steiner S(5, 8, 24, chamaremos os seus blocos de octads. Assim, as octads são subconjuntos de 8 elementos de um conjunto Ω com 24 elementos

Leia mais

Aula 25 - Espaços Vetoriais

Aula 25 - Espaços Vetoriais Espaço Vetorial: Aula 25 - Espaços Vetoriais Seja V um conjunto não vazio de objetos com duas operações definidas: 1. Uma adição que associa a cada par de objetos u, v em V um único objeto u + v, denominado

Leia mais

A2. Cada operação é distributiva sobre a outra, isto é, para todo x, y e z em A, x (y + z) = (x y) + (x z) e x + (y z) = (x + y) (x + z)

A2. Cada operação é distributiva sobre a outra, isto é, para todo x, y e z em A, x (y + z) = (x y) + (x z) e x + (y z) = (x + y) (x + z) Álgebra Booleana Nesta parte veremos uma definição formal de álgebra booleana, que é baseada em um conjunto de axiomas (ou postulados). Veremos também algumas leis ou propriedades de álgebras booleanas.

Leia mais

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito Capítulo 2 Conjuntos Infinitos O conjunto dos números naturais é o primeiro exemplo de conjunto infinito que aprendemos. Desde crianças, sabemos intuitivamente que tomando-se um número natural n muito

Leia mais

Propriedades das Funções Contínuas

Propriedades das Funções Contínuas Propriedades das Funções Contínuas Prof. Doherty Andrade 2005- UEM Sumário 1 Seqüências 2 1.1 O Corpo dos Números Reais.......................... 2 1.2 Seqüências.................................... 5

Leia mais

Os Aritmos e os Princípios Fundamentais da Aritmética e da Computabilidade. José Carlos Cifuentes / UFPR Alejandro Gustavo Petrovich / UBA EBL 2014

Os Aritmos e os Princípios Fundamentais da Aritmética e da Computabilidade. José Carlos Cifuentes / UFPR Alejandro Gustavo Petrovich / UBA EBL 2014 Os Aritmos e os Princípios Fundamentais da Aritmética e da Computabilidade José Carlos Cifuentes / UFPR Alejandro Gustavo Petrovich / UBA EBL 2014 Introdução A teoria dos aritmos é o estudo das estruturas

Leia mais

Notas de Aula. Leandro F. Aurichi de junho de Instituto de Ciências Matemáticas e de Computação - USP

Notas de Aula. Leandro F. Aurichi de junho de Instituto de Ciências Matemáticas e de Computação - USP Notas de Aula Leandro F. Aurichi 1 30 de junho de 2017 1 Instituto de Ciências Matemáticas e de Computação - USP 2 Sumário 1 Espaços topológicos 7 1.1 Definições básicas......................... 7 Alguns

Leia mais

Lema. G(K/F ) [K : F ]. Vamos demonstrar usando o Teorema do Elemento Primitivo, a ser provado mais adiante. Assim, K = F (α).

Lema. G(K/F ) [K : F ]. Vamos demonstrar usando o Teorema do Elemento Primitivo, a ser provado mais adiante. Assim, K = F (α). Teoria de Galois Vamos nos restringir a car. zero. Seja K/F uma extensão finita de corpos. O grupo de Galois G(K/F ) é formado pelos isomorfismos ϕ : K K tais que x F, ϕ(x) = x. Lema. G(K/F ) [K : F ].

Leia mais

TRABALHO DE CONCLUSÃO DE CURSO INTRODUÇÃO À TOPOLOGIA AL- GÉBRICA: O GRUPO FUNDAMENTAL DO CÍRCULO. Tulipa Gabriela Guilhermina Juvenal da Silva

TRABALHO DE CONCLUSÃO DE CURSO INTRODUÇÃO À TOPOLOGIA AL- GÉBRICA: O GRUPO FUNDAMENTAL DO CÍRCULO. Tulipa Gabriela Guilhermina Juvenal da Silva TRABALHO DE CONCLUSÃO DE CURSO INTRODUÇÃO À TOPOLOGIA AL- GÉBRICA: O GRUPO FUNDAMENTAL DO CÍRCULO Tulipa Gabriela Guilhermina Juvenal da Silva JOINVILLE, 2014 Tulipa Gabriela Guilhermina Juvenal da Silva

Leia mais

Chama-se conjunto dos números naturais símbolo N o conjunto formado pelos números. OBS: De um modo geral, se A é um conjunto numérico qualquer, tem-se

Chama-se conjunto dos números naturais símbolo N o conjunto formado pelos números. OBS: De um modo geral, se A é um conjunto numérico qualquer, tem-se UNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E TECNOLÓGICAS CURSO DE ENGENHARIA CIVIL DISCIPLINA: FUNDAMENTOS DE MATEMÁTICA Conjuntos Numéricos Prof.:

Leia mais

Números Reais. Gláucio Terra. Departamento de Matemática IME - USP. Números Reais p. 1/2

Números Reais. Gláucio Terra. Departamento de Matemática IME - USP. Números Reais p. 1/2 Números Reais Gláucio Terra glaucio@ime.usp.br Departamento de Matemática IME - USP Números Reais p. 1/2 Corpos DEFINIÇÃO Seja K um conjunto munido de duas operações, denotadas por + e. Diz-se que (K,

Leia mais

Espaços Euclidianos. Espaços R n. O conjunto R n é definido como o conjunto de todas as n-uplas ordenadas de números reais:

Espaços Euclidianos. Espaços R n. O conjunto R n é definido como o conjunto de todas as n-uplas ordenadas de números reais: Espaços Euclidianos Espaços R n O conjunto R n é definido como o conjunto de todas as n-uplas ordenadas de números reais: R n = {(x 1,..., x n ) : x 1,..., x n R}. R 1 é simplesmente o conjunto R dos números

Leia mais

[À funç~ao d chama-se métrica e aos elementos de X pontos do espaço métrico; a condiç~ao (3) designa-se por desigualdade triangular.

[À funç~ao d chama-se métrica e aos elementos de X pontos do espaço métrico; a condiç~ao (3) designa-se por desigualdade triangular. Aula I - Topologia e Análise Linear 1 Espaços Métricos ESPAÇO MÉTRICO Um par (X, d) diz-se um espaço métrico se X for um conjunto e d : X X R + for uma aplicação que verifica as seguintes condições, quaisquer

Leia mais

GRUPOS ALGUNS GRUPOS IMPORTANTES. Professora: Elisandra Bär de Figueiredo

GRUPOS ALGUNS GRUPOS IMPORTANTES. Professora: Elisandra Bär de Figueiredo Professora: Elisandra Bär de Figueiredo GRUPOS DEFINIÇÃO 1 Sejam G um conjunto não vazio e (x, y) x y uma lei de composição interna em G. Dizemos que G é um grupo em relação a essa lei se (a) a operação

Leia mais

MAT Resumo Teórico e Lista de

MAT Resumo Teórico e Lista de MAT 0132 - Resumo Teórico e Lista de Exercícios April 10, 2005 1 Vetores Geométricos Livres 1.1 Construção dos Vetores 1.2 Adição de Vetores 1.3 Multiplicação de um Vetor por um Número Real 2 Espaços Vetoriais

Leia mais

Capítulo 2. Conjuntos Infinitos

Capítulo 2. Conjuntos Infinitos Capítulo 2 Conjuntos Infinitos Não é raro encontrarmos exemplos equivocados de conjuntos infinitos, como a quantidade de grãos de areia na praia ou a quantidade de estrelas no céu. Acontece que essas quantidades,

Leia mais

1 Álgebra linear matricial

1 Álgebra linear matricial MTM510019 Métodos Computacionais de Otimização 2018.2 1 Álgebra linear matricial Revisão Um vetor x R n será representado por um vetor coluna x 1 x 2 x =., x n enquanto o transposto de x corresponde a

Leia mais

Noções (básicas) de Topologia Geral, espaços métricos, espaços normados e espaços com produto interno. André Arbex Hallack

Noções (básicas) de Topologia Geral, espaços métricos, espaços normados e espaços com produto interno. André Arbex Hallack Noções (básicas) de Topologia Geral, espaços métricos, espaços normados e espaços com produto interno André Arbex Hallack Setembro/2011 Introdução O presente texto surgiu para dar suporte a um Seminário

Leia mais

= f(0) D2 f 0 (x, x) + o( x 2 )

= f(0) D2 f 0 (x, x) + o( x 2 ) 6 a aula, 26-04-2007 Formas Quadráticas Suponhamos que 0 é um ponto crítico duma função suave f : U R definida sobre um aberto U R n. O desenvolvimento de Taylor de segunda ordem da função f em 0 permite-nos

Leia mais

1.2 Axioma do Supremo

1.2 Axioma do Supremo 1.2 Axioma do Supremo EXERCÍCIOS RESOLVIDOS 1. Verifique que se n N é ímpar, então n 2 é também ímpar. O que pode concluir de n N sabendo que n 2 é par? RESOLUÇÃO Seja n N ímpar, com n = 2k+1, para algum

Leia mais