Aula 20 - Álgebra II. Como os corpos de decomposição de um polinómio, como vimos, são isomorfos

Documentos relacionados
correspondência entre extensões intermédias de K M e subgrupos de Gal(M, K) chama-se correspondência de Galois.

Soluções de exercícios seleccionados (capítulos 3 e 4)

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

O teorema fundamental da teoria de Galois

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

Conhecer um pouco mais de perto as propriedades do grupo das permutações de nível.

Notas sobre os anéis Z m

Solubilidade por Radicais

LISTA CLASSES LATERAIS, TEOREMA DE LAGRANGE 17. Seja G um grupo e sejam H e K subgrupos de G cujas ordens sejam relativamente primas.

Usando indução pode então mostrar-se o seguinte:

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

4. Corpos finitos. Aula 22 - Álgebra II. [Conclusão da aula anterior: exemplos de polinómios resolúveis e polinómios não resolúveis]

1 Noções preliminares

Resolução do 1 o exame

Uma introdução à Teoria da Galois. Aurélio Fred Macena dos Santos e Daniani Souza Oliveira Orientador: Flaulles Boone Bergamaschi

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

Resolução do 1 o exame

AULA. Corpo de raízes

Matemática 1 INTRODUÇÃO 1 TEOREMA DAS RAÍZES COMPLEXAS 3 TEOREMA DAS RAÍZES RACIONAIS 2 TEOREMA DAS RAÍZES IRRACIONAIS. Exercício Resolvido 2

Anéis quocientes k[x]/i

Anéis de polinómios a várias indeterminadas

2007/2008 Resolução do 1 o exame

i : V W V W é o produto tensorial de V e W se, ao considerarmos um outro espaço vetorial U sobre o mesmo corpo K e B também uma aplicação bilinear:

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

1.1 Conjuntos parcialmente ordenados (c.p.o. s)

Ficha de trabalho Decomposição e resolução de equações e inequações polinomiais

ANAIS DO IV WORKSHOP DE ÁLGEBRA DA UFG-CAC SEMINÁRIO SEMANAL DE ÁLGEBRA. Título: Grupos Solúveis Parte I e Parte II. Resumo

TEORIA DE GALOIS NOTAS DE CURSO. Sumário

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:

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

Extensões Algébricas dos Racionais

Grupos: Resumo. Definição 1.1 Um grupo é um conjunto G juntamente com uma operação binária. G G G (a, b) a b. (a b) c = a (b c) a e = e a = a

Polinómios Simétricos e Polinómios W-harmónicos

CORRESPONDÊNCIA DE GALOIS

Unidade 22 - Teorema espectral para operadores simétricos, reconhecimento de cônicas. A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa

Aviso. Este material é apenas um resumo de parte do conteúdo da disciplina.

) a sucessão definida por y n

Produto semidireto. Demonstração. (1, 1) é o elemento neutro pois

Corpos estendidos no espaço em grupos

Parte 2. Teoria de Galois

Função polinomial. Pré-Cálculo. Função polinomial. Função polinomial: exemplos. Humberto José Bortolossi. Parte 6. Definição

Aula 19 Operadores ortogonais

Tabelas de Caracteres de Grupos Finitos

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

Geradores e relações

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

! " # $ % & ' # % ( # " # ) * # +

A eq. de Schrödinger em coordenadas esféricas

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

CCI-22 FORMALIZAÇÃO CCI-22 MODOS DE SE OBTER P N (X) Prof. Paulo André CCI - 22 MATEMÁTICA COMPUTACIONAL INTERPOLAÇÃO

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

Universidade Federal de Santa Catarina Centro de Ciẽncias Físicas e Matemáticas Departamento de Matemática. Liana Garcia Ribeiro

Uma Introdução às Identidades Polinomiais

As Fórmulas de Cardano e um Criptossistema do tipo RSA. The Cardano formulas and an RSA-type cryptosystem

Mais uma aplicação do teorema de isomorfismo. Sejam G um grupo, H um subgrupo de G e N um subgrupo normal de

Universidade Estadual do Sudoeste da Bahia Departamento de Ciências Exatas e Tecnológicas. Teoria Elementar de Galois

6 Ajuste de mínimos quadrados

Galois, Dedekind e Grothendieck

Reticulados e Álgebras de Boole

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

exercícios de análise numérica II

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

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

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

Parte II. Análise funcional II

Polos Olímpicos de Treinamento. Aula 10. Curso de Álgebra - Nível 3. Diferenças finitas e o polinômio interpolador de Lagrange. 1. Diferenças Finitas

