diff options
Diffstat (limited to 'ga/n2.lyx')
| -rw-r--r-- | ga/n2.lyx | 32 |
1 files changed, 19 insertions, 13 deletions
@@ -3238,7 +3238,7 @@ PID \end_layout \begin_layout Description -\begin_inset Formula $2\iff3]$ +\begin_inset Formula $2\iff3\implies6]$ \end_inset Visto. @@ -3251,13 +3251,6 @@ PID Visto. \end_layout -\begin_layout Description -\begin_inset Formula $3\implies6]$ -\end_inset - - Obvio. -\end_layout - \begin_layout Standard Todo DIP es un DFU. @@ -3387,7 +3380,13 @@ euclídea \end_inset . - +\end_layout + +\begin_layout Standard +\begin_inset Newpage pagebreak +\end_inset + + \end_layout \begin_layout Standard @@ -3530,10 +3529,14 @@ Sean \end_inset , entonces -\begin_inset Formula $I=(a)\iff\forall x\in I\setminus\{0\},\delta(a)\leq\delta(x)$ +\begin_inset Formula +\[ +I=(a)\iff\forall x\in I\setminus\{0\},\delta(a)\leq\delta(x). +\] + \end_inset -. + \begin_inset Note Comment status open @@ -3811,10 +3814,13 @@ Sean \end_inset , definimos la relación binaria -\begin_inset Formula $(a_{1},s_{1})\sim(a_{2},s_{2}):\iff a_{1}s_{2}=a_{2}s_{1}$ +\begin_inset Formula +\[ +(a_{1},s_{1})\sim(a_{2},s_{2}):\iff a_{1}s_{2}=a_{2}s_{1}. +\] + \end_inset -. Esta relación es de equivalencia \begin_inset Note Comment status open |