diff options
Diffstat (limited to 'ealg/n2.lyx')
| -rw-r--r-- | ealg/n2.lyx | 244 | 
1 files changed, 211 insertions, 33 deletions
| diff --git a/ealg/n2.lyx b/ealg/n2.lyx index 3d07f3b..f25344a 100644 --- a/ealg/n2.lyx +++ b/ealg/n2.lyx @@ -2226,6 +2226,67 @@ Sea  \end_layout  \end_deeper +\begin_layout Standard +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +hbox{ +\backslash +vline +\backslash +hspace{3pt} +\backslash +vbox{ +\end_layout + +\end_inset + + +\begin_inset Formula $K\subseteq L$ +\end_inset + + es algebraica si y sólo si todo subanillo  +\begin_inset Formula $A$ +\end_inset + + intermedio entre  +\begin_inset Formula $K$ +\end_inset + + y  +\begin_inset Formula $L$ +\end_inset + + es un cuerpo, si y sólo si para todo cuerpo intermedio  +\begin_inset Formula $E$ +\end_inset + +, todo  +\begin_inset Formula $K$ +\end_inset + +-endomorfismo en  +\begin_inset Formula $E$ +\end_inset + + es un automorfismo. +\begin_inset ERT +status open + +\begin_layout Plain Layout + +}} +\end_layout + +\end_inset + + +\end_layout +  \begin_layout Section  Extensiones simples  \end_layout @@ -2550,6 +2611,22 @@ Si  \end_deeper  \begin_layout Standard +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +begin{samepage} +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Standard  Ejemplos:  \end_layout @@ -2657,6 +2734,22 @@ status open  \backslash +end{samepage} +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Standard +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash  vspace{-1ex}  \backslash  hbox{ @@ -3780,38 +3873,6 @@ Dada una familia   [...] con el producto componente a componente.  \end_layout -\begin_layout Standard -\begin_inset ERT -status open - -\begin_layout Plain Layout - - -\backslash -eremember -\end_layout - -\end_inset - - -\end_layout - -\begin_layout Standard -\begin_inset ERT -status open - -\begin_layout Plain Layout - - -\backslash -sremember{GyA} -\end_layout - -\end_inset - - -\end_layout -  \begin_layout Enumerate  \begin_inset Argument item:1  status open @@ -4462,6 +4523,49 @@ finitamente generada  \end_layout  \begin_layout Standard +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +hbox{ +\backslash +vline +\backslash +vbox{ +\end_layout + +\end_inset + +Dada una extensión algebraica  +\begin_inset Formula $K\subseteq L$ +\end_inset + + y  +\begin_inset Formula $\alpha_{1},\dots,\alpha_{n}\in L$ +\end_inset + +,  +\begin_inset Formula $K(\alpha_{1},\dots,\alpha_{n})=K[\alpha_{1},\dots,\alpha_{n}]$ +\end_inset + +. +\begin_inset ERT +status open + +\begin_layout Plain Layout + +}} +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Standard  Sean   \begin_inset Formula $K\subseteq L$  \end_inset @@ -4575,6 +4679,45 @@ Es un cuerpo, pues para  \end_layout  \begin_layout Standard +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +hbox{ +\backslash +vline +\backslash +vbox{ +\end_layout + +\end_inset + +Para todo cuerpo  +\begin_inset Formula $K$ +\end_inset + +,  +\begin_inset Formula $\overline{K}_{K(X)}=K$ +\end_inset + +. +\begin_inset ERT +status open + +\begin_layout Plain Layout + +}} +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Standard  Un   \series bold  cuerpo de números algebraicos @@ -4882,7 +5025,26 @@ estable por levantamientos  \end_inset   también. - Son estables por levantamientos: +\end_layout + +\begin_layout Standard +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +begin{samepage} +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Standard +Son estables por levantamientos:  \end_layout  \begin_layout Enumerate @@ -4967,6 +5129,22 @@ status open  \backslash +end{samepage} +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Standard +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash  hbox{  \backslash  vline | 
