代数学における多項式の内容[1](ないよう、英: content; 容量[2])は、与えられた多項式のすべての係数の最大公約数を言い、内容が 1 に等しい多項式は原始多項式(げんしたこうしき、英: primitive polynomial)であるという[3]。この場合の多項式は、整係数(あるいはより一般にUFDなど、最大公約数の定義できる整域(GCD整域))で考えるものとする。
任意の多項式は、その内容と原始多項式の積として(係数環の単元を掛ける違いを除いて)一意に表される(内容–原始成分分解)。このとき、原始多項式となる因子を、この多項式の原始成分 (primitive part) と呼ぶ。すなわち、多項式をその内容で割ったものがその多項式の原始成分であり、原始多項式の原始成分はもとの原始多項式そのものである。
多項式に関するガウスの補題
(英語版)は、(同じUFDを係数環とする)原始多項式の積がふたたび原始多項式となることを述べるものである。これはしたがって、多項式の積の内容および積の原始成分は、それぞれ内容の積および原始成分の積に等しいことを意味する。係数の最大公約数を計算することは多項式の因数分解の計算よりも極めて計算量が低いから、多項式の因数分解を行うためのアルゴリズムでは一般には真っ先に内容–原始成分分解を行うべきである(これにより、多項式の因数分解問題は、内容および原始成分の分解問題に分割して帰着される)。
内容および原始多項式の概念は、有理係数(あるいはより一般にGCD整域の商体)の場合に一般化することができる。これにより、有理係数多項式の因数分解問題が整係数多項式の因数分解と整数の最大公約数の計算を行うことに本質的に同値であると知ることができる。 整係数多項式の場合、多項式の内容はそれに現れる係数すべての最大公約数またはその反数である(どちらとするかは任意であり、あるいは規約にもよるが、ふつうは原始成分の最高次係数を正とするように選ぶ)。 以下、係数環 R はUFD(典型的には整数環や体上の多項式環)とする。UFDにおいて最大公約数は矛盾なく定義され、それは R の単数を掛ける違いを除いて一意である。 R-係数多項式 P の内容を c(P) と書くことにすれば、それは P のすべての係数の最大公約数として単元倍の違いを除いて一意に定まる。また P の原始成分を pp(P) と書けば、それは P を内容で割った商 P/c(P) に等しく、したがって R の単元倍の違いを除いて一意に定まる R-係数多項式である。P の内容をその単元倍に取り換えるとき、原始成分は同じ単数の逆数倍で置き換えるならば P = c ( P ) pp ( P ) {\displaystyle P=c(P)\operatorname {pp} (P)} なる関係式は常に保たれる(この関係式を P の内容–原始成分分解 (primitive-part-content factorization) と呼ぶ)。 内容と原始多項式に関するもっとも顕著な性質として、原始多項式の積がふたたび原始多項式となることを主張するガウスの補題
整数環上での記述
性質
多項式の積の内容は、それら多項式の内容の積に等しい: c ( P 1 P 2 ) = c ( P 1 ) c ( P 2 ) . {\displaystyle c(P_{1}P_{2})=c(P_{1})c(P_{2}).}
多項式の積の原始成分は、それら多項式の原始成分の積に等しい: pp ( P 1 P 2 ) = pp ( P 1 ) pp ( P 2 ) . {\displaystyle \operatorname {pp} (P_{1}P_{2})=\operatorname {pp} (P_{1})\operatorname {pp} (P_{2}).}
多項式の最大公約数の内容は、それら多項式の内容の R における最大公約数に等しい: c ( gcd ( P 1 , P 2 ) ) = gcd ( c ( P 1 ) , c ( P 2 ) ) . {\displaystyle c(\operatorname {gcd} (P_{1},P_{2}))=\operatorname {gcd} (c(P_{1}),c(P_{2})).}
多項式の最大公約数の原始成分は、それら多項式の原始成分の R 上の最大公約数に等しい:
pp ( gcd ( P 1 , P 2 ) ) = gcd ( pp ( P 1 ) , pp ( P 2 ) ) . {\displaystyle \operatorname {pp} (\operatorname {gcd} (P_{1},P_{2}))=\operatorname {gcd} (\operatorname {pp} (P_{1}),\operatorname {pp} (P_{2})).}
R 上の多項式の(素)因数分解は、その多項式の内容を R 上で素因数分解したものと、その多項式の原始成分を R 上の多項式環の中で因数分解したものとの積として与えられる。
最後の性質から、多項式の内容–原始成分分解を考えることで、多項式の因数分解を内容の分解と原始成分の分解という別々の計算に帰着させられることが分かるが、内容–原始成分分解は R において最大公約数を計算するだけでよく、これは普通は因数分解問題より極めて容易に処理できるのだから、これは広範に意味のある事実である。 内容–原始成分分解は以下のように有理係数にまで拡張できる。 与えられた有理係数多項式 P に対しそのすべての係数の共通分母
有理数体上での記述
さてこの定義が共通分母 d のとり方に依存しないことは確認すべき事項であるが、それは容易である。また内容–原始成分分解 P = c ( P ) pp ( P ) {\displaystyle P=c(P)\operatorname {pp} (P)} はこの設定の下でも依然有効である。
さてこれにより、有理係数の任意の多項式が一意に定まる整係数原始多項式に同伴となることが従う。この原始多項式はユークリッドの互除法によって計算できる。