- 297 名前：１３２人目の素数さん mailto:sage [2012/03/31(土) 23:44:01.27 ]
- >>286
環Rから作られる多項式環R[x]とは、a_n∈R の無限列 f＝(a_0,a_1,・・・) で有限個の要素だけ0でない物の集合で、
和演算 (a_0,a_1,・・・)＋(b_0,b_1,・・・)＝(a_0＋b_0,a_1＋b_1,・・・)
積演算 (a_0,a_1,・・・)*(b_0,b_1,・・・)＝(c_0,c_1,・・・), c_n＝Σ[a_i*b_j;i＋j＝n]
が定義されてる物である。
ここで、x＝(0,1,0,・・,0,・・)∈R[x] とすると f＝(a_0,a_1,・・・) は f＝a_0＋a_1 x＋a_2 x^2＋・・・と書ける。
この x が不定元であり、要素 a_n の位置を示すだけの機能を持ち、x に何かを代入するような変数ではない。
