extensões algébricas.

Documentos relacionados
AULA. Corpo de raízes

Anéis quocientes k[x]/i

O teorema fundamental da teoria de Galois

Extensão de um Isomorfismo

Algoritmo da divisão em k[x] 2

Critérios de irredutibilidade

Irredutibilidade em Q[x]

Aula 25 - Espaços Vetoriais

Solubilidade por Radicais

Números Inteiros: Continuação

1 Congruências de Grau Superior. Dado um polinômio f(x) Z[x] e um número natural n, vamos estudar condições para que a congruência. f(x) 0 (mod n).

Apresentar o conceito de grupo, as primeiras definições e diversos exemplos. Aplicar as propriedades dos grupos na resolução de problemas.

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

Aula 14 DOMÍNIOS FATORIAIS META. Estabelecer o conceito de domínio fatorial. OBJETIVOS

Teoria da divisibilidade Em k[x]

Aula 13 DOMÍNIOS EUCLIDIANOS META. Estabelecer o conceito de domínio euclidiano. OBJETIVOS. Reconhecer domínios euclidianos.

Resolução dos Exercícios 31/05-09/06.

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 (α).

Definir classes laterais e estabelecer o teorema de Lagrange. Aplicar o teorema de Lagrange na resolução de problemas.

EXTENS OES DE CORPOS Maria L ucia Torres Villela Instituto de Matem atica Universidade Federal Fluminense setembro de 2008 Revisto em Mar co de 2009

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

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

Conjuntos Enumeráveis e Não-Enumeráveis

Introduzir os conceitos de base e dimensão de um espaço vetorial. distinguir entre espaços vetoriais de dimensão fnita e infinita;

ÁLGEBRA LINEAR. Combinação Linear, Subespaços Gerados, Dependência e Independência Linear. Prof. Susie C. Keller

Números naturais e cardinalidade

Roteiro da segunda aula presencial - ME

NÚMEROS ALGÉBRICOS E TRANSCENDENTES

(g) (G, +, ) sendo G = {a + ib a, b Z}, o conjunto dos inteiros de Gauss, + e a adição e a multiplicação usuais de números complexos.

Aplicar as propriedades imediatas dos homomorfismos de grupos. Aplicar os teoremas dos homomorfismos na relação de problemas.

A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS.

Códigos Corretores de Erros e Teoria de Galois. Helena Carolina Rengel Koch Universidade Federal de Santa Catarina 2016

Soluções dos Exercícios do Capítulo 2

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

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

d(t x, Ty) = d(x, y), x, y X.

DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA: Matemática (8º Ano) METAS CURRICULARES/CONTEÚDOS ANO LETIVO 2017/

Unidade 1 - O que é Álgebra linear? A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa. 9 de agosto de 2013

Análise I. Notas de Aula 1. Alex Farah Pereira de Agosto de 2017

O espaço das Ordens de um Corpo

U.C Matemática Finita. 6 de junho de Questões de escolha múltipla

Aula 12 HOMOMORFISMO DE ANÉIS PRÉ REQUISITOS. As aulas 6, 10 e 11. META. Estabelecer o conceito de Homomorfismo de Anéis.

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

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:

Capítulo 2. Ortogonalidade e Processo de Gram-Schmidt. Curso: Licenciatura em Matemática

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

Aula 09 OS TEOREMAS DE SYLOW META. Estabelecer os teoremas de Sylow. OBJETIVOS. Identificar. Aplicar os teoremas de Sylow na resolução de problemas.

Metas/Objetivos/Domínios Conteúdos/Competências/Conceitos Número de Aulas

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

Espaços Vectoriais. Espaços Vectoriais

DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA: Matemática (8º Ano) METAS CURRICULARES/CONTEÚDOS ANO LETIVO 2016/

MAT Resumo Teórico e Lista de

Extensões Algébricas dos Racionais

5. Seja A uma matriz qualquer. Assinale a afirmativa

INTRODUÇÃO A TEORIA DE GALOIS

Produtos de potências racionais. números primos.

Notas Sobre Sequências e Séries Alexandre Fernandes

Álgebra Linear e Geometria Analítica

Resumo das aulas dos dias 4 e 11 de abril e exercícios sugeridos

