15/12/06 10:35:52.81 nAIWzbvn.net
>>219
何が言いたいのか全然わからん。もう面倒くさいから証明形式にする。
>>203の書き方ができることを以下で証明する。示すべきは
＞Q(S)＝{ g(s_1,…,s_n) / f(s_1,…,s_n)｜n≧1, s_i∈S は全て異なる, f(X_1,…,X_n),g(X_1,…,X_n)∈Q[X_1,…,X_n], f(s_1,…,s_n)≠0 }
という書き方である。"⊃" は明らかだから、"⊂" のみ示す。
α∈Q(S) を任意に取る。α＝b/a を満たす a,b∈Q[S] が取れる。>>214の
＞Q[S]＝{ f(s_1,…,s_n)｜n≧1, s_1,…,s_n∈S, f(X_1,…,X_n)∈Q[X_1,…,X_n] }
という表