diff options
author | David A. Madore <david+git@madore.org> | 2016-03-02 17:23:49 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2016-03-02 17:23:49 +0100 |
commit | b2bccfc5c2ee11f821898ff8b5011959e748173f (patch) | |
tree | be98c577ebd5f5d88162c96c0b2b2db32c8d8e38 /notes-accq205.tex | |
parent | bcfb164aa4d3756151e436f855d94a62647a672c (diff) | |
download | accq205-b2bccfc5c2ee11f821898ff8b5011959e748173f.tar.gz accq205-b2bccfc5c2ee11f821898ff8b5011959e748173f.tar.bz2 accq205-b2bccfc5c2ee11f821898ff8b5011959e748173f.zip |
Typos.
Diffstat (limited to 'notes-accq205.tex')
-rw-r--r-- | notes-accq205.tex | 4 |
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 |