既約多項式

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

代数学において既約多項式(きやくたこうしき、: irreducible polynomial)とは、多項式環既約元[1]のことである。より冗長には次のようになる。R単位元をもつ可換環とし、その単数全体を R×、一変数多項式環を R[X] とおく。多項式 ƒR[X] が2条件

  • ƒR×
  • g, hR[X]   ƒ = ghgR× or hR×

を満たすとき既約であるという。そうでないとき可約であるという。

係数環 R整数環実数体複素数体のような一意分解整域の場合には既約多項式は多項式環における素元でもあるので、これは整数環における素数の類似物である。

[編集]

  • 整数環上の一変数多項式 X2 + 1 は既約多項式である
  • 整数環上の一変数多項式 X2 − 1X2 − 1 = (X + 1)(X − 1) より可約多項式である
  • 有限体 F2 上の一変数多項式 X2 + 1X2 + 1 = (X + 1)2 より可約多項式である
  • 円分多項式 Φd(X) ∈ Q[X] は既約多項式である

判定法[編集]

可換環 R素イデアル P とモニック多項式

をとる。このとき2条件

  • a1, …, anP
  • anP2

を満たすならば多項式 ƒ は既約である(アイゼンシュタインの既約判定法[2][3]

たとえば素数 p と自然数 m に対して整数環上の一変数多項式 Xmp は既約である。ただし、これは既約である必要条件ではない。実際、例にある X2 + 1 ∈ Z[X] はこの判定法で既約性を判定できない。

体上の既約多項式[編集]

位数 q有限体上モニックな n 次既約多項式の総数は次の式で与えられる[4]

ただし μメビウス関数を表す。

脚注[編集]

  1. ^ (永田 1995)の語法では「固有既約元」のこと
  2. ^ 永田 1995, 定理 8.1.11.
  3. ^ van der Waerden 2003, Exercise 18.11.
  4. ^ Sunil K. Chebolu, Jan Minac (2011), Counting irreducible polynomials over finite fields using the inclusion-exclusion principle, http://arxiv.org/abs/1001.0409v6 

参考文献[編集]