He leído el siguiente teorema:
Si $p_1,p_2,\dots,p_n$ son números primos distintos, entonces $$\left(\mathbb Q\left[\sqrt p_1,\dots,\sqrt p_n\right]:\mathbb Q\right)=2^n.$$
He intentado demostrar una afirmación más general pero tengo un problema en un punto. (Todavía no sé cómo demostrar el teorema de arriba, también, porque no sé cómo no utilizar la independencia lineal, que hago en el enunciado más general de abajo). ¿Podríais ayudarme a superar el obstáculo que he encontrado? Publicaré la prueba prevista y aclararé dónde tengo problemas.
Quiero demostrar la siguiente afirmación:
Dejemos que $n\geq 1$ . El conjunto $B_n:=\left\{\sqrt {p_1^{\epsilon_1}}\sqrt {p_2^{\epsilon_2}}\cdots\sqrt {p_n^{\epsilon_n}}\,|\,(\epsilon_1,\epsilon_2,\cdots,\epsilon_n)\in\{0,1\}^n\right\}$ tiene $2^n$ elementos y es un $\mathbb Q-$ base de $\mathbb Q\left[\sqrt p_1,\sqrt p_2,\cdots,\sqrt p_n\right].$
La prueba será por inducción.
Para $n=1,$ tenemos $B_n=\left\{1,\sqrt {p_1}\right\}.$ Está claro que $\sqrt{p_1}\neq 1,$ por lo que el conjunto tiene $2=2^1$ elementos. Es la base de $\mathbb Q[\sqrt{p_1}]$ porque el polinomio mínimo de $\sqrt {p_1}$ en $\mathbb Q$ tiene grado $2,$ y existe el teorema de que $K[a]$ tiene $a^0,\cdots,a^{d-1}$ como base, donde $d$ es el grado del polinomio mínimo de $a$ en $K$ .
Supongamos que la afirmación es cierta para $n-1$ , donde $n\geq 2.$ Tenemos
$$ \left(B_n=B_{n-1}\cup\sqrt{p_n}B_{n-1}\right)\text { and } \left(B_{n-1}\cap\sqrt{p_n}B_{n-1}=\emptyset\right), $$
que es fácil de ver. También es fácil ver que $\operatorname{card}(B_{n-1})=\operatorname{card}(\sqrt{p_n}B_{n-1}),$ y por lo tanto
$$ \operatorname{card}B_{n}=2^n. $$
Dejemos que
$$ \sum_{x\in B_{n}}q_xx=0 $$
para algunos $\{q_x\}_{x\in B_n}\subset\mathbb Q.$ Dejemos que $p(x):=\sqrt{p_n}x$ para todos $x\in B_{n-1}.$ Tenemos
$$ \sum_{x\in B_{n}}q_xx=\sum_{x\in B_{n-1}} q_xx+\sum_{x\in \sqrt{p_n}B_{n-1}} q_xx=\sum_{x\in B_{n-1}} q_xx+\sum_{x\in B_{n-1}} q_{p(x)}\sqrt{p_n}x. $$
Por lo tanto,
$$ \sum_{x\in B_{n-1}} q_xx=-\sqrt{p_n}\sum_{x\in B_{n-1}} q_{p(x)}x,\tag1 $$
y podemos hacer la siguiente división si $q_{p(x)}\neq 0$ para todos $x\in B_{n-1}$ (porque $B_{n-1}$ es linealmente independiente de $\mathbb Q$ ):
$$ \sqrt{p_n}=-\frac{\sum_{x\in B_{n-1}} q_xx}{\sum_{x\in B_{n-1}} q_{p(x)}x}, $$
El lado derecho pertenece a $\mathbb Q\left[\sqrt p_1,\sqrt p_2,\cdots,\sqrt p_{n-1}\right],$ por lo que tenemos
$$ \sqrt{p_n}\in \mathbb Q\left[\sqrt p_1,\sqrt p_2,\cdots,\sqrt p_{n-1}\right]. $$
Por lo tanto, podemos escribir $\sqrt{p_n}$ de forma única en la base $B_{n-1}$ .
$$ \sqrt{p_n}=\sum_{y\in B_{n-1}}c_yy $$
para algunos $\{c_y\}_{y\in B_{n-1}}\subset \mathbb Q.$
Tras elevar al cuadrado esta ecuación obtendremos
$$ p_n=\sum_{y\in B_{n-1}}c_y^2y^2+2\sum_{y,z\in B_{n-1}}c_yc_zyz. $$
La última suma debe ser cero porque no está en $\mathbb Q$ y porque después de reducirla, obtenemos una representación de $p_n$ en la base $B_{n-1},$ que es único. Así,
$$p_n=\sum_{y\in B_{n-1}}c_y^2y^2.$$
Desafortunadamente, no puedo probar que $c_yc_z$ es siempre cero. Esto fue lo primero que pensé, pero está claro que hay problemas con la posibilidad de reducciones en $$ \sum_{y,z\in B_{n-1}}c_yc_zyz. $$
Diferentes pares $y,z$ puede producir el mismo elemento de $B_{n-1}$ en el producto $yz.$ Esto ocurre, por ejemplo, cuando $y=\sqrt 5\sqrt 3,$ $z=\sqrt 5\sqrt 2,$ y $y'= \sqrt 11\sqrt 2,$ $z'=\sqrt 11\sqrt 3$ .
Si fuera cierto que $c_yc_z$ es siempre cero, podría continuar mi prueba como sigue. Tendríamos sólo una $y_0$ tal que $c_{y_0}\neq 0$ y obtendríamos
$$p_n=c_{y_0}^2y_0^2.$$
Dejemos que $c_{y_0}=\frac kl$ . Podemos escribir $$l^2p_n=k^2y_0^2.$$
Pero $y_0^2$ es el producto de algunos primos diferentes de $p_n$ . Por lo tanto, el mayor poder de $p_n$ que divide el lado derecho es par. Sin embargo, la mayor potencia de $p_n$ que divide el lado izquierdo es impar. Una contradicción.
La contradicción demuestra que $q_{p(x)}=0$ para todos $x\in B_{n-1}.$ Por lo tanto, $(1)$ nos da que
$$ \sum_{x\in B_{n-1}} q_xx=0 $$
y la independencia lineal de $B_{n-1}$ nos da que $q_x=0$ para todos $x\in B_{n-1}.$
Esto nos da que $B_n$ es linealmente independiente. Genera todo el $\mathbb Q\left[\sqrt p_1,\sqrt p_2,\cdots,\sqrt p_n\right]$ porque
$$ \mathbb Q\left[\sqrt p_1,\sqrt p_2,\cdots,\sqrt p_n\right]=\left(\mathbb Q\left[\sqrt p_1,\sqrt p_2,\cdots,\sqrt p_{n-1}\right]\right)\left[\sqrt{p_n}\right]. $$
Este sería terminar la prueba.