From ccee3019554dba80c89adf45a6992820299699d4 Mon Sep 17 00:00:00 2001
From: Juan Marín Noguera <juan.marinn@um.es>
Date: Fri, 11 Jun 2021 15:15:08 +0200
Subject: Cosas que ya no entran

---
 ealg/n4.lyx | 91 -------------------------------------------------------------
 1 file changed, 91 deletions(-)

(limited to 'ealg/n4.lyx')

diff --git a/ealg/n4.lyx b/ealg/n4.lyx
index 01a240d..d6843c6 100644
--- a/ealg/n4.lyx
+++ b/ealg/n4.lyx
@@ -1635,97 +1635,6 @@ Sean
 \end_inset
 
 -isomorfos.
- 
-\series bold
-Demostración:
-\series default
- Si 
-\begin_inset Formula $\overline{L}$
-\end_inset
-
- y 
-\begin_inset Formula $\overline{L'}$
-\end_inset
-
- son clausuras algebraicas respectivas de 
-\begin_inset Formula $L$
-\end_inset
-
- y 
-\begin_inset Formula $L'$
-\end_inset
-
-, lo son de 
-\begin_inset Formula $K$
-\end_inset
-
- y 
-\begin_inset Formula $K'$
-\end_inset
-
- por ser 
-\begin_inset Formula $K\subseteq L$
-\end_inset
-
- y 
-\begin_inset Formula $K'\subseteq L'$
-\end_inset
-
- algebraicas, y por lo anterior 
-\begin_inset Formula $\sigma$
-\end_inset
-
- se extiende a un isomorfismo 
-\begin_inset Formula $\overline{\sigma}:\overline{L}\to\overline{L'}$
-\end_inset
-
-.
- Tenemos 
-\begin_inset Formula $L=K(S:=\{\alpha\in\overline{L}:\alpha\text{ es raíz de un }f\in{\cal P}\})$
-\end_inset
-
- y 
-\begin_inset Formula $L':=K(S':=\{\alpha'\in\overline{L'}:\alpha'\text{ es raíz de un }f'\in{\cal P}'\})$
-\end_inset
-
-, pero si un 
-\begin_inset Formula $\alpha\in S$
-\end_inset
-
- es raíz de un 
-\begin_inset Formula $f\in{\cal P}$
-\end_inset
-
-, entonces 
-\begin_inset Formula $\overline{\sigma}(\alpha)\in\overline{L'}$
-\end_inset
-
- es raíz de 
-\begin_inset Formula $\overline{\sigma}(f)=\sigma(f)\in\sigma({\cal P})={\cal P}'$
-\end_inset
-
-, luego 
-\begin_inset Formula $\overline{\sigma}(\alpha)\in S'$
-\end_inset
-
- y 
-\begin_inset Formula $\overline{\sigma}(S)\subseteq S'$
-\end_inset
-
-.
- Usando 
-\begin_inset Formula $\overline{\sigma}^{-1}$
-\end_inset
-
- se obtiene el otro contenido, luego 
-\begin_inset Formula $\overline{\sigma}(L)=\overline{\sigma}(K(S))=\overline{\sigma}(K)(\overline{\sigma}(S))=K'(S')=L'$
-\end_inset
-
- y 
-\begin_inset Formula $\overline{\sigma}|_{L}:L\to L'$
-\end_inset
-
-.
 \end_layout
 
 \begin_layout Standard
-- 
cgit v1.2.3