モニック多項式

代数学におけるモニック多項式（モニックたこうしき、; モノ多項式、単多項式）は最高次係数が である一変数多項式。
概要.
変数 に関する次数 の多項式は、一般的に formula_1 の形に書くことができる。ここで、 はこの多項式の係数と呼ばれる定数であり、特に係数 は最高次係数という。したがって、-次多項式がモニックとは formula_2 の形であることである。
モニック多項式に付随する多項式方程式の性質は、係数環 に極めて依存する。
 が体ならば、任意の非零多項式 はちょうど一つの同伴モニック多項式 をもつ（明らかに は を主係数で割ったものである）。したがって、このとき任意の自明でない多項式方程式 はそれと同値なモニック方程式 に置き換えることができる。例えば、実二次方程式の一般形 は formula_3 に置き換えることができる。これによって、二次方程式の一般解を formula_4 というやや簡素な形に書くことができる。
他方、係数環が体でない場合には大きな違いが生じる。整域上のモニック方程式（整方程式）は代数的整数論において重要である。
定義.
不定元（変数）を一つしかもたない多項式（一元多項式）の場合、高次から低次へ（降冪、descending powers）の順か、低次から高次へ（昇冪、ascending powers）の順に項を書き並べるのが普通である。したがって、不定元 に関する次数 の一元多項式は、その一般形を formula_1 の形に書くことができる。ここで、 はこの多項式の係数と呼ばれる定数である。ここに、項 は最高次項または主項 (leading term) と呼び、その係数 は最高次係数または主係数 (leading coefficient) という。
すなわちモニックな多項式は、 を自然数、 を変数、formula_6 を定数として、次式の形である。
formula_2
性質.
積閉性.
適当な単位的環 および変数 を所与として、モニック多項式全体の成す集合は多項式の乗法に関して閉じている（これは、二つの多項式の積の主項が各多項式の主項の積に等しいことから明らか）。したがって、モニック多項式の全体は、多項式環 の乗法部分半群を成す。特に、 の乗法単位元である はモニックであるから、この半群はモノイドを成す。
半順序.
多項式のをモニック多項式全体の成す集合に制限したものは、この集合上の半順序関係となる。実際、二つのモニック多項式 に対し、 が を整除し、かつ が を整除するならば、 は一致しなければならない。このことは、モニックでない一般の多項式に対しては必ずしも成り立たない（例えば、係数環が 以外の単元をもつときは成り立たない）から、モニックに制限しない場合の整除関係は半順序とは限らない。
整性.
整数係数モニック方程式は整数解以外の有理数解をもたない。つまり、モニックでない方程式 は整数でない有理数解をもち得る（これはたまたま有理数解、とくに を解にもつ）が、 や は整数解かさもなければ無理数解しかもち得ないということである。整数係数モニック多項式の根は代数的整数と呼ばれる。
代数的整数論において、整域上のモニック多項式方程式の解は整拡大および整閉整域の理論を考えるうえで重要である。一般に、 は整域で、別の整域 の部分環と仮定するとき、部分集合 を 上のモニック方程式を満足する の元全体の成す集合 formula_8 とすれば、 は を含む。（実際、任意の はモニック方程式 を満足する。）さらに、 が加法および乗法について閉じていることが示せるから、 は の部分環である。この環 を の における整閉包と呼ぶ（ が の商体であるときは、単に の整閉包と呼ぶ）。また の元は 上整であるという。
 が有理整数環 で が複素数体 であるとき、 は代数的整数環と呼ばれる。
多変数の場合.
通常は、多変数多項式に対して「最高次の項」は一意ではないから「モニック」の概念も意味をなさない。ただし、多変数多項式を、係数が「主変数以外の変数に関する多項式」となっているような、変数が主変数だけの「一変数多項式」とみなすことはできる。これには、どの変数を主変数とみなすかによって選択肢は複数ある。例えば、実多項式 formula_9 を考えるとき、これを に関する一変数多項式を係数とする に関する一変数多項式 formula_10 と見れば、モニックである。しかし、formula_11 と見れば、最高次係数（ の係数） は でないから に関してモニックではない。
別な規約を設けることもできて、それは特にグレブナ基底の文脈では有効である。すなわち、多項式がモニックであるとは、「多変数多項式の意味での」主係数が に等しいこととする。より精確に、-変数の非零多項式 を考えるとき、同じ変数に関する「モニック」単項式全体の成す集合上の単項式順序（ の生成する自由可換モノイド上の全順序で、単位元を最小元にもち、多項式の乗法と両立するもの）が与えられているとする。このとき多項式 の主項とは の係数が消えていない（与えられた単項式順序に関して）最大の項をいい、その係数が であるとき はモニックであるという。
「多変数モニック多項式」を適当な定義のもとで考える場合は、通常の（一変数の）モニック多項式のもつ性質と共通していることが望ましい。特に上に挙げた二つの定義では、モニック多項式の積が再びモニックになる。