En álgebra abstracta, una extensión de cuerpoalgebraica E/K se dice extensión de Galois (o extensión galoisiana) si es una extensión normal y separable. En este caso, se puede considerar el grupo de Galois de la extensión y sobre él es válida la tesis del Teorema Fundamental de la Teoría de Galois.
Por ser normal, E es el cuerpo de descomposición de un polinomio con coeficientes en K; o, equivalentemente, las K-inmersiones de E en un cuerpo algebraicamente cerrado que contenga a K son automorfismos de E sobre K.
Por ser separable, dicho polinomio descompone completamente en raíces simples.
Grupo de Galois
Sobre una extensión de Galois E/K, se define el grupo de Galois Gal(E/K) como el grupo de los automorfismos de E sobre K. Por ser E/Knormal, toda K-inmersión entre E y Ω es un automorfismo y se tiene:
extensión, galois, álgebra, abstracta, extensión, cuerpo, algebraica, dice, extensión, galois, extensión, galoisiana, extensión, normal, separable, este, caso, puede, considerar, grupo, galois, extensión, sobre, válida, tesis, teorema, fundamental, teoría, gal. En algebra abstracta una extension de cuerpo algebraica E K se dice extension de Galois o extension galoisiana si es una extension normal y separable En este caso se puede considerar el grupo de Galois de la extension y sobre el es valida la tesis del Teorema Fundamental de la Teoria de Galois Definicion EditarSea la extension E sobre un cuerpo base K E K Por ser normal E es el cuerpo de descomposicion de un polinomio con coeficientes en K o equivalentemente las K inmersiones de E en un cuerpo algebraicamente cerrado que contenga a K son automorfismos de E sobre K Por ser separable dicho polinomio descompone completamente en raices simples Grupo de Galois EditarSobre una extension de Galois E K se define el grupo de Galois Gal E K como el grupo de los automorfismos de E sobre K Por ser E K normal toda K inmersion entre E y W es un automorfismo y se tiene Gal E K Aut K E s E K s K i n m e r s i o n displaystyle operatorname Gal E K operatorname Aut K E lbrace sigma E rightarrow bar K sigma mbox K mbox mathrm inmersi acute o n rbrace siendo el cardinal del grupo Gal E K Aut K E E K displaystyle operatorname Gal E K operatorname Aut K E lbrack E K rbrack Enlaces externos EditarWeisstein Eric W Galois Extension Field En Weisstein Eric W ed MathWorld en ingles Wolfram Research Galois Extension en PlanetMath Datos Q2020004Obtenido de https es wikipedia org w index php title Extension de Galois amp oldid 132155519, wikipedia, wiki, leyendo, leer, libro, biblioteca,