- 43 名前：１３２人目の素数さん [2005/09/21(水) 10:03:54 ]
- >>35の命題を改めて書く。
命題
AをDedekind環、K をその商体、L/K を有限次分離拡大体。
BをLにおけるAの整閉包とする。
PをBの(非零)素イデアルで、B/P は A/p 上分離的とする。
ここで、p = A∩P。
このとき、以下の条件を満たすθ∈B が存在する。
1) L = K(θ)
2) A[θ] の導手 F はPと素である。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
代数的整数論
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef