Neste trabalho apresentamos um teorema que explicita condições necessárias e suficientes para que um polinômio f(X) 2 Q[X] seja solúvel por radicais reais, juntamente com algumas aplicações do mesmo. Além disso, mostramos que em Q[X] sempre e possível encontrar o grupo de Galois de qualquer polinômio f(X) 2 Q[X]. / In this text we present a Theorem which gives necessary and suficient conditions for a polynomial f(X) with rational coe cients to be soluble by real radicals, as well as some applications of this result. We also show that it is always possible to explicit the Galois group of any polynomial f(X) 2 Q[X].

Neste trabalho apresentamos um teorema que explicita condições necessárias e suficientes para que um polinômio f(X) 2 Q[X] seja solúvel por radicais reais, juntamente com algumas aplicações do mesmo. Além disso, mostramos que em Q[X] sempre e possível encontrar o grupo de Galois de qualquer polinômio f(X) 2 Q[X]. / In this text we present a Theorem which gives necessary and suficient conditions for a polynomial f(X) with rational coe cients to be soluble by real radicals, as well as some applications of this result. We also show that it is always possible to explicit the Galois group of any polynomial f(X) 2 Q[X].

Neste trabalho apresentamos um teorema que explicita condições necessárias e suficientes para que um polinômio f(X) 2 Q[X] seja solúvel por radicais reais, juntamente com algumas aplicações do mesmo. Além disso, mostramos que em Q[X] sempre e possível encontrar o grupo de Galois de qualquer polinômio f(X) 2 Q[X]. / In this text we present a Theorem which gives necessary and suficient conditions for a polynomial f(X) with rational coe cients to be soluble by real radicals, as well as some applications of this result. We also show that it is always possible to explicit the Galois group of any polynomial f(X) 2 Q[X].

Neste trabalho, apresentamos um estudo sobre a existência ou não de bases normais auto-duais para extensões galoisianas finitas de corpos, mostrando que toda extensão galoisiana finita de grau ímpar posui uma base normal auto-dual, enquanto que para extensões galoisianas de grau par, apresentamos algumas condições suficientes que garantem a não existência de bases normais auto-duais / In this work, we present a study about the existence or not of self-dual normal bases for finite galoisian extensions of fields, showing that all the odd degree finite galoisian extension has a self-dual normal base, whereas for even degree galoisian extensions, we present some sufficient conditions that assure the non-existence of self-dual normal bases

This thesis is about Galois theory.The development of a Galois theory for differential equations analogous to the classical Galois theory for polynomial equations was already an aim of S. Lie in the 19th century. The first step in this direction was the development of a Galois theory for linear differential equations due to E. Picard and E. Vessiot. Later, B.H. Matzat and M. van der Put created a theory for iterative differential equations in positive characteristic. H. Umemura constructed a Galois theory for algebraic differential equations in characteristic zero.There also exist analog theories for difference equations, starting with a theory for linear difference equations till the one due to S. Morikawa and H. Umemura for algebraic difference equations.M. Takeuchi, K. Amano and A. Masuoka unified Galois theories for linear differential and linear difference equations using the language of module algebras.This thesis has two goals. The first is the development of a more general Galois theory that combines the capacity of the theories of H. Umemura and S. Morikawa, which allow the treatment of field extensions of big generality, with the advantage of the formulation of K. Amano and A. Masuoka, which unifies structures like derivations and automorphisms. The second goal is the removal of the restriction to fields of characteristic zero from the theories of H. Umemura and S. Morikawa.KEY WORDS: Galois Theory, Differential Equation, Difference Equation, Module Algebra / Esta tesis se desarrolla en torno a la teoría de Galois.El desarrollo de una teoría de Galois para ecuaciones diferenciales análoga a la de ecuaciones polinomiales fue ya un objetivo de S. Lie en el siglo XIX. El primer paso en esta dirección fue el desarrollo de una teoría de Galois para ecuaciones diferenciales lineales, debido a E. Picard y E. Vessiot. Después B.H. Matzat y M. van der Put crearon una teoría para ecuaciones diferenciales iterativas lineales en característica positiva. H. Umemura elaboró una teoría de Galois para ecuaciones diferenciales algebraicas en característica cero.Existen teorías análogas para ecuaciones en diferencias, empezando con una teoría de Galois para ecuaciones en diferencias lineales, hasta la de S. Morikawa y H. Umemura para ecuaciones en diferencias algebraicas.M. Takeuchi, K. Amano y A. Masuoka unificaron las teorías de Galois para ecuaciones diferenciales lineales y para ecuaciones lineales en diferencias usando el lenguaje de módulo álgebras.Esta tesis tiene dos objetivos principales. El primero es el desarrollo de una teoría de Galois más general que combine la capacidad de las teorías de H. Umemura y S. Morikawa, que permite tratar extensiones de cuerpos de gran generalidad, con la ventaja de la formulación de K. Amano y A. Masuoka que unifica estructuras como las derivaciones y los automorfismos. El segundo objetivo es el de eliminar la restricción a cuerpos de característica cero de las teorías de H. Umemura y S. Morikawa. PALABRAS CLAVE: Teoría de Galois, Ecuación diferencial, Ecuación en diferencias, Módulo álgebras

