Dejemos que $\alpha = \pi^3+\pi^2$ y $\beta = \pi^8+\pi^5$ . Se puede demostrar que si $f = \frac{p}{q}$ donde $\gcd(p,q)=1$ tenemos $$[\mathbb{Q}(\pi):\mathbb{Q}(f(\pi))] = \max\{\deg(p), \deg(q)\}.$$ Por lo tanto, $[\mathbb{Q}(\pi):\mathbb{Q}(\pi^3+\pi^2)]=3$ y si $\pi \notin \mathbb{Q(\alpha, \beta)}$ Debemos tener $\mathbb{Q(\pi)}:\mathbb{Q(\alpha, \beta)}=3$ ya que $$[\mathbb{Q}(\pi):\mathbb{Q}(\alpha)] = [\mathbb{Q}(\pi):\mathbb{Q}(\alpha, \beta)][\mathbb{Q}(\alpha, \beta):\mathbb{Q}(\alpha)].$$
Esto significa que $\beta \in \mathbb{Q}(\alpha)$ o $\pi^8+\pi^5 = \frac{g}{h}$ donde $g,h \in \mathbb{Q}[\alpha]$ y son relativamente primos. Así que $\pi^5|g$ lo cual es imposible, porque si $\pi^k |g$ , $k$ debe ser uniforme. Así que $\pi \in \mathbb{Q}(\alpha, \beta)$ .
4 votos
Utilizar el algoritmo euclidiano en $\pi^3+\pi^2,\pi^8+\pi^5$ .
1 votos
Si $a=\pi^3+\pi^2$ y $b=\pi^8+\pi^5$ entonces $b^3 + (-12a^2 + 3a)b^2 + (8a^5 + 15a^4)b + (-a^8 - 3a^7 - 3a^6)=0$ y $b$ tiene grado $3$ en ${\mathbb Q}[a]$ .
0 votos
$\frac{\pi^8 +\pi^5}{\pi^3+\pi^2} = \pi^3\frac{\pi^3+1}{\pi+1} = \pi^5 -\pi^4 + \pi^3$
0 votos
@EwanDelanoy Bueno, todos los campos son anillos, no entendí bien lo que querías decir.
0 votos
Gracias por los comentarios. Veo que el campo dado es igual a $\mathbb Q(^3+^2, ^5-^4+^3) = \mathbb Q(^3+^2, -3^2) = \mathbb Q(^3)$ haciendo sucesivas divisiones euclidianas en $\Bbb Q[X]$ . ¿Es eso cierto? No estoy muy seguro.
1 votos
@Alphonse Esto es falso. $\pi^3+\pi^2$ claramente no está en ${\mathbb Q}(\pi^3)$ (porque los elementos de ${\mathbb Q}(\pi^3)$ sólo contienen monomios de la forma $\pi^{3k}$ con el exponente divisible por $3$ )
0 votos
@EwanDelanoy $\pi^2$ no es el gcd de $\pi^2+\pi^3$ y $\pi^5+\pi^8$ . De todos modos, tienes razón, si $a,b\in\mathbb k$ no se deduce que $a+bk\in\mathbb k$ a menos que $k\in\mathbb k$
0 votos
@Alphonse : al menos por el teorema de Lüroth, esto tiene solución...