フィッティング・イデアル

可換環論のフィッティング・イデアル（）とは、可換環上の有限生成加群を指定された数の元によって生成しようとしたときに現れる障害を記述するものである。名称は考案者のに因む

。

定義

可換環  上の有限生成加群  が元

によって生成され、その関係式が

であったとする。このとき、 の  次フィッティング・イデアル

とは、行列

の

次小行列式（部分行列の行列式）で生成されるイデアルのことをいう。フィッティング・イデアルは  の生成元と関係式の取り方によらない。

ゼロではない最初のフィッティング・イデアル

をフィッティング・イデアル

と定義する人もいる。

性質

フィッティング・イデアルは増大する:

 

 が  個の元で生成できるなら

が成り立ち、 が局所環なら逆も成り立つ。 の零化イデアルを
 とすると

が成り立つ。また

が成り立つ。
特に、 が  個の元で生成できるなら

が成り立つ。

例

 が階数  の自由加群なら、
フィッティング・イデアル

は

に対してゼロであり、
 に対して  である。

 を位数

の有限アーベル群とする。これを整数環上の加群とみたとき、そのフィッティング・イデアル

はイデアル

である。

結び目のアレクサンダー多項式は、結び目補空間の無限次アーベル被覆の1次ホモロジーのフィッティング・イデアルの生成元である。

フィッティング像

歴史

1929年、フィリップ・フルトヴェングラーは類体論のを証明した。彼の証明は群論的計算を延々と続けるという、難解なものであった。彌永昌吉は彼の証明を改善する過程で位数イデアル（Ordnungsideal）の概念を導入した。これがハンス・フィッティングによって行列式イデアル（Determinantenideal）として取り上げられ、拡張され、フィッティング・イデアルと呼ばれるものになった。その後、バリー・メイザーとアンドリュー・ワイルズによって岩澤主予想の証明に活用された。

脚注

参考文献

外部リンク

可換環論
数学に関する記事