aboutsummaryrefslogtreecommitdiff
path: root/ealg/n5.lyx
diff options
context:
space:
mode:
authorJuan Marin Noguera <juan@mnpi.eu>2022-12-04 22:49:17 +0100
committerJuan Marin Noguera <juan@mnpi.eu>2022-12-04 22:49:17 +0100
commitc34b47089a133e58032fe4ea52f61efacaf5f548 (patch)
tree4242772e26a9e7b6f7e02b1d1e00dfbe68981345 /ealg/n5.lyx
parent214b20d1614b09cd5c18e111df0f0d392af2e721 (diff)
Oops
Diffstat (limited to 'ealg/n5.lyx')
-rw-r--r--ealg/n5.lyx14
1 files changed, 7 insertions, 7 deletions
diff --git a/ealg/n5.lyx b/ealg/n5.lyx
index 18c97fd..6531d9e 100644
--- a/ealg/n5.lyx
+++ b/ealg/n5.lyx
@@ -112,7 +112,7 @@ de uno
, y llamamos
\begin_inset Formula
\[
-{\cal U}_{n}(K):=\{\xi\in K\mid \xi^{n}=1\}=\{\xi\in K\mid o_{K^{*}}(\xi)\mid n\}.
+{\cal U}_{n}(K):=\{\xi\in K\mid \xi^{n}=1\}=\left\{\xi\in K\;\middle|\;o_{K^{*}}(\xi)\mid n\right\}.
\]
\end_inset
@@ -725,7 +725,7 @@ status open
Probamos el contrarrecíproco.
Si
-\begin_inset Formula $p:=\text{car}K\mid n$
+\begin_inset Formula $p\coloneqq \text{car}K\mid n$
\end_inset
, existe
@@ -1155,11 +1155,11 @@ Como
\end_inset
y
-\begin_inset Formula $m:=o(x)$
+\begin_inset Formula $m\coloneqq o(x)$
\end_inset
y
-\begin_inset Formula $n:=o(y)$
+\begin_inset Formula $n\coloneqq o(y)$
\end_inset
son coprimos, entonces
@@ -1675,7 +1675,7 @@ La extensión ciclotómica de orden
\end_inset
, con
-\begin_inset Formula $m:=o_{\mathbb{Z}_{n}^{*}}(p)$
+\begin_inset Formula $m\coloneqq o_{\mathbb{Z}_{n}^{*}}(p)$
\end_inset
.
@@ -1741,7 +1741,7 @@ Dado un cuerpo
\end_inset
con
-\begin_inset Formula $p:=\text{car}K\neq0$
+\begin_inset Formula $p\coloneqq \text{car}K\neq0$
\end_inset
y
@@ -2047,7 +2047,7 @@ teorema
\end_inset
, luego si
-\begin_inset Formula $\xi:=e^{2\pi i/n}$
+\begin_inset Formula $\xi\coloneqq e^{2\pi i/n}$
\end_inset
,