Se estudian en esta memoria dos aspectos del problema de inmersión de la Teoría de Galois: la existencia de soluciones con condiciones prefijadas sobre la ramificación (capítulos I y II-1) y la construcción efectiva de soluciones (capítulos II-2, II-3 y III). En el capítulo I se revisa primeramente la Teoría de Galois sobre esquemas. Obtenemos que todo recubrimiento principal de un esquema conexo “X” es suma directa de recubrimientos galoisianos de X, isomorfos, generalizando así el resultado de Hasse relativo a la estructura de las galoisianas sobre un cuerpo. El estudio del concepto de recubrimiento de un esquema conexo nos permite plantear el problema de inmersión sobre esquemas. Traduciendo a este lenguaje el problema de inmersión sobre un cuerpo de números, con conjunto de ramificación prefijado, se observa que la obstrucción a la resolubilidad de este problema viene dada por un elemento de un grupo de cohomología étale. Esto nos permite obtener condiciones para que, de la resolubilidad de un problema de inmersión sobre un cuerpo de números “K”, dado por una extensión de grupos central, con núcleo abeliano, pueda deducirse la existencia de soluciones, con conjunto de ramificación prefijado. Dichas condiciones se expresan en términos de número de clases de ideales del anillo de enteros del cuerpo K. En el capítulo II nos planteamos si, para un problema de inmersión del tipo considerado en el capítulo anterior, puede obtenerse un cuerpo solución sin aumentar el conjunto de ramificación. Para ello, se estudia previamente la variedad de las soluciones con conjunto de ramificación prefijado a un problema de inmersión sobre un cuerpo de números. El objetivo del capítulo III es construir explícitamente las soluciones a problemas de inmersión dados por extensiones espinoriales.

Neste trabalho, apresentamos um estudo sobre a existência ou não de bases normais auto-duais para extensões galoisianas finitas de corpos, mostrando que toda extensão galoisiana finita de grau ímpar posui uma base normal auto-dual, enquanto que para extensões galoisianas de grau par, apresentamos algumas condições suficientes que garantem a não existência de bases normais auto-duais / In this work, we present a study about the existence or not of self-dual normal bases for finite galoisian extensions of fields, showing that all the odd degree finite galoisian extension has a self-dual normal base, whereas for even degree galoisian extensions, we present some sufficient conditions that assure the non-existence of self-dual normal bases

Seja p um primo, considere q = pe com e ≥ 1 inteiro. Dado o polinômio f (x) = x4+ax3+bx2+ cx+d ∈ Fq[x], consideremos o polinômio F(T) = T4 +aT3 +bT2 +cT + d - y ∈ Fq(y)[T], com y = f (x) sobre Fq(y). O objetivo desse trabalho é determinar o número de polinômios f (x) que tem seu grupo de galois associado GF isomorfo a cada subgrupo transitivo (prefixado) de S4. O trabalho foi baseado no artigo: Galois closures of quartic sub-fields of rational function fields, usando equações auxiliares associadas ao polinômio minimal F(T) de graus 3 e 2 (DUMMIT, 1994); bem como uma caraterização das curvas projetivas planas de grau 2 não singulares. Se car(k) ≠ 2, associamos a F(T) sua cúbica resolvente RF(T) e seu discriminante ΔF. Em seguida obtemos condições para GF ≅ C4 (vide Teorema 2.9), que é ocaso fundamental para determinação dos demais casos. Se car(k) = 2, procuramos determinar condições para GRF ≅ A3, associando ao polinômio RF(T) sua quadrática resolvente P(T) (vide a Proposição 2.13). Apos ter homogeneizado P(T), usamos uma das consequências do teorema de Bézout, a saber, uma curva algébrica projetiva plana C de grau 2 é irredutível se, e somente se, C não tem pontos singulares. Nesta dissertação obtemos resultados semelhantes com uma abordagem relativamente diferente daquela usada pelo autor R. Valentini. / Let be p a prime, q = pe whit e ≥ 1 integer. Let a polynomial f (x) = x4+ax3+bx2+cx+d ∈ Fq[x], considering the polynomial F(T)=T4+aT3+bT2+cT +d, with y= f (x) over Fq(y)[T]. The purpose of the current research is to determine the numbers of polynomials f (x) which have its associated Galois group GF, this GF is isomorphic for each transitive subgroup (prefixed) of A4. This project is based on the article: Galois closures of quartic sub-fields of rational function fields, using auxiliary equations associated to the minimal polynomial F(T) of degrees 3 and 2 (DUMMIT, 1994); besides a characterization of non-singular projective plane curves of degree 2 was used. If car(k) ≠ 2, associated to F(T) the resolvent cubic RF(T) and its discriminant ΔF then conditions for GF are obtained as GF ≅ C4 which is the fundamental case for determining the other cases (Theorem 2.9). If car(k) = 2, to find conditions for GRF ≅ A3, associated to the polynomial RF(T) its resolvent quadratic p(T) (Proposition 2.13). Homogenizing p(T), one of the consequences of the Bezout theorem was applied. It is, a projective plane curve C, which grade 2, is irreducible if and only if C is smooth. In the current dissertation, similar results were obtained using a different approach developed by the author R. Valentini.

