ローラン多項式

ローラン多項式について

ローラン多項式（Laurent polynomial）とは、与えられた体に係数を持ち、不定元の正の冪と負の冪の線型結合から成る数学的構造です。この概念は、フランスの数学者ピエール・アルフォンス・ローランにちなんで名付けられました。では、ローラン多項式の定義や性質について詳しく見ていきましょう。

定義

不定元を X 、係数を体 F とすると、ローラン多項式は以下の形式で表されます。

$$
p :=
enewcommand{\arraystretch}{1.5} \sum_{k} p_k X^{k}, \quad (p_k \in F)$$

ここで、和の範囲は整数全体を含み、有限個の除外を除く全ての係数 $p_k$ は零でない必要があります。このように、ローラン多項式は任意の整数次数を持つことができるため、負の冪を含むことが特徴です。さらに、2つのローラン多項式が等しいと見なされるのは、各次数ごとに対応する係数が一致する場合です。

演算

ローラン多項式には加法と乗法の演算が定義されています。加法は以下のように表されます：

$$
\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}
$$

これにより、新たに得られる多項式も再びローラン多項式の形式を保つため、加法と乗法はローラン多項式環を形成します。

性質

ローラン多項式の性質の一部は、複素数体 ℂ 上のローラン多項式が有限個の非零項を持つローラン級数と見なせる点です。また、ローラン多項式環は R[X] の拡張として得られるもので、性質のいくつかは局所化の特性から導かれます。特に、ローラン多項式環は有理関数体の部分環でもあります。

さらに、ローラン多項式環 R[X, X^{-1}] は、整域であれば単元は R の単元 u と整数 k を用いて、$uX^k$ の形になります。したがって、ローラン多項式は多様な数学の応用において重要な役割を果たします。

結論

ローラン多項式は、単純でありながらその構造が非常に豊かで、数多くの数学的分野で応用されています。
多変数ローラン多項式は一変数の一般化として、複素関数論などの分野で重要性がさらに増していきます。数学におけるこの概念は、より高度な理論の土台を形成するものであり、その研究は今後も続けられることでしょう。

もう一度検索