Ver el código de «Resolvente Teoría de Galois»

En la [[teoría de Galois]], un resolutivo para un grupo de permutaciones <math>G</math> es un [[polinomio]] cuyos coeficientes dependen polinomialmente de los coeficientes de un polinomio <math>p</math> dado y tiene, en términos generales, una raíz racional si y sólo si el [[grupo de Galois]] de <math>p</math> está incluido en <math>G</math>. Más exactamente, si el grupo de Galois está incluido en <math>G</math>, entonces el resolutivo tiene una raíz racional, y lo contrario es cierto si la raíz racional es una [[raíz simple]]. Los disolventes fueron introducidos por [[Joseph-Louis Lagrange|Joseph Louis Lagrange]] y utilizados sistemáticamente por [[Évariste Galois]]. Hoy en día siguen siendo una herramienta fundamental para calcular [[Grupo de Galois|grupos de Galois]]. Los ejemplos más simples de resolutivos son

* <math>X^2 - \Delta</math> donde <math>\Delta</math> es el [[discriminante]], que es un resolutivo para el [[Grupo alternante|grupo alterno]]. En el caso de una [[ecuación cúbica]], este resolutivo a veces se denomina '''resolutivo cuadrático'''; sus raíces aparecen explícitamente en las fórmulas para las raíces de una ecuación cúbica.
* El [[resolutivo cúbico]] de una [[ecuación de cuarto grado]] que es resolutivo del [[grupo diédrico]] de 8 elementos.
* El [[resolutivo de Cayley]] es un resolutivo para el grupo de Galois de máxima resoluble en grado cinco. Es un polinomio de grado 6.

Estos tres resolutivos tienen la propiedad de ser siempre separables, lo que significa que, si tienen raíz múltiple, entonces el polinomio p no es irreducible. No se sabe si existe un resolutivo siempre separable para cada grupo de permutaciones.

Para cada ecuación, las raíces pueden expresarse en términos de radicales y de una raíz de un resolutivo para un grupo resoluble, porque el grupo de Galois de la ecuación sobre el campo generado por esta raíz es resoluble.

== Definición ==
Sea <math>n</math> un entero positivo cuál será el grado de la ecuación que consideraremos, y <math>(X_1, \cdots, X_n)</math> una lista ordenada de [[Indeterminado (matematicas)|indeterminados]]. Esto define el polinomio genérico de grado <math>n</math>.

<math>F(X)=X^{n}+\sum _{{i=1}}^{n}(-1)^{i}E_{i}X^{{n-i}}=\prod _{{i=1}}^{n}(X-X_{i}),</math>                                                                                                                                       donde <math>E_i</math> es el iésimo [[polinomio simétrico elemental]].

El [[grupo simétrico]] <math>S_n</math> actúa sobre <math>X_i</math> permutándolos, y esto induce una acción sobre los polinomios en <math>X_i</math>. La [[órbita]] de un polinomio dado bajo esta acción es generalmente todo el grupo <math>S_n</math>, pero algunos polinomios tienen una órbita más pequeña. Por ejemplo, la órbita de un polinomio simétrico elemental se reduce a sí misma. Si la órbita no es todo el grupo simétrico, el polinomio queda fijado por algún subgrupo <math>G</math>; se dice que es un invariante de <math>G</math>. A la inversa, dado un subgrupo <math>G</math> de <math>S_n</math>, un invariante de <math>G</math> es un invariante resolutivo para <math>G</math> si no es un invariante de ningún subgrupo mayor de <math>S_n</math>.

Encontrar invariantes resolutivas para un grupo determinado es relativamente fácil: por ejemplo, se puede elegir un monomio y considerar la suma de los monomios en esta órbita. En el caso del subgrupo <math>D_4</math> de orden 8 de <math>S_4</math>, el monomio <math>X_1 X_2</math> dada, para una de las posibles acciones de <math>D_4</math> el invariante <math>X_1 X_2 + X_3 X_4</math> que es un invariante resolutivo para este grupo, utilizado para definir el [[resolutivo cúbico]] de la [[ecuación de cuarto grado]].

Si <math>P</math> es un invariante resolutivo para un grupo <math>G</math> de índice <math>g</math>, entonces su órbita bajo Sn tiene un orden <math>g</math>. Dejar <math>{\displaystyle P_1 \cdots P_g}</math> ser los elementos de esta órbita. Entonces el polinomio

<math>{\displaystyle R_{G}=\prod _{{i=1}}^{g}(Y-P_{i})}</math>

es invariante bajo <math>S_n</math>. Por lo tanto, cuando se expanden, sus coeficientes son polinomios en <math>X_i</math> que son invariantes bajo la acción del grupo de simetría y, por lo tanto, pueden expresarse como polinomios en los polinomios simétricos elementales. En otras palabras, <math>R_G</math> es un [[polinomio irreducible]] en <math>Y</math> cuyos coeficientes son polinomios en los coeficientes de <math>F</math>. Al tener el invariante resolutivo como raíz, se llama '''resolutivo''' (a veces '''ecuación resolutiva''').

