ローラン多項式

テンプレート:Refimprove 数学におけるローラン多項式（ローランたこうしき、テンプレート:Lang-en-short; 形式ローラン多項式）は、ピエール・アルフォンス・ローランに名を因む、与えられた体に係数を持つ不定元の正冪および負冪たちの線型結合を言う。 テンプレート:Mvar を不定元とする体 テンプレート:Mathbf 上の（一変数）ローラン多項式全体の成す集合 テンプレート:Math は、ローラン多項式環と呼ばれる環を成す。通常の多項式と異なり、ローラン多項式は次数がマイナスの項を持つことに注意する。一変数ローラン多項式の構成を再帰的に繰り返すことにより、多変数ローラン多項式も定義される。ローラン多項式は、多変数複素函数論において特に重要である。

定義

テンプレート:Seealso テンプレート:Mvar を不定元（形式的な変数）として、体 テンプレート:Mathbf に係数をとるローラン多項式は $$p:=\sum _k{p}_k{X}^k,(p_k\in 𝔽)$$ の形をしている。ただし、右辺の和は テンプレート:Mvar が（必ずしも正でない）整数全体を亙るものとし、有限個の例外を除く全ての係数 テンプレート:Mvar が零でなければならない。

二つのローラン多項式が相等しいとは、それらの係数のすべてが次数ごとに相等しいときに言う。二つのローラン多項式に対して加法および乗法が定義できて、（同類項をまとめることにより）それら演算の結果もまた上記と同じ形に表される。これら加法および乗法の定義式は、形の上では通常の多項式とちょうど同じに $$\left(\sum _i{a}_i{X}^i\right)+\left(\sum _i{b}_i{X}^i\right)=\sum _i(a_i+b_i)X^i$$ および $$\left(\sum _i{a}_i{X}^i\right)\cdot \left(\sum _j{b}_j{X}^j\right)=\sum _k\left(\sum _{i+j=k}{a}_i{b}_j\right)X^k$$ と書くことができる（が、添字の奔る範囲、つまり テンプレート:Mvar の正冪だけでなく負冪も出てくるという点では異なる）。

有限個の テンプレート:Mvar だけが非零であることにより、上記に現れた総和は何れも実質有限和になっており、したがってそれらは正しくローラン多項式を表現するものになっていることに注意する。

性質

• 複素数体 テンプレート:Mathbf 上のローラン多項式は、係数が零でない項が有限個しかないローラン級数と看做せる。
• ローラン多項式環 テンプレート:Math は多項式環 テンプレート:Math に テンプレート:Mvar の「逆数」テンプレート:Math を添加した拡大環として得られる。より厳密に言えば、ローラン多項式環は テンプレート:Mvar の非負冪全体の成す積閉集合による多項式環の局所化である。ローラン多項式環の多くの性質が局所化の持つ一般性質から導かれる。
• ローラン多項式環は有理函数体の部分環である。
• 体上のローラン多項式環はネーターだがアルティンでない。
• 係数環 テンプレート:Mvar が整域ならば、ローラン多項式環 テンプレート:Math の単元は テンプレート:Mvar の適当な単元 テンプレート:Mvar と整数 テンプレート:Mvar を用いて テンプレート:Mvar の形をしている。特に テンプレート:Mvar を体とすれば テンプレート:Math の単元は テンプレート:Mvar の非零元 テンプレート:Mvar に対して テンプレート:Mvar の形である。
• 一変数ローラン多項式環 テンプレート:Math が テンプレート:Mvar に係数をとる有理整数環 テンプレート:Mathbf の群環 テンプレート:Mathに同型である。より一般に、テンプレート:Mvar-変数ローラン多項式環は自由階数 テンプレート:Mvar の自由アーベル群の群環に同型になる。これにより、ローラン多項式環が可換かつ余可換なホップ代数の構造を持つことが保証される。

関連項目

• ジョーンズ多項式

参考文献

• Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, 211 (Revised third ed.), New York: Springer-Verlag, テンプレート:ISBN2, MR 1878556

外部リンク

• テンプレート:MathWorld
• テンプレート:Nlab