Lema. G(K/F ) [K : F ]. Vamos demonstrar usando o Teorema do Elemento Primitivo, a ser provado mais adiante. Assim, K = F (α).
|
|
- Iasmin Bayer Estrela
- 5 Há anos
- Visualizações:
Transcrição
1 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.
2 Lema. G(K/F ) [K : F ]. Vamos demonstrar usando o Teorema do Elemento Primitivo, a ser provado mais adiante. Assim, K = F (α).
3 Sejam ϕ 1 = I,..., ϕ n,... elementos de G distintos 2 a 2. Seja p α (x) F [x] o polinômio mínimo de α sobre F.Temos ϕ i α = ϕ j α i = j. Mas 0 = p α (α) = ϕ i p α (α) = p α (ϕ i α). Por fim, conte as raízes...
4 Extensões de Galois Dizemos que K/F é Galois quando valer a igualdade G(K/F ) = [K : F ]. Exemplos: [K : F ] 2 Galois.
5 Teorema do elemento primitivo Seja K/F extensão finita, car. 0. Então existe α em K tal que K = F (α). De fato, se K = F (α 1,..., α n ), o argumento abaixo mostra que uma combinação linear genérica α = c 1 α c n α n, c i F, funciona.
6 Por indução em n, reduz-se a n = 2. Dados α, β K, seja γ = cα + β, c F. Mostrar que, evitando um número finito de c F, γ funciona, i.e., K = F (α, β) = F (γ).
7 Basta mostrar que α F (γ). Calcular o polinômio mínimo q α de α sobre F (γ) e mostrar que o grau é igual a um. Sejam α = α 1,..., α m e β = β 1,..., β n as raízes dos polinômios mínimos de α,β sobre F.
8 Seja h(x) = p β (γ cx). Temos h(α) = p β (γ cα) = p β (β) = 0 = p α (α). Logo q α (x) divide o mdc de h(x), p α (x). Este mdc vai ser igual a x α desde que nenhuma das outras raízes α i, (i 2) de p α (x) seja raiz de h(x).
9 h(α i ) = p β (γ cα i ) = 0 γ cα i = β j β + c(α α i ) = β j. Valores a evitar: β j β α α i No que segue, seja ϕ : F F isomorfismo de corpos. Seja f = f ϕ F [x] o polinômio obtido aplicando ϕ nos coeficientes.
10 lema de extensão Seja f(x) F [x] irredutível. Seja α raiz de f em alguma extensão K/F, idem α para f em K/ F. Então existe um e um só isomorfismo ψ : F (α) F ( α) compatível com ϕ e tal que ψα = α.
11 É claro que a exigência ψ F = ϕ, junto com ψα = α, determina ψ. Para a existência, analise o diagrama
12 F ϕ F
13 F [x] F ϕ ϕ F [x] F
14 F (α) = F [α] F [x] F ϕ ϕ ϕ F [ α] = F ( α) F [x] F
15 F (α) = F [α] F [x] F ϕ ϕ ϕ F [ α] = F ( α) F [x] F ϕ passa ao quociente induzindo pois ϕ manda f em f. (Detalhes?)
16 Lema 2. Sejam ϕ : F F isomorfismo de corpos
17 Lema 2. Sejam ϕ : F F isomorfismo de corpos e ϕ : F [x] F [x] como acima. Seja f F [x], f = f ϕ F [x].
18 Lema 2. Sejam ϕ : F F isomorfismo de corpos e ϕ : F [x] F [x] como acima. Seja f F [x], f = f ϕ F [x]. Sejam K, K corpos de raízes de f, f.
19 Lema 2. Sejam ϕ : F F isomorfismo de corpos e ϕ : F [x] F [x] como acima. Seja f F [x], f = f ϕ F [x]. Sejam K, K corpos de raízes de f, f. Então existe :K K
20 Lema 2. Sejam ϕ : F F isomorfismo de corpos e ϕ : F [x] F [x] como acima. Seja f F [x], f = f ϕ F [x]. Sejam K, K corpos de raízes de f, f. Então existe :K K isomorfismo compatível com ϕ.
21 Lema 2. Sejam ϕ : F F isomorfismo de corpos e ϕ : F [x] F [x] como acima. Seja f F [x], f = f ϕ F [x]. Sejam K, K corpos de raízes de f, f. Então existe :K K isomorfismo compatível com ϕ. Em particular, o corpo de raízes é único a menos de F isomorfismo.
22 Se todo fator irredutível de f em F [x] é linear,
23 Se todo fator irredutível de f em F [x] é linear, segue K = F, nada a fazer.
24 Se todo fator irredutível de f em F [x] é linear, segue K = F, nada a fazer. Proceder por indução sobre [K : F ].
25 Se todo fator irredutível de f em F [x] é linear, segue K = F, nada a fazer. Proceder por indução sobre [K : F ]. Tome fator irredutível p F [x] de f, com deg p 2.
26 Se todo fator irredutível de f em F [x] é linear, segue K = F, nada a fazer. Proceder por indução sobre [K : F ]. Tome fator irredutível p F [x] de f, com deg p 2. Escolha uma raiz α K de p,
27 Se todo fator irredutível de f em F [x] é linear, segue K = F, nada a fazer. Proceder por indução sobre [K : F ]. Tome fator irredutível p F [x] de f, com deg p 2. Escolha uma raiz α K de p, idem α K para p.
28 Pelo lema 1, temos θ : F (α) F ( α)
29 Pelo lema 1, temos θ : F (α) F ( α) compatível com ϕ.
30 Pelo lema 1, temos θ : F (α) F ( α) compatível com ϕ. Trocar K/F por K/F (α)
31 Pelo lema 1, temos θ : F (α) F ( α) compatível com ϕ. Trocar K/F por K/F (α) e usar indução.
32 Pelo lema 1, temos θ : F (α) F ( α) compatível com ϕ. Trocar K/F por K/F (α) e usar indução. A asserção sobre a unicidade do corpo de raízes segue fazendo F = F, ϕ = id.
33 Lema 3 Sejam K/F, K/ F, ϕ, f, f como no Lema 2.
34 Lema 3 Sejam K/F, K/ F, ϕ, f, f como no Lema 2. Então o número de isomorfismos distintos ψ : K K
35 Lema 3 Sejam K/F, K/ F, ϕ, f, f como no Lema 2. Então o número de isomorfismos distintos ψ : K K compatíveis com ϕ é igual a [K : F ].
36 Lema 3 Sejam K/F, K/ F, ϕ, f, f como no Lema 2. Então o número de isomorfismos distintos ψ : K K compatíveis com ϕ é igual a [K : F ]. Em particular, K/F é Galois,
37 Lema 3 Sejam K/F, K/ F, ϕ, f, f como no Lema 2. Então o número de isomorfismos distintos ψ : K K compatíveis com ϕ é igual a [K : F ]. Em particular, K/F é Galois, i.e., G(K/F ) = [K : F ].
38 Indução sobre N = [K : F ].
39 Indução sobre N = [K : F ]. Escolha fator irredutível p de f com grau 2.
40 Indução sobre N = [K : F ]. Escolha fator irredutível p de f com grau 2. Fixe uma raiz α de p em K.
41 Indução sobre N = [K : F ]. Escolha fator irredutível p de f com grau 2. Fixe uma raiz α de p em K. Para cada raiz α K de p,
42 Indução sobre N = [K : F ]. Escolha fator irredutível p de f com grau 2. Fixe uma raiz α de p em K. Para cada raiz α K de p, existe um e só um isomorfismo θ : F (α) F ( α) que estende ϕ.
43 Há exatamente deg p escolhas para α,
44 Há exatamente deg p escolhas para α, igualmente para θ.
45 Há exatamente deg p escolhas para α, igualmente para θ. Substitua ϕ : F F por θ : F (α) F ( α).
46 Há exatamente deg p escolhas para α, igualmente para θ. Substitua ϕ : F F por θ : F (α) F ( α). Temos [K : F (α)] < [K : F ].
47 Há exatamente deg p escolhas para α, igualmente para θ. Substitua ϕ : F F por θ : F (α) F ( α). Temos [K : F (α)] < [K : F ]. Por indução, cada θ se estende a K K de [K : F (α)] maneiras distintas.
48 Logo, ϕ se estende a K K de [K : F (α)] [F (α) : F ] maneiras distintas.
49 Logo, ϕ se estende a K K de [K : F (α)] [F (α) : F ] maneiras distintas. F ϕ F
50 Logo, ϕ se estende a K K de [K : F (α)] [F (α) : F ] maneiras distintas. F (α) θ F ( α) deg p α = [F (α) : F ] F ϕ F
51 Logo, ϕ se estende a K K de [K : F (α)] [F (α) : F ] maneiras distintas. K ϕ [K : F (α)] F (α) θ K F ( α) deg p α = [F (α) : F ] F ϕ F
52 Logo, ϕ se estende a K K de [K : F (α)] [F (α) : F ] maneiras distintas. K ϕ [K : F (α)] F (α) θ K F ( α) deg p α = [F (α) : F ] F ϕ F A afirmação sobre a natureza galoisiana de [K : F ] segue tomando F = F, ϕ = id.
53 Galois corpo de raízes
54 Galois corpo de raízes Vale a recíproca:
55 Galois corpo de raízes Vale a recíproca: se K/F é uma extensão galoisiana, então K é o corpo de raízes de algum f F [x].
56 De fato, seja α K primitivo, K = F (α).
57 De fato, seja α K primitivo, K = F (α). Vamos mostrar que K é o corpo de raízes do polinômio mínimo p α.
58 De fato, seja α K primitivo, K = F (α). Vamos mostrar que K é o corpo de raízes do polinômio mínimo p α. Para cada ψ G(K/F ), temos (p α ) ψ = p α.
59 De fato, seja α K primitivo, K = F (α). Vamos mostrar que K é o corpo de raízes do polinômio mínimo p α. Para cada ψ G(K/F ), temos (p α ) ψ = p α. Segue que cada ψα é raiz de p α.
60 Visto que ψ é completamente determinado por ψα,
61 Visto que ψ é completamente determinado por ψα, produzimos, em K, todas as raízes de p α.
62 Visto que ψ é completamente determinado por ψα, produzimos, em K, todas as raízes de p α.
63 a correspondência de Galois Seja K/F galoisiana, G = G(K/F ).
64 a correspondência de Galois Seja K/F galoisiana, G = G(K/F ). Seja K L F um corpo intermediário.
65 a correspondência de Galois Seja K/F galoisiana, G = G(K/F ). Seja K L F um corpo intermediário. Então K/L é galoisiana,
66 a correspondência de Galois Seja K/F galoisiana, G = G(K/F ). Seja K L F um corpo intermediário. Então K/L é galoisiana, com G(K/L)=
67 a correspondência de Galois Seja K/F galoisiana, G = G(K/F ). Seja K L F um corpo intermediário. Então K/L é galoisiana, com G(K/L)={ψ G ψx = x x L}. (Atenção!! L/F nem sempre é Galois. Veja mais adiante.)
68 O caráter galoisiano é claro, pois K é igualmente corpo de raízes de um polinômio a coeficientes em L.
69 O caráter galoisiano é claro, pois K é igualmente corpo de raízes de um polinômio a coeficientes em L. Para determinar o grupo de Galois,
70 O caráter galoisiano é claro, pois K é igualmente corpo de raízes de um polinômio a coeficientes em L. Para determinar o grupo de Galois, denote por S o subgrupo de G que age trivialmente em L.
71 O caráter galoisiano é claro, pois K é igualmente corpo de raízes de um polinômio a coeficientes em L. Para determinar o grupo de Galois, denote por S o subgrupo de G que age trivialmente em L. É claro que S G(K/L).
72 Mas se ψ G(K/L),
73 Mas se ψ G(K/L), então ψ age trivialmente em L
74 Mas se ψ G(K/L), então ψ age trivialmente em L e portanto também age trivialmente em F L, logo ψ S.
75 o subcorpo fixo Para cada subgrupo S G, denote K S = {x K ψx = x ψ S}.
76 o subcorpo fixo Para cada subgrupo S G, denote K S = {x K ψx = x ψ S}. Então K S é um subcorpo de K contendo F
77 o subcorpo fixo Para cada subgrupo S G, denote K S = {x K ψx = x ψ S}. Então K S é um subcorpo de K contendo F e a extensão K/K S é (como já sabemos) galoisiana,
78 o subcorpo fixo Para cada subgrupo S G, denote K S = {x K ψx = x ψ S}. Então K S é um subcorpo de K contendo F e a extensão K/K S é (como já sabemos) galoisiana, valendo G(K/K S ) = S.
79 Abreviemos L = K S.
80 Abreviemos L = K S. É óbvio que G(K/L) S por definição de L.
81 Abreviemos L = K S. É óbvio que G(K/L) S por definição de L. Sabemos que G(K/L) = [K : L].
82 Abreviemos L = K S. É óbvio que G(K/L) S por definição de L. Sabemos que G(K/L) = [K : L]. Mostraremos que [K : L] = S.
83 Seja α elemento primitivo de K sobre L = K S.
84 Seja α elemento primitivo de K sobre L = K S. Cada ψ S é determinado por seu valor ψα.
85 Seja α elemento primitivo de K sobre L = K S. Cada ψ S é determinado por seu valor ψα. Seja p(x) = ψ S(x ψα),
86 Seja α elemento primitivo de K sobre L = K S. Cada ψ S é determinado por seu valor ψα. Seja p(x) = ψ S(x ψα), polinômio de grau n := S,
87 Seja α elemento primitivo de K sobre L = K S. Cada ψ S é determinado por seu valor ψα. Seja p(x) = ψ S(x ψα), polinômio de grau n := S, sem fator repetido.
88 Temos p ψ = p ψ S.
89 Temos p ψ = p ψ S. Logo, p L[x].
90 Temos p ψ = p ψ S. Logo, p L[x]. Seja q α (x) L[x] o polinômio mínimo de α sobre L.
91 Temos p ψ = p ψ S. Logo, p L[x]. Seja q α (x) L[x] o polinômio mínimo de α sobre L. Temos 0=q α (α)
92 Temos p ψ = p ψ S. Logo, p L[x]. Seja q α (x) L[x] o polinômio mínimo de α sobre L. Temos 0=q α (α) = q α (ψα) ψ S.
93 Temos p ψ = p ψ S. Logo, p L[x]. Seja q α (x) L[x] o polinômio mínimo de α sobre L. Temos 0=q α (α) = q α (ψα) ψ S. Segue q α (x) = p(x)
94 Temos p ψ = p ψ S. Logo, p L[x]. Seja q α (x) L[x] o polinômio mínimo de α sobre L. Temos 0=q α (α) = q α (ψα) ψ S. Segue q α (x) = p(x) e portanto [K : L] = [L(α) : L] = deg q α = S.
95 A discussão anterior estabelece uma bijeção entre os corpos intermediários K L F de uma extensão galoisiana K/F e os subgrupos S G = G(K/F ) :
96 A discussão anterior estabelece uma bijeção entre os corpos intermediários K L F de uma extensão galoisiana K/F e os subgrupos S G = G(K/F ) : L = K S S = G(K/L).
97 Resta apenas ver que, tomando S = G(K/L), vale L = K S. Temos evidentemente L K S.
98 Resta apenas ver que, tomando S = G(K/L), vale L = K S. Temos evidentemente L K S. Examine os tamanhos: S = [K : K S ] }{{} (corpo fixo)
99 Resta apenas ver que, tomando S = G(K/L), vale L = K S. Temos evidentemente L K S. Examine os tamanhos: S = [K : K S ] }{{} (corpo fixo) [K : L]
100 Resta apenas ver que, tomando S = G(K/L), vale L = K S. Temos evidentemente L K S. Examine os tamanhos: S = [K : K S ] }{{} (corpo fixo) [K : L] = S }{{} galoisiana.
101 Resta apenas ver que, tomando S = G(K/L), vale L = K S. Temos evidentemente L K S. Examine os tamanhos: S = [K : K S ] }{{} (corpo fixo)
102 Resta apenas ver que, tomando S = G(K/L), vale L = K S. Temos evidentemente L K S. Examine os tamanhos: S = [K : K S ] }{{} (corpo fixo) [K : L]
103 Resta apenas ver que, tomando S = G(K/L), vale L = K S. Temos evidentemente L K S. Examine os tamanhos: S = [K : K S ] }{{} (corpo fixo) [K : L] = S }{{} galoisiana.
104 Na bijeção acima, podemos ainda explicitar quando G(K/L) é subgrupo normal de G(K/F ) :
105 Na bijeção acima, podemos ainda explicitar quando G(K/L) é subgrupo normal de G(K/F ) : exatamente se L/F é galoisiana. Neste caso, mostraremos / que G(L/F ) G(K/F ) G(K/L).
106 Seja ψ G = G(K/F ) S = G(K/L).
107 Seja ψ G = G(K/F ) S = G(K/L). Temos G(K/(ψL)) = ψsψ 1.
108 Seja ψ G = G(K/F ) S = G(K/L). Temos G(K/(ψL)) = ψsψ 1. De fato, dados σ S, λ L,
109 Seja ψ G = G(K/F ) S = G(K/L). Temos G(K/(ψL)) = ψsψ 1. De fato, dados σ S, λ L, calculamos ψσψ 1 (ψλ)
110 Seja ψ G = G(K/F ) S = G(K/L). Temos G(K/(ψL)) = ψsψ 1. De fato, dados σ S, λ L, calculamos ψσψ 1 (ψλ) = ψσλ
111 Seja ψ G = G(K/F ) S = G(K/L). Temos G(K/(ψL)) = ψsψ 1. De fato, dados σ S, λ L, calculamos ψσψ 1 (ψλ) = ψσλ = ψλ,
112 Seja ψ G = G(K/F ) S = G(K/L). Temos G(K/(ψL)) = ψsψ 1. De fato, dados σ S, λ L, calculamos ψσψ 1 (ψλ) = ψσλ = ψλ, mostrando a inclusão
113 G(K/(ψL)) ψsψ 1.
114 G(K/(ψL)) ψsψ 1. A igualdade segue do tamanho:
115 G(K/(ψL)) ψsψ 1. A igualdade segue do tamanho: [K : ψl]
116 G(K/(ψL)) ψsψ 1. A igualdade segue do tamanho: [K : ψl]= G(K/(ψL))
117 G(K/(ψL)) ψsψ 1. A igualdade segue do tamanho: [K : ψl]= G(K/(ψL)) ψsψ 1
118 G(K/(ψL)) ψsψ 1. A igualdade segue do tamanho: [K : ψl]= G(K/(ψL)) ψsψ 1
119 G(K/(ψL)) ψsψ 1. A igualdade segue do tamanho: [K : ψl]= G(K/(ψL)) ψsψ 1 S
120 G(K/(ψL)) ψsψ 1. A igualdade segue do tamanho: [K : ψl]= G(K/(ψL)) ψsψ 1 [K : L] = S
121 Ora, se S G é normal, temos ψsψ 1 = S ψ G.
122 Ora, se S G é normal, temos ψsψ 1 = S ψ G. Portanto, por conta da correspondência de Galois, segue ψl = L ψ G.
123 Deduzimos um homomorfismo de grupos, definido por restrição G(K/F ) ψ
124 Deduzimos um homomorfismo de grupos, definido por restrição G(K/F ) ψ Ψ ψ L
125 Deduzimos um homomorfismo de grupos, definido por restrição G(K/F ) ψ Ψ ψ L G(L/F ).
126 Deduzimos um homomorfismo de grupos, definido por restrição G(K/F ) ψ Ψ ψ L G(L/F ). O núcleo de Ψ é G(K/L).
127 Deduzimos um homomorfismo de grupos, definido por restrição G(K/F ) ψ Ψ ψ L G(L/F ). O núcleo de Ψ é G(K/L). Logo, G(K/F ) / G(K/L) G(L/F ) Mostremos em seguida que L/F é Galois.
128 Sejam ψ 1,..., ψ m G representantes das distintas classes laterais de S = G(K/L) em G = G(K/F ).
129 Sejam ψ 1,..., ψ m G representantes das distintas classes laterais de S = G(K/L) em G = G(K/F ). Argumentando com um elemento primitivo, L = F (λ),
130 Sejam ψ 1,..., ψ m G representantes das distintas classes laterais de S = G(K/L) em G = G(K/F ). Argumentando com um elemento primitivo, L = F (λ), temos ψ i λ = ψ j λ
131 Sejam ψ 1,..., ψ m G representantes das distintas classes laterais de S = G(K/L) em G = G(K/F ). Argumentando com um elemento primitivo, L = F (λ), temos ψ i λ = ψ j λ ψ 1 i ψ j λ = λ
132 Sejam ψ 1,..., ψ m G representantes das distintas classes laterais de S = G(K/L) em G = G(K/F ). Argumentando com um elemento primitivo, L = F (λ), temos ψ i λ = ψ j λ ψ 1 i ψ j λ = λ ψ 1 i ψ j L = id.
133 Percebemos que a imagem de Ψ contém os m = G/S
134 Percebemos que a imagem de Ψ contém os m = G/S elementos distintos, ψ 1 L,..., ψ m L G(L/F ).
135 Percebemos que a imagem de Ψ contém os m = G/S elementos distintos, ψ 1 L,..., ψ m L G(L/F ). Temos assim G(L/F ) m
136 Percebemos que a imagem de Ψ contém os m = G/S elementos distintos, ψ 1 L,..., ψ m L G(L/F ). Temos assim G(L/F ) m = [K : F ]/[K : L]
137 Percebemos que a imagem de Ψ contém os m = G/S elementos distintos, ψ 1 L,..., ψ m L G(L/F ). Temos assim G(L/F ) m = [K : F ]/[K : L]=[L : F ].
138 Como G(L/F ) [L : F ],
139 Como G(L/F ) [L : F ], segue a igualdade, completando a prova de que
140 Como G(L/F ) [L : F ], segue a igualdade, completando a prova de que G(K/L) normal em G(K/F )
141 Como G(L/F ) [L : F ], segue a igualdade, completando a prova de que G(K/L) normal em G(K/F ) L/F Galois.
142 Reciprocamente, suponhamos L/F Galois.
143 Reciprocamente, suponhamos L/F Galois. Seja f F [x] tal que L = corpo de raízes de f.
144 Reciprocamente, suponhamos L/F Galois. Seja f F [x] tal que L = corpo de raízes de f. Temos f ψ = f, ψ G=G(K/F ).
145 Reciprocamente, suponhamos L/F Galois. Seja f F [x] tal que L = corpo de raízes de f. Temos f ψ = f, ψ G=G(K/F ).
146 Logo, cada ψ G manda raízes de f em raízes de f.
147 Logo, cada ψ G manda raízes de f em raízes de f. Como L é gerado por essas raízes, temos ψl = L.
148 Logo, cada ψ G manda raízes de f em raízes de f. Como L é gerado por essas raízes, temos ψl = L. Daí segue a normalidade de S = G(K/L) G(K/F ).
149 De fato, já vimos que ψsψ 1 = G(K/(ψL))
150 De fato, já vimos que ψsψ 1 = G(K/(ψL)) = G(K/L)
151 De fato, já vimos que ψsψ 1 = G(K/(ψL)) = G(K/L) ψsψ 1 = S.
152 Exemplos Seja k um corpo e seja R = k[x 1, x 2, x 3 ] o anel de polinômios em 3 variáveis.
153 Exemplos Seja k um corpo e seja R = k[x 1, x 2, x 3 ] o anel de polinômios em 3 variáveis. Seja K = Fr(R) o corpo de frações,
154 Exemplos Seja k um corpo e seja R = k[x 1, x 2, x 3 ] o anel de polinômios em 3 variáveis. Seja K = Fr(R) o corpo de frações, i.e., o corpo de funções nas 3 variáveis, a coeficientes em k.
155 Defina s 1 = x 1 + x 2 + x 3,
156 Defina s 1 = x 1 + x 2 + x 3, s 2 = x 1 x 2 + x 1 x 3 + x 2 x 3, s 3 = x 1 x 2 x 3.
157 Defina s 1 = x 1 + x 2 + x 3, s 2 = x 1 x 2 + x 1 x 3 + x 2 x 3, s 3 = x 1 x 2 x 3. São as funções simétricas elementares.
158 Defina s 1 = x 1 + x 2 + x 3, s 2 = x 1 x 2 + x 1 x 3 + x 2 x 3, s 3 = x 1 x 2 x 3. São as funções simétricas elementares. Seja F = k(s 1, s 2, s 3 )
159 Defina s 1 = x 1 + x 2 + x 3, s 2 = x 1 x 2 + x 1 x 3 + x 2 x 3, s 3 = x 1 x 2 x 3. São as funções simétricas elementares. Seja F = k(s 1, s 2, s 3 ) K.
160 Defina s 1 = x 1 + x 2 + x 3, s 2 = x 1 x 2 + x 1 x 3 + x 2 x 3, s 3 = x 1 x 2 x 3. São as funções simétricas elementares. Seja F = k(s 1, s 2, s 3 ) K. Nosso propósito é calcular G(K/F ).
161 Considere f = (x x 1 )(x x 2 )(x x 3 ) K[x].
162 Considere f = (x x 1 )(x x 2 )(x x 3 ) K[x]. Temos de fato f = x 3 s 1 x 2
163 Considere f = (x x 1 )(x x 2 )(x x 3 ) K[x]. Temos de fato f = x 3 s 1 x 2 + s 2 x s 3 F [x].
164 Considere f = (x x 1 )(x x 2 )(x x 3 ) K[x]. Temos de fato f = x 3 s 1 x 2 + s 2 x s 3 F [x]. Vemos assim que K/F é Galois, como corpo de raízes de f.
165 É claro que cada elemento de G(K/F ) permuta as raízes x 1, x 2, x 3.
166 É claro que cada elemento de G(K/F ) permuta as raízes x 1, x 2, x 3. Por definição de K, todo homomorfismo de corpos K = k(x 1, x 2, x 3 ) K
167 É claro que cada elemento de G(K/F ) permuta as raízes x 1, x 2, x 3. Por definição de K, todo homomorfismo de corpos K = k(x 1, x 2, x 3 ) K que fixa k
168 É claro que cada elemento de G(K/F ) permuta as raízes x 1, x 2, x 3. Por definição de K, todo homomorfismo de corpos K = k(x 1, x 2, x 3 ) K que fixa k é completamente determinado
169 pelas imagens, y1, y2, y3
170 pelas imagens, y 1, y 2, y 3 de x 1, x 2, x 3.
171 pelas imagens, y 1, y 2, y 3 de x 1, x 2, x 3. As escolhas dos y i são bastante arbitrárias,
172 pelas imagens, y 1, y 2, y 3 de x 1, x 2, x 3. As escolhas dos y i são bastante arbitrárias, exceto pelo cuidado de que,
173 pelas imagens, y 1, y 2, y 3 de x 1, x 2, x 3. As escolhas dos y i são bastante arbitrárias, exceto pelo cuidado de que, para cada polinômio não nulo p(x 1, x 2, x 3 ),
174 pelas imagens, y 1, y 2, y 3 de x 1, x 2, x 3. As escolhas dos y i são bastante arbitrárias, exceto pelo cuidado de que, para cada polinômio não nulo p(x 1, x 2, x 3 ), deve-se igualmente verificar p(y 1, y 2, y 3 ) 0.
175 Em particular, vemos que G = G(K/F ) contém pelo menos os 6 automorfismos definidos por permutação dos x 1, x 2, x 3.
176 Em particular, vemos que G = G(K/F ) contém pelo menos os 6 automorfismos definidos por permutação dos x 1, x 2, x 3. Em resumo, G S 3.
177 Em particular, vemos que G = G(K/F ) contém pelo menos os 6 automorfismos definidos por permutação dos x 1, x 2, x 3. Em resumo, G S 3. Logo, [K : F ] = 6.
178 Em particular, vemos que G = G(K/F ) contém pelo menos os 6 automorfismos definidos por permutação dos x 1, x 2, x 3. Em resumo, G S 3. Logo, [K : F ] = 6. Deduzimos também que K S 3 = F : toda função simétrica é função das elementares.
179 Lista dos corpos intermediários? Consideremos apenas os subgrupos S = (12) (transposição)
180 Lista dos corpos intermediários? Consideremos apenas os subgrupos S = (12) (transposição) e 3= (123) das permutações pares.
181 Lista dos corpos intermediários? Consideremos apenas os subgrupos S = (12) (transposição) e 3= (123) das permutações pares. Queremos determinar os respectivos corpos fixos.
182 S = 2
183 S = 2 [K : K S ] = 2
184 S = 2 [K : K S ] = 2 [K S : F ] = 3.
185 S = 2 [K : K S ] = 2 [K S : F ] = 3. Visto que a transposição (12) deixa x 3 fixo,
186 S = 2 [K : K S ] = 2 [K S : F ] = 3. Visto que a transposição (12) deixa x 3 fixo, temos x 3 K S.
187 S = 2 [K : K S ] = 2 [K S : F ] = 3. Visto que a transposição (12) deixa x 3 fixo, temos x 3 K S. Não é difícil ver que a cúbica f = x 3 s 1 x 2 + é de fato irredutível em F [x]. Segue que K S = F (x 3 ).
188 A 3 = 3
189 A 3 = 3 [K : K A 3] = 3
190 A 3 = 3 [K : K A 3] = 3 [K A 3 : F ] = 2.
191 A 3 = 3 [K : K A 3] = 3 [K A 3 : F ] = 2. Procura-se uma extensão quadrática de F
192 A 3 = 3 [K : K A 3] = 3 [K A 3 : F ] = 2. Procura-se uma extensão quadrática de F cujos elementos sejam funções racionais de x 1, x 2, x 3,
193 A 3 = 3 [K : K A 3] = 3 [K A 3 : F ] = 2. Procura-se uma extensão quadrática de F cujos elementos sejam funções racionais de x 1, x 2, x 3, invariantes por permutações pares.
194 Sabemos a priori que a resposta é única, pois A 3 é o único subgrupo do seu tamanho.
195 Sabemos a priori que a resposta é única, pois A 3 é o único subgrupo do seu tamanho. E a resposta é
196 Sabemos a priori que a resposta é única, pois A 3 é o único subgrupo do seu tamanho. E a resposta é
197 Sabemos a priori que a resposta é única, pois A 3 é o único subgrupo do seu tamanho. E a resposta é F (δ),
198 Sabemos a priori que a resposta é única, pois A 3 é o único subgrupo do seu tamanho. E a resposta é F (δ), com δ = (x 1 x 2 )(x 1 x 3 )(x 2 x 3 ).
199 Sabemos a priori que a resposta é única, pois A 3 é o único subgrupo do seu tamanho. E a resposta é F (δ), com δ = (x 1 x 2 )(x 1 x 3 )(x 2 x 3 ). Note que δ 2 F.
200 Sabemos a priori que a resposta é única, pois A 3 é o único subgrupo do seu tamanho. E a resposta é F (δ), com δ = (x 1 x 2 )(x 1 x 3 )(x 2 x 3 ). Note que δ 2 F. O resultado abaixo mostra que K = F (δ, 3 α), α F (δ),
201 Sabemos a priori que a resposta é única, pois A 3 é o único subgrupo do seu tamanho. E a resposta é F (δ), com δ = (x 1 x 2 )(x 1 x 3 )(x 2 x 3 ). Note que δ 2 F. O resultado abaixo mostra que K = F (δ, 3 α), α F (δ), desde que F contenha raiz cúbica primitiva da unidade.
202 extensões de Kummer
203 extensões de Kummer Seja K/F Galois com [K : F ] = p um número primo.
204 extensões de Kummer Seja K/F Galois com [K : F ] = p um número primo. Se F contém uma raiz p ésima da unidade, ξ 1,
205 extensões de Kummer Seja K/F Galois com [K : F ] = p um número primo. Se F contém uma raiz p ésima da unidade, ξ 1, então existe α em F tal que K = F ( p α).
206 Sabemos que G = G(K/F ) Z p,
207 Sabemos que G = G(K/F ) Z p, cíclico.
208 Sabemos que G = G(K/F ) Z p, cíclico. Seja γ G um gerador.
209 Sabemos que G = G(K/F ) Z p, cíclico. Seja γ G um gerador. O operador F linear, γ : K K,
210 Sabemos que G = G(K/F ) Z p, cíclico. Seja γ G um gerador. O operador F linear, γ : K K, satisfaz γ p = 1.
211 Sabemos que G = G(K/F ) Z p, cíclico. Seja γ G um gerador. O operador F linear, γ : K K, satisfaz γ p = 1. Logo seu polinômio mínimo divide x p 1,
212 raízes distintas.
213 raízes distintas. Portanto γ é diagonalizável
214 raízes distintas. Portanto γ é diagonalizável e os auto-valores são raízes p ésimas de 1.
215 raízes distintas. Portanto γ é diagonalizável e os auto-valores são raízes p ésimas de 1. Sabemos que γ 1.
216 raízes distintas. Portanto γ é diagonalizável e os auto-valores são raízes p ésimas de 1. Sabemos que γ 1. Assim, ao menos um autovalor é raiz primitiva.
217 Seja α K autovetor associado a ξ.
218 Seja α K autovetor associado a ξ. Temos γα = ξα α.
219 Seja α K autovetor associado a ξ. Temos γα = ξα α. Logo α F,
220 Seja α K autovetor associado a ξ. Temos γα = ξα α. Logo α F, seguindo K = F (α) (por que?).
221 Seja α K autovetor associado a ξ. Temos γα = ξα α. Logo α F, seguindo K = F (α) (por que?). Por fim, note que γ(α p ) = γ(α) p
222 Seja α K autovetor associado a ξ. Temos γα = ξα α. Logo α F, seguindo K = F (α) (por que?). Por fim, note que γ(α p ) = γ(α) p = (ξα) p
223 Seja α K autovetor associado a ξ. Temos γα = ξα α. Logo α F, seguindo K = F (α) (por que?). Por fim, note que γ(α p ) = γ(α) p = (ξα) p = α p.
224 Seja α K autovetor associado a ξ. Temos γα = ξα α. Logo α F, seguindo K = F (α) (por que?). Por fim, note que γ(α p ) = γ(α) p = (ξα) p = α p. Isso mostra que α p K G = F.
225 Vimos assim que o ferramental da correspondência de Galois
226 Vimos assim que o ferramental da correspondência de Galois garante a solubilidade por radicais da equação geral cúbica.
227 Vimos assim que o ferramental da correspondência de Galois garante a solubilidade por radicais da equação geral cúbica. Embora não explicitando a fórmula, a informação de que
228 K = L( 3 α), α L = F ( δ),
229 K = L( 3 α), α L = F ( δ), mostra que as raízes x i se exprimem como função racional
230 K = L( 3 α), α L = F ( δ), mostra que as raízes x i se exprimem como função racional de uma raiz cúbica de um elemento
231 K = L( 3 α), α L = F ( δ), mostra que as raízes x i se exprimem como função racional de uma raiz cúbica de um elemento que é função racional de uma raiz quadrada
232 K = L( 3 α), α L = F ( δ), mostra que as raízes x i se exprimem como função racional de uma raiz cúbica de um elemento que é função racional de uma raiz quadrada de uma função dos coficientes da equação.
233 Uma análise similar mostra que a equação do quarto grau também é solúvel por radicais.
234 Uma análise similar mostra que a equação do quarto grau também é solúvel por radicais. O subgrupo A 4 S 4 das permutações pares tem como corpo fixo L, extensão quadrática de F = k(x 1,..., x 4 ).
235 L = F ( δ), δ = i<j (x i x j ). A extensão K/L tem grupo de Galois A 4. Este grupo alternado pode ser descrito como as
236 rotações do tetraedro regular,
237 rotações do tetraedro regular,.
238 rotações do tetraedro regular,..
239 rotações do tetraedro regular,..
240 rotações do tetraedro regular,..
241 rotações do tetraedro regular,...
242 rotações do tetraedro regular,
243 rotações do tetraedro regular, O subgrupo. 2 S= I,
244 rotações do tetraedro regular, S= I, (12)(34), O subgrupo. 2
245 rotações do tetraedro regular, O subgrupo S= I, (12)(34), (13)(24), (14)(23) tem ordem 4.. 2
246 rotações do tetraedro regular, O subgrupo S= I, (12)(34), (13)(24), (14)(23) tem ordem 4. É normal em A 4.. 2
247 Logo, K 4 K S 3 L.
248 Logo, K 4 K S 3 L. A extensão K S /L é normal.
249 Logo, K 4 K S 3 L. A extensão K S /L é normal. Segue que K S se realiza pela adjunção de uma raiz cúbica sobre L.
250 Lembrando que S é abeliano,
251 Lembrando que S é abeliano, podemos refinar a extensão K/K S inserindo um corpo intermediário
252 Lembrando que S é abeliano, podemos refinar a extensão K/K S inserindo um corpo intermediário K 2 M 2 K S,
253 Lembrando que S é abeliano, podemos refinar a extensão K/K S inserindo um corpo intermediário K 2 M 2 K S, cada qual adjunção de raiz quadrada.
254 Lembrando que S é abeliano, podemos refinar a extensão K/K S inserindo um corpo intermediário K 2 M 2 K S, cada qual adjunção de raiz quadrada. Resumo: K 2 M
255 Lembrando que S é abeliano, podemos refinar a extensão K/K S inserindo um corpo intermediário K 2 M 2 K S, cada qual adjunção de raiz quadrada. Resumo: K 2 M 2 K S
256 Lembrando que S é abeliano, podemos refinar a extensão K/K S inserindo um corpo intermediário K 2 M 2 K S, cada qual adjunção de raiz quadrada. Resumo: K 2 M 2 K S 3 L
257 Lembrando que S é abeliano, podemos refinar a extensão K/K S inserindo um corpo intermediário K 2 M 2 K S, cada qual adjunção de raiz quadrada. Resumo: K 2 M 2 K S 3 L 2 F.
258 Para a quíntica geral, acabou a festa:
259 Para a quíntica geral, acabou a festa: A n não é solúvel para n 5. Detalhes no texto...
260 lema de extensão Lema 1. Seja f(x) F [x] irredutível. Seja α raiz de f em alguma extensão K/F, idem α para f em K/ F. Então existe um e um só isomorfismo ψ : F (α) F ( α) compatível com ϕ e tal que ψα = α. (volta)
261 o subcorpo fixo Para cada subgrupo S G, denote K S = {x K ψx = x ψ S}. Então K S é um subcorpo de K contendo F e a extensão K/K S é (como já sabemos) galoisiana, valendo G(K/K S ) = S. (volta)
Lema. G(K/F ) [K : F ]. Vamos demonstrar usando o Teorema do Elemento Primitivo, a ser provado mais adiante. Assim, K = F (α).
Teoria de Galois Vamos nos restringir a car. zero. Seja K/F uma extensão finita de corpos. O grupo de Galois G(K/F ) é formado pelos isomorfismos ϕ : K K tais que x F, ϕ(x) = x. Lema. G(K/F ) [K : F ].
Leia maisO 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
Leia maisAnéis quocientes k[x]/i
META: Determinar as possíveis estruturas definidas sobre o conjunto das classes residuais do quociente entre o anel de polinômios e seus ideais. OBJETIVOS: Ao final da aula o aluno deverá ser capaz de:
Leia maisobs: i) Salvo menção em contrário, anel = anel comutativo com unidade. ii) O conjunto dos naturais inclui o zero.
Lista 1 - Teoria de Anéis - 2013 Professor: Marcelo M.S. Alves Data: 03/09/2013 obs: i) Salvo menção em contrário, anel = anel comutativo com unidade. ii) O conjunto dos naturais inclui o zero. 1. Os conjuntos
Leia maiscorrespondê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.
Leia maisAula 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
Leia maisAULA. 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
Leia maisSoluçõ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
Leia mais(Ciência de Computadores) 2005/ Diga quais dos conjuntos seguintes satisfazem o Princípio de Boa Ordenação
Álgebra (Ciência de Computadores) 2005/2006 Números inteiros 1. Diga quais dos conjuntos seguintes satisfazem o Princípio de Boa Ordenação (a) {inteiros positivos impares}; (b) {inteiros negativos pares};
Leia mais2007/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,
Leia maisConceitos Básicos sobre Representações e Caracteres de Grupos Finitos. Ana Cristina Vieira. Departamento de Matemática - ICEx - UFMG
1 Conceitos Básicos sobre Representações e Caracteres de Grupos Finitos Ana Cristina Vieira Departamento de Matemática - ICEx - UFMG - 2011 1. Representações de Grupos Finitos 1.1. Fatos iniciais Consideremos
Leia mais= f(0) D2 f 0 (x, x) + o( x 2 )
6 a aula, 26-04-2007 Formas Quadráticas Suponhamos que 0 é um ponto crítico duma função suave f : U R definida sobre um aberto U R n. O desenvolvimento de Taylor de segunda ordem da função f em 0 permite-nos
Leia maisNotas sobre os anéis Z m
Capítulo 1 Notas sobre os anéis Z m Estas notas complementam o texto principal, no que diz respeito ao estudo que aí se faz dos grupos e anéis Z m. Referem algumas propriedades mais específicas dos subanéis
Leia maisDefinimos 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
Leia maisA forma canônica de Jordan
A forma canônica de Jordan 1 Matrizes e espaços vetoriais Definição: Sejam A e B matrizes quadradas de orden n sobre um corpo arbitrário X. Dizemos que A é semelhante a B em X (A B) se existe uma matriz
Leia maisResolução do 1 o exame
Introdução à Álgebra, 2015-16 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,
Leia maisProduto semidireto. Demonstração. (1, 1) é o elemento neutro pois
Produto semidireto. Produto semidireto interno. Seja G um grupo e sejam N G, H G. Se NH = G e H N = {1} dizemos que G é o produto semidireto interno entre N e H. No grupo G todo elemento pode ser escrito
Leia mais1. Prove que (a+b) c = a c+b c para todo a, b, c em ZZ /mzz. (Explique cada passo).
1 a Lista de Exercícios de Álgebra II - MAT 231 1. Prove que (a+b) c = a c+b c para todo a, b, c em ZZ /mzz. (Explique cada passo). 2. Seja A um anel associativo. Dado a A, como você definiria a m, m IN?
Leia maisDefinição 1. Um ideal de um anel A é um subgrupo aditivo I de A tal que ax I para todo a A, x I. Se I é um ideal de A escrevemos I A.
1. Ideais, quocientes, teorema de isomorfismo Seja A um anel comutativo unitário. Em particular A é um grupo abeliano com +; seja I um subgrupo aditivo de A. Como visto no primeiro modulo, sabemos fazer
Leia maisEXTENS 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...
Leia maisUma introdução à Teoria da Galois. Aurélio Fred Macena dos Santos e Daniani Souza Oliveira Orientador: Flaulles Boone Bergamaschi
Monografia de Especialização: Uma introdução à Teoria da Galois. Aurélio Fred Macena dos Santos e Daniani Souza Oliveira Orientador: Flaulles Boone Bergamaschi Universidade Estadual do Sudoeste da Bahia
Leia maisLISTA CLASSES LATERAIS, TEOREMA DE LAGRANGE 17. Seja G um grupo e sejam H e K subgrupos de G cujas ordens sejam relativamente primas.
MAT5728 - Álgebra 2o. semestre/2008 LISTA 1 1. GRUPOS 1. Seja G um grupo. Mostre que se ab 2 = a 2 b 2, para quaisquer a, b G, então G é abeliano. 2. a Se G é um grupo no qual ab i = a i b i, para três
Leia maisSolubilidade 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
Leia maisALGA I. Representação matricial das aplicações lineares
Módulo 6 ALGA I Representação matricial das aplicações lineares Contents 61 Matriz de uma aplicação linear 76 62 Cálculo do núcleo e imagem 77 63 Matriz da composta 78 64 GL(n Pontos de vista passivo e
Leia mais1 Noções preliminares
Álgebras, subálgebras e endomorfirsmos Ana Cristina - MAT/UFMG Durante este texto, vamos considerar F um corpo de característica zero. Iniciaremos com algumas definições da teoria de anéis que serão importantes
Leia maisAula 10. variáveis; a resultante fatoração única em Z[x]
Aula 10 fatoração única em várias variáveis; a resultante (Anterior: Gauss. ) 10.1 fatoração única em Z[x] 1. Prop. Seja f Z[x], deg f > 0. Então existem m Z e polinômios irredutíveis p 1,..., p t Z[x]
Leia maisextensõ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
Leia mais(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.
Leia mais5 a Lista de Exercícios de Introdução à Álgebra Linear IMPA - Verão 2009
5 a Lista de Exercícios de Introdução à Álgebra Linear IMPA - Verão 29 Soluções dos exercícios Devido ao fato de A ser simétrica, existe uma base ortonormal {u,, u n } formada por autovetores de A, então
Leia maisResoluçã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
Leia maisUnidade 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
Leia maisResolução do 1 o exame
2013-14 Introdução à Álgebra 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, G
Leia maisExtensã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
Leia maisParte 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,
Leia maisLista 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
Leia maisi : 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
Leia maisÁlgebra Linear - 2 a lista de exercícios Prof. - Juliana Coelho
Álgebra Linear - 2 a lista de exercícios Prof. - Juliana Coelho 1 - Verifique que os conjuntos V abaixo com as operações dadas não são espaços vetoriais explicitando a falha em alguma das propriedades.
Leia maisÁlgebra Linear (MAT-27) Ronaldo Rodrigues Pelá. 21 de outubro de 2011
APLICAÇÕES DA DIAGONALIZAÇÃO Álgebra Linear (MAT-27) Ronaldo Rodrigues Pelá IEFF-ITA 21 de outubro de 2011 Roteiro 1 2 3 Roteiro 1 2 3 Introdução Considere a equação de uma cônica: Forma Geral Ax 2 + Bxy
Leia mais4 a Lista de Exercícios de Introdução à Álgebra Linear IMPA - Verão 2008
4 a Lista de Exercícios de Introdução à Álgebra Linear IMPA - Verão 8 Solução de alguns exercícios Devido ao fato de A ser simétrica, existe uma base ortonormal {u,, u n } formada por autovetores de A,
Leia maisÁlgebra Linear I - Aula Forma diagonal de uma matriz diagonalizável
Álgebra Linear I - Aula 18 1 Forma diagonal de uma matriz diagonalizável 2 Matrizes ortogonais Roteiro 1 Forma diagonal de uma matriz diagonalizável Sejam A uma transformação linear diagonalizável, β =
Leia maisTopologia 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
Leia maisUsando indução pode então mostrar-se o seguinte:
Proposição Sejam G e H grupos cíclicos finitos. Então G H é cíclico se e só se ord(g) e ord(h) forem primos entre si. Exercício Faça a demonstração da proposição anterior. Usando indução pode então mostrar-se
Leia maisCapítulo 5. Operadores Auto-adjuntos. Curso: Licenciatura em Matemática. Professor-autor: Danilo Felizardo Barboza Wilberclay Gonçalves Melo
Capítulo 5 Operadores Auto-adjuntos Curso: Licenciatura em Matemática Professor-autor: Danilo Felizardo Barboza Wilberclay Gonçalves Melo Disciplina: Álgebra Linear II Unidade II Aula 5: Operadores Auto-adjuntos
Leia maisÁlgebras de Lie são espaços vetoriais munidos de uma nova operaçao que em geral não é comutativa nem associativa: [x, y] = xy yx.
4 Álgebras de Lie Álgebras de Lie são espaços vetoriais munidos de uma nova operaçao que em geral não é comutativa nem associativa: [x, y] = xy yx. 4.1 Álgebras de Lie Simples Definição 4.1 Uma álgebra
Leia maisUNIVERSIDADE FEDERAL DO ABC. 1 Existência e unicidade de zeros; Métodos da bissecção e falsa posição
UNIVERSIDADE FEDERAL DO ABC BC1419 Cálculo Numérico - LISTA 1 - Zeros de Funções (Profs. André Camargo, Feodor Pisnitchenko, Marijana Brtka, Rodrigo Fresneda) 1 Existência e unicidade de zeros; Métodos
Leia maisAula 27 - Álgebra II. x (m(x)), x 2 + x + (m(x)), x 2 + x (m(x)) operações deste corpo são as seguintes:
Já vimos maneiras de codificar mensagens de modo a que, no caso de ocorrerem alguns erros na sua transmissão, o receptor possa ser capaz de corrigir esses erros. Esses códigos, chamados códigos lineares
Leia mais1. Num grupo G, sejam a e b dois elementos diferentes da identidade e tais que a 3 = b 2 = e e ba = a 2 b.
Problema 1 1. Num grupo G, sejam a e b dois elementos diferentes da identidade e tais que a 3 b 2 e e ba a 2 b. (a) Indique, justificando, se: i. a é sempre igual a b; ii. a nunca é igual a b; iii. a pode
Leia maisGrupos livres e apresentações, grupos hopfianos e grupos residualmente finitos
Grupos livres e apresentações, grupos hopfianos e grupos residualmente finitos Bárbara Lopes Amaral Professora Ana Cristina Vieira Tópicos Especiais em Teoria de Grupos Belo orizonte Dezembro de 2010 Grupos
Leia maisA 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
Leia maisAlgebra Linear. 1. Funções de Matriz Quadrada 1.1. Teorema de Cayley-Hamilton. pag.1 Teoria de Sistemas Lineares Aula 8. c Reinaldo M.
Algebra Linear 1. 1.1. Teorema de Cayley-Hamilton pag.1 Teoria de Sistemas Lineares Aula 8 Considere A R n n associada a transformação linear f : R n R n Polinômios de matriz quadrada Para k positivo e
Leia maisMAT2458 ÁLGEBRA LINEAR PARA ENGENHARIA II 2 a Prova - 2 o semestre de T ( p(x) ) = p(x + 1) p(x), (a) 8, (b) 5, (c) 0, (d) 3, (e) 4.
MAT2458 ÁLGEBRA LINEAR PARA ENGENHARIA II 2 a Prova - 2 o semestre de 218 Q1. Considere a transformação linear T : P 3 (R) P 2 (R), dada por T ( p(x) ) = p(x + 1) p(x), para todo p(x) P 3 (R), e seja A
Leia maisGAAL - Exame Especial - 12/julho/2013. Questão 1: Considere os pontos A = (1, 2, 3), B = (2, 3, 1), C = (3, 1, 2) e D = (2, 2, 1).
GAAL - Exame Especial - /julho/3 SOLUÇÕES Questão : Considere os pontos A = (,, 3), B = (, 3, ), C = (3,, ) e D = (,, ) (a) Chame de α o plano que passa pelos pontos A, B e C e de β o plano que passa pelos
Leia maisMé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
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 O problema de Sturm-Liouville A separação de variáveis da equação de Helmholtz,
Leia maisÁlgebra Linear I - Aula 22
Álgebra Linear I - Aula 1. Bases Ortonormais.. Matrizes Ortogonais. 3. Exemplos. 1 Bases Ortonormais Lembre que uma base β é ortogonal se está formada por vetores ortogonais entre si: para todo par de
Leia mais3 Sistema de Steiner e Código de Golay
3 Sistema de Steiner e Código de Golay Considere o sistema de Steiner S(5, 8, 24, chamaremos os seus blocos de octads. Assim, as octads são subconjuntos de 8 elementos de um conjunto Ω com 24 elementos
Leia maisDANIEL V. TAUSK. se A é um subconjunto de X, denotamos por A c o complementar de
O TEOREMA DE REPRESENTAÇÃO DE RIESZ PARA MEDIDAS DANIEL V. TAUSK Ao longo do texto, denotará sempre um espaço topológico fixado. Além do mais, as seguintes notações serão utilizadas: supp f denota o suporte
Leia maisBOA PROVA! Respostas da Parte II
Nome: Identidade (Passaporte: Assinatura: Instruções (i O tempo destinado a esta prova é de 5 horas. (ii 5 porcento da pontuação total é da parte I (Perguntas dissertativas. BOA PROVA! Respostas da Parte
Leia maisCORRESPONDÊNCIA DE GALOIS
REVISTA ELETRÔNICA MATEMÁTICA E ESTATÍSTICA EM FOCO CORRESPONDÊNCIA DE GALOIS Angelina Carrijo de Oliveira Universidade Federal de Uberlândia angelina.carrijo@gmail.com Victor Gonzalo Lopez Neuman Universidade
Leia maisUnidade 22 - Teorema espectral para operadores simétricos, reconhecimento de cônicas. A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa
MA33 - Introdução à Álgebra Linear Unidade 22 - Teorema espectral para operadores simétricos, reconhecimento de cônicas A. Hefez e C. S. Fernandez Resumo elaborado por Paulo Sousa PROFMAT - SBM 10 de agosto
Leia mais30 a OLIMPÍADA DE MATEMÁTICA DO RIO GRANDE DO NORTE PRIMEIRA FASE. NÍVEL UNIVERSITÁRIO. 35! =
0 a OLIMPÍADA DE MATEMÁTICA DO RIO GRANDE DO NORTE 09- PRIMEIRA FASE. NÍVEL UNIVERSITÁRIO. Para cada questão, assinale uma alternativa como a resposta correta. NOME DO(A) ESTUDANTE: UNIVERSIDADE:. O fatorial
Leia maisExtensõ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
Leia maisTeorema (Teorema fundamental do homomorfismo)
Teorema (Teorema fundamental do homomorfismo) Seja ϕ : G H um homomorfismo de grupos. Então G/ ker ϕ ϕ(g). Demonstração. Vamos mostrar que a correspondência ψ : G/ ker ϕ ϕ(g) dada por ψ(g ker ϕ) = ϕ(g)
Leia maisLista 1. 9 Se 0 < x < y e n N então 0 < x n < y n.
UFPR - Universidade Federal do Paraná Departamento de Matemática CM095 - Análise I Prof. José Carlos Eidam Lista 1 Em toda a lista, K denota um corpo ordenado qualquer. Corpos ordenados 1. Verifique as
Leia maisf(xnyn) = f(xyn) = f(xy) = f(x)f(y) = f(xn)f(yn).
Teoremas de isomorfismo. Teorema (Teorema de Isomorfismo). Seja f : A B um homomorfismo de grupos. Então A/ ker(f) = Im(f). Demonstração. Seja N := ker(f) e seja f : A/N Im(f), f(xn) := f(x). Mostramos
Leia maisUniversidade Federal de Santa Catarina Centro de Ciẽncias Físicas e Matemáticas Departamento de Matemática. Liana Garcia Ribeiro
Universidade Federal de Santa Catarina Centro de Ciẽncias Físicas e Matemáticas Departamento de Matemática Liana Garcia Ribeiro Introdução aos Números Algébricos Florianópolis 2018 2 Introdução Para fazer
Leia mais1 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).
Polos Olímpicos de Treinamento Curso de Teoria dos Números - Nível 3 Carlos Gustavo Moreira Aula 10 Congruências de Grau Superior 1 Congruências de Grau Superior Dado um polinômio f(x Z[x] e um número
Leia maisAula 1 Autovetores e Autovalores de Matrizes Aula 2 Autovetores e Autovalores de Matrizes Casos Especiais 17
Sumário Aula 1 Autovetores e Autovalores de Matrizes.......... 8 Aula 2 Autovetores e Autovalores de Matrizes Casos Especiais 17 Aula 3 Polinômio Característico................. 25 Aula 4 Cálculo de Autovalores
Leia mais3 a Lista de Exercícios de Introdução à Álgebra Linear IMPA - Verão e B =
3 a Lista de Exercícios de Introdução à Álgebra Linear IMPA - Verão 2008. (a) Ache os auto-valores e auto-vetores de A = 3 4 2 0 2 0 0 0 e B = 0 0 2 0 2 0 2 0 0 (b) Mostre que λ + λ 2 + λ 3 é igual ao
Leia mais1. Não temos um espaço vetorial, pois a seguinte propriedade (a + b) v = a v + b v não vale. De fato:
Sumário No que se segue, C, R, Q, Z, N denotam respectivamente, o conjunto dos números complexos, reais, racionais, inteiros e naturais. Denotaremos por I (ou id) End(V ) a função identidade do espaço
Leia maisNotas 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
Leia maisG3 de Álgebra Linear I
G3 de Álgebra Linear I 2.2 Gabarito ) Considere a matriz 4 N = 4. 4 Observe que os vetores (,, ) e (,, ) são dois autovetores de N. a) Determine uma forma diagonal D de N. b) Determine uma matriz P tal
Leia maisCorpos estendidos no espaço em grupos
Corpos estendidos no espaço em grupos Carlos Shine Vamos ver como conceitos de teoria dos números (especialmente números mod p) podem ser generalizados com conceitos de Álgebra. 1 Corpos Em termos simples,
Leia maisLista 8 de Análise Funcional - Doutorado 2018
Lista 8 de Análise Funcional - Doutorado 2018 Professor Marcos Leandro 17 de Junho de 2018 1. Sejam M um subespaço de um espaço de Hilbert H e f M. Mostre que f admite uma única extensão para H preservando
Leia maisGrupos: 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
1 Grupos: Resumo 1 Definições básicas Definição 1.1 Um grupo é um conjunto G juntamente com uma operação binária que satisfaz os seguintes três axiomas: 1. (Associatividade) Para quaisquer a, b, c G, G
Leia maisCM005 Álgebra Linear Lista 3
CM005 Álgebra Linear Lista 3 Alberto Ramos Seja T : V V uma transformação linear. Se temos que T v = λv, v 0, para λ K. Dizemos que λ é um autovalor de T e v autovetor de T associado a λ. Observe que λ
Leia maisLista 1 - Cálculo Numérico - Zeros de funções
Lista 1 - Cálculo Numérico - Zeros de funções 1.) De acordo com o teorema de Bolzano, se uma função contínua f(x) assume valores de sinais opostos nos pontos extremos do intervalo [a, b], isto é se f(a)
Leia mais1 Auto vetores e autovalores
Auto vetores e autovalores Os autovalores de uma matriz de uma matriz n n são os n números que resumem as propriedades essenciais daquela matriz. Como esses n números realmente caracterizam a matriz sendo
Leia maisNúmeros naturais e cardinalidade
Números naturais e cardinalidade Roberto Imbuzeiro M. F. de Oliveira 5 de Janeiro de 2008 Resumo 1 Axiomas de Peano e o princípio da indução Intuitivamente, o conjunto N dos números naturais corresponde
Leia maisSe mdc(a,m) = 1, como a é invertível módulo m, a equação. ax b (mod m)
Polos Olímpicos de Treinamento Curso de Teoria dos Números - Nível 3 Carlos Gustavo Moreira Aula 8 Equações lineares módulo n e o teorema chinês dos restos 1 Equações Lineares Módulo m Se mdc(a,m) = 1,
Leia maisALGA I. Operadores auto-adjuntos (simétricos e hermitianos). Teorema espectral
Módulo 9 ALGA I. Operadores auto-adjuntos (simétricos e hermitianos). Teorema espectral Contents 9.1 Operadores auto-adjuntos (simétricos e hermitianos) 136 9. Teorema espectral para operadores auto-adjuntos...........
Leia maisNÚ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
Leia maisValores e vectores próprios
Valores e vectores próprios Álgebra Linear C (Engenharia Biológica) 0 de Dezembro de 006 Conteúdo Motivação e definições Propriedades 4 3 Matrizes diagonalizáveis 5 Motivação e definições Considere a matriz
Leia maisÁlgebra Linear I - Aula Bases Ortonormais e Matrizes Ortogonais
Álgebra Linear I - Aula 19 1. Bases Ortonormais e Matrizes Ortogonais. 2. Matrizes ortogonais 2 2. 3. Rotações em R 3. Roteiro 1 Bases Ortonormais e Matrizes Ortogonais 1.1 Bases ortogonais Lembre que
Leia mais1 Matrizes Ortogonais
Álgebra Linear I - Aula 19-2005.1 Roteiro 1 Matrizes Ortogonais 1.1 Bases ortogonais Lembre que uma base β é ortogonal se está formada por vetores ortogonais entre si: para todo par de vetores distintos
Leia maisTEORIA DE GALOIS NOTAS DE CURSO. Sumário
TEORIA DE GALOIS NOTAS DE CURSO NIVALDO MEDEIROS Resumo. Estas são notas para o curso de Álgebra III, bacharelado em Matemática, da Universidade Federal Fluminense. São uma introdução, algo sucinta, da
Leia maisUniversidade Federal de Viçosa Centro de Ciências Exatas e Tecnológicas Departamento de Matemática
1 Universidade Federal de Viçosa Centro de Ciências Exatas e Tecnológicas Departamento de Matemática Lista 4 - MAT 137 -Introdução à Álgebra Linear 2017/II 1. Entre as funções dadas abaixo, verifique quais
Leia maisPrimeira prova de Álgebra III - 07/05/2015 Prof. - Juliana Coelho Entregar dia 09/05/2015 até as 11h00.
Primeira prova de Álgebra III - 07/05/205 Prof. - Juliana Coelho Entregar dia 09/05/205 até as h00. Justifique suas respostas citando o resultado ou exercício da apostila (quando permitido) que está sendo
Leia maisNota: Turma: MA 327 Álgebra Linear. Terceira Prova. Boa Prova! Primeiro Semestre de T o t a l
Turma: Nota: MA 327 Álgebra Linear Primeiro Semestre de 26 Terceira 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 Boa Prova! Questão 1. 2. Pontos) Seja U um
Leia maisAprendendo Álgebra com o Cubo Mágico p.1/32
Aprendendo Álgebra com o Cubo Mágico Waldeck Schützer www.dm.ufscar.br/ waldeck/ V Semana da Matemática da UFU FAMAT, 25 a 28 de Outubro de 2005 Aprendendo Álgebra com o Cubo Mágico p.1/32 Resumo 1. Conhecendo
Leia maisUMA INTRODUÇÃO À EXTENSÕES DE CORPOS FINITAS E ALGÉBRICAS
UNIVERSIDADE ESTADUAL DA PARAÍBA CAMPUS VI - POETA PINTO DO MONTEIRO CENTRO DE CIÊNCIAS HUMANAS E EXATAS CURSO DE LICENCIATURA PLENA EM MATEMÁTICA JÚLIO FERNANDES DA SILVA UMA INTRODUÇÃO À EXTENSÕES DE
Leia maisé uma proposição verdadeira. tal que: 2 n N k, Φ(n) = Φ(n + 1) é uma proposição verdadeira. com n N k, tal que:
Matemática Discreta 2008/09 Vítor Hugo Fernandes Departamento de Matemática FCT/UNL Axioma (Princípio da Boa Ordenação dos Números Naturais) O conjunto parcialmente (totalmente) ordenado (N, ), em que
Leia maisSolubilidade 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
Leia maisÁlgebra linear A Primeira lista de exercícios
Álgebra linear A Primeira lista de exercícios Prof. Edivaldo L. dos Santos (1) Verifique, em cada um dos itens abaixo, se o conjunto V com as operações indicadas é um espaço vetorial sobre R. {[ ] a b
Leia maisEstrutura de Módulo de Extensões Finitas de Corpos
Universidade Federal do Rio Grande do Sul Instituto de Matemática Programa de Pós-Graduação em Matemática Estrutura de Módulo de Extensões Finitas de Corpos Dissertação de Mestrado GLAUBER RODRIGUES DE
Leia maisÁlgebra Linear I - Aula 20
Álgebra Linear I - Aula 20 1 Matrizes diagonalizáveis Exemplos 2 Forma diagonal de uma matriz diagonalizável 1 Matrizes diagonalizáveis Exemplos Lembramos que matriz quadrada a 1,1 a 1,2 a 1,n a 2,1 a
Leia maisEliana Carla Rodrigues, Jhone Caldeira. Universidade Federal de Goiás, CEP , Brasil
Eliana Carla Rodrigues, Jhone Caldeira Universidade Federal de Goiás, CEP 74001-970, Brasil elianacarlarodri@gmail.com, jhone@mat.ufg.br Uma Introdução às Álgebras de Lie e suas Representações Palavras-chave:
Leia maisConhecer um pouco mais de perto as propriedades do grupo das permutações de nível.
Aula 07 MAIS SOBRE O GRUPO SIMÉTRICO META Conhecer um pouco mais de perto as propriedades do grupo das permutações de nível. OBJETIVOS Reconhecer elementos de Reconhecer os subgrupos e de Aplicar propriedades
Leia maisMatemática I. 1 Propriedades dos números reais
Matemática I 1 Propriedades dos números reais O conjunto R dos números reais satisfaz algumas propriedades fundamentais: dados quaisquer x, y R, estão definidos a soma x + y e produto xy e tem-se 1 x +
Leia maisINTRODUÇÃ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
Leia maisPolinô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
Leia mais