Comentadas las demostraciones que no entran

1 files changed, 107 insertions, 27 deletions

diff --git a/ga/n5.lyx b/ga/n5.lyx
index 7e21c49..fafc084 100644
--- a/ga/n5.lyx
+++ b/ga/n5.lyx
@@ -147,7 +147,8 @@ independiente
 \end_inset
 
 .
-\end_layout
+\begin_inset Note Comment
+status open
 
 \begin_layout Description
 \begin_inset Formula $1\implies2]$
@@ -241,6 +242,11 @@ independiente
 .
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
 \begin_layout Standard
 Cuando 
 \begin_inset Formula $(B_{i})_{i\in I}$
@@ -304,10 +310,10 @@ Para cada
 \end_inset
 
 .
-\end_layout
+\begin_inset Note Comment
+status open
 
-\begin_deeper
-\begin_layout Standard
+\begin_layout Plain Layout
 La intersección es nula y, dado 
 \begin_inset Formula $(x,y)\in\mathbb{Z}\times\mathbb{Z}$
 \end_inset
@@ -319,7 +325,11 @@ La intersección es nula y, dado
 .
 \end_layout
 
-\end_deeper
+\end_inset
+
+
+\end_layout
+
 \begin_layout Enumerate
 En 
 \begin_inset Formula $\mathbb{Z}$
@@ -330,10 +340,10 @@ En
 \end_inset
 
  no hay dos subgrupos no triviales independientes.
-\end_layout
+\begin_inset Note Comment
+status open
 
-\begin_deeper
-\begin_layout Standard
+\begin_layout Plain Layout
 Sean 
 \begin_inset Formula $A$
 \end_inset
@@ -387,7 +397,11 @@ Sean
  y tampoco son independientes.
 \end_layout
 
-\end_deeper
+\end_inset
+
+
+\end_layout
+
 \begin_layout Standard
 Si 
 \begin_inset Formula $\hat{B}_{i}:=0\times\dots0\times B_{i}\times0\times\dots\times0\leq B_{1}\times\dots\times B_{n}$
@@ -461,9 +475,7 @@ indescomponible
  si no es suma directa de dos subgrupos propios.
  Todo grupo abeliano finito no trivial es suma directa de grupos indescomponible
 s.
-\end_layout
-
-\begin_layout Enumerate
+ 
 \begin_inset Formula $\mathbb{Z}$
 \end_inset
 
@@ -474,16 +486,16 @@ s.
  son indescomponibles.
 \end_layout
 
-\begin_layout Enumerate
+\begin_layout Standard
 Un grupo cíclico 
 \begin_inset Formula $\langle a\rangle_{n}$
 \end_inset
 
  es indescomponible si y sólo si tiene orden potencia de primo.
-\end_layout
+\begin_inset Note Comment
+status open
 
-\begin_deeper
-\begin_layout Enumerate
+\begin_layout Itemize
 \begin_inset Argument item:1
 status open
 
@@ -515,7 +527,7 @@ Si
 .
 \end_layout
 
-\begin_layout Enumerate
+\begin_layout Itemize
 \begin_inset Argument item:1
 status open
 
@@ -563,7 +575,11 @@ Si el orden no es potencia de primo, existen
 .
 \end_layout
 
-\end_deeper
+\end_inset
+
+
+\end_layout
+
 \begin_layout Standard
 Dado un grupo 
 \begin_inset Formula $G$
@@ -621,7 +637,12 @@ de torsión
 Si un grupo es finito tiene periodo finito, y si tiene periodo finito es
  periódico.
  Los recíprocos no se cumplen.
- En efecto, 
+ 
+\begin_inset Note Comment
+status open
+
+\begin_layout Plain Layout
+En efecto, 
 \begin_inset Formula $\prod_{n\in\mathbb{N}}\mathbb{Z}_{2}$
 \end_inset
 
@@ -630,11 +651,20 @@ Si un grupo es finito tiene periodo finito, y si tiene periodo finito es
 \end_inset
 
  es periódico pero con periodo infinito.