Seja p um primo, considere q = pe com e ≥ 1 inteiro. Dado o polinômio f (x) = x4+ax3+bx2+ cx+d ∈ Fq[x], consideremos o polinômio F(T) = T4 +aT3 +bT2 +cT + d - y ∈ Fq(y)[T], com y = f (x) sobre Fq(y). O objetivo desse trabalho é determinar o número de polinômios f (x) que tem seu grupo de galois associado GF isomorfo a cada subgrupo transitivo (prefixado) de S4. O trabalho foi baseado no artigo: Galois closures of quartic sub-fields of rational function fields, usando equações auxiliares associadas ao polinômio minimal F(T) de graus 3 e 2 (DUMMIT, 1994); bem como uma caraterização das curvas projetivas planas de grau 2 não singulares. Se car(k) ≠ 2, associamos a F(T) sua cúbica resolvente RF(T) e seu discriminante ΔF. Em seguida obtemos condições para GF ≅ C4 (vide Teorema 2.9), que é ocaso fundamental para determinação dos demais casos. Se car(k) = 2, procuramos determinar condições para GRF ≅ A3, associando ao polinômio RF(T) sua quadrática resolvente P(T) (vide a Proposição 2.13). Apos ter homogeneizado P(T), usamos uma das consequências do teorema de Bézout, a saber, uma curva algébrica projetiva plana C de grau 2 é irredutível se, e somente se, C não tem pontos singulares. Nesta dissertação obtemos resultados semelhantes com uma abordagem relativamente diferente daquela usada pelo autor R. Valentini. / Let be p a prime, q = pe whit e ≥ 1 integer. Let a polynomial f (x) = x4+ax3+bx2+cx+d ∈ Fq[x], considering the polynomial F(T)=T4+aT3+bT2+cT +d, with y= f (x) over Fq(y)[T]. The purpose of the current research is to determine the numbers of polynomials f (x) which have its associated Galois group GF, this GF is isomorphic for each transitive subgroup (prefixed) of A4. This project is based on the article: Galois closures of quartic sub-fields of rational function fields, using auxiliary equations associated to the minimal polynomial F(T) of degrees 3 and 2 (DUMMIT, 1994); besides a characterization of non-singular projective plane curves of degree 2 was used. If car(k) ≠ 2, associated to F(T) the resolvent cubic RF(T) and its discriminant ΔF then conditions for GF are obtained as GF ≅ C4 which is the fundamental case for determining the other cases (Theorem 2.9). If car(k) = 2, to find conditions for GRF ≅ A3, associated to the polynomial RF(T) its resolvent quadratic p(T) (Proposition 2.13). Homogenizing p(T), one of the consequences of the Bezout theorem was applied. It is, a projective plane curve C, which grade 2, is irreducible if and only if C is smooth. In the current dissertation, similar results were obtained using a different approach developed by the author R. Valentini.

Neste trabalho apresentamos várias demonstrações do Teorema da Base Normal para certos tipos de extensões galoisianas de corpos, algumas existenciais e outras construtivas, destacando as diferenças e dificuldades de cada situação. Apresentamos também generalizações de tal teorema e mostramos que toda extensão galoisiana de grau ímpar de corpos admite uma base normal autodual com respeito µa forma bilinear traço / In this work we present several demonstrations of The Normal Basis Theorem for certain kinds of galoisian extensions of fields, some of them existential and others constructive, pointing the diffculties and differences in each situation. We also present generalizations of such theorem and show that every odd degree galoisian extension of fields admits a self-dual normal base with respect to the trace bilinear map