冪級数環と多項式環の比較

体 $k$ 上の多項式環 $k [x]$ と形式的冪級数環 $k [[x]]$ は、どちらも $k$ 代数として基本的な対象ですが、その性質には本質的な違いがあります。多項式環は有限和で構成される元からなり、代数幾何の基盤を担います。一方、冪級数環は無限和を許容し、局所的・解析的な議論の舞台となります。この記事では、両者の代数的性質を体系的に比較していきます。

定義の確認

$k$ を体とします。多項式環 $k [x]$ は、有限個の項の和

$f (x) = a_{0} + a_{1} x + a_{2} x^{2} + \dots + a_{n} x^{n} (a_{i} \in k)$

として書ける元全体の集合です。一方、形式的冪級数環 $k [[x]]$ は、無限和

$f (x) = n = 0 \sum \infty a_{n} x^{n} (a_{i} \in k)$

を形式的に許した元全体の集合です。ここで「形式的」とは、収束の議論を一切行わないという意味であり、解析的な冪級数とは区別されます。加法と乗法はどちらも自然な方法で定義され、 $k [x]$ は $k [[x]]$ の部分環になります。

多項式環

k [x]

有限和のみを許容する。元の次数が定義でき、次数に関する帰納法が強力な道具となる。代数幾何においてアフィン直線 $A^{1}$ の座標環を与える。

形式的冪級数環

k [[x]]

無限和を形式的に許容する。次数は定義できないが、位数（最低次の非零係数の次数）が定義される。局所環であり、完備な位相構造をもつ。

可逆元の違い

両者の最も際立った違いの一つが、可逆元（単元）の構造です。多項式環 $k [x]$ では、可逆元は $k$ の非零元、すなわち定数のみに限られます。これは次数の議論から直ちに従います。 $f, g \in k [x]$ に対して $de g (f g) = de g f + de g g$ が成り立つため、 $f g = 1$ ならば $de g f = de g g = 0$ でなければなりません。

一方、 $k [[x]]$ では状況が大きく異なります。 $f = \sum_{n = 0}^{\infty} a_{n} x^{n} \in k [[x]]$ が可逆であるための必要十分条件は、定数項 $a_{0}$ が $k$ で非零であること、すなわち $a_{0} \neq = 0$ であることです。たとえば $1 - x$ は $k [x]$ では可逆ではありませんが、 $k [[x]]$ では

$(1 - x)^{- 1} = 1 + x + x^{2} + x^{3} + \dots = n = 0 \sum \infty x^{n}$

として逆元が存在します。この差異は、 $k [[x]]$ が局所環であるという構造的な性質と直結しています。

$k [[x]]$ の非可逆元は $a_{0} = 0$ であるもの、つまり定数項が零の冪級数全体です。これはイデアル $(x)$ と一致し、 $k [[x]]$ の唯一の極大イデアルを与えます。

極大イデアルがただ一つしかない環を局所環という。 $k [[x]]$ は局所環だが、 $k [x]$ は局所環ではない。

イデアル構造

$k [x]$ は単項イデアル整域（PID）です。すべてのイデアルはある多項式 $f (x)$ によって $(f (x))$ と書けます。これは $k [x]$ がユークリッド整域であること（多項式の除法が可能であること）から従います。

$k [[x]]$ もまた PID であり、しかもそのイデアル構造はさらに単純です。 $k [[x]]$ の非零イデアルは $(x^{n})$ （ $n \geq 0$ ）の形のものに限られます。これは、任意の非零元 $f \in k [[x]]$ が $f = x^{n} u$ （ $u$ は可逆元）と一意に書けることから導かれます。ここで $n = ord (f)$ は $f$ の位数（最初の非零係数が現れる次数）です。

k [x]

のイデアル

すべてのイデアルは $(f (x))$ の形をもつ。既約多項式による商 $k [x] / (f (x))$ は体となり、 $k$ の代数拡大を構成する手段を与える。極大イデアルは既約多項式の生成するイデアルに対応する。

k [[x]]

のイデアル

非零イデアルは $(x^{n})$ の形に限られる。極大イデアル $(x)$ のべきのみが現れ、素イデアルは $(0)$ と $(x)$ の二つだけである。イデアル構造は $k [x]$ よりも格段に単純になる。

この違いは Krull 次元にも反映されます。 $k [x]$ の Krull 次元は 1 ですが、これは $(0) ⊊ (f (x))$ という長さ 1 の素イデアル鎖によって実現されます。 $k [[x]]$ の Krull 次元も 1 であり、 $(0) ⊊ (x)$ がその唯一の鎖です。次元は同じですが、素イデアルの「豊かさ」は大きく異なります。 $k$ が代数閉体のとき、 $k [x]$ の極大イデアルは $k$ の元と一対一に対応しますが、 $k [[x]]$ の極大イデアルは $(x)$ ただ一つです。

