CORRESPONDÊNCIA DE GALOIS
|
|
|
- Martín Varejão Deluca
- 7 Há anos
- Visualizações:
Transcrição
1 REVISTA ELETRÔNICA MATEMÁTICA E ESTATÍSTICA EM FOCO CORRESPONDÊNCIA DE GALOIS Angelina Carrijo de Oliveira Universidade Federal de Uberlândia [email protected] Victor Gonzalo Lopez Neuman Universidade Federal de Uberlândia [email protected] RESUMO Neste trabalho estudamos a Teoria de Galois e demonstramos o Teorema Fundamental de Galois. Através de exemplos, mostra-se como encontrar de forma explícita os subcorpos de um corpo de decomposição através do conhecimento dos subgrupos do Grupo de Galois a ele associado. Define-se também a noção de polinômio solúvel por meio de radicais e provamos um critério para que as raízes de um polinômio sejam expressas por meio de radicais. ABSTRACT In this work, we study the Galois Theory and demonstrate the Fundamental Theorem of Galois Theory. Across examples, it is shown how to find explicitly subfields of a decomposition field through knowledge of the subgroups of the Galois group associated to it. It also defines the notion of polynomial soluble by radicals and prove the Galois s criterion for solvability of polynomials by radicals. Palavras-chave: Grupo de Galois, extensões algébricas, radicais. 1 INTRODUÇÃO O estudo das equações algébricas, ou equações polinomiais numa variável, levou ao aparecimento da Álgebra. A resolução das equações cúbicas e quárticas foram talvez a maior contribuição à Álgebra desde que os babilônicos, quatro milênios antes, aprenderam a completar o quadrado para equações quadráticas. O objetivo deste trabalho é estudar a teoria de Galois e aplicá-la na resolução de equações polinomiais e mostrar um critério que verifica quando as raízes de um polinômio podem ser expressas por meio de radicais utilizando o Teorema de correspondência de Galois. Para entender a Teoria de Galois é necessário ter uma base sobre extensões algébricas. Lembrando que este é um tema estudado na graduação, faremos unicamente uma breve introdução deste, sem demonstrações. Em seguida, faremos o estudo da Teoria de Galois, começando pelas extensões galoisianas e normais, para depois enunciar e demonstrar o Teorema de correspondência de Galois. Na seção 5 encontramos a estrutura de corpos de decomposição de um polinômio específico, utilizando como ferramenta o Teorema Fundamental de Galois, que coloca em relação corpos e grupos. Cabe lembrar que a maioria das demonstrações foram extendidas para melhor compreensão do leitor. Inclusive, algumas demonstrações foram feitas de forma diferente às encontradas na literatura. As principais referência utilizadas para o desenvolvimento do texto foram [1] e [5]. A. C. DE OLIVEIRA - V. G. L. NEUMANN 25
2 VOLUME 2 - NÚMERO 1 MARÇO DE 2014 PÁGINAS: 25 A 42 2 EXTENSÕES ALGÉBRICAS Todos os corpos considerados estão contidos em C. Definição 2.1: Sejam K um corpo e f(x) K[x]. O menor corpo que contém K e todas as raízes de f(x) é chamado de corpo das raízes de f(x), ou corpo de decomposição de f(x), denotado por Gal(f, K). Definição 2.2: Sejam K um corpo e f(x) K[x]\{0}. Dizemos que f(x) é irredutível em K[x] se as duas condições seguintes são satisfeitas: (a) f(x) / K = K \{0}; (b) f(x) não possui fatoração não-trivial em K[x], isto é: g(x),h(x) K[x] tais que f(x) = g(x)h(x), então g(x) K ou h(x) K. Definição 2.3: Seja L K uma extensão de corpos, em particular L é um K-espaço vetorial. A dimensão de L como K-espaço vetorial é chamada de grau da extensão, que denotaremos por [L : K]. Se [L : K] <, então dizemos que a extensão é finita, caso contrário dizemos que L K é uma extensão infinita. Definição 2.4: Seja L um corpo. Todo isomorfismo ϕ de L em L é chamado automorfismo de L. Denotamos por AutL o conjunto de todos os automorfismos de L. Se K é um subcorpo de L e ϕ é um automorfismo de L tal que ϕ(α) = α, para todo α K, dizemos que ϕ fixa K e o conjunto de todos os automorfismos de L que fixam K é chamado Aut K L. É fácil provar que Aut K L é um grupo. Proposição 2.1: Sejam K um corpo, f(x) K[x] e α C uma raiz de f(x). Então: a) α é uma raiz de multiplicidade 1 ou raiz simples se, e somente se, f (α) 0 e f(α) = 0. b) Se f(x) é irredutível então todas as raízes de f(x) são simples. Demonstração. Ver referência [4, Capítulo V, Proposição 2]. Teorema 2.1: (Teorema do elemento primitivo) Seja L K uma extensão de corpos tal que [L : K] <. Então, existe α L tal que L = K[α]. Demonstração. Ver referência [4, Capítulo V, Teorema 3]. Corolário 2.1: Seja L K uma extensão de corpos tal que [L : K] <. Então [L : K] Aut K L, com Aut K L denotando o número de elementos de Aut K L = {σ AutL : σ(λ) = λ, λ K}. Demonstração. Ver referência [4, Capítulo V, Corolário 1]. 26 ARTIGO DE INICIAÇÃO CIENTÍFICA
3 REVISTA ELETRÔNICA MATEMÁTICA E ESTATÍSTICA EM FOCO 3 TEORIA DE GALOIS ELEMENTAR 3.1 EXTENSÕES GALOISIANAS E NORMAIS Definição 3.1: Sejam L K uma extensão de corpos e α L. Dizemos que α é algébrico sobre K se existe f(x) K[x] tal que f(α) = 0. A extensão L K é algébrica se todo elemento de L é algébrico sobre K. Proposição 3.1: Sejam L K uma extensão de corpos e α L algébrico sobre K e seja f(x) K[x], mônico, de menor grau tal que f(α) = 0. O polinômio f(x) é o único polinômio mônico irredutível em K[x] tal que f(α) = 0, o qual denotaremos por f(x) = irr(α, K). Demonstração. Suponha que f(x) não é irredutível. Então existem polinômios g(x), h(x) K[x] não constantes, tais que f(x) = g(x)h(x). Como α é raiz de f(x), então g(α)h(α) = 0. Isto é, α é raiz de g(x) ou de h(x). Mas isto não é possível pela minimalidade de f(x). Logo f(x) é irredutível. É fácil ver que se α é raiz de algum polinômio, este será múltiplo de f(x), pela divisão euclidiana e a minimalidade do grau de f(x). Assim, f(x) é o único polinômio mônico irredutível em K[x] tal que f(α) = 0. Definição 3.2: Seja L uma extensão de K. Se existe f(x) K[x] tal que L = Gal(f,K), dizemos que L K é uma extensão galoisiana. Definição 3.3: Seja L K uma extensão algébrica. Dizemos que L K é normal se para todo f(x) K[x], irredutível sobre K tal que possui uma raiz α L, então f(x) possui todas as suas raízes em L. Observação 3.1: Mostraremos no Corolário 3.2 que se uma extensão L K é finita, então ser extensão galoisiana é equivalente a ser extensão normal. Exemplo 1: As raízes do polinômio x 3 2 são 3 2, ξ 3 2, ξ 2 3 2; onde ξ é raiz de x 2 +x+1 (observe que ξ 3 = 1). Assim Q[ξ, 3 2] = Gal(x 3 2, Q), isto é Q[ξ, 3 2] Q é uma extensão galoisiana, e pelo Corolário 3.2, também uma extensão normal. Definição 3.4: Sejam K, K corpos e σ : K K um isomorfismo de K sobre K. Se f(x) K[x], com f(x) = a 0 +a 1 x+ +a n x n, então definimos onde a i = σ(a i) para i = 1,2,...,n. f σ (x) = a 0 +a 1x+ +a nx n K [x], Proposição 3.2: Sejam K, K corpos, σ : K K um isomorfismo de corpos e h(x) K[x] um polinômio irredutível sobre K. Se α é uma raiz de h(x) em C e β é raiz de h σ (x) em C, então existe um único isomorfismo σ : K[α] K [β] tal que a função σ(α) = β e σ K = σ. Demonstração. Sejam α uma raiz qualquer de h(x) K[x] e β uma raiz de h σ (x) K [x]. Como h(x) é irredutível em K[x], então h σ (x) é irredutível em K [x]. Sabemos que K[α] e K [β] são corpos de grau grau(h(x)) = grau(h σ (x)) = r sobre K, segue que: 1) K[α] = {a 0 + a 1 α + + a r 1 α r 1 : a i K} e {1,α,α 2,...,α r 1 } é uma base do espaço vetorial K[α] sobre o corpo K. 2) K [β] = {a 0 + a 1 β + +a r 1 βr 1 : a i K } e {1,β,β 2,...,β r 1 } é uma base do espaço vetorial K [β] sobre o corpo K. A. C. DE OLIVEIRA - V. G. L. NEUMANN 27
4 VOLUME 2 - NÚMERO 1 MARÇO DE 2014 PÁGINAS: 25 A 42 Verifiquemos que σ : K[α] K [β] definido por σ(a 0 +a 1 α+ +a r 1 α r 1 ) = σ(a 0 )+σ(a 1 )β + +σ(a r 1 )β r 1 é um isomorfismo de corpos, tal que σ(α) = β e σ K = σ. Devemos provar então que: a) σ é um homomorfismo; Perceba que para f(x) = a 0 +a 1 x+ +a n 1 x n 1 K[x]. Temos que σ(f(α)) = σ(a 0 +a 1 α+ +a n 1 α n 1 ) = σ(a 0 )+σ(a 1 )β + +σ(a n 1 )β n 1 = f σ (β). Sejam f(x) = a 0 + a 1 x + + a n 1 x n 1 e g(x) = b 0 + b 1 x + + b n 1 x n 1 e seja t(x) = f(x)+g(x). Daí, σ(f(α)+g(α)) = σ(t(α)) = t σ (β). Por outro lado, ou seja, t σ (x) = f σ (x)+g σ (x) t σ (β) = f σ (β)+g σ (β) = σ(f(α))+ σ(g(α)). Devemos também mostrar que σ(f(α)g(α)) = σ(f(α)) σ(g(α)) = f σ (β)g σ (β). De fato, sabemos que f(x)g(x) = q(x)h(x) + R(x), grau(r(x)) < r (1) Daí, f(α)g(α) = R(α), pois h(α) = 0, assim σ(f(α)g(α)) = σ(r(α)) = R σ (β). Por outro lado, aplicando σ na equação (1) obtemos: f σ (x)g σ (x) = q σ (x)h σ (x)+r σ (x) Daí, f σ (β)g σ (β) = R σ (β), pois h σ (β) = 0. Logo, σ(f(α)g(α)) = f σ (β)g σ (β). Portanto, σ é um homomorfismo. b) σ é injetor; Como K[α] é um corpo e σ 0, segue que Ker{ σ} = {0}, logo σ é injetor. c) σ é sobrejetor; De fato, seja b 0 +b 1 β + +b r 1 β r 1 K [β]. Como σ é um isomorfismo então existem a 0,a 1,...,a r 1 K tais que σ(a j ) = b j, j = 0,...,r 1. Então, σ(a 0 +a 1 α+ +a r 1 α r 1 ) = σ(a 0 )+σ(a 1 )σ(α)+ +σ(a r 1 )σ(α r 1 ) = σ(a 0 )+σ(a 1 )β + +σ(a r 1 )β r 1 = b 0 +b 1 β + +b r 1 β r 1. Logo σ é sobrejetor. Assim, σ é um isomorfismo. d) σ(α) = β e σ K = σ. Como α K[α], então α = 0+1α. Assim, σ(α) = σ(0)+σ(1)β = β, logo σ(α) = β. E ainda, σ(a 0 ) = σ(a 0 ), logo σ K = σ. 28 ARTIGO DE INICIAÇÃO CIENTÍFICA
5 REVISTA ELETRÔNICA MATEMÁTICA E ESTATÍSTICA EM FOCO Agora mostremos a unicidade: Seja ϕ : K[α] K [β] tal que ϕ(α) = β e ϕ K = σ. Então: ϕ(a 0 +a 1 α+ +a r 1 α r 1 ) = ϕ(a 0 )+ϕ(a 1 )ϕ(α)+ +ϕ(a r 1 )ϕ(α r 1 ) = a 0 +a 1 β + +a r 1 βr 1 = σ(a 0 +a 1 α+ +a r 1 α r 1 ). Proposição 3.3: Sejam L K uma extensão, σ Aut K L e α L, então σ(α) é raiz de irr(α,k). Demonstração. Seja f(x) = irr(α,k) = x n +b n 1 x n 1 + +b 0. Então f(α) = 0. Sabemos que σ K = id. Aplicando σ em f(α), temos: 0 = σ(f(α)) = σ(α) n +b n 1 σ(α) n 1 + +b 0 = f(σ(α)). Logo σ(α) é também uma raiz de f(x). Proposição 3.4: Sejam K,K corpos e σ : K K um isomorfismo e α C uma raiz qualquer em f(x) K[x]. Então existe β raiz de f σ (x) em C e existe um isomorfismo σ 1 : K[α] K [β] tal que σ 1 (α) = β e σ 1 K = σ. Demonstração. Seja f(x) = f 1 (x) m 1 f 2 (x) m2 f k (x) m k, onde f 1 (x),...,f k (x) são os distintos fatores irredutíveis de f(x) em K[x]. Assim, f σ (x) = f1 σ(x)m 1 f2 σ(x)m2 fk σ(x)m k, onde f1 σ(x),...,fσ k (x) são os distintos fatores irredutíveis de f σ (x) em K [x]. Se α é raiz de f(x) podemos assumir que α é raiz de f 1 (x), irredutível sobre K. Assim, se β é qualquer raiz do polinômio f1 σ(x), irredutível sobre K, considerando h(x) = f 1 (x), segue da Proposição 3.2 que existe um isomorfismo σ 1 : K[α] K [β] tal que σ 1 (α) = β e σ 1 K = σ. Teorema 3.1: Sejam K,K corpos e σ : K K um isomorfismo, f(x) K[x] e α 1,α 2,...,α r as distintas raízes de f(x) em C. Se L = Gal(f,K) e L = Gal(f σ,k ) então existe σ : L L um isomorfismo tal que σ K = σ e σ(α 1 ), σ(α 2 ),..., σ(α r ) são as raízes distintas de f σ (x) em C. Demonstração. Se f(x) K[x] possui uma única raiz α 1, então temos f(x) = (x α 1 ) m em C[x], mas isto implica que α 1 K (ver o coeficiente de x m 1 em f(x)) e portanto σ(α 1 ) K é a única raiz de f σ (x) em C e teremos L = K, L = K e σ = σ : L L. Agora se f(x) = f 1 (x) m1 f k (x) m k onde f i (x) K[x] são os distintos polinômios irredutíveis sobre K temos que f σ (x) = f σ 1 (x)m1 f σ k (x)m k onde f σ i (x) K [x] são os distintos polinômios irredutíveis sobre K. Sabemos que o número r de raízes distintas de f(x) em C é igual à soma dos graus dos polinômios f 1 (x),...,f k (x) e portanto temos como consequência que o número de raízes distintas de f σ (x) em C é também igual a r. Sejam β 1,β 2,...,β r as distintas raízes em C do polinômio f σ (x) K [x], e sejam K 1 = K[α 1 ], K 2 = K 1 [α 2 ],...,K r = K r 1 [α r ] e portanto L = K[α 1,...,α r ] = K r. Pela Proposição 3.4, existe β {β 1,...,β r } e existe um isomorfismo σ 1 : K[α 1 ] K [β] tal que σ 1 (α 1 ) = β e σ 1 K = σ. Notemos β 1 = β, K 1 = K[α 1 ] e K 1 = K [β 1 ]. Como f(x) K[x] e σ 1 K = σ, segue imediatamente que f(x) K 1 [x] e f σ 1 (x) K 1 [x]. Novamente pela Proposição 3.4, para os corpos K 1,K 1 e σ 1 : K 1 K 1 existe β {β 2,...,β k } (que chamaremos de β 2 ) e existe um isomorfismo σ 2 : K 1 [α 2 ] K 1 [β 2] tal que σ 2 (α 2 ) = β 2 e σ 2 K1 = σ 1 : K 1 K 1. Observe que σ 2 é um isomorfismo e α 1 α 2 implica que β 1 = σ 2 (α 1 ) σ 2 (α 2 ) = β 2. A. C. DE OLIVEIRA - V. G. L. NEUMANN 29
6 VOLUME 2 - NÚMERO 1 MARÇO DE 2014 PÁGINAS: 25 A 42 Como σ 1 K = σ segue que σ 2 K = σ e σ 2 (α 1 ) = β 1,σ 2 (α 2 ) = β 2 e σ 2 : K[α 1,α 2 ] K [β 1,β 2 ] é um isomorfismo. Supondo que existeσ k 1 : K[α 1,...,α k 1 ] K [β 1,...,β k 1 ] isomorfismo tal queσ k 1 (α i ) = β i, i = 1,2,...,k 1 e σ k 1 K = σ temos que f(x) K k 1 [x] e f σ k 1(x) = f σ (x). Aplicando a Proposição 3.4 para os corposk k 1 = K[α 1,...,α k 1 ] ek k 1 = K [β 1,...,β k 1 ] com σ k 1 : K k 1 K k 1 temos que existe β (que denotaremos por β k) raiz de f σ e um isomorfismo σ k : K k 1 [α k ] K k 1 [β k] tal que σ k Kk 1 = σ k 1 e σ k (α k ) = β k. Daí, segue que existe σ k : K[α 1,...,α k ] K [β 1,...,β k ] isomorfismo tal que σ i (α i ) = β i, para todo i {1,2,...,k} e σ k K = σ. Como L = K r = K[α 1,...,α r ] o teorema segue imediatamente. Corolário 3.1: Seja L K uma extensão galoisiana e sejam M,M subcorpos de L contendo K. Se σ : M M é um isomorfismo tal que σ(a) = a para todo a K então existe σ Aut K L tal que σ M = σ. Demonstração. Segue imediatamente do Teorema 3.1. Corolário 3.2: Seja L K uma extensão finita. Então esta extensão é galoisiana se, e somente se, esta extensão for normal. Demonstração. ( ) Suponha que L K é normal. Como L K é finita, então pelo Teorema 2.1 existe u L tal que L = K[u]. Como L K é normal segue que, se u é raiz de h(x) = irr(u,k), então todas as raízes de h(x) estão em L, o que implica que L = Gal(h,K), ou seja, L K é galoisiana. ( ) Suponhamos que L K é galoisiana com L = Gal(f,K), seja g(x) K[x] um polinômio irredutível tal que existe α L, g(α) = 0. Mostremos que para todo β C, se g(β) = 0 então β L. Seja β α uma raiz de g(x) em C. Sabemos pela Proposição 3.2 que existe um isomorfismo σ : K[α] K[β] tal que σ(α) = β e σ(a) = a, para todo a K. Sejam M = K[α],M = K[β], L = Gal(f,M ) e sejam γ 1,...,γ n raízes de f. Então, L = K[γ 1,...,γ n ] K[β][γ 1,...,γ n ] = M [γ 1,...,γ n ] = L. Logo L L e pelo Teorema 3.1 existe um isomorfismo σ: L L que extende σ: M M. Como L L, então L = L. L σ L σ M = K[α] K[β] = M K Corolário 3.3: Se L K é uma extensão galoisiana então: a) [L : K] = Aut K L. b) Seja α L, se α K então existe σ Aut K L tal que σ(α) α. Demonstração. a) Como L K é galoisiana, então L é gerado, sobre K, por um número finito de elementos algébricos sobre K, logo L K é uma extensão finita. Pelo Teorema 2.1, existe α L tal que L = K[α]. Seja h(x) = irr(α,k), para cada raiz β de h(x), temos que β L, pois L K é extensão normal. Como [K[β] : K] = grau(h(x)), então L = K[β]. Pela Proposição 3.2, existem tantos automorfismos de L, quantas raízes do polinômio 30 ARTIGO DE INICIAÇÃO CIENTÍFICA
7 REVISTA ELETRÔNICA MATEMÁTICA E ESTATÍSTICA EM FOCO h(x) (com K = K e σ = id). Assim, [L : K] = grau(h(x)) Aut K L e pelo Corolário 2.1, temos [L : K] = Aut K L. b) Seja α L,α K. Se g(x) = irr(α,k) segue que grau(g(x)) = r 2. Pela Proposição 3.3, existe β α tal que g(β) = 0. Pelo Corolário 3.2, β L, pois L é normal. Agora pela Proposição 3.2, existe um isomorfismo σ : K[α] K[β] tal que σ(a) = a, para todo a K e σ(α) = β α. Pelo Corolário 3.1, existe σ Aut K L, σ K[α] = σ finalizando assim a demonstração. Teorema 3.2: Se K M L são extensões finitas e L K é galoisiana, então as seguintes afirmações são equivalentes: a) M K é galoisiana. b) σ(m) M, para todo σ Aut K L. c) Aut M L Aut K L, onde H G indica que H é subgrupo normal de G. Demonstração. (a) (b) Seja u L tal que M = K[u]. Se M K é galoisiana segue do Corolário 3.2 que M K é normal. Se h(x) = irr(u,k) e σ Aut K L, sabemos que v = σ(u) é também raiz de h(x) e como M K é normal temos v = σ(u) M, ou seja, σ(k[u]) K[u] = M. (b) (a) Seja u L tal que M = K[u] e seja h(x) = irr(u,k). Vamos mostrar que se σ(m) M para todo σ Aut K L, então M = Gal(h,K). Sejam v uma raiz de h(x) e M = K[v]. Pela Proposição 3.2, existe um isomorfismo σ 0 : M M tal que σ 0 (u) = v e σ 0 (a) = a, para todo a K. Assim pelo Teorema 3.1, existe σ Aut K L tal que σ M = σ 0. Como σ(m) M e u M temos v = σ(u) M. (b) (c) Sejam σ Aut K L e γ Aut M L. Vamos mostrar que se σ(m) M, então σ 1 γ σ Aut M L. Seja m M, então m = σ(m) M e γ(m ) = m, logo (σ 1 γ σ)(m) = σ 1 (γ(m )) = σ 1 (m ) = m, isto é σ 1 γ σ Aut M L. (c) (b) Suponha por absurdo que existe σ Aut K L e u M tal que σ(u) = v M. Como L K é galoisiana, existe f tal que L = Gal(f,K) Gal(f,M) L, logo L M é galoisiana. Temos pelo Corolário 3.3 item (b) que existe γ Aut M L tal que γ(v) v. Assim (σ 1 γ σ)(u) = σ 1 (γ(v)) σ 1 (v) = u ou seja (σ 1 γ σ) Aut M L, o que contraria a hipótese Aut M L Aut K L. Teorema 3.3: Seja L K uma extensão finita. Então as seguintes afirmações são equivalentes: a) L K é galoisiana. b) L K é normal. c) Para todo α L K existe σ Aut K L tal que σ(α) α. d) [L : K] = Aut K L. Demonstração. (a) (b) Segue do Corolário 3.2. A. C. DE OLIVEIRA - V. G. L. NEUMANN 31
8 VOLUME 2 - NÚMERO 1 MARÇO DE 2014 PÁGINAS: 25 A 42 (a) (c) Segue do Corolário 3.3. (c) (d) Pelo Corolário 2.1, temos [L : K] Aut K L. Suponha por absurdo que [L : K] > Aut K L. Seja Aut K L = {ϕ 1,ϕ 2,...,ϕ n } onde ϕ 1 = id L é o automorfismo identidade de L. Se [L : K] > n então, existem u 1,u 2,...,u n,u n+1 L linearmente independentes sobre o corpo K. Considere agora o sistema linear homogêneo com n equações e (n + 1) incógnitas x 1,x 2,...,x n+1 L: ϕ 1 (u 1 )x 1 +ϕ 1 (u 2 )x 2 + +ϕ 1 (u n+1 )x n+1 = 0 ϕ 2 (u 1 )x 1 +ϕ 2 (u 2 )x 2 + +ϕ 2 (u n+1 )x n+1 = 0. ϕ n (u 1 )x 1 +ϕ n (u 2 )x 2 + +ϕ n (u n+1 )x n+1 = 0 Como o número de equações de (2) é menor que o número de incógnitas então (2) admite solução não trivial. Seja agora (x 1,x 2,...,x n+1 ) = (a 1,a 2,...,a n+1 ) uma solução não trivial de (2) com o maior número de incógnitas iguais a zero. Reordenando se necessário, denotaremos por a 1,a 2,...,a r os a is não nulos dessa solução. Multiplicando por a 1 1 se necessário, podemos assumir que a 1 = 1. Assim 1,a 2,...,a r não nulos são tais que (1,a 2,...,a r,0,...,0) é uma solução de (2) com um número máximo de zeros. Então temos ϕ i (u 1 ) + ϕ i (u 2 )a ϕ i (u r )a r = 0 para todo i {1,2,...,n}. Como ϕ 1 = id L e u 1,u 2,...,u r,...,u n são linearmente independentes sobre K então segue que existe a i L tal que a i K. Seja a r K. Assim por (c) existe σ Aut K L tal que σ(a r ) a r. Daí segue que (σ ϕ i )(u 1 ) + (σ ϕ i )(u 2 )σ(a 2 ) + + (σ ϕ i )(u r )σ(a r ) = 0 para todo i {1,2,...,n}. Como Aut K L é um grupo e σ Aut K L segue que : Aut K L = {ϕ 1,ϕ 2,...,ϕ n } = {σϕ 1,σϕ 2,...,σϕ n }. Portanto σϕ i = ϕ k para algum k e temos por outro lado Daí segue que: ϕ k (u 1 )+ϕ k (u 2 )σ(a 2 )+ +ϕ k (u r )σ(a r ) = 0, k {1,2,...,n} ϕ k (u 1 )+ϕ k (u 2 )a 2 + +ϕ k (u r )a r = 0, k {1,2,...,n}. ϕ k (u 2 )(σ(a 2 ) a 2 )+ +ϕ k (u r )(σ(a r ) a r ) = 0, k {1,2,...,n}. Como σ(a r ) a r 0 temos uma solução (0,σ(a 2 ) a 2,...,σ(a r ) a r,...) que contradiz a maximalidade de zeros da solução (1,a 2,...,a r,0,...,0). (d) (a) Suponhamos L K extensão finita e [L : K] = Aut K L. Vamos provar que L K é galoisiana. Sejam L = K[u] e h(x) definido por h(x) = irr(u,k) então para todo σ Aut K L tem-se σ(u) é raiz de h(x) e por outro lado para cada raiz β L de h(x), existe um único σ Aut K L tal que σ(u) = β. Logo, Aut K L = n, com n o número de raízes de h(x) em L. Agora se [L : K] = Aut K L então grau(h(x)) = [L : K] = Aut K L = n. Daí segue que L contém todas as raízes de h(x), ou seja, L = Gal(h,K). 32 ARTIGO DE INICIAÇÃO CIENTÍFICA (2)
9 REVISTA ELETRÔNICA MATEMÁTICA E ESTATÍSTICA EM FOCO Proposição 3.5: Seja L K uma extensão galoisiana e seja f(x) K[x] o polinômio de grau n, tal que L = Gal(f,K). Então G = Aut K L é isomorfo a um subgrupo de S n (grupo de permutações de n elementos). Demonstração. Seja B = {u 1,u 2,...,u n } o conjunto de todas as raízes de f(x). Como L = Gal(f, K), temos B L = K[B]. Sabemos, pela Proposição 3.3, que todo automorfismo σ G = Aut K L envia uma raiz de f(x) em outra raiz de f(x). Assim, como B é finito e σ injetivo, segue que σ 0 = σ B : B B define uma permutação do conjunto B. Se S B denota o grupo das permutações do conjunto B então basta mostrar que Aut K L é isomorfo a um subgrupo de S B, pois S B = Sn. Define-se ψ da seguinte forma: ψ : G S B σ σ 0 = σ B A função ψ é um homomorfismo de grupos, pois ψ(σ τ) = (σ τ) B = σ B τ B. Obviamente ψ é injetiva, pois se todas as raízes de f(x) são fixadas por σ G, então σ = id L. Isto é, G = ψ(g) é subgrupo de S B = Sn. Proposição 3.6: Sejam K um corpo, a K e L = Gal(x n a,k). Suponha que K contém uma raiz ζ primitiva n-ésima da unidade, então G = Aut K L é um grupo abeliano. Demonstração. Seja α = n a C e ζ uma raiz primitiva n-ésima da unidade tal que ζ K, então α,αζ,αζ 2,...,αζ n 1 são as n raízes distintas de x n a em C. Sabemos que L = K[ζ,α] = K[α], pois ζ K. Assim pela Proposição 3.3, se σ,τ Aut K L, então σ(α) = αζ i para algum i, e τ(α) = αζ j, para algum j. Daí, segue que : (σ τ)(α) = σ(αζ j ) = σ(α)ζ j = αζ i+j, (τ σ)(α) = τ(αζ i ) = τ(α)ζ i = αζ j+i. Assim σ τ(α) = τ σ(α), para todo σ,τ Aut K L. Como L = K[α], então σ τ = τ σ, para todo σ,τ Aut K L. 3.2 CORRESPONDÊNCIA DE GALOIS A partir desta seção denotaremos G = Aut K L o grupo de automorfismos de L que fixam K. Este grupo G é chamado de Grupo de Galois da extensão L K. Definição 3.5: Seja L K uma extensão finita. Dizemos que M é um corpo intermediário de L K se M é um subcorpo de L contendo K, ou seja, K M L. Proposição 3.7: Seja H subgrupo de G = Aut K L, então o conjunto M = {a L : γ(a) = a, γ H} formado pelos elementos de L fixados pelos elementos de H é um corpo intermediário de L K. Notaremos M = L H. Demonstração. De fato, 0,1 K L H. A. C. DE OLIVEIRA - V. G. L. NEUMANN 33
10 VOLUME 2 - NÚMERO 1 MARÇO DE 2014 PÁGINAS: 25 A 42 Se x,y L H, para todo γ H temos γ(x y) = γ(x) γ(y) = x y, então x y L H. Se x,y L H, para todo γ H temos γ(xy 1 ) = γ(x).γ(y 1 ) = γ(x).γ(y) 1 = xy 1 então xy 1 L H. Isto é, L H é um corpo intermediário da extensão L K. Esse corpo L H é chamado de corpo fixo de H. Assim temos uma correspondência entre subgrupos de Aut K L e os corpos intermediários da extensão L K da seguinte forma: Dado um subgrupo H de G = Aut K L obtemos um corpo intermediário L H da extensão L K. Por outro lado, dado M um corpo, com K M L, obtemos o grupo Aut M L. Temos uma inclusão natural Aut M L Aut K L, pois se um automorfismo de L fixa M então ele fixará também K M. Temos as seguintes propriedades imediatas: 1. G = Aut K L. 2. Aut L L = {id L }. 3. L {id L} = {a L : id L (a) = a} = L. 4. K L G = {a L : γ(a) = a, γ G}. 5. Pelo Teorema 3.3 item (c), temos: L G = K L K é uma extensão galoisiana. Proposição 3.8: De acordo com as notações acima, temos: a) Se M 1, M 2 são corpos tais que K M 1 M 2 L então Aut M2 L Aut M1 L. b) Se H 1 H 2 são subgrupos de Aut K L então L H 2 L H 1. c) Para todo corpo intermediário M com K M L, tem-se M L Aut ML. d) Para todo subgrupo H de Aut K L, tem-se H Aut (L H )L. Demonstração. a) Considere os corpos K M 1 M 2 L. Seja γ Aut M2 L. Como M 1 M 2, então γ fixa M 1 e daí γ Aut M1 L. b) Sejam os grupos H 1 H 2 G, γ H 1 e a L H 2. Como γ H 1 H 2, então γ(a) = a. Logo a L H 1. c) Seja M um corpo intermediário da extensão L K. Por definição os elementos de Aut M L fixam M, logo M L Aut ML. d) Seja H um subgrupo de G. Então um elemento γ H G é um automorfismo de L que fixa L H, logo H Aut (L H )L. Considerando os corpos K M 1 M 2 L e os grupos {id L } H 1 H 2 G = Aut K L, temos as correspondências abaixo: 34 ARTIGO DE INICIAÇÃO CIENTÍFICA
11 REVISTA ELETRÔNICA MATEMÁTICA E ESTATÍSTICA EM FOCO e K M 1 M 2 L Aut K L Aut M1 L Aut M2 L {id L } G H 1 H 2 {id L } K L G L H 1 L H 2 L Agora vamos demonstrar o Teorema Fundamental de Galois: Teorema 3.4: (Teorema Fundamental de Galois) Se L K é uma extensão galoisiana, então: a) Para todo corpo intermediário M, com K M L, tem-se [L : M] = Aut M L e [M : K] = (G : Aut M L) (o índice de Aut M L em G). b) Para todo subgrupo H de G, tem-se [L : L H ] = H e [L H : K] = (G : H) (o índice de H em G). c) Aut L HL = H e L Aut ML = M. d) Para todo corpo intermediário M, com K M L temos que a extensão M K é galoisiana se, e somente se Aut M L é subgrupo normal de G. e) Para todo corpo intermediário M, com K M L, se M K é galoisiana então [M : K] = Aut K M e G/Aut M L = Aut K M. Demonstração. a) Seja M um corpo intermediário da extensão L K. Como L K é galoisiana, então L M também é galoisiana. Pelo Teorema 3.3, segue que: [L : M] = Aut M L e como [L : K] = Aut K L = [L : M][M : K], temos [M : K] = G / Aut M L = (G : Aut M L). b) Seja H subgrupo de G e M = L H. Sabemos pelo item (a) que : [L : M] = Aut M L e [M : K] = (G : Aut M L) Por outro lado, pela Proposição 3.8 item (d), tem-se : H Aut M L, então [L : M] = Aut M L H. Utilizaremos um argumento semelhante ao usado na demonstração do Teorema 3.3. Suponha H = {γ 1 = Id M,γ 2,...,γ n } e por absurdo suponha Aut M L > H. Logo [L : M] > n. Assim, existem (n+1) vetores u 1,u 2,...,u n,u n+1 L linearmente independentes sobre o corpo M. Considere agora o sistema linear homogêneo com n equações e (n + 1) incógnitas a 1,a 2,...,a n+1 L: γ 1 (u 1 )a 1 +γ 1 (u 2 )a 2 + +γ 1 (u n+1 )a n+1 = 0 γ 2 (u 1 )a 1 +γ 2 (u 2 )a 2 + +γ 2 (u n+1 )a n+1 = 0. γ n (u 1 )a 1 +γ n (u 2 )a 2 + +γ n (u n+1 )a n+1 = 0 Então existe uma solução não nula (a 1,a 2,...,a n+1 ) L n+1. Tomemos uma solução não trivial de (3) com o maior número de zeros possível nas coordenadas(a 1,a 2,...,a n+1 ), assim denotaremos por a 1,a 2,...,a r os a i s não nulos dessa solução, isto é, reorganizando podemos supor a 1 0,a 2 0,...,a r 0,a r+1 = 0,...,a n+1 = 0. A. C. DE OLIVEIRA - V. G. L. NEUMANN 35 (3)
12 VOLUME 2 - NÚMERO 1 MARÇO DE 2014 PÁGINAS: 25 A 42 Multiplicando o sistema por a 1 1 se necessário, podemos assumir a 1 = 1. Temos que a solução (1,a 2,...,a r,0,...,0) L n+1, com 1,a 2,...,a r não nulos, é uma solução de (3) com um número máximo de zeros. A primeira equação é : u 1 +u 2 a 2 + +u r a r = 0, pois γ 1 = id. Como {u 1,u 2,...,u r } é LI sobre M, então nem todos os a j são elementos de M. Logo reorganizando novamente os valores, podemos supor a 2 M = L H. Assim, existe γ H tal que γ(a 2 ) a 2. Aplicando γ ao sistema (3) temos: γ(γ 1 (u 1 ))+γ(γ 1 (u 2 )a 2 )+ +γ(γ 1 (u r )a r ) = 0 γ(γ 2 (u 1 ))+γ(γ 2 (u 2 )a 2 )+ +γ(γ 2 (u r )a r ) = 0. γ(γ n (u 1 ))+γ(γ n (u 2 )a 2 )+ +γ(γ n (u r )a r ) = 0 Mas como γ H e H = {γ 1,...,γ n } então {γγ 1,...,γγ n } = H, ou seja, o sistema (4) é uma permutação de (3): (4) γ 1 (u 1 )+γ 1 (u 2 )γ(a 2 )+ +γ 1 (u r )γ(a r ) = 0 γ 2 (u 1 )+γ 2 (u 2 )γ(a 2 )+ +γ 2 (u r )γ(a r ) = 0. γ n (u 1 )+γ n (u 2 )γ(a 2 )+ +γ n (u r )γ(a r ) = 0 (5) Subtraindo o sistema (3) de (5), temos: Como a 2 γ(a 2 ) = a 2 γ(a 2 ) 0 e 0+γ 1 (u 2 )(a 2 γ(a 2 ))+ +γ 1 (u r )(a r γ(a r )) = 0 0+γ 2 (u 2 )(a 2 γ(a 2 ))+ +γ 2 (u r )(a r γ(a r )) = 0. 0+γ n (u 2 )(a 2 γ(a 2 ))+ +γ n (u r )(a r γ(a r )) = 0 (0,(a 2 γ(a 2 )),(a 3 γ(a 3 )),,(a r γ(a 3 )),0,,0) é uma solução de (3) com no máximo r 1 coeficientes não nulos. Logo, temos uma contradição com a minimalidade de r de coeficientes não nulos. Portanto Aut M L = H, ou seja, H = Aut M L e obtemos o que queríamos. c) Pelo item (b), já temos que H = Aut M L = Aut L HL. Resta provar que L Aut ML = M. Seja M um corpo intermediário da extensão L K. Notemos H = Aut M L. Como H fixa M, então M L H L, ou seja, [L : M] = [L : L H ][L H : M]. Pelo item (b), [L : L H ] = H e pelo item (a), [L : M] = H. Logo, [L H : M] = 1, isto é L H = M. d) Segue imediatamente do Teorema 3.2, M K galoisiana se, e somente se, Aut M L Aut K L = G. e) Sabemos do item (a) que (G : Aut M L) = [M : K], resta provar que para todo corpo intermediário M da extensão L K, tal que L M seja galoisiana, temos que: G/Aut M L = Aut K M. De fato, como M K é galoisiana, pelo Teorema 3.2, temos que para todo σ G = Aut K L tem-se σ 0 = σ M Aut K M portanto, podemos definir: 36 ARTIGO DE INICIAÇÃO CIENTÍFICA
13 REVISTA ELETRÔNICA MATEMÁTICA E ESTATÍSTICA EM FOCO Φ : G Aut K M σ σ 0 = σ M. Vemos que Φ é homomorfismo de grupos. De fato, sejam σ,τ G, então φ(σ τ) = (σ τ) M = σ M τ M = φ(σ) φ(τ). Observe também que: σ Ker(Φ) Φ(σ) = id M σ M = id M σ Aut M L. Por outro lado, como L M é uma extensão galoisiana, então pelo Teorema 3.1, para todo σ 0 Aut K M, existe σ Aut K L, tal que σ M = σ 0, logo φ é sobrejetor. Pelo Teorema de homomorfismo (ver [2, Teorema 3, p.125]), temos: G/Aut M L = Aut K M. O seguinte diagrama ilustra a correspondência de Galois: L id = L {id L } = Aut L L L H = M H = Aut M L L G = K G = Aut K L 4 SOLUBILIDADE POR MEIO DE RADICAIS Definição 4.1: Dizemos que uma extensão finita L K é uma extensão radical sobre o corpo K se existem α 1,α 2,...,α n L, tais que: a) K = K 0 K 0 [α 1 ] = K 1 K 1 [α 2 ] = K 2 K i 1 [α i ] = K i K n = L. b) Para todo i {1,2,...,n} existe n i N tal que α n i i K i 1. Exemplo 2: Observe que L = Q[ 2, 3 3 2] Q é uma extensão radical sobre Q, pois Q Q[ 2] Q[ 2][ 3 3 2] = L e ( 2) 2 Q, ( 3 3 2) 3 Q[ 2]. Definição 4.2: Seja f(x) K[x] e L = Gal(f, K). Dizemos que f(x) é um polinômio solúvel por meio de radicais sobre K se existe uma extensão radical M K tal que temos K L M. Observação 4.1: Se um polinômio é solúvel por meio de radicais sobre K, de acordo com esta definição vemos que as raízes de f(x) poderão realmente ser escritas como combinações algébricas de expressões radicais. Prossigamos agora com a definição de grupo solúvel que, na realidade, é o análogo de extensão radical através da correspondência de Galois. Definição 4.3: Um grupo G é dito solúvel se existem subgrupos G j, com j = 0,1,2,...,k tais que : {id} = G 0 G 1 G k 1 G k = G, onde cada G j é um subgrupo normal de G j+1 e G j+1 /G j é abeliano. Note que se G é um grupo simples (ou seja, se os únicos subgrupos normais de G são {id} e G) e G é solúvel, então também será abeliano, mais ainda, será cíclico de ordem primo. Proposição 4.1: Seja L K uma extensão radical sobre K. Então existe uma extensão K L M tal que M é radical e galoisiana sobre K. A. C. DE OLIVEIRA - V. G. L. NEUMANN 37
14 VOLUME 2 - NÚMERO 1 MARÇO DE 2014 PÁGINAS: 25 A 42 Demonstração. Como L K é uma extensão radical podemos escrever onde K = L 0 L 1 L r 1 L r = L L i = L i 1 [α i ] e α i é raiz de x n i a i L i 1 [x]. Seja n = n 1 n 2... n r e ζ uma raiz primitiva n-ésima da unidade. Substituindo, se necessário, L por L[ζ] e K por K[ζ] podemos assumir que K L e K contém as raízes n-ésimas da unidade. Desta forma os elementos da forma α 1 (ζ n/n 1 ) i, 0 i n 1 são todos raízes de x n 1 a 1 K[x], logo K = L 0 L 1 = L 0 [α 1 ] = Gal(x n 1 a 1,K). Considere agora L 2 = L 1 [α 2 ], onde α 2 é raiz de x n 2 a 2 L 1 [x]. Considere o polinômio g 2 (x) = (x n 1 a 1 ) (x n2 σ(a 2 )) L 1 [x]. σ Aut K L 1 Observe que todo σ Aut K L 1 permuta as raízes de (x n2 σ(a 2 )). Assim, pelo σ Aut K L 1 Teorema 3.3 item (c), temos que g 2 (x) K[x]. Definimos L 2 = Gal(g 2(x),K). Observe que K L 2 L 2, por definição L 2 K é uma extensão galoisiana e [ L 2 = L ] n 2 1 σ(a2 ); σ Aut K L 1, ou seja, L 2 é radical sobre L 1. Concluímos assim que L 2 K é uma extensão galoisiana e radical. Por indução suponha que L i = Gal(g i(x),k), onde K L i L i e L i K é uma extensão galoisiana e radical. Veja que L i+1 = L i [α i+1 ] L i [α i+1], onde α i+1 é raiz de x n i+1 a i+1 L i [x] L i [x]. Novamente pelo Teorema 3.3 item (c), temos que g i+1 (x) = g i (x) (x n i+1 σ(a i+1 )) K[x]. σ Aut K L i Definimos L i+1 = Gal(g i+1(x),k). Como g i (x) é um fator de g i+1 (x), então L i L i+1. Como α i+1 é raiz de um dos fatores de g i+1 (x), então L i+1 L i [α i+1] L i+1. Por definição, L i+1 K é uma extensão galoisiana e radical pois [ L i+1 = ] L n i+1 i σ(ai+1 ); σ Aut K L i. Por indução, na etapa i+1 = r, obtemos a extensão desejada M = L r. Teorema 4.1: (Correspondência de Galois) Sejam K um corpo, f(x) K[x] e L = Gal(f,K). Temos que f(x) é solúvel por meio de radicais sobre K se, e somente se, o grupo G = Aut K L é solúvel. Demonstração. (= ) Pela Proposição 4.1, existem K L M tal que M é radical e galoisiana sobre K. Assim, como L K é normal segue pelo Teorema 3.4, que: G = Aut K L = Aut K M/Aut L M Portanto será suficiente provarmos que Aut K M é solúvel. Seja n = n 1 n 2...n r tal que M = K[α 1,...,α r ] e α n i i K i 1, K i = K i 1 [α i ] como nas notações anteriores. Seja ζ uma raiz primitiva n-ésima da unidade, M = M[ζ] e K = K[ζ]. Para σ Aut K M, considere σ Aut K M satisfazendo σ M = σ e σ (ζ) = ζ. Claramente se σ τ temos σ τ e portanto a função abaixo 38 ARTIGO DE INICIAÇÃO CIENTÍFICA
15 REVISTA ELETRÔNICA MATEMÁTICA E ESTATÍSTICA EM FOCO Φ : Aut K M Aut K M σ σ define um homomorfismo injetivo. Daí segue que Aut K M = Φ(Aut K M) Aut K M e portanto Aut K M será solúvel se Aut K M for solúvel. Assim podemos assumir que K contém uma raiz primitiva n-ésima da unidade. Agora, se M = K[α 1,α 2,...,α r ] é uma extensão radical sobre K, n = n 1.n 2...n r, onde α n i i K i 1, e K contém uma raiz primitiva n-ésima da unidade, vamos provar por indução sobre r que Aut K M é um grupo solúvel. Se r = 1, então M = K[α 1 ], α n 1 1 = a 1 K e como K contém uma raiz primitiva n 1 -ésima da unidade, segue que M = Gal(x n 1 a 1,K) e Aut K M é um grupo abeliano, pela Proposição 3.6. Pela hipótese de indução Aut K1 M é solúvel, onde M = K 1 [α 2,α 3,...,α r ]. Como K 1 = Gal(x n 1 a 1,K) é normal sobre K, a função : ψ : Aut K M Aut K K 1 σ σ K1 = σ 1 define um homomorfismo de grupos cujo núcleo é Ker(ψ) = Aut K1 M. Assim, pelo Teorema de homomorfismos (ver [2, Teorema 3, p.125]), temos: Aut K M/Aut K1 M = ψ(aut K M) Aut K K 1. Como Aut K K 1 é abeliano e por indução Aut K1 M é solúvel então temos que Aut K M é solúvel e isto demonstra o teorema. ( =) Ver [1, Teorema 10.18]. 5 EXEMPLO Vamos aplicar essa teoria para encontrar a estrutura de subcorpos do corpo de decomposição do polinômio x 4 4x 3 4x 2 +8x 2, através da sua ligação com o grupo de Galois do mesmo. Observe que as raízes de x 4 4x 3 4x 2 +8x 2 são x 1,3 = 1+ 2± 3+ 2 e x 2,4 = 1 2± 3 2. Denotemos, α = 2, β = 3 α e γ = 3+α. Observe que, L = Gal(f, Q) = Q[β,γ]. Como primeira etapa calculamos o grau da extensão e obtemos o seguinte diagrama: 2 Q[β, γ] Q[β] Q[γ] Q[α] Q A. C. DE OLIVEIRA - V. G. L. NEUMANN 39 2
16 VOLUME 2 - NÚMERO 1 MARÇO DE 2014 PÁGINAS: 25 A 42 De fato, pelo Critério de Eisenstein (ver [3, Capítulo III, Teorema III.2.8]), para p = 2, sabemos que x 2 2 é irredutível em Q[x]. Logo, [Q[α] : Q] = 2, (ver [4, Capítulo V, Proposição 3]). Observando que β e γ são raízes de x 2 3+α e x 2 3 α, respectivamente, prova-se por absurdo que x 2 3+α e x 2 3 α são irredutíveis sobre Q[α]. Por exemplo, se x 2 3+α não for irredutível sobre Q[α], então possui uma raiz em Q[α] da forma a+bα, com a,b Q. Assim 0 = (a+bα) 2 3+α = (a 2 +2b 2 3)+(2ab+1)α. Logo a 2 +2b 2 3 = 0 e 2ab+1 = 0. Substituindo b = 1/2a na primeira igualdade, obtemos ( a ) 2 3 = 0 = 2a 4 6a 2 +1 = 0. 2a Como esta equação não possui raízes racionais, o polinômio x 2 3+α é irredutível sobre Q[α]. De forma similar, prova-se que x 2 3 α é irredutível sobre Q[α]. Assim, [Q[β] : Q[α]] = [Q[γ] : Q[α]] = 2. Resta provar que [Q[β,γ] : Q[β]] = 2. De fato, como γ é raíz de x 2 3 α, então [Q[β,γ] : Q[β]] 2. Suponha que [Q[β,γ] : Q[β]] = 1, neste caso γ Q[β] chegando a uma contradição com argumentos aritméticos novamente. Pelo Teorema Fundamental de Galois, Aut Q L = 8. Utilizando a Proposição 3.2 em cada degrau do diagrama 6, encontramos todos os automorfismos de L que fixam Q: σ Q[β, γ] Q[β, γ] (6) ψ Q[β] Q[β] ϕ Q[α] Q[α] Q id Q Obtemos assim todos os elementos do grupo de Galois G = Aut Q L. Analisando os elementos do grupo, chegamos à conclusão que Aut Q L = D 8, ou seja G = r,s r 4 = e,s 2 = e,rs = sr 3, onde r e s são os automorfismos definidos a seguir: r : α α β γ γ β s : α α β γ γ β A estrutura de subgrupos H i de D 8 é representada pelo seguinte diagrama: 40 ARTIGO DE INICIAÇÃO CIENTÍFICA
17 REVISTA ELETRÔNICA MATEMÁTICA E ESTATÍSTICA EM FOCO D 8 < s,r 2 s > < r > < rs,r 2 > < r 2 s > < s > < r 2 > < rs > < r 3 s > {e} Para cada subrupo H calculamos o subcorpo L H correspondente. Por exemplo: Seja x L. Temos que, L = 1,α,β,γ,αβ,αγ,βγ,αβγ, ou seja, um elemento de L é da forma x = a 0 +a 1 α+a 2 β +a 3 γ +a 4 αβ +a 5 αγ +a 6 βγ +a 7 αβγ. Assim, se x L <r2> então, x = r 2 (x), onde Logo, isto é, r 2 (x) = a 0 +a 1 α a 2 β a 3 γ a 4 αβ a 5 αγ +a 6 βγ +a 7 αβγ. 2a 2 β +2a 3 γ +2a 4 αβ +2a 5 αγ = 0, a 2 = a 3 = a 4 = a 5 = 0. Daí, x = a 0 +a 1 α+a 6 βγ +a 7 αβγ. Portanto, L <r2> = Q[α,βγ] e como βγ = 3 2 α 2 = 9 2 = 7, então L <r2> = Q[ 2, 7]. De forma similar achamos os outros corpos intermediários e pelo Teorema 3.4, obtemos a seguinte estrutura de corpos intermediários da extensão Q[β,γ] Q: Q[β, γ] Q[γ] Q[β] Q[α, 7] Q[β +γ] Q[α(β +γ)] Q[α] Q[ 14] Q[ 7] Q O que conclui este exemplo. Este método pode ser aplicado sempre que for possível calcular o grupo de Galois. 6 CONCLUSÃO Sabe-se que qualquer polinômio de grau menor ou igual a quatro é solúvel por meio de radicais. Neste trabalho demonstramos que um polinômio f(x) de grau n é solúvel por meio de radicais se seu grupo de Galois G, é solúvel. Mostramos também que o grupo G pode ser visto como subgrupo de S n, (grupo de permutações de n elementos). Sabe-se que para A. C. DE OLIVEIRA - V. G. L. NEUMANN 41
18 VOLUME 2 - NÚMERO 1 MARÇO DE 2014 PÁGINAS: 25 A 42 n 4, S n é solúvel, razão pela qual existem métodos algébricos para encontrar as raízes de polinômios de grau menor ou igual a 4 através de radicais (Bhaskara, Cardano, Ferrari). Ninguém conseguiu encontrar um método geral para achar as raízes de um polinômio de grau 5 por meio de radicais, pois em geral, o grupo de Galois de um polinômio de grau 5 é isomorfo a A 5 ou S 5 e os grupos A n e S n não são solúveis para n 5. Mesmo assim, em alguns casos é possível que o grupo de Galois de um polinômio de grau 5 seja solúvel; nesses casos é possível achar as raízes do polinômio por meio de radicais. AGRADECIMENTOS O segundo autor agradece à Fundação de Amparo à Pesquisa do estado de Minas Gerais (FAPEMIG) pelo auxílio financeiro recebido. REFERÊNCIAS [1] J. Bewersdorff: Galois Theory for Beginners. Rhode Island, AMS, [2] H. H. Domingues e G. Iezzi: Álgebra Moderna. São Paulo, Atual Editora, [3] A. Garcia e Y. Lequain: Elementos de Ágebra. IMPA, [4] A. Gonçalves: Introdução à Álgebra. IMPA, [5] R. M. T. Portugal: Introdução à Teoria de Galois. Universidade Federal de Uberlândia, ARTIGO DE INICIAÇÃO CIENTÍFICA
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 ].
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 ].
Extensões Algébricas dos Racionais
UNIVERSIDADE ESTADUAL DA PARAÍBA - UEPB CENTRO DE CIÊNCIAS E TECNOLOGIAS- CCT CURSO DE LICENCIATURA PLENA EM MATEMÁTICA Erivaldo de Oliveira Silva Extensões Algébricas dos Racionais Campina Grande - PB
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
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:
INTRODUÇÃO A TEORIA DE GALOIS
Marcio Antonio de Souza INTRODUÇÃO A TEORIA DE GALOIS Rio Grande, Rio Grande do Sul, Brasil Dezembro, 2017 Marcio Antonio de Souza INTRODUÇÃO A TEORIA DE GALOIS Trabalho de Conclusão de Curso submetido
NÚMEROS ALGÉBRICOS E TRANSCENDENTES
Luis Eduardo Fritsch NÚMEROS ALGÉBRICOS E TRANSCENDENTES Florianópolis 2018 Luis Eduardo Fritsch NÚMEROS ALGÉBRICOS E TRANSCENDENTES Artigo científico desenvolvido para apresentação na disciplina de Introdução
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
O teorema fundamental da teoria de Galois
META: Demonstrar o teorema fundamental. OBJETIVOS: Ao final da aula o aluno deverá ser capaz de: Enunciar o teorema fundamental. Determinar e exibir a correspondência de Galois de certas extensões. PRÉ-REQUISITOS
Aula 20 - Álgebra II. Como os corpos de decomposição de um polinómio, como vimos, são isomorfos
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
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
EXTENSÕES DE CORPOS Maria Lúcia Torres Villela Instituto de Matemática Universidade Federal Fluminense setembro de 2008 Revisto em Março de 2009 Sumário Introdução... 3 Parte 1 - Extensões de Corpos...
correspondência entre extensões intermédias de K M e subgrupos de Gal(M, K) chama-se correspondência de Galois.
Aula 21 - Álgebra II Estamos finalmente em condições de explicar como é que a teoria de Galois permite substituir problemas sobre polinómios por um problema em princípio mais simples de teoria dos grupos.
Extensão de um Isomorfismo
META: Obter uma condição suficiente para duas extensões simples serem isomorfas e elaborar um método para construir automorfismos de uma extensão fixando o corpo base. OBJETIVOS: Ao final da aula o aluno
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
AULA. Corpo de raízes
META: Conceituar corpo de raízes de um polinômio sobre um corpo, determinar sua existência e unicidade e caracterizá-lo por meio de extensões finitas e normais. AULA 10 OBJETIVOS: Ao final da aula o aluno
Polinômios Ciclotômicos e o Teorema dos Primos de Dirichlet
Polinômios Ciclotômicos e o Teorema dos Primos de Dirichlet Antonio Caminha 15 de fevereiro de 2003 Resumo Neste artigo definimos e provamos as principais propriedades dos polinômios ciclotômicos, objetivando
VIVIANE MARIA BEUTER O ANEL DE INTEIROS QUADRÁTICOS
VIVIANE MARIA BEUTER O ANEL DE INTEIROS QUADRÁTICOS Florianópolis 008 Universidade Federal de Santa Catarina Centro de Ciências Físicas e Matemáticas Departamento de Matemática O ANEL DE INTEIROS QUADRÁTICOS
Critérios de irredutibilidade
AULA Critérios de irredutibilidade META: Determinar critérios de irredutibilidade em Z[x] para mostrar irredutibilidade em Q[x]. OBJETIVOS: Ao final da aula o aluno deverá ser capaz de: Aplicar os critérios
Soluções de exercícios seleccionados (capítulos 3 e 4)
Soluções de exercícios seleccionados (capítulos 3 e 4) 3.6. (d) Determine o inverso de θ 2 6θ + 8 na extensão simples Q(θ), onde θ 0 é tal que θ 4 6θ 3 + 9θ 2 + 3θ = 0. O polinómio x 4 6x 3 + 9x 2 + 3x
Resolução dos Exercícios 31/05-09/06.
Resolução dos Exercícios 31/05-09/06. 1. Seja A um domínio de integridade. Mostre que todo subgrupo finito de U(A) é cíclico. Seja K o corpo de frações de A. Então A é um subanel de K (identificado com
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
A insolubilidade da quíntica e o Teorema Fundamental de Galois
A insolubilidade da quíntica e o Teorema Fundamental de Galois The insolubility of the quintic and the Galois Fundamental Theorem. ISSN 2316-9664 Volume 9, jul. 2017 José Rafael Borges Zampiva Universidade
Solubilidade de Equações Polinomiais por Radicais Reais e Cálculo do Grupo de Galois em
Universidade Federal do Rio Grande do Sul Instituto de Matemática Programa de Pós-Graduação em Matemática Solubilidade de Equações Polinomiais por Radicais Reais e Cálculo do Grupo de Galois em Q[X] Dissertação
Introduzir os conceitos de base e dimensão de um espaço vetorial. distinguir entre espaços vetoriais de dimensão fnita e infinita;
META Introduzir os conceitos de base e dimensão de um espaço vetorial. OBJETIVOS Ao fim da aula os alunos deverão ser capazes de: distinguir entre espaços vetoriais de dimensão fnita e infinita; determinar
Aplicar as propriedades imediatas dos homomorfismos de grupos. Aplicar os teoremas dos homomorfismos na relação de problemas.
Aula 06 HOMOMORFISMOS DE GRUPOS META Apresentar o conceito de homomorfismo de grupos OBJETIVOS Reconhecer e classificar os homomorfismos. Aplicar as propriedades imediatas dos homomorfismos de grupos.
Definimos a soma de seqüências fazendo as operações coordenada-a-coordenada:
Aula 8 polinômios (Anterior: chinês. ) 8.1 séries formais Fixemos um anel A. Denotaremos por A N o conjunto de todas as funções de N = {, 1, 2,... } a valores em A. Em termos mais concretos, cada elemento
Parte 2. Teoria de Galois
Parte 2 Teoria de Galois Nosso objetivo é apresentar a Teoria de Galois, que a extensões finitas de corpos L K associa o seu grupo de automorfismos G(L K), chamado de Grupo de Galois de L K; assim como,
TEORIA DE GALOIS INFINITA
TEORIA DE GALOIS INFINITA BRUNO DA SILVEIRA DIAS Conteúdo 0. Introdução 1 1. Grupos Topológicos 2 2. Subgrupos, Produtos Diretos e Limites Inversos 8 3. A Topologia de Krull 11 4. A Correspondência de
extensões algébricas.
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
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
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
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:
3 Produto Tensorial Sistemas quânticos individuais podem interagir para formarem sistemas quânticos compostos. Existe um postulado em Mecânica Quântica que descreve como o espaço de estados do sistema
(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.
Álgebra II Departamento de Matemática da Universidade de Coimbra Ano lectivo 2004/05 1 ō semestre Anéis e corpos 1. Averigúe se os seguintes conjuntos têm estrutura de anel para as operações indicadas.
Notas de Aula Álgebra 3. Martino Garonzi. Universidade de Brasília. Segundo semestre 2018
Notas de Aula Álgebra 3 Martino Garonzi Universidade de Brasília Segundo semestre 018 1 As pessoas que as pessoas que as pessoas amam amam amam. Conteúdo Capítulo 1. Grupos 5 1. Ação de um grupo sobre
Solubilidade por Radicais
META: Apresentar o critério de solubilidade por radicais de Galois para equações algébricas. AULA 15 OBJETIVOS: Ao final da aula o aluno deverá ser capaz de: Enunciar o critério de Galois. Exibir uma quíntica
Primeira prova de Álgebra II - 30/09/2010 Prof. - Juliana Coelho
Primeira prova de Álgebra II - 0/09/2010 Prof. - Juliana Coelho JUSTIFIQUE SUAS RESPOSTAS! Questões contendo só a resposta, sem desenvolvimento ou justificativa serão desconsideradas! QUESTÃO 1 (2,0 pts)
Algoritmo da divisão em k[x] 2
AULA Algoritmo da divisão em k[x] 2 META: Introduzir um algoritmo de divisão para anéis de polinômios definidos sobre corpos. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Aplicar o algoritmo
Aula 12 HOMOMORFISMO DE ANÉIS PRÉ REQUISITOS. As aulas 6, 10 e 11. META. Estabelecer o conceito de Homomorfismo de Anéis.
Aula 12 HOMOMORFISMO DE ANÉIS META Estabelecer o conceito de Homomorfismo de Anéis. OBJETIVOS Reconhecer e classificar homomorfismos de anéis. Aplicar as propriedades básicas dos homomorfismos na resolução
INTRODUÇÃO AO ESTUDO DA ÁLGEBRA LINERAR Luiz Francisco da Cruz Departamento de Matemática Unesp/Bauru CAPÍTULO 7 ISOMORFISMO
INRODUÇÃO AO ESUDO DA ÁLGEBRA LINERAR CAPÍULO 7 ISOMORFISMO A pergunta inicial que se faz neste capítulo e que o motiva é: dada uma transformação linear : V W é possível definir uma transformação linear
Polinômios irredutíveis
Polinômios irredutíveis Sérgio Tadao Martins 23 de janeiro de 2009 1 Introdução: polinômios em uma variável Um polinômio de grau n em uma variável x é uma expressão da forma p(x) = a 0 + a 1 x + a 2 x
Espaço Dual, Transposta e Adjunta (nota da álgebra linear 2)
Espaço Dual, Transposta e Adjunta nota da álgebra linear 2) Sadao Massago Outubro de 2009 1 Espaço Dual Dado um espaço vetorial V sobre o corpo F, o espaço dual V é o espaço de todas transformações lineares
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,
O Teorema de P. Hall
UNIVERSIDADE FEDERAL DE MINAS GERAIS INSTITUTO DE CIÊNCIAS EXATAS DEPARTAMENTO DE MATEMÁTICA O Teorema de P. all Rafael Bezerra dos Santos Disciplina: Seminário III - Tópicos Especiais em Teoria de Grupos
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
Irredutibilidade em Q[x]
META: Fundamentar a busca de critérios de irredutibilidade em Z[x] para mostrar irredutibilidade em Q[x]. OBJETIVOS: Ao final da aula o aluno deverá ser capaz de: Definir polinômios primitivos em Z[x].
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
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
Lista permanente de exercícios - parte de Grupos. As resoluções se encontram nas notas de aula A1, A2, A3.
Lista permanente de exercícios - parte de Grupos. As resoluções se encontram nas notas de aula A1, A2, A3. 1. Seja x um elemento de ordem 24. Calcule a ordem de x 22, x 201, x 402, x 611 e x 1000. 2. Faça
Nota: Turma: MA 327 Álgebra Linear. Segunda Prova. Primeiro Semestre de T o t a l
Turma: Nota: MA 327 Álgebra Linear Primeiro Semestre de 2006 Segunda Prova Nome: RA: Questões Pontos Questão 1 Questão 2 Questão 3 Questão 4 Questão 5 T o t a l Questão 1. A matriz de mudança da base ordenada
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]
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.
2007/2008 Resolução do 1 o exame
Introdução à Álgebra 2007/2008 Resolução do 1 o exame 1. Diga, em cada caso, se a afirmação é verdadeira ou falsa, justificando a sua resposta com uma demonstração, ou um contra-exemplo. Nesta questão,
Teoria da divisibilidade Em k[x]
Teoria da divisibilidade Em k[x] META: Obter a propriedade de fatoração única para anéis de polinômios definidos sobre corpos. OBJETIVOS: Ao final da aula o aluno deverá ser capaz de: Estabelecer os principais
Aula 14 DOMÍNIOS FATORIAIS META. Estabelecer o conceito de domínio fatorial. OBJETIVOS
Aula 14 DOMÍNIOS FATORIAIS META Estabelecer o conceito de domínio fatorial. OBJETIVOS Aplicar a definição de domínio fatorial na resolução de problemas. Estabelecer a definição de máximo divisor comum
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
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
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
Códigos Corretores de Erros e Teoria de Galois. Helena Carolina Rengel Koch Universidade Federal de Santa Catarina 2016
Códigos Corretores de Erros e Teoria de Galois Helena Carolina Rengel Koch Universidade Federal de Santa Catarina 2016 1 Sumário 1 Introdução 3 2 Corpos finitos e extensões de corpos 4 2.1 Polinômios....................................
Topologia de Zariski. Jairo Menezes e Souza. 25 de maio de Notas incompletas e não revisadas RASCUNHO
Topologia de Zariski Jairo Menezes e Souza 25 de maio de 2013 Notas incompletas e não revisadas 1 Resumo Queremos abordar a Topologia de Zariski para o espectro primo de um anel. Antes vamos definir os
(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};
XIX Semana Olímpica de Matemática. Nível 3. Polinômios em Z[x] Matheus Secco
XIX Semana Olímpica de Matemática Nível 3 Polinômios em Z[x] Matheus Secco O projeto da XIX Semana Olímpica de Matemática foi patrocinado por: Polinômios em Z[x] N3 Professor Matheus Secco 1 Ferramentas
Conjuntos Enumeráveis e Não-Enumeráveis
Conjuntos Enumeráveis e Não-Enumeráveis João Antonio Francisconi Lubanco Thomé Bacharelado em Matemática - UFPR [email protected] Prof. Dr. Fernando de Ávila Silva (Orientador) Departamento de Matemática
Anéis de polinómios sobre anéis comutativos com identidade
Capítulo 2 Anéis de polinómios sobre anéis comutativos com identidade Neste capítulo faremos um estudo de anéis de polinómios numa indeterminada, analisando, neste caso particular, diversos conceitos e
Denominamos equação polinomial ou equação algébrica de grau n a toda equação da forma:
EQUAÇÕES POLINOMIAIS. EQUAÇÃO POLINOMIAL OU ALGÉBRICA Denominamos equação polinomial ou equação algébrica de grau n a toda equação da forma: p(x) = a n x n + a n x n +a n x n +... + a x + a 0 = 0 onde
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
Ordens e raízes primitivas
Polos Olímpicos de Treinamento Curso de Teoria dos Números - Nível 3 Carlos Gustavo Moreira Aula 7 Ordens e raízes primitivas 1 Polinômios Dado um anel comutativo K, definimos o anel comutativo K[x] como
Anéis de polinómios a várias indeterminadas
Capítulo 2 Anéis de polinómios a várias indeterminadas Todos os resultados, e respectivas demonstrações, deste capítulo são transcritos do livro Polinómios, Textos de Matemática, Vol. 20, Universidade
Roney Rachide Nunes. Sistemas Dinâmicos Discretos Lineares
Roney Rachide Nunes Sistemas Dinâmicos Discretos Lineares Universidade Federal de Minas Gerais 2010 Roney Rachide Nunes Sistemas Dinâmicos Discretos Lineares Dissertação de mestrado apresentada como requisito
ÁLGEBRA LINEAR. Base e Dimensão de um Espaço Vetorial. Prof. Susie C. Keller
ÁLGEBRA LINEAR Base e Dimensão de um Espaço Vetorial Prof. Susie C. Keller Base de um Espaço Vetorial Um conjunto B = {v 1,..., v n } V é uma base do espaço vetorial V se: I) B é LI II) B gera V Base de
PONTOS DE GALOIS DE CURVAS PLANAS PROJETIVAS EM CARACTERÍSTICA POSITIVA
UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO CENTRO DE CIÊNCIAS EXATAS PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA GYSLANE APARECIDA ROMANO DOS SANTOS DE LIMA PONTOS DE GALOIS DE CURVAS PLANAS PROJETIVAS EM CARACTERÍSTICA
Notas Sobre Sequências e Séries Alexandre Fernandes
Notas Sobre Sequências e Séries 2015 Alexandre Fernandes Limite de seqüências Definição. Uma seq. (s n ) converge para a R, ou a R é limite de (s n ), se para cada ɛ > 0 existe n 0 N tal que s n a < ɛ
Notas para o Curso de Algebra Linear Il Dayse Haime Pastore 20 de fevereiro de 2009
Notas para o Curso de Álgebra Linear Il Dayse Haime Pastore 20 de fevereiro de 2009 2 Sumário 1 Matrizes e Sistemas Lineares 5 11 Matrizes 6 12 Sistemas Lineares 11 121 Eliminação Gaussiana 12 122 Resolução
Interbits SuperPro Web
1 (Ita 018) Uma progressão aritmética (a 1, a,, a n) satisfaz a propriedade: para cada n, a soma da progressão é igual a n 5n Nessas condições, o determinante da matriz a1 a a a4 a5 a 6 a a a 7 8 9 a)
Polinômio Mínimo e Operadores Nilpotentes
Capítulo 9 Polinômio Mínimo e Operadores Nilpotentes Curso: Licenciatura em Matemática Professor-autor: Danilo Felizardo Barboza Wilberclay Gonçalves Melo Disciplina: Álgebra Linear II Unidade II Aula
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
Soluções dos Exercícios do Capítulo 2
A MATEMÁTICA DO ENSINO MÉDIO Volume 1 Soluções dos Exercícios do Capítulo 2 2.1. Seja X = {n N; a + n Y }. Como a Y, segue-se que a + 1 Y, portanto 1 X. Além disso n X a + n Y (a + n) + 1 Y n + 1 X. Logo
1 Espaços vetoriais. Bibliografia básica do curso: [3, 2, 1, 4] Autor: Leandro Fiorini Aurichi - Versão: 2008
Bibliografia básica do curso: [3, 2, 1, 4] Autor: Leandro Fiorini Aurichi - [email protected] Versão: 2008 1 Espaços vetoriais Comecemos com a definição de espaço vetorial. Definição 1.1. (V,, ) é dito
Elisângela Valéria de Jesus. Módulos e Grupos Abelianos Finitamente Gerados
Elisângela Valéria de Jesus Módulos e Grupos Abelianos Finitamente Gerados Itabaiana Maio de 2017 Elisângela Valéria de Jesus Módulos e Grupos Abelianos Finitamente Gerados Dissertação submetida ao Corpo
CRITÉRIO DE EISENSTEIN. Marília Martins Cabral Orientador: Igor Lima
CRITÉRIO DE EISENSTEIN 1 Marília Martins Cabral Orientador: Igor Lima NOTAÇÕES a b a divide b. a b a não divide b x n a variável x elevado a potência n. a n coeficiente de x n 2 INTRODUÇÃO: POLINÔMIOS
Unidade 7 - Bases e dimensão. A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa. 10 de agosto de 2013
MA33 - Introdução à Álgebra Linear Unidade 7 - Bases e dimensão A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa PROFMAT - SBM 10 de agosto de 2013 Nesta unidade introduziremos dois conceitos
Álgebra Linear Exercícios Resolvidos
Álgebra Linear Exercícios Resolvidos Agosto de 001 Sumário 1 Exercícios Resolvidos Uma Revisão 5 Mais Exercícios Resolvidos Sobre Transformações Lineares 13 3 4 SUMA RIO Capítulo 1 Exercícios Resolvidos
