¿Cuál es el grupo de galois de x6−7x2+7x6−7x2+7?
Mi enfoque: en primer lugar considerar la x3−7x+7x3−7x+7, es irreductible por Esenstein, y su discriminante es un cuadrado, por lo tanto el grupo de galois de este polinomio esA3A3, y la división de campo de esQ(x1)Q(x1) donde x1x1 es una raíz de x3−7x+7x3−7x+7, [Q(x1):Q]=3[Q(x1):Q]=3
El problema que estoy teniendo ahora es encontrar a [L:Q][L:Q] donde LL es la división de campo de x6−7x2+7x6−7x2+7 sé que es, al menos, 6, y en la mayoría de los 24, ya [L:Q(x1)][L:Q(x1)] es en la mayoría de los 8 y al menos 2.( Tocan la raíz cuadrada de las tres raíces de x3−7x+7x3−7x+7 da LL [L:Q(x1)]=8[L:Q(x1)]=8 cuando las tres raíces cuadradas son independientes)
Si yo conozco a [L:Q][L:Q], entonces yo también conozco a |Gal(L/Q)||Gal(L/Q)| y además sé que es transitivo y contiene A3A3 como un subgrupo normal, entonces yo debería ser capaz de calcular Gal(L/Q)Gal(L/Q)