aboutsummaryrefslogtreecommitdiff
path: root/ac/n2.lyx
diff options
context:
space:
mode:
Diffstat (limited to 'ac/n2.lyx')
-rw-r--r--ac/n2.lyx14
1 files changed, 7 insertions, 7 deletions
diff --git a/ac/n2.lyx b/ac/n2.lyx
index d1f9070..07960c8 100644
--- a/ac/n2.lyx
+++ b/ac/n2.lyx
@@ -771,7 +771,7 @@ Para
\end_inset
, los
-\begin_inset Formula $I_{n}\coloneqq\{a:\forall k>n,a_{k}=0\}$
+\begin_inset Formula $I_{n}\coloneqq\{a\mid \forall k>n,a_{k}=0\}$
\end_inset
cumplen
@@ -779,7 +779,7 @@ Para
\end_inset
y los
-\begin_inset Formula $J_{n}\coloneqq\{a:\forall k<n,a_{k}=0\}$
+\begin_inset Formula $J_{n}\coloneqq\{a\mid \forall k<n,a_{k}=0\}$
\end_inset
cumplen
@@ -1333,7 +1333,7 @@ Dados
\end_inset
, llamamos
-\begin_inset Formula $(I:S)=\{a\in A:aS\subseteq I\}$
+\begin_inset Formula $(I:S)=\{a\in A\mid aS\subseteq I\}$
\end_inset
.
@@ -1491,7 +1491,7 @@ anulador
\end_inset
a
-\begin_inset Formula $\text{ann}_{A}(X)\coloneqq(0:X)=\{a\in A:aX=0\}$
+\begin_inset Formula $\text{ann}_{A}(X)\coloneqq(0:X)=\{a\in A\mid aX=0\}$
\end_inset
, y entonces
@@ -1719,7 +1719,7 @@ Claramente
\end_layout
\begin_layout Standard
-\begin_inset Formula $(P:(a))=\{c\in A:c(a)=(ca)\subseteq P\}=\{c\in A:ac\in P\}$
+\begin_inset Formula $(P:(a))=\{c\in A\mid c(a)=(ca)\subseteq P\}=\{c\in A\mid ac\in P\}$
\end_inset
, y entonces
@@ -2218,7 +2218,7 @@ dimensión de Krull
es
\begin_inset Formula
\[
-\dim A\coloneqq\text{Kdim}A\coloneqq\sup\{n\in\mathbb{N}:\exists P_{0},\dots,P_{n}\trianglelefteq_{\text{p}}A:P_{0}\subsetneq\dots\subsetneq P_{n}\}\in\mathbb{N}\cup\{\infty\},
+\dim A\coloneqq\text{Kdim}A\coloneqq\sup\{n\in\mathbb{N}\mid \exists P_{0},\dots,P_{n}\trianglelefteq_{\text{p}}A:P_{0}\subsetneq\dots\subsetneq P_{n}\}\in\mathbb{N}\cup\{\infty\},
\]
\end_inset
@@ -2443,7 +2443,7 @@ Dado
.
Si no lo fuera,
-\begin_inset Formula $\Omega\coloneqq\{K\trianglelefteq A:KI\neq0\}\neq\emptyset$
+\begin_inset Formula $\Omega\coloneqq\{K\trianglelefteq A\mid KI\neq0\}\neq\emptyset$
\end_inset
, pues