Notas sobre os anéis Z m

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

Método de Newton para polinômios

Notas de Aula de Fundamentos de Matemática

= 2 sen(x) (cos(x) (b) (7 pontos) Pelo item anterior, temos as k desigualdades. sen 2 (2x) sen(4x) ( 3/2) 3

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

ENFOQUE USANDO CORTES DE DEDEKIND

como aproximar bem números reais por números racionais

1. Não temos um espaço vetorial, pois a seguinte propriedade (a + b) v = a v + b v não vale. De fato:

Exercícios sobre Espaços Vetoriais II

Espaços Vetoriais. Prof. Márcio Nascimento.

1 Noções preliminares

Aula 27 - Álgebra II. x (m(x)), x 2 + x + (m(x)), x 2 + x (m(x)) operações deste corpo são as seguintes:

Unidade 7 - Bases e dimensão. A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa. 10 de agosto de 2013

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.

Polinômio Mínimo e Operadores Nilpotentes

Capítulo 5. Operadores Auto-adjuntos. Curso: Licenciatura em Matemática. Professor-autor: Danilo Felizardo Barboza Wilberclay Gonçalves Melo

Axioma dos inteiros. Sadao Massago

Um Curso de Nivelamento. Instituto de Matemática UFF

Polinômios Ciclotômicos e o Teorema dos Primos de Dirichlet

Análise I Solução da 1ª Lista de Exercícios

OPERADORES LINEARES ESPECIAIS: CARACTERIZAÇÃO EM ESPAÇOS DE DIMENSÃO DOIS*

Tópicos de Matemática Elementar

Universidade Federal do Espírito Santo Prova de Álgebra II Prof. Lúcio Fassarella DMA/CEUNES/UFES Data: 07/05/2015

Álgebra Linear I - Aula 11. Roteiro. 1 Dependência e independência linear de vetores

ALGA I. Bases, coordenadas e dimensão

PLANIFICAÇÃO ANUAL DE MATEMÁTICA

ESPAÇO VETORIAL REAL. b) Em relação à multiplicação: (ab) v = a(bv) (a + b) v = av + bv a (u + v ) = au + av 1u = u, para u, v V e a, b R

Transcrição:

META: Determinar condições necessárias e/ou suficientes para caracterizar extensões algébricas. OBJETIVOS: Ao final da aula o aluno deverá ser capaz de: Reconhecer se uma dada extensão é algébrica. PRÉ-REQUISITOS As seguintes definições sobre extensões: algébrica, finita, finitamente gerada.

.1 Introdução Para sua maior comodidade, seguem as definições usadas nesta aula. O Grau de uma extensão F K é a dimensão de K como espaço vetorial sobre F. Notação: [K : F ]. Extensão finita := extensão de grau finito. F K é dita finitamente gerada := existem u 1,...,u r K tais que K = F (u 1,...,u r ). α K é algébrico sobre F := existe f(x) F [x], f(x) 0, com f(α) =0. F K algébrica := todo elemento de K é algébrico sobre F. Todo corpo F é algébrico sobre si mesmo. De fato, para todo α F, o polinômio f(x) =x α F [x] é não nulo e tem α como raiz. Esta aula é para relacionar os três tipos de extensões de corpos: finita, finitamente gerada e algébrica. A relação buscada aqui é de implicação, isto é, quem implica em quem. A implicação finita algébrica é a fundamental. Desta seguirão as outras. Por exemplo, finitamente gerada por elementos algébricos algébrica. A recíproca algébrica finita não vale em geral. O que vale é a equivalência algébrica + finitamente gerada finita. Aproveitando o contexto do estudo de extensões algébricas, definiremos o fecho algébrico de um corpo F sobre um corpo K e mostraremos que o conjunto, assim considerado, admite a estrutura de corpo. 130