Consideremos ahora un polinomio irreducible

<math>f(X) = X^n + \sum^n_{i=1} a_i X^{n -i} = \Pi^n_{i=1} (X - x_i)</math>

con coeficientes en un campo dado <math>K</math> (típicamente el [[Número racional|campo de racionales]]) y raíces <math>x_i</math>xi en una extensión de [[Cuerpo algebraicamente cerrado|campo algebraicamente cerrada]]. Sustituyendo <math>X_i</math> por <math>x_i</math> y los coeficientes de <math>F</math> por los de <math>f</math> en lo anterior, obtenemos un polinomio <math>R^{(f)}_{G}(Y)</math> también llamado solvente o solvente especializado en caso de ambigüedad). Si el [[grupo de Galois]] de <math>f</math> está contenido en <math>G</math>, la especialización del invariante resolutivo es invariante por <math>G</math> y, por tanto, es una raíz de <math>R^{(f)}_{G}(Y)</math> tiene una raíz racional, que no es una raíz múltiple, el grupo de Galois de <math>f</math> está contenido en <math>G</math>.                                                                                                                                        

== Terminología ==
Hay algunas variantes en la terminología.

* Dependiendo de los autores o del contexto, resolutivo puede referirse a invariante resolutivo en lugar de a ecuación resolutiva.
* Un '''resolutivo de Galois''' es un resolutivo tal que el invariante resolutivo es lineal en las raíces.
* El '''resolutivo de Lagrange''' puede referirse al polinomio lineal

<math>\sum^{n -1}_{i=0} X_i \omega^i</math>

donde <math>\omega</math> es una [[Raíz de la unidad|raíz enésima primitiva de la unidad]]. Es el invariante resolutivo de un resolutivo de Galois para el grupo de identidad.

* Un '''resolutivo relativo''' se define de manera similar a un resolutivo, pero considerando solo la acción de los elementos de un determinado subgrupo <math>H</math> de <math>S_n</math>Sn, teniendo la propiedad de que, si un resolutivo relativo para un subgrupo <math>G</math> de <math>H</math> tiene una raíz simple racional y el grupo de Galois de <math>f</math> está contenido en <math>H</math>, entonces el grupo de Galois de <math>f</math> está contenido en <math>G</math>. En este contexto, un resolutivo habitual se denomina '''resolutivo absoluto'''.

== Método solvente ==
El grupo de Galois de un polinomio de grado <math>n</math> es <math>S_n</math> o un [[Subgrupo|subgrupo adecuado]] del mismo. Si un polinomio es separable e irreducible, entonces el grupo de Galois correspondiente es un subgrupo transitivo.

Subgrupos transitivos de <math>S_n</math> formar un gráfico dirigido: un grupo puede ser un subgrupo de varios grupos. Un resolutivo puede decir si el grupo de Galois de un polinomio es un subgrupo (no necesariamente adecuado) de un grupo dado. El método resolutivo es simplemente una forma sistemática de verificar grupos uno por uno hasta que solo sea posible un grupo. Esto no significa que se deban verificar todos los grupos: cada resolutivo puede cancelar muchos grupos posibles. Por ejemplo, para polinomios de grado cinco nunca es necesario un resolutivo de <math>D_5</math> solventes para <math>A_5</math> y <math>M_{20}</math> dar la información deseada.

Una forma es comenzar desde subgrupos máximos (transitivos) hasta encontrar el correcto y luego continuar con subgrupos máximos de ese.

== Bibliografía ==
*[[Leonard Eugene Dickson|Dickson, Leonard E.]] (1959).  ''Algebraic Theories''. New York: [[Dover Publications]] Inc. p. ix+276. [[ISBN]]: 0-486-49573-6.
*Girstmair, K. (1983). "On the computation of resolvents  and Galois groups". Manuscripta [[Mathematica]]. '''43''' (2-3): 289-307. doi: [https://link.springer.com/article/10.1007/BF01165834 10.1007/BF01165834]. [[Semantic Scholar|S2CID]] [https://www.semanticscholar.org/paper/On-the-computation-of-resolvents-and-Galois-groups-Girstmair/9e15f3bc71cf218d696a144e0498852944880e94 123752910]

== Enlaces externos ==
{{traducido ref|en|https://Resolvent (Galois_theory)||total}}
* http://www.alexhealy.net/papers/math250a.pdf

{{Control de autoridades}}
[[Categoría:Ecuaciones]]
[[Categoría:Teoría de Galois]]
[[Categoría:Teoría de grupos]]