位相と完備性

$k [[x]]$ は $(x)$ -進位相に関して完備です。これは $k [[x]]$ を $k [x]$ の $(x)$ -進完備化として得られることを意味します。

$k [[x]] ≅ n lim k [x] / (x^{n})$

この同型は、冪級数を「多項式の極限」として理解する視点を与えます。 $k [x]$ の元の列 $f_{1}, f_{2}, f_{3}, \dots$ が $(x)$ -進位相でコーシー列をなすとき、その極限は $k [[x]]$ の中に存在します。 $k [x]$ 自身はこの位相に関して完備ではありません。

多項式環 $k [x]$ に $(x)$ -進位相を入れる

コーシー列の極限を考える

完備化として $k [[x]]$ が得られる

この構成は、 $p$ -進整数環 $Z_{p}$ を $Z$ の $(p)$ -進完備化として得る構成と完全に平行しています。

ネーター性と UFD 性

$k [x]$ がネーター環であることは Hilbert 基底定理の特殊な場合です。 $k [[x]]$ もまたネーター環であり、これは冪級数環版の Hilbert 基底定理として知られています。多変数の場合を含めて述べると、 $k [x_{1}, \dots, x_{n}]$ がネーター環ならば $k [[x_{1}, \dots, x_{n}]]$ もネーター環です。

UFD（一意分解整域）の性質についても、両者はよく似た振る舞いを示します。 $k [x]$ は PID なので UFD です。 $k [[x]]$ もまた PID なので UFD です。多変数の場合も、 $k [x_{1}, \dots, x_{n}]$ が UFD であるのと同様に $k [[x_{1}, \dots, x_{n}]]$ も UFD ですが、後者の証明はより技術的です。

性質	$k [x]$	$k [[x]]$
ネーター環	はい	はい
UFD	はい	はい
PID	はい	はい
局所環	いいえ	はい
完備	いいえ	はい

多変数への拡張

一変数では両者の違いは比較的穏やかですが、多変数に移ると差異がより顕著になります。

$k [x, y]$ の極大イデアルは（ $k$ が代数閉体のとき） $(x - a, y - b)$ の形であり、平面 $A^{2}$ の点に対応します。一方、 $k [[x, y]]$ は極大イデアル $(x, y)$ のみをもつ局所環です。直観的には、 $k [[x, y]]$ は原点近傍の「無限に小さな近傍」の代数的情報を記述しているといえます。

多変数において重要な違いがもう一つあります。 $k [x, y]$ では $y - f (x)$ （ $f (x) \in k [x]$ ）のような元しか考えられませんが、 $k [[x, y]]$ では $y - \sum_{n = 0}^{\infty} a_{n} x^{n}$ のように、冪級数を係数にもつ元が自然に現れます。これは特異点の解析やヘンゼルの補題の応用において本質的な役割を果たします。

たとえば $k [[x, y]] / (y^{2} - x^{3})$ は尖点（カスプ）の局所環を与えますが、この特異点の性質を調べるために冪級数環のヘンゼル性が活用されます。

ヘンゼル環では、既約性の判定を剰余体上の問題に帰着できるという強力な性質がある。

幾何学的な意味

代数幾何の視点から見ると、 $k [x]$ と $k [[x]]$ は相補的な役割を果たしています。 $k [x]$ はアフィン直線全体の大域的な情報を担い、 $k [[x]]$ は原点における局所的な情報を担います。

この関係をスキームの言葉で述べると、 $Spec k [x]$ はアフィン直線であり、 $Spec k [[x]]$ は二点集合 ${(0), (x)}$ からなる極めて小さなスキームです。後者は原点の「形式的近傍」と呼ばれ、大域的な幾何は失われていますが、原点における局所的な性質（滑らかさ、特異性、接空間の構造など）を完全に保持しています。

大域的な視点（多項式環）

$Spec k [x]$ は無限に多くの点をもち、代数多様体の大域構造を記述する。関数の零点や次数といった概念が中心的な役割を果たす。

局所的な視点（冪級数環）

$Spec k [[x]]$ は形式的近傍であり、一点の近くの振る舞いに集中する。完備性により極限操作が自由に行え、変形理論や形式的滑らかさの議論に不可欠である。

このように、多項式環と冪級数環は同じ「べき級数」という構造を共有しながらも、有限と無限、大域と局所、代数と解析という対比を体現しています。可換環論を学ぶうえで、両者の共通点を認識しつつ違いを正確に把握することは、代数幾何や整数論への橋渡しとして欠かせません。

多項式環と形式的冪級数環の代数的性質を体系的に比較し、両者の共通点と本質的な違いを明らかにする