diff options
| author | David A. Madore <david+git@madore.org> | 2016-05-23 14:32:29 +0200 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2016-05-23 14:32:29 +0200 |
| commit | 0b0df0689c44ef19b87cb7ba66d503ddaf3ebba2 (patch) | |
| tree | 1e4709a8dfe3ca3e2ec92b2042d95edfbfeebc31 | |
| parent | e2af3166ac88f79e63d2984b51168bc0b52ee45e (diff) | |
| download | accq205-0b0df0689c44ef19b87cb7ba66d503ddaf3ebba2.tar.gz accq205-0b0df0689c44ef19b87cb7ba66d503ddaf3ebba2.tar.bz2 accq205-0b0df0689c44ef19b87cb7ba66d503ddaf3ebba2.zip | |
Give a little more details in answer to test (was too terse).
| -rw-r--r-- | controle-20160421.tex | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/controle-20160421.tex b/controle-20160421.tex index 935ca0e..a769376 100644 --- a/controle-20160421.tex +++ b/controle-20160421.tex @@ -648,7 +648,9 @@ On vient de voir que $\ord_M(x) = -2$ et $\ord_M(y) = -5$. Par conséquent, $\ord_M(x^i) = -2i$ et $\ord_M(x^i y) = -2i-5$. Ces quantités sont $\geq -2r$ lorsque respectivement $i\leq r$ et $i\leq r-\frac{5}{2}$ (c'est-à-dire en fait $i \leq r-3$ puisque $i,r$ sont -entiers). On a bien montré que $1,x,x^2,\ldots,x^r,\penalty0 +entiers). En toute autre place $P$ que $M$, on sait que +$\ord_P(x)\geq 0$ et $\ord_P(y)\geq 0$ d'après la question (3). +On a bien montré que $1,x,x^2,\ldots,x^r,\penalty0 y,xy,\ldots,x^{r-3}y$ sont dans $\mathscr{L}(2r(M))$. Ils sont linéairement indépendants sur $k$ car d'une part les puissances de $x$, qui sont dans $k(x)$, sont linéairement indépendantes sur $k$, |