Tengo una pregunta sobre las extensiones solubles.
Estoy leyendo un artículo en el que los autores trabajan con el campo $\mathbb{Q}^{solve}$ es decir, la máxima extensión soluble de $\mathbb{Q}$ en $\overline{\mathbb{Q}}$ . No estoy seguro de cuál es la definición de este campo, pero supongo que es el compositum de todas las extensiones solubles de $\mathbb{Q}$ . Sin embargo, no estoy tan seguro de que el compositum de dos extensiones solubles siga siendo soluble.
¿Es esto cierto? Si no es así, ¿tiene algún contraejemplo?
Gracias.
0 votos
Solvable Galois Compositum, sí
0 votos
¿Cómo se demuestra? Quiero decir, si $E/\mathbb{Q}$ y $F/\mathbb{Q}$ son dos extensiones solubles, existe $M/E$ tal que $M/\mathbb{Q}$ es Galois y soluble, y $K/F$ tal que $K/\mathbb{Q}$ también es soluble en Galois. Está claro entonces que $MK/\mathbb{Q}$ es Galois, pero ¿por qué el grupo Galois es soluble?
0 votos
El grupo de Galois del compositum está relacionado con el producto directo de los factores individuales