Sistemas de Equações Diferenciais Lineares

Rotor quântico. Quanticamente o rotor é descrito por uma função de onda, tal que: l A função de onda do estado estacionário é dada por:

Álgebra Linear I - Aula Propriedades dos autovetores e autovalores

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

Introdução à Geometria

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:

Teorema. [Factorização única em C[x]] Todo o polinómio r(x) C[x] de grau positivo pode ser escrito na forma. p 2 (x) n2 p t (x) nt (1)

Ajuste de mínimos quadrados

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

ALGA I. Representação matricial das aplicações lineares

Solubilidade por Radicais em Corpos de Característica p

Notas de Aula Álgebra 3. Martino Garonzi. Universidade de Brasília. Segundo semestre 2018

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

Á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.

Álgebra Linear. Determinantes, Valores e Vectores Próprios. Jorge Orestes Cerdeira Instituto Superior de Agronomia

Teorema. Existe alguma raiz primitiva módulo n se, e só se, n = 2, n = 4, n = p k ou n = 2p k onde p é primo ímpar.

CÁLCULO I. 1 Concavidade. Objetivos da Aula. Aula n o 19: Concavidade. Teste da Segunda Derivada. Denir concavidade de uma função;

UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ COORDENAÇÃO DO CURSO DE LICENCIATURA EM MATEMÁTICA DJERLY SIMONETTI

1 Congruências e aritmética modular

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

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

MAT2457 ÁLGEBRA LINEAR PARA ENGENHARIA I Gabarito da 2 a Prova - 1 o semestre de 2015

Equação algébrica Equação polinomial ou algébrica é toda equação na forma anxn + an 1 xn 1 + an 2 xn a 2 x 2 + a 1 x + a 0, sendo x

Axiomatizações equivalentes do conceito de topologia

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

Solubilidade de Equações Polinomiais por Radicais Reais e Cálculo do Grupo de Galois em

MAT0313 Álgebra III Lista 5

Curso de Mestrado em Matemática Aplicada Tópicos de Topologia - Monopólos e Curvas Algébricas 2 a Série de Problemas - Dezembro 1999

Objetivos. em termos de produtos internos de vetores.

Esmeralda Sousa Dias. (a) (b) (c) Figura 1: Ajuste de curvas a um conjunto de pontos

Introdução às superfícies de Riemann

10 Estabilidade de Métodos de Passo Simples

Métodos de Física Teórica II Prof. Henrique Boschi IF - UFRJ. 1º. semestre de 2010 Aula 7 Ref. Butkov, cap. 9, seções 9.3 e 9.4

Transcrição:

Do trabalho de Vandermonde (1735-96), Lagrange (1736-1813), Gauss (1777-1855), Ruffini (1765-1822), Abel (1802-29) e, principalmente, de Galois (1811-32), sobre a existência de fórmulas resolventes de grau 5, resultaram muitas das noções que temos vindo a estudar Vamos agora fazer uma descrição muito concisa (por manifesta falta de tempo) do principal resultado de Galois, numa reformulação feita por Artin nos anos 30 do século passado, que resolve completamente o problema de saber quando um determinado polinómio é resolúvel por radicais, ou seja, quando as suas raízes são números que são combinações finitas de elementos do corpo dos seus coeficientes, usando as operações do corpo e raízes de índice arbitrário Como os corpos de decomposição de um polinómio, como vimos, são isomorfos é natural a seguinte definição: GRUPO DE GALOIS de um polinómio Seja p(x) K[x] Chama-se grupo de Galois de p(x) sobre K (ou grupo de Galois da equação p(x) = 0), que denotaremos por Gal(p(x), K), ao grupo Gal(L, K), onde L é uma qualquer extensão de decomposição de p(x) sobre K Os automorfismos de Galois de uma extensão L de K permutam as raízes, nessa extensão, dos polinómios com coeficientes no corpo de base K De facto, se p(x) = n a ix i K[x], θ L é uma raiz de p(x) e Φ Gal(L, K), então Φ(θ) é também uma raiz de p(x): p(φ(θ)) = a i Φ(θ) i = Φ(a i )Φ(θ i ) = ( ) Φ(a i θ i ) = Φ a i θ i = Φ(0) = 0 Portanto, é natural identificar o grupo de Galois de um polinómio p(x) com um subgrupo de permutações 1 das raízes de p(x) Se L é uma extensão de decomposição de p(x), e R = {θ 1,, θ n } são as raízes distintas de p(x), então L = K(θ 1,, θ n ) Se soubermos como Φ transforma as raízes de p(x), então sabemos como Φ transforma todo o elemento de L = K(θ 1,, θ n ) Portanto, o automorfismo Φ é completamente descrito pelas imagens das raízes θ i (i = 1, 2,, n) Por outro lado, como acabámos de ver, se Φ Gal(p(x), K), então Φ transforma raízes de p(x) em raízes de p(x) Portanto Φ(θ i ) = θ Φ(i) para algum Φ(i) {1, 2,, n} 1 Era assim que Galois concebia o grupo que hoje tem o seu nome, ainda antes de se ter formalizado sequer o conceito de grupo! 1

