aboutsummaryrefslogtreecommitdiff
path: root/ga/n3.lyx
diff options
context:
space:
mode:
authorJuan Marín Noguera <juan.marinn@um.es>2020-06-04 20:06:22 +0200
committerJuan Marín Noguera <juan.marinn@um.es>2020-06-04 20:06:22 +0200
commit7544304fd64d461ec6987b51a1fd4f82dd61789f (patch)
tree704bc39717a62b6f1755502d124a7074445f53e7 /ga/n3.lyx
parentdf32fe5f5ee4bb86bcebfb22af3cd16ab76af2fd (diff)
Errata GyA
Diffstat (limited to 'ga/n3.lyx')
-rw-r--r--ga/n3.lyx66
1 files changed, 59 insertions, 7 deletions
diff --git a/ga/n3.lyx b/ga/n3.lyx
index 78d5abb..75e710f 100644
--- a/ga/n3.lyx
+++ b/ga/n3.lyx
@@ -449,11 +449,21 @@ El coeficiente de grado
\begin_inset Formula $A[X]$
\end_inset
- no es un cuerpo, pues
+ no es un cuerpo
+\begin_inset Note Comment
+status open
+
+\begin_layout Plain Layout
+, pues
\begin_inset Formula $(X)$
\end_inset
- es un ideal propio no nulo.
+ es un ideal propio no nulo
+\end_layout
+
+\end_inset
+
+.
Es un dominio si y sólo si lo es
\begin_inset Formula $A$
\end_inset
@@ -1532,6 +1542,11 @@ Para
\begin_inset Formula $m:=\max\{k\in\mathbb{N}:(X-a)^{k}\mid f\}$
\end_inset
+
+\begin_inset Note Comment
+status open
+
+\begin_layout Plain Layout
, pues
\begin_inset Formula $(X-a)^{0}\mid f$
\end_inset
@@ -1544,6 +1559,11 @@ Para
\begin_inset Formula $k=\text{gr}((X-a)^{k})\leq\text{gr}(f)$
\end_inset
+
+\end_layout
+
+\end_inset
+
.
Llamamos a
\begin_inset Formula $m$
@@ -2012,7 +2032,7 @@ derivada
\end_inset
como
-\begin_inset Formula $P':=D(P):=\sum_{k}ka_{k}X^{k-1}$
+\begin_inset Formula $P':=D(P):=\sum_{k\geq1}ka_{k}X^{k-1}$
\end_inset
, y escribimos
@@ -2490,7 +2510,7 @@ Si hubiera
\end_inset
.
- Si
+ Entonces si
\begin_inset Formula $p=PQ$
\end_inset
@@ -2970,6 +2990,22 @@ Demostración:
\end_layout
\begin_layout Standard
+\begin_inset ERT
+status open
+
+\begin_layout Plain Layout
+
+
+\backslash
+begin{samepage}
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
Como
\series bold
teorema
@@ -3258,6 +3294,22 @@ Queda ver que todo irreducible
\end_layout
\end_deeper
+\begin_layout Standard
+\begin_inset ERT
+status open
+
+\begin_layout Plain Layout
+
+
+\backslash
+end{samepage}
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
\begin_layout Itemize
\begin_inset Argument item:1
status open
@@ -5256,7 +5308,7 @@ Sean
\end_layout
\begin_layout Enumerate
-\begin_inset Formula $A[X_{1},\dots,X_{n},Y_{1},\dots,Y_{m}]\cong A[X_{1},\dots,X_{n}][Y_{1},\dots,Y_{m}]\cong A[Y_{1},\dots,Y_{m}][X_{1},\dots,X_{m}]$
+\begin_inset Formula $A[X_{1},\dots,X_{n},Y_{1},\dots,Y_{m}]\cong A[X_{1},\dots,X_{n}][Y_{1},\dots,Y_{m}]\cong A[Y_{1},\dots,Y_{m}][X_{1},\dots,X_{n}]$
\end_inset
, por lo que en la práctica no distinguimos entre estos anillos.
@@ -5299,8 +5351,8 @@ grado
\begin_inset Formula $\text{gr}(p)$
\end_inset
-, al mayor de los grados de los monomios en la expresión por monomios de
-
+, al mayor de los grados de los monomios no nulos en la expresión por monomios
+ de
\begin_inset Formula $p$
\end_inset