- 919 名前：１３２人目の素数さん mailto:sage [2006/03/10(金) 09:38:06 ]
- >>917
> Ｍ m∽∀ｘＡ(xｊ)の定義は松本さんの本によると「m＝n(i)をみたす任意のnに対してＭ n∽Ａ(ai)
> ただしaiはＡ(xｊ)に表れない自由変数のうちで最小の番号を持ったものとする」
ちょっと考えなきゃいけないけどこの定義でも >>913 の解釈で大丈夫だと思う。
補題として
「m,n を A(xj) に現れるどの自由変数 ak に対しても mk=nk となるものとする。
このとき mi=nj であれば
Ｍ m∽Ａ(ai) ⇔ Ｍ n∽Ａ(aj) 」
みたいなのがあればいいかな。(細かいところは修正がいるかも)
これを暗黙のうちに使ってるのでは？
