aboutsummaryrefslogtreecommitdiff
path: root/ealg/n6.lyx
diff options
context:
space:
mode:
Diffstat (limited to 'ealg/n6.lyx')
-rw-r--r--ealg/n6.lyx28
1 files changed, 14 insertions, 14 deletions
diff --git a/ealg/n6.lyx b/ealg/n6.lyx
index fd441a7..1b95789 100644
--- a/ealg/n6.lyx
+++ b/ealg/n6.lyx
@@ -239,11 +239,11 @@ Demostración:
\end_inset
, sean
-\begin_inset Formula $f:=\text{Irr}(\alpha,K)$
+\begin_inset Formula $f\coloneqq \text{Irr}(\alpha,K)$
\end_inset
y
-\begin_inset Formula $R:=\{\alpha_{1}\mid =\alpha,\dots,\alpha_{m}\}$
+\begin_inset Formula $R\coloneqq \{\alpha_{1}\coloneqq \alpha,\dots,\alpha_{m}\}$
\end_inset
el conjunto de las raíces de
@@ -354,7 +354,7 @@ teorema
\end_inset
Sean
-\begin_inset Formula ${\cal P}:=\{f_{\alpha}\mid =\text{Irr}(\alpha,K)\}_{\alpha\in L}\subseteq K[X]\setminus0$
+\begin_inset Formula ${\cal P}\coloneqq \{f_{\alpha}\coloneqq \text{Irr}(\alpha,K)\}_{\alpha\in L}\subseteq K[X]\setminus0$
\end_inset
y
@@ -595,7 +595,7 @@ Si
\end_inset
, sean
-\begin_inset Formula $f_{\alpha}:=\text{Irr}(\alpha,K)$
+\begin_inset Formula $f_{\alpha}\coloneqq \text{Irr}(\alpha,K)$
\end_inset
para
@@ -1129,7 +1129,7 @@ Sean
\end_inset
y
-\begin_inset Formula ${\cal P}:=\{\text{Irr}(\alpha,K)\}_{\alpha\in S}$
+\begin_inset Formula ${\cal P}\coloneqq \{\text{Irr}(\alpha,K)\}_{\alpha\in S}$
\end_inset
, entonces
@@ -1244,7 +1244,7 @@ Sea
\end_inset
y
-\begin_inset Formula $S:=\{\alpha_{1},\dots,\alpha_{n}\}$
+\begin_inset Formula $S\coloneqq \{\alpha_{1},\dots,\alpha_{n}\}$
\end_inset
, el conjunto
@@ -1371,7 +1371,7 @@ Sean
\end_inset
el conjunto de raíces de los
-\begin_inset Formula $f_{i}:=\text{Irr}(\alpha_{i},K)$
+\begin_inset Formula $f_{i}\coloneqq \text{Irr}(\alpha_{i},K)$
\end_inset
en
@@ -1432,7 +1432,7 @@ Sean
\end_inset
, con lo que
-\begin_inset Formula $E_{j}:=\overline{\sigma}_{j}(L)$
+\begin_inset Formula $E_{j}\coloneqq \overline{\sigma}_{j}(L)$
\end_inset
es un subcuerpo de
@@ -1610,7 +1610,7 @@ Sea
\end_deeper
\begin_layout Enumerate
Si
-\begin_inset Formula $p:=\text{car}K\neq0$
+\begin_inset Formula $p\coloneqq \text{car}K\neq0$
\end_inset
y
@@ -1757,7 +1757,7 @@ status open
\end_inset
Si
-\begin_inset Formula $p:=\text{car}K\neq0$
+\begin_inset Formula $p\coloneqq \text{car}K\neq0$
\end_inset
,
@@ -1819,11 +1819,11 @@ No todos los polinomios irreducibles son separables.
\begin_deeper
\begin_layout Standard
Sean
-\begin_inset Formula $K:=\mathbb{Z}_{p}(T)$
+\begin_inset Formula $K\coloneqq \mathbb{Z}_{p}(T)$
\end_inset
y
-\begin_inset Formula $f(X):=X^{p}-T\in K[X]$
+\begin_inset Formula $f(X)\coloneqq X^{p}-T\in K[X]$
\end_inset
,
@@ -1897,11 +1897,11 @@ Si
\begin_deeper
\begin_layout Standard
Sean
-\begin_inset Formula $f:=\text{Irr}(\alpha,K)$
+\begin_inset Formula $f\coloneqq \text{Irr}(\alpha,K)$
\end_inset
y
-\begin_inset Formula $g:=\text{Irr}(\alpha,F)$
+\begin_inset Formula $g\coloneqq \text{Irr}(\alpha,F)$
\end_inset
, como