From 7544304fd64d461ec6987b51a1fd4f82dd61789f Mon Sep 17 00:00:00 2001 From: Juan Marín Noguera Date: Thu, 4 Jun 2020 20:06:22 +0200 Subject: Errata GyA --- ga/n3.lyx | 66 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++------- 1 file changed, 59 insertions(+), 7 deletions(-) (limited to 'ga/n3.lyx') 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 @@ -2969,6 +2989,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 @@ -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 -- cgit v1.2.3