1 既約多項式の定義
既約多項式とは、ある係数の体（または環）を基盤として、多項式が「自明な方法以外」によって次数が1以上の多項式の積へ分解できないことを表す概念である。因数分解の基本要素として、以後の議論では「係数の取り扱い」と「許される分解の範囲」を明確にする必要がある。
1.1 係数の取り扱いと前提
既約性は係数が属する構造に依存する。たとえば、整数係数多項式を考えるか、有理数係数の多項式として考えるかで結論が変わりうる。一般に、係数が属する集合が体である場合は性質が整いやすい一方、環の場合には単元や零因子の有無など、判定や定義の細部が影響する。
また「分解の因子として次数1以上の多項式を許す」ことが標準的要件であり、定数因子の扱い（単元かどうか）が既約性の定義に直結する。
1.2 既約性の形式的定義
既約性の核は「次数が1以上の因子への分解が本質的に不可能である」点にある。ただし因子分解の意味は、同値な積の扱いを含めて形式化される。
1.2.1 分解可能性（次数が1以上の因子への分解）
体（あるいは整域）上の多項式 \(f(x)\) が既約であるとは、\(f\) が積 \(g(x)h(x)\) と表せる場合、どちらか一方が次数0（つまり定数）に該当することを意味する。ここで次数0の因子は、係数構造の中では「分解を実質的にしない」因子として扱われる。
より一般の環では、定数因子でも「単元」と呼ばれる逆元を持つ要素が同様の役割を担う。
1.2.2 単元の扱いと同値な因数分解
多項式環では、係数が体のときは非零定数がすべて単元になるため、定数倍の違いは本質的ではない。たとえば \(f=gh\) のうち \(g\) または \(h\) に単元を掛けても、同じ分解として見なせる。
このため既約性は「因子分解の可能性」だけでなく、「単元による同値性を許したうえで、次数1以上の因子が真に現れるかどうか」で判定される。
1.3 既約と素の違い（多項式環における関係）
既約性と「素元」は、ともに分解しにくさを扱うが、同一概念ではない。整域における多項式環 \(R[x]\) では、係数環 \(R\) の性質（特に整域性や可換性）により関係が整理される。体上の多項式環では、既約多項式は一般に素に対応するが、環によっては逆が成り立たない場合がある。
実用上は、因数分解の一意性や計算の容易さの観点から、既約という言葉が「因子論的な最小要素」を指す中心概念として用いられる。
2 既約性の判定
既約性の判定は多項式の係数、次数、そして係数体（または環）の構造に依存する。実務では、代表的な判定法を状況に応じて使い分ける。
2.1 一般論としての判定の枠組み
既約性は定義に基づいて「因子分解が存在しない」ことを示す性質である。そのため、直接的な全探索は次数が増えると困難になる。そこで、判定法は「分解が起きれば導かれる矛盾」を利用する形に整理される。
2.1.1 多項式環の性質（因子論の基本）
因子論の基本として、多項式環の中での因子の扱いは係数環の性質に強く結びつく。たとえば、体上の多項式環はユークリッド整域として振る舞い、最大公約数や除法がうまく機能する。これにより、既約性の判定や因数分解の計算が体系化される。
また、既約性は拡大した係数体で変化するため、「どの係数環上で既約か」を明確にすることが重要になる。
2.2 既約判定の代表的な基準
判定法には複数の系統があり、係数の構造を利用するもの、還元（モジュロ）を用いるもの、根の情報を用いるものなどがある。
2.2.1 Eisensteinの判定法
Eisensteinの判定法は、ある素数 \(p\) による係数の割り切れ条件と、最高次係数の条件を満たすとき、多項式が既約であることを保証する代表的手法である。具体的には、低次の係数が特定の冪 \(p\) で割り切れる一方で、最高次係数は割り切れない、さらに定数項はある冪で割り切れるがそれ以上にはならない、といった条件により、非自明な因数分解が不可能になる。
Eisenstein法は条件が整っていれば強力で、判定に必要な計算量も比較的少ない。
2.2.2 モジュロに落とす判定（還元による議論）
多項式の係数を素数などで割った剰余体に写す操作を用いる方法がある。整数係数多項式がある法で既約になっているなら、元の多項式も（通常の仮定のもとで）既約であることが導かれる場合がある。
この発想は「元が非自明に分解できるなら、剰余系でも分解が観測される」という対偶的な考え方に基づく。反対に、剰余系での既約性がそのまま常に保証になるとは限らないため、どの法でどの程度の情報が得られるかは注意が必要である。
2.2.3 根の存在による既約性の評価
体上の既約性と根の情報の関係は、特に一次要素の増加が現れる形で示される。ある体拡大において多項式が一次因子を持つなら、その体上では既約でない。つまり「既約であるなら、与えた係数体の範囲では根を持たない（ただし次数により要点が変わる）」という見通しを得られる。
もっとも、根が存在しないからといって高次で常に既約とは限らないため、根の有無はあくまで判定材料の一つとして用いられる。
2.3 例題と典型パターン
理論上の判定法を、実際の多項式に適用することで理解が深まる。ここでは代表的な流れを示す。
2.3.1 有理数上の既約判定の実例
有理数上の多項式では、有理根定理などが基礎的な道具となり、まず一次因子の有無を調べるのが自然である。さらに、因数分解が必要になった場合は、整数係数へ持ち上げて考えたり、既約判定を行ったりする。
例えば、整数係数多項式 \(f(x)\) を有理数上で考えるとき、分解が存在すれば有理係数の因子が現れる。そこで整数環での扱い（最大公約数の考え、内容の取り扱いなど）と組み合わせると判定が進む。
2.3.2 整数係数から体上への拡張の例
整数係数多項式は、係数を有理数、あるいは体拡大へ拡張すると、既約性が崩れることがある。これは、より大きな係数体の中で根が存在するようになり、結果として線形因子が見えるからである。
典型例として、ある多項式が整数や有理数の範囲では既約でも、平方根などの代数的元を含む体に移すと、係数体内で因数分解可能になる場合がある。この現象は「既約性は係数体に依存する」ことを端的に示す。
3 既約多項式と因数分解
既約多項式は因数分解の最小単位に対応する。多項式環の中での分解可能性を整理するため、既約性を因子論の中心に置く。
3.1 多項式の因数分解の位置づけ
体上の多項式環では、因数分解が最終的に既約多項式の積へ帰着する。したがって既約性は「分解の行き先」を規定し、計算代数では分解手順の設計にも直結する概念となる。
また、既約であるという性質は、解法としては「これ以上分解しない」という停止条件として扱えるため、アルゴリズム上も実装しやすい。
3.2 既約因子と一意性
既約因子がどう一意に現れるかは、係数環の性質に強く依存する。体上では特に整備されている。
3.2.1 一意分解領域としての多項式環
体 \(K\) 上の多項式環 \(K[x]\) は一意分解領域（UFD）として振る舞う。その結果、既約多項式への分解は、順序と単元倍を除いて一意に定まる。
この「順序と定数倍を除いた一意性」が、既約因子を代数構造の同定に使える理由である。
3.2.2 既約分解における重複度と次数
既約因子の積として表すとき、同じ既約因子が何回現れるか（重複度）も重要になる。重複度は多項式の微分や根の多重度とも関連し、体の特性（標数）によって挙動が変化する。
次数は分解全体の情報を保持しており、各既約因子の次数を合計することで元の次数が回復する。
3.3 共通因子・最大公約数との関係
最大公約数（gcd）は因数分解の前段階として位置づけられる。ある多項式が既約因子を共有するなら、その因子はgcdにも反映される。
特に、因子の存在を確かめる局面では、直接分解を行わずにgcd計算で手がかりを得ることがある。既約判定や分解手順は、しばしば「gcdや剰余を用いた因子抽出」の形で効率化される。
4 既約多項式の応用
既約性は理論だけでなく構成・計算の双方に応用される。体拡大の設計や最小多項式の性質などで中心的役割を果たす。
4.1 体の拡大と生成
既約多項式は、体拡大を与える基本的な道具になる。
4.1.1 既約多項式による体拡大の構成
体 \(K\) 上の既約多項式 \(f(x)\) を用いると、剰余環 \(K[x]/(f)\) が体になる。これは、既約性が「生成された元のもとで非自明な零因子が生じない」ことを保証するためである。
この構成により、\(f\) の根として扱える新しい元を導入し、必要な計算や理論展開に利用できる。
4.2 代数的数と最小多項式
代数的数は既約多項式と密接な関係を持つ。
4.2.1 最小多項式の既約性
ある代数的数 \(\alpha\) に対して、係数体 \(K\) 上で \(\alpha\) を満たす多項式のうち次数が最小のものが最小多項式である。最小性の定義から、この最小多項式は通常既約になる。
理由は、もし最小多項式が自明でない形に分解できるなら、分解のうち一つがより低い次数の多項式として \(\alpha\) を満たす可能性を生むためである。よって、最小多項式は既約性によって一意な構造情報を担う。
4.3 応用：計算代数とアルゴリズム
実際の計算では、既約性を判定し、既約因子へ分解することが重要になる。
4.3.1 既約性判定を用いる因数分解の考え方
因数分解はしばしば「既約かどうかの判定」を繰り返しながら進む。ある段階で既約と確認できれば、その因子のそれ以上の分解は不要となるため、探索空間が削減される。
さらに、分解が必要な場合も、既約性に基づく部分問題の設計（たとえば特定の剰余類での情報を集める）により、計算を効率化できる。
4.3.2 多項式の簡約と計算上の注意点
計算代数では、係数の大きさや標数の影響により手続きの挙動が変わる。モジュロに落とす操作は高速化に役立つ一方、復元（元の係数環へ戻す）には整合性の確認が必要になる。
また、内容（係数の共通因子）を持つ多項式をそのまま扱うと判定の前提が崩れることがあるため、場合によっては原始化や正規化が先行する。こうした準備は既約性判定の正しさを保つための実装上の注意点となる。