数学 › 代数的整数論・類体論 › 付値と完備化

Newton 多角形

定義 7.1(「付値と完備化」§7)

f=∑i=0naiXi∈K[X]f = \sum_{i=0}^na_iX^i \in K[X]、a0an≠0a_0a_n \ne 0 とする。実数 ss に対し

Nf(s):=min⁡0≤i≤n(v(ai)+is)N_f(s) := \min_{0 \le i \le n}\bigl(v(a_i) + is\bigr)

とおき、この最小値を与える添字 ii の最小のものを i−(s)i_{-}(s)、最大のものを i+(s)i_{+}(s) と書く。平面上の点 Pi=(i,v(ai))P_i = (i, v(a_i))(ai≠0a_i \ne 0)の下側の凸包の境界を ff の Newton 多角形という。i−(s)<i+(s)i_{-}(s) < i_{+}(s) のとき、Pi−(s)P_{i_{-}(s)} と Pi+(s)P_{i_{+}(s)} を結ぶ線分は Newton 多角形の傾き −s-s の辺で、ℓf(s):=i+(s)−i−(s)\ell_f(s) := i_{+}(s) - i_{-}(s) をその(水平方向の)長さという。傾き −s-s の辺がないときは ℓf(s)=0\ell_f(s) = 0 である。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。

関連するノック 2 問