.2 Finita algébrica Estruturas Algébricas II Seja K uma extensão finita de grau n. Por definição de grau, a dimensão de K como um espaço vetorial sobre F é n. O conjunto 1,α,α 2,...,α n tem n +1 elementos e, portanto, tem cardinalidade maior que a dimensão de K sobre F. Então é linearmente dependente. Por definição de dependência linear, existem a 0,a 1,...,a n F, não todos nulos, tais que a 0.1+a 1.α + a n α n =0. Logo, f(x) =a 0 + a 1 x + + a n x n F [x] é não nulo (por quê?) e tem α como raiz. Assim, todo elemento α K é algébrico sobre F. Por definição, K é algébrico sobre F. Teorema.1. Toda extensão finita é algébrica..3 Finitamente gerada algébrica? Seja F (α 1,...,α r ) uma extensão finitamente gerada de um corpo F. Seumdosα i s é transcendente sobre F então F (α 1,...,α r ) é infinita sobre F (por quê?). Assim, a implicação só tem sentido quando α 1,...,α r são algébricos sobre F. Neste caso, a resposta é afirmativa. Teorema.2. Se K = F (α 1,...,α r ) é uma extensão finitamente gerada de F por elementos algébricos α 1,...,α r, então K é uma extensão algébrica finita de F. Prova: Pela seção anterior basta provarmos a finitude. Usaremos indução em r. Ser =1então K = F (α 1 ) com α 1 algébrico sobre F. Então, [F (α 1 : F ]=deg m α,f (x), logo finita. Suponhamos toda extensão finitamente gerada por r 1 elementos algébricos 131

sobre F finita e consideremos K = F (α 1,...,α r ) com α 1,...,α r algébricos sobre F. Por hipótese indutiva, F (α 1,...,α r 1 ) é finita sobre F. Por outro lado, α 1 algébrico sobre F implica α 1 algébrico sobre L = F (α 1,...,α r 1 ). A extensão simples L(α r )= ( F (α1,...,α r 1 ) ) (α r )=K é então finita sobre L. Temos então F L K com K finita sobre L e L finita sobre F. Pela multiplicatividade dos graus, K é finita sobre F..4 Finita finitamente gerada e algébrica A seção anterior mostra que finitamente gerada e algébica finita. Esta seção trata da recíproca à esta implicação. Teorema.3. F K finita F K finitamente gerada e algébrica. Prova: A condição necessária foi provada na seção anterior. Resta provar a condição suficiente. Suponha F K finita de grau r. Sejam α 1,...,α r uma base de K sobre F. Temos F F (α 1,...,α r ) K com K finita sobre F. Então, F F (α 1,...,α r ) é finita e vale a igualdade [K : F ]=[F (α 1,...,α r ):F ][K : F (α 1,...,α r )] donde Mas, α 1,...,α r sobre F, logo [K : F ]=r [F (α 1,...,α r ):F ]. F (α 1,...,α r ) são linearmente independentes [F (α 1,...,α r ):F ] r =[K : F ]. 132

Estruturas Algébricas II Assim, [F (α 1,...,α r ):F ]=r =[K : F ]. Logo, r = r.[k : F (α 1,...,α r )] donde [K : F (α 1,...,α r )]=1e, portanto, K = F (α 1,...,α r )...5 Transitividade A noção de extensão algébrica é transitiva. Teorema.4. Se F K L são extensões de corpos com L algébrica sobre K e K algébrica sobre F então L é algébrica sobre F. Prova: Seja α L. Por hipótese, L é algébrico sobre K. Assim, α é algébrico sobre K. Por definição de elemento algébrico, existe um polinômio f(x) =a m x m + + a 1 x + a 0 K[x], não nulo, tal que f(α) =a m α m + + a 1 α + a 0 =0, a i K. Desde que a 0,...,a m L = F (a 0,...,a m ), α é algébrico sobre L. Assim, F L L(α) com L(α) finita sobre L. Mas, L é finitamente gerada sobre F por elementos algébricos. Pela seção anterior, L é finita sobre F. Pelo teorema da multiplicatividade dos graus, L(α) é finita sobre F. Pelo teorema.1, L(α) é algébrica sobre F donde α é algébrico sobre F. Desde que temos considerado α K arbitrário segue que K é algébrico sobre F..6 O corpo dos elementos algébricos Seja F K uma extensão de corpos. Denotemos por F K o conjunto dos elementos de K algébricos sobre F. Temos F F K, pois F K e todo elemento de F é algébrico sobre F. Se α, β F K 133

então α e β são algébricos sobre F, por definição de F K. Então, F F (α, β) é uma extensão algébrica. Como F (α, β) é corpo, temos α + β, α.β, α, β F (α, β) F K. Do mesmo modo, se α é não nulo então α 1 F (α, β) F K. Assim, F K é fechado sob adição e multiplicação bem como sob inversos aditivos e multiplicativos. Logo, F K é corpo. Este corpo é chamado de fecho algébrico de F em K ou relativo ao corpo K..7 Algébrica Finita Vamos conhecer agora um exemplo de uma extensão algébrica não finita. Considere a extensão Q C esejaq C o fecho algébrico dos racionais relativo aos complexos. Por definição, Q C é o conjunto dos complexos algébricos sobre Q. Os números n 2 R C são todos elementos de Q C com polinômio mínimo m n 2,Q (x) =xn 2 (Eisenstein, p =2). Logo, [Q( n 2) : Q] =n. Então, para todo inteiro positivo k, Q Q( k+1 )2 Q C com [Q( k+1 2) : Q] = k +1>k. Logo, [Q C : Q] >kqualquer que seja o inteiro positivo k. Portanto, Q C é uma extensão algébrica infinita de Q. OBS.1. Considere o corpo Q R = Q C R dos números reais algébricos sobre Q. O corpo Q é enumerável. Qualquer que seja o inteiro positivo n, o número de polinômios de grau exatamente n é enumerável (um polinômio de grau n é determinado unicamente pelos seus n +1coeficientes em Q). Como um polinômio de grau n tem no máximo n raízes, o conjunto Q R (n) ={α R : deg m α,q(x) = n} é enumerável. Finalmente, Q R = n>0 Q R (n) é uma união enumerável de conjuntos enumeráveis e, portanto, é também enumerável. Como R é não enumerável, existem elementos reais não 134

Estruturas Algébricas II algébricos, isto é, transcendentes sobre Q. Temos a inclusão própria Q R Rdonde Q R C. Segue também que R é uma extensão infinita dos racionais. OBS.2. Sabemos que π =3, 1415... e e =2.71828... são transcendentes sobre Q (a prova é não trivial!). Ver o livro do Hardy (Leitura complementar) para uma introdução ao assunto..8 Conclusão As extensões algébricas finitamente geradas possuem uma estrutura algébrica bastante simples: são espaços vetoriais de dimensão finita. RESUMO Finita Algébrica + Finitamente gerada Contra-exemplos: Algébrica Finita: Q R sobre Q. Algébrica Finitamente gerada: Q R sobre Q. Finitamente gerada Finita: Q(π) sobre Q. Finitamente gerada Algébrica: Q(π) sobre Q. 135

Transitividade L L algébrica K K algébrica algébrica F F PRÓXIMA Voltaremos a ver o processo de adjunção de raízes para construção do corpo de raízes de um polinômio. Mostraremos a existência de tais corpos, a unicidade, e a caracterizaremos por meio de extensões finita e normal. ATIVIDADES ATIV..1. Determine uma base de cada extensão de Q dada abaixo. a) Q( 5,i). b) Q( 2, 3, 5). c) Q( 3 2, 3). d) Q( 2+ 3). Se F K é uma extensão finita e α é algébrico sobre K prove que [K(α) :K] [K : F ]. 136

ATIV..2. Estruturas Algébricas II ATIV..3. Suponha que α, β K são algébricos sobre F. a) Se deg m α,f (x) =m e deg m β,f (x) =n são relativamente primos (MDC(m, n) =1)), mostre que [F (α, β) :F ]=mn. b) Mostre, por meio de um contraexemplo, que a conclusão da parte a) pode ser falsa se m e n não são relativamente primos. c) Determine [Q( 2, 3 2) : Q]. LEITURA COMPLEMENTAR DUMMIT, David S., FOOTE, Richard M. Abstract Algebra. John Wiley and Sons, 3.ed., USA, 2004. GONÇALVES, Adilson, Introdução à álgebra, IMPA, Projeto Euclides, 5.ed., Rio de Janeiro, 2008. HARDY, G. H., WRIGHT, E. M. An introduction to the theory of numbers. 4.ed., Oxford University Press, 160. HUNGERFORD, Thomas W., Abstract algebra: an introduction, Saunders College Publishing, 10. 137