現代数学の系譜　カントル　超限集合論2

現代数学の系譜　カントル　超限集合論2at MATH

現代数学の系譜　カントル　超限集合論2 - 暇つぶし2ch857: FX-FrX を考えると、係数がd番目Xdから後が一致しているので FX-FrX＝　・・・+0y^(d-1)+0y^d・・としっぽの係数 d以降がすべて0になる多項式になるそして、同値類は、形式的冪級数のしっぽによる多項式環の話に直せるつまり、決定番号は、多項式環の1つの式（＝同値類の元）の次数d-1に直せる*) （*)注：多項式環では、係数が0次の定数項から始まるので、次数との比較で1つずれる）この話は、過去にガロアスレにも書いたが、また時間があるときに書きます形式的冪級数→多項式環→多項式の次数という流れで考えると時枝記事の（みせかけ）トリックが、よく分ります (参考) http://lupus.is.kochi-u.ac.jp/shiota/ 塩田研一高知大学理工学部情報科学教室 http://lupus.is.kochi-u.ac.jp/shiota/misc/index.html 塩田研一覚書帳 http://lupus.is.kochi-u.ac.jp/shiota/misc/field/FieldTheory.html 体 ― 塩田研一覚書帳 ― p 進体 p 進付値（ふち）有限次代数体の素イデアル p についても p 進距離を考えることができます。また体 F 上の一変数関数体 F(x) においては、例えば x が素数の役割を果たして付値が定義でき、その完備化は形式的べき級数体 F((x)) になります。 Qp の中で |x|p≦1 を満たす元 x を p 進整数と呼び、 p 進整数全ての集合を Zp と表します。 http://lupus.is.kochi-u.ac.jp/shiota/misc/field/FiniteField.html 有限体 ― 塩田研一覚書帳 ―

次ページ

続きを表示

1を表示