diff options
author | David A. Madore <david+git@madore.org> | 2016-02-15 18:44:38 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2016-02-15 18:44:38 +0100 |
commit | 24295f84a97b36e324e45100ba8e7ff54b2de633 (patch) | |
tree | 977b57fa1b7de22edc07915f17c3eef008c0e1dd | |
parent | 03f8fb210899554749676531119d07717b987415 (diff) | |
download | accq205-24295f84a97b36e324e45100ba8e7ff54b2de633.tar.gz accq205-24295f84a97b36e324e45100ba8e7ff54b2de633.tar.bz2 accq205-24295f84a97b36e324e45100ba8e7ff54b2de633.zip |
Add trivial remark.
-rw-r--r-- | notes-accq205.tex | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/notes-accq205.tex b/notes-accq205.tex index e6ea133..dc29e2f 100644 --- a/notes-accq205.tex +++ b/notes-accq205.tex @@ -547,6 +547,9 @@ dans une extension sans pour autant être algébriquement clos (par exemple $\mathbb{Q}$ dans le corps $\mathbb{Q}(t)$ des fractions rationnelles). +D'après (4) ci-dessus, la fermeture algébrique de $k$ dans $K$ est +algébriquement fermée dans $K$. + \thingy\label{upgrade-algebraic-with-indeterminates} On peut aussi remarquer le fait suivant : si $K$ est algébrique au-dessus de $k$, alors $K(t_1,\ldots,t_n)$ où les $t_i$ sont des indéterminées (ou, de |