+\end_layout
+
+\end_inset
+
  Todo 
 \begin_inset Formula $p$
 \end_inset
 
--grupo es periódico, pero no necesariamente finito, pues 
+-grupo es periódico, pero no necesariamente finito
+\begin_inset Note Comment
+status open
+
+\begin_layout Plain Layout
+, pues 
 \begin_inset Formula $\bigoplus_{n\in\mathbb{N}}\mathbb{Z}_{p^{n}}$
 \end_inset
 
@@ -642,7 +672,12 @@ Si un grupo es finito tiene periodo finito, y si tiene periodo finito es
 \begin_inset Formula $p$
 \end_inset
 
--grupo de orden infinito.
+-grupo de orden infinito
+\end_layout
+
+\end_inset
+
+.
 \end_layout
 
 \begin_layout Standard
@@ -674,6 +709,11 @@ t_{p}(A):=\{a\in A:\exists n\in\mathbb{N}:p^{n}a=0\}=\{a\in A:|a|\text{ es poten
 
 \end_inset
 
+
+\begin_inset Note Comment
+status open
+
+\begin_layout Plain Layout
 En efecto, si 
 \begin_inset Formula $p^{n}a=0$
 \end_inset
@@ -687,7 +727,12 @@ En efecto, si
 \end_inset
 
 , y el recíproco es obvio.
- Si 
+ 
+\end_layout
+
+\end_inset
+
+Si 
 \begin_inset Formula $A$
 \end_inset
 
@@ -733,6 +778,11 @@ con cada
 
 .
  
+\begin_inset Note Comment
+status open
+
+\begin_layout Plain Layout
+
 \series bold
 Demostración:
 \series default
@@ -874,12 +924,27 @@ Demostración:
 .
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
 \begin_layout Standard
 Si 
 \begin_inset Formula $n:=p_{1}^{\alpha_{1}}\cdots p_{k}^{\alpha_{k}}$
 \end_inset
 
- es una factorización prima, por el teorema chino de los restos, 
+ es una factorización prima
+\begin_inset Note Comment
+status open
+
+\begin_layout Plain Layout
+, por el teorema chino de los restos
+\end_layout
+
+\end_inset
+
+, 
 \begin_inset Formula $\mathbb{Z}_{n}\cong\mathbb{Z}_{p_{1}^{\alpha_{1}}}\times\dots\times\mathbb{Z}_{p_{k}^{\alpha_{k}}}$
 \end_inset
 
@@ -913,10 +978,19 @@ Si
 \end_inset
 
  es 
+\begin_inset Note Comment
+status open
+
+\begin_layout Plain Layout
 \begin_inset Formula $n(a+B)=0$
 \end_inset
 
 , luego 
+\end_layout
+
+\end_inset
+
+
 \begin_inset Formula $|a+B|\mid|a|$
 \end_inset
 
@@ -930,7 +1004,8 @@ Un grupo abeliano finito es indescomponible si y solo si es un
 \end_inset
 
 -grupo cíclico.
-\end_layout
+\begin_inset Note Comment
+status open
 
 \begin_layout Itemize
 \begin_inset Argument item:1
@@ -975,7 +1050,7 @@ Sea
 \end_layout
 
 \begin_deeper
-\begin_layout Standard
+\begin_layout Plain Layout
 Queda ver que 
 \begin_inset Formula $A$
 \end_inset
@@ -1055,7 +1130,7 @@ Queda ver que
  es cíclico.
 \end_layout
 
-\begin_layout Standard
+\begin_layout Plain Layout
 Dado 
 \begin_inset Formula $x$
 \end_inset
@@ -1170,7 +1245,7 @@ Dado
 .
 \end_layout
 
-\begin_layout Standard
+\begin_layout Plain Layout
 Con esto, para cada 
 \begin_inset Formula $i$
 \end_inset
@@ -1291,6 +1366,11 @@ Ya hemos visto que todo grupo cíclico de orden
  es indescomponible.
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
 \begin_layout Standard
 Esto significa que todo grupo abeliano finito es suma directa de subgrupos
  cíclicos, cada uno con orden potencia de primo.