正標数多項式環のイデアルの根基の計算法
スポンサーリンク
概要
- 論文の詳細を見る
p>0の完全体上のn変数多項式環に於いて, 任意のイデアルのラディカルを計算するアルゴリズムを提案する.提案手法に於いてブッフバーガーアルゴリズムの実行回数は高々n〔nlog_pd〕回である.ここでdは入力イデアルの生成元の最高次数と3の大きいほうである.次にある体K上の多項式環に於けるイデアルのラディカル計算アルゴリズムが与えられたとき, それを用いてK上有限生成の体上の多項式環に於いてイデアルのラディカルを計算する方法を明らかにする.
- 1998-07-23