É evidente que, como Φ é injectiva, Φ : {1, 2,, n} {1, 2,, n} é uma permutação Em conclusão, todo o Φ Gal(L, K) fica completamente descrito pela respectiva permutação Φ S n e a aplicação Φ Φ é claramente um homomorfismo injectivo Gal(p(x), K) S n : θ Φ 1 Φ 2 (i) = (Φ 1 Φ 2 )(θ i ) = Φ 1 (θ Φ2 (i) ) = θ Φ1 Φ2 (i) Φ 1 Φ 2 = Φ 1 Φ 2 Podemos assim identificar Gal(p(x), K) com um subgrupo do grupo das permutações de R, e concluir o seguinte: Proposição Se p(x) K[x] tem n raízes distintas no seu corpo de decomposição então Gal(p(x), K) é isomorfo a um subgrupo do grupo simétrico S n Note que, mesmo quando p(x) é irredutível, Gal(p(x), K) pode ser isomorfo a um subgrupo próprio de S n, como os exemplos (2) e (3) abaixo mostram Exemplos: (1) Vejamos que Gal(x 3 2, Q) = S 3 Da Proposição sabemos que o grupo de Galois Gal(x 3 2, Q) é isomorfo a um subgrupo de S 3, pelo que bastará assegurar que Gal(x 3 2, Q) = 6 Em primeiro lugar, como em C temos x 3 2 = (x 3 2)(x 3 2ω)(x 3 2ω 2 ), onde ω é uma raiz cúbica primitiva da unidade (isto é, ω 3 = 1 e ω t 1 0 < t < 3), 3 2ω 3 2ω 2 3 2 então Q(ω, 3 2) é o corpo de decomposição de x 3 2 em C Como x 3 2 é o polinómio mínimo de 3 2ω t (t = 0, 1, 2) sobre Q e x 2 + x + 1 é o polinómio mínimo de ω sobre Q, então [Q(ω, 3 2) : Q] = [Q(ω, 3 2) : Q(ω)] [Q(ω) : Q] 6 }{{}}{{} 3 =2 Por outro lado, Q(ω, 3 2) = Q( 3 2ω, ω) e [Q( 3 2ω, ω) : Q] = [Q( 3 2ω, ω) : Q( 3 2ω)] [Q( 3 2ω) : Q] 6 }{{}}{{} 2 =3 2

Portanto, [Q(ω, 3 2) : Q] 6 e é divisível por 2 e 3, logo [Q(ω, 3 2) : Q] = 6 Isto significa que {1, 3 2, 3 4, ω, 3 2ω, 3 4ω} constitui uma base da extensão Q(ω, 3 2) É facil de ver (de modo análogo aos exemplos da aula anterior) que existem precisamente seis Q-automorfismos de Q(ω, 3 2) [Descreva esses seis automorfismos explicitamente] Como S 3 = 3! = 6, teremos necessariamente Gal(x 3 2, Q) = S 3 (2) Consideremos o polinómio p(x) = x 4 2, que é irredutível sobre Q As suas quatro raízes em C são θ 1 = 4 2, θ 2 = 4 2i, θ 3 = 4 2, θ 4 = 4 2i, e Q(i, 4 2) é o seu corpo de decomposição Para definir um Q-automorfismo de Q(i, 4 2), basta fixarmos as imagens das raízes θ 1 e θ 2 (pois as imagens de θ 3 e θ 4 ficam automaticamente definidas) Por exemplo, θ 1 θ 2 θ 2 θ 3 define um Q-automorfismo α : Q(i, 4 2) Q(i, 4 2) É óbvio que α(θ 3 ) = θ 4 e α(θ 4 ) = θ 1 (e α(i) = i) Pelo isomorfismo da Proposição, a este automorfismo corresponde a permutação (1 2 3 4) de S 4 Outro exemplo: a β : Q(i, 4 2) Q(i, 4 2), definido por β(θ 1 ) = θ 1 e β(θ 2 ) = θ 4, corresponde a permutação (2 4) No entanto, nem todas as 24 permutações de S 4 correspondem a elementos de Gal(p(x), Q), uma vez que este grupo tem, no máximo, 8 elementos: É evidente que [Q(i, 4 2) : Q(i)] = 4 e [Q(i) : Q] = 2, logo [Q(i, 4 2) : Q] = 8 Então, pelo Teorema da aula anterior, existem, no máximo, oito Q-automorfismos de Q(i, 4 2), isto é, Gal(p(x), Q) 8 Portanto, neste caso, Gal(p(x), Q) é isomorfo a um subgrupo próprio de S 4 Por exemplo, o ciclo (1 2) não corresponde a nenhum Q-automorfismo Φ : Q(i, 4 2) Q(i, 4 2), uma vez que Φ, para originar tal ciclo, teria que satisfazer Φ(θ 1 ) = θ 2, Φ(θ 2 ) = θ 1, Φ(θ 3 ) = θ 3 e Φ(θ 4 ) = θ 4, mas tal Φ não é, claramente, um homomorfismo de corpos (com efeito, θ 1 +θ 3 = 0 mas Φ(θ 1 )+Φ(θ 3 ) = θ 2 +θ 3 0) [Conclua que Gal(p(x)), Q) = 8, observando que, respectivamente, θ 1 θ 1 e θ 2 θ 2, θ 1 θ 1 e θ 2 θ 4, θ 1 θ 2 e θ 2 θ 1, θ 1 θ 2 e θ 2 θ 3, θ 1 θ 3 e θ 2 θ 2, θ 1 θ 3 e θ 2 θ 4, 3

θ 1 θ 4 e θ 2 θ 1, θ 1 θ 4 e θ 2 θ 3, definem oito Q-automorfismos de Q(i, 4 2) Portanto, Gal(p(x)), Q)é isomorfo a {id, (2 4), (1 2)(3 4), (1 2 3 4), (1 3), (1 3)(2 4), (1 4 3 2), (1 4)(2 3)} Este grupo G é isomorfo ao grupo diedral D 4 das simetrias de um quadrado, pois é gerado pelos elementos σ = (2 4) e τ = (1 2 3 4), de ordens 2 e 4, que satisfazem a relaç~ao (τσ) 2 = id: G = {id, σ, στ, τ, στ 2, τ 2, τ 3, στ 3 }] (3) Seja L C a extensão de decomposição sobre Q do polinómio irredutível p(x) = x 6 2 As raízes de p(x) são θ k = 6 2e 2kπi 6, k = 1,, 6 Neste caso, S 6 = 6! = 720 mas Gal(p(x), Q) < 720; por exemplo, não existe um automorfismo do grupo de Galois que corresponda à transposição (1 6), pois θ 3 + θ 6 = 0 mas θ 3 + θ 1 0, como se observa imediatamente na representação, no plano complexo, das raízes de p(x): θ 2 θ 1 θ 3 θ 6 θ 4 θ 5 Outro exemplo: como (θ 1 + θ 5 ) 6 = θ6 6 = 2, não existem automorfismos do grupo de Galois que correspondam às permutações (1 3)(5 6) e (1 6)(3 5) Muitos outros elementos de S 6 podem ser excluídos; de facto, como veremos mais adiante, Gal(x 6 2, Q) = 12 EXTENSÃO DE GALOIS Diz-se que uma extensão finita L de K é uma extensão de Galois se L for um corpo de decomposição de algum polinómio de K[x] 4

Trabalhando a demonstração (que não estudámos) do teorema da aula anterior sobre extensões de isomorfismos a corpos de decomposição, não é difícil provar o seguinte resultado: Teorema Seja L uma extensão finita de K Então: (1) Gal(L, K) [L : K] (2) Se L é uma extensão de Galois de K então Gal(L, K) = [L : K] [A demonstraç~ao pode ser consultada em Introduç~ao à Álgebra, R Loja Fernandes e M Ricou, IST Press, 2004] Exemplos: (1) A observação, no exemplo (2) acima, que Gal(p(x), Q) = 8, é uma consequência imediata do Teorema, uma vez que Q(i, 4 2) é uma extensão de Galois de Q e [Q(i, 4 2) : Q] = 8 (2) No exemplo (3), Q( 6 2, e 2π 3 i ) é uma extensão de decomposição de p(x) = x 6 2 Como [Q( 6 2, e 2π 3 i ) : Q] = [Q( 6 2, e 2π 3 i ) : Q( 6 2)] [Q( 6 2) : Q] = 2 6 = 12, então Gal(x 6 2, Q) = 12, como tínhamos anunciado 5