円分多項式
- こちらで巡回群や多項式環のことをやっている。そこで出てきた円分多項式
- 英語ではCyclotomic polynomial
- まず、
の複素数根のことを
- べき乗を複素平面の回転と考えると、
は1回転でもとに戻ることだから、角度
の回転に相当、
は2回転で元に戻ることだから、角度
の回転、
は
の回転、
は
の回転に相当すると考えるが素直。これ以外の角度でもよいこともあるが(たとえば、
を1,2,3倍すると
となるが、これは、
でちゃらになることを思い出せば、
に相当していて、これは
を1,2,3倍して考えたものと同じこと)
- これは
のこと
- この複素数のことを"primitive d th-root of unity (1 (unity)のd-次の原始根"と言う
- 今、自然数nが与えられたとき、n以下の自然数dについて、nとdとの最大公約数が1であるとき、それを
と書く。この表記を使って、自然数nに対して、すべてのdに関してそのd-次原始根を使った項の積、
をd-次円分多項式と言う
をn以下で、nの約数であるdを使って、d-次円分多項式の積に分解できる。それを
と書く。以下が例
,
,
,
,
- このように円分多項式の係数はすべて整数である(整数係数で分解できなければ、そこで分解を終了しているのだから、そうなるのが道理)
- また、どうして最大公約数うんぬんや約数うんぬんが出てくるか、と言えば、1回分の円周をn等分したとき、
は、定義のようなもので自明。このうち、nの約数になっている分のjを
として書き出してしまえば、
には、nの約数でないjの分が余る
- これは、整数と
なる数とが作る数の世界が体として閉じている、というようにも言い換えられる。なぜなら整数係数1変数多項式の1変数にある一つの値だけを入れて閉じた世界になっているから。このように、整数全体に1変数を加えて多項式の体(環)を作っているから、この話は、多項式体(環)の話となる
- 整数しかない世界が(生物界)にあったときに、冪が許されれば、複素数が立ち現れる、というようにも「意味づけ」ができる。フィボナッチ数列は整数の世界だが、そこのルールに黄金比という複素数があることになっているのと同じような理屈
- 150次までの円分多項式