aboutsummaryrefslogtreecommitdiff
path: root/ac
diff options
context:
space:
mode:
authorJuan Marin Noguera <juan@mnpi.eu>2022-10-04 10:16:10 +0200
committerJuan Marin Noguera <juan@mnpi.eu>2022-10-04 10:16:19 +0200
commite94ce5d357ba99a15219165751a7ec86b9f37604 (patch)
tree882c68e83d84415a09424f68c95a2eaa5552c7bb /ac
parent950f4e80b7a17eab51efd9cc451a6790105c5640 (diff)
Corrección AC tema 1
Diffstat (limited to 'ac')
-rw-r--r--ac/n1.lyx24
1 files changed, 12 insertions, 12 deletions
diff --git a/ac/n1.lyx b/ac/n1.lyx
index 0e8bd67..ca8140c 100644
--- a/ac/n1.lyx
+++ b/ac/n1.lyx
@@ -2095,7 +2095,7 @@ Sean
\begin_layout Standard
Llamamos
-\begin_inset Formula ${\cal I}(A)$
+\begin_inset Formula ${\cal L}(A)$
\end_inset
al conjunto de ideales de
@@ -3295,7 +3295,7 @@ Hay tantos ideales de
\end_inset
, por el teorema anterior hay una biyección entre
-\begin_inset Formula ${\cal I}(\mathbb{Z}_{n})$
+\begin_inset Formula ${\cal L}(\mathbb{Z}_{n})$
\end_inset
y
@@ -4039,7 +4039,7 @@ espectro maximal
\end_inset
, la biyección
-\begin_inset Formula $\{J\in{\cal I}(A):I\subseteq J\}\to{\cal I}(A/I)$
+\begin_inset Formula $\{J\in{\cal L}(A):I\subseteq J\}\to{\cal L}(A/I)$
\end_inset
del teorema de la correspondencia se restringe a una biyección
@@ -4354,7 +4354,7 @@ espectro primo
\end_inset
, la biyección
-\begin_inset Formula $\{J\in{\cal I}(A):I\subseteq J\}\to{\cal I}(A/I)$
+\begin_inset Formula $\{J\in{\cal L}(A):I\subseteq J\}\to{\cal L}(A/I)$
\end_inset
se restringe a una biyección
@@ -4363,7 +4363,7 @@ espectro primo
.
En efecto, para
-\begin_inset Formula $J\in{\cal I}(A)$
+\begin_inset Formula $J\in{\cal L}(A)$
\end_inset
con
@@ -5030,7 +5030,7 @@ subconjunto multiplicativo
\end_layout
\begin_layout Enumerate
-\begin_inset Formula ${\cal I}_{I,S}\coloneqq\{J\trianglelefteq A:I\subseteq J,J\cap S=\emptyset\}$
+\begin_inset Formula ${\cal L}_{I,S}\coloneqq\{J\trianglelefteq A:I\subseteq J,J\cap S=\emptyset\}$
\end_inset
es un conjunto inductivo no vacío.
@@ -5039,11 +5039,11 @@ subconjunto multiplicativo
\begin_deeper
\begin_layout Standard
La unión de elementos de una cadena vacía de
-\begin_inset Formula ${\cal I}_{I,S}$
+\begin_inset Formula ${\cal L}_{I,S}$
\end_inset
está en
-\begin_inset Formula ${\cal I}_{I,S}$
+\begin_inset Formula ${\cal L}_{I,S}$
\end_inset
.
@@ -5052,7 +5052,7 @@ La unión de elementos de una cadena vacía de
\end_deeper
\begin_layout Enumerate
Todo elemento maximal de
-\begin_inset Formula ${\cal I}_{I,S}$
+\begin_inset Formula ${\cal L}_{I,S}$
\end_inset
es un ideal primo de
@@ -5069,7 +5069,7 @@ Sean
\end_inset
maximal de
-\begin_inset Formula ${\cal I}_{I,S}$
+\begin_inset Formula ${\cal L}_{I,S}$
\end_inset
y supongamos que existen
@@ -5090,7 +5090,7 @@ Sean
\end_inset
, por lo que
-\begin_inset Formula $(x)+J\notin{\cal I}_{I,S}$
+\begin_inset Formula $(x)+J\notin{\cal L}_{I,S}$
\end_inset
y, como es un ideal que contiene a
@@ -5253,7 +5253,7 @@ y en particular
\end_inset
de
-\begin_inset Formula ${\cal I}_{I,S}$
+\begin_inset Formula ${\cal L}_{I,S}$
\end_inset
que es primo, de modo que