- 327 名前：１３２人目の素数さん mailto:sage [03/07/20 21:43]
- >>323
もういちどr_0,r_1,r_2,･･･のみたすべき条件を再確認します。
(Claim) Rの元の列1=r_0,r_1,r_2,･･･でv(b_i)≧i、F(1-r_1)(1-r_2)･･･(r_u)を
F(1-r_0)(1-r_1)･･･(1-r_u)=∑a'_k(Xn)^k、a'_k∈k[[X2･･･Xn]]と表示したとき
w(a'_k)≧δ-k (for k≦δ)、w(a'_k)=0、a'_k=0 (for δ+1≦k≦δ+u)
を満足するようにとれる。
ここでu=0の場合要求される条件は(for δ+1≦k≦δ+u)に相当するkが存在しないゆえ
事実上要求されるのはw(a'_k)≧δ-k (for k≦δ)、w(a'_k)=0だけでこの条件はもとの
a_kがすでにみたしているのでr_u=0ととれば十分です。
いささかしょぼい例ですがr_uを構成してゆく例をしめしてみます。
n=2としX1=X、X2=Y、F=XY^2+(1+X)Y^3+(X/(1-X))Y^4+･･･
のような例でやってみます。この場合v(F)=3でw(X^2)=2、w(1+X)=0ゆえ
前提条件をみたしてます。r_0はでよいことはすでに述べたとおり。
r_1はY^4の係数を消すためにr_1=X/((1-X)(1+X))ととります。
これはY^3の係数である1+Xがk[[X]]の可逆元なので可能です。
そしてFに(1-r_0)(1-r_1)をかけてみると
F(1-r_0)(1-r_1)
=XY^2+(1+X)Y^3+(X/(1-X))Y^4+･･･
-X^2/((1-X)(1+X))Y^3-X/(1-X)Y^4-X^2/((1-X)^2(1+X))Y^5+･･･
=XY^2-{(1+X)-X^2/((1-X)(1+X))}Y^3+(1+X)Y^3+0+･･･
となりY^4の係数を消すことができ、またY^3の係数も変化はしますがもともと
要求されていた条件をみたしている範囲内での変化にとどまっています。
もちろん(1-r_0)(1-r_1)･･･とかけていくとどんどん変化していきますが全体がCauchy列で
あるためyに関するべき展開の係数もやっぱりCauchy列になることがしめせるので
それは収束してその収束先でもa_δは可逆元、とくにa_δ(0･･･0)≠0であることが
示せます。
あってるような気がしてまふ。確認してよかったらつかってやってくさい。
|
 |
