summaryrefslogtreecommitdiffstats
path: root/notes-accq205.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-03-02 17:23:49 +0100
committerDavid A. Madore <david+git@madore.org>2016-03-02 17:23:49 +0100
commitb2bccfc5c2ee11f821898ff8b5011959e748173f (patch)
treebe98c577ebd5f5d88162c96c0b2b2db32c8d8e38 /notes-accq205.tex
parentbcfb164aa4d3756151e436f855d94a62647a672c (diff)
downloadaccq205-b2bccfc5c2ee11f821898ff8b5011959e748173f.tar.gz
accq205-b2bccfc5c2ee11f821898ff8b5011959e748173f.tar.bz2
accq205-b2bccfc5c2ee11f821898ff8b5011959e748173f.zip
Typos.
Diffstat (limited to 'notes-accq205.tex')
-rw-r--r--notes-accq205.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/notes-accq205.tex b/notes-accq205.tex
index e837292..d7f6eee 100644
--- a/notes-accq205.tex
+++ b/notes-accq205.tex
@@ -1191,7 +1191,7 @@ au-dessus de tous les précédents, et un sous-corps de $L'$, jusqu'à
obtenir un morphisme de $L$ dans $L'$. Pour le (3), il s'agit de
nouveau d'observer que si $L'$ est engendré par toutes les racines de
tous les $f_i$, comme elles sont dans l'image du morphisme, le
-morphisme est surjectif..
+morphisme est surjectif.
\end{proof}
L'intérêt principal de la proposition qu'on vient de démontrer est de
@@ -1437,7 +1437,7 @@ $y$ soit de degré $d'$ entraîne que $1,y,\ldots,y^{d'-1}$ sont
linéairement indépendants sur $k$, autrement dit la matrice des
$c_{i,j}$ est de rang $d'$. Maintenant, en élevant $y^j =
\sum_{i=0}^{d-1} c_{i,j} x_i$ à la puissance $p$, on trouve $y^{pj} =
-\sum_{i=0}^{d-1} c_{i,j}^p x_d^p$.
+\sum_{i=0}^{d-1} c_{i,j}^p x_i^p$.
L'hypothèse que $K^p$ engendre $K$ comme $k$-espace vectoriel signifie
que tout élément de $K$ peut s'écrire comme combinaison linéaire