既約多項式

代数学において既約多項式（きやくたこうしき、英: irreducible polynomial）とは、多項式環の既約元^{[注 1]}のことである。

概要

より冗長には次のようになる。

$R$ を整域とし、その単数全体を $R \times$ 、一変数多項式環を $R [X]$ とおく。

多項式 $ƒ \in R [X]$ が2条件

$ƒ \notin R \times$
$\forall g, h \in R [X] ƒ = gh \Rightarrow g \in R \times or h \in R \times$

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

元々、整数係数多項式（有理数係数多項式) f(x) が、2 つの1次以上の整数係数多項式（有理数係数多項式） g(x),h(x) の積として因数分解できる時、すなわち

f(x) = g(x) h(x)

の形にできることを可約、そうでないときを既約として多項式の性質を調べる事はあったが、係数の範囲を一般化して、特定の無理数や複素数の四則演算で得られる係数での因数分解を考え、既約性を導入したのはニールス・アーベルである。

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

例

整数環上の一変数多項式 $X 2 + 1$ は既約多項式である
整数環上の一変数多項式 $X 2 - 1$ は $X 2 - 1 = (X + 1)(X - 1)$ より可約多項式である
有限体 $F 2$ 上の一変数多項式 $X 2 + 1$ は $X 2 + 1 = (X + 1) 2$ より可約多項式である
円分多項式 $Φ d (X) \in Q [X]$ は既約多項式である
最小多項式は既約多項式である

判定法

整域 $R$ の素イデアル $P$ とモニック多項式

f(X)=X^{n}+a_{1}X^{n-1}+\dotsb +a_{n}\in R[X]

をとる。このとき2条件

$a 1, \dots, a n \in P$
$a n \notin P 2$

を満たすならば多項式 $ƒ$ は既約である（アイゼンシュタインの既約判定法）^[1]^[2]。

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

体上の既約多項式

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

{\frac {1}{n}}\sum _{d\mid n}\mu \left({\frac {n}{d}}\right)q^{d}

ただし $μ$ はメビウス関数を表す。（ネックレス多項式も参照。）

脚注

[脚注の使い方]

注釈

^ (永田 1995)の語法では「固有既約元」のこと。

出典

^ 永田 1995, 定理 8.1.11.
^ van der Waerden 2003, Exercise 18.11.
^ Sunil K. Chebolu, Jan Minac (2011), Counting irreducible polynomials over finite fields using the inclusion-exclusion principle, http://arxiv.org/abs/1001.0409v6

参考文献

永田, 雅宜 (1995). 可換環論. 紀伊國屋数学叢書. 紀伊國屋書店. ISBN 4-314-00117-8
van der Waerden, B. L. (2003). Algebra. II. Springer-Verlag. ISBN 0-387-40625-5

[1] (永田 1995)の語法では「固有既約元」のこと。

[FOOTNOTE永田1995定理_8.1.11-2] 永田 1995, 定理 8.1.11.

[FOOTNOTEvan_der_Waerden2003Exercise_18.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

[注 1]

[1]

[2]

[3]

既約多項式

概要

例

判定法

体上の既約多項式

脚注

注釈

出典

参考文献

This information is adapted from Wikipedia which is publicly available.

Read other articles:

الحارت (آيت حمو)

謝朓

List of Major National Historical and Cultural Sites in Tianjin

Saint-Anthot

Brygada Kawalerii „Poznań”

Bezirk Halle

جونابة

What Became of the Likely Lads

1884 Danish Folketing election

Wonder (emotion)

Marisela Morales

Toeti Adhitama

الاتحاد الرياضي بالجديدة

المركز الوطني لرسم الخرائط والاستشعار عن بعد (تونس)

Leucandra losangelensis

Bartolomé de la Colina

Terbang membumbung

Education in Taiwan

Rizal: Philippine Nationalist and Martyr

CM156