■因数分解の算法(その31)

  x^2−5x−6=(x+1)(x−6)

  x^3+3x^2−x−3=(x−1)(x^2+4x+3)=(x−1)(x+1)(x+3)

 それでは

[Q]f(x)=x^7+x^5−3x^4+x^3+x−3の因数分解は?

[A]f(x)=0を満たす整数はなく,解は無理数と虚数,計7個である.係数が整数の範囲での解は,

  x^7+x^5−3x^4+x^3+x−3=(x^4+1)(x^3+x−3)

===================================

 有限体上の因数分解についても書いておきたい.

 x^2+1は整数環,有理数体,実数体上では既約であるが,F2[x]うえでは

  (x+1)^2=x^2+2x+1=x^2+1

より可約である(x+1で割り切れる).

  x^2+13x+42=(x+6)(x+7) on Z[x]

  x^2+13x+42=(x+1)(x+2) on F5[x]

  x^2+13x+37=x^2+3x+2=(x+1)(x+2) on F5[x]

===================================