中山の補題
数学、具体的には現代代数学や可換環論において、中山の補題（なかやまのほだい、、クルル-東屋の定理（Krull–Azumaya theorem）とも）は、環（典型的には可換環）のジャコブソン根基とその有限生成加群の間の相互関係を定める。有り体には、補題より直ちに可換環上の有限生成加群は体上のベクトル空間のように振る舞うことが言える。これは代数幾何において重要な道具である、なぜならばそれによって代数多様体の局所的なデータを、局所環上の加群の形において、環の剰余体上のベクトル空間として各点ごとに研究することができるからである。
この補題は、まずヴォルフガンク・クルルによって可換環のイデアルの特殊な場合において発見され、次に一般の場合が によって発見されたにも関わらず、日本人数学者中山正にちなんで名づけられている。可換の場合には、補題はケイリー・ハミルトンの定理を一般化した形の単純な帰結であり、これは に書かれている。非可換なときの右イデアルに対する補題の特別な場合は にあり、そのため非可換な中山の補題はジャコブソン-東屋の定理 (Jacobson–Azumaya theorem) と呼ばれることもある。後者はジャコブソン根基の理論にたくさんの応用をもっている。
"R" を単位元 1 をもった可換環とする。 で述べられているように、以下が中山の補題である。
主張 1： "I" を "R" のイデアルとし、"M" を "R" 上有限生成加群とする。"IM" = "M" であれば、"r" ≡ 1 (mod "I") であるような "r" ∈ "R" が存在して、"rM" = 0 となる。
これは以下で証明される。
この系である次もまた中山の補題と呼ばれ、最もよく現れるのはこの形においてである。
主張 2： "M" が "R" 上有限生成加群で、"J"("R") が "R" のジャコブソン根基で、"J"("R")"M" = "M" とすると、"M" = 0 である。
より一般的に、次が成り立つ。
主張 3： "M" が "R" 上加群で、"N" が "M" の部分加群であり、"M" = "N" + "J"("R")"M" 、"M"/"NがR 上有限生成加群"であれば、"M" = "N" である。
次の結果は生成元の言葉で中山の補題を述べている。
主張 4： "M" が "R" 上有限生成加群であり、"M" の元 "m", ..., "m" の "M"/"J"("R")"M" における像が "M"/"J"("R")"M" を "R"-加群として生成すれば、"m", ..., "m" は "M" を "R"-加群として生成する。
最後の系の結論は、前もって "M" が有限生成であると仮定しなくても、"I"-進位相について "M" が完備かつ分離加群であると仮定すれば、成り立つ。ここで分離性は "I"-進位相が"T"分離公理を満たすことを意味する。これは formula_1 と同値である。
"m" を極大イデアルとする局所環 "R" 上の有限生成加群 "M" という特別なケースにおいて、商 "M"/"mM" は体 "R"/"m" 上のベクトル空間である。このとき主張 4 は "M"/"mM" の基底は "M" の極小生成集合に持ちあがることを意味する。逆に、"M" のすべての極小生成集合はこのようにして得られ、任意の2つのそのような生成集合は "R" に成分をもつ可逆行列によって関連付けられている。
この形において、中山の補題は具体的な幾何学的重要性を帯びる。局所環は幾何学において点における関数の芽として生じる。局所環上の有限生成加群はきわめて頻繁にベクトル束の断面の芽として生じる。点よりもむしろ芽のレベルで研究するとき、有限次元ベクトル束の概念は連接層の概念に取って代わられる。インフォーマルには、中山の補題は連接層をなおある意味でベクトル束から来ているとみなすことができると言っている。正確には、"F" を任意のスキーム "X" 上の O-加群の連接層とする。点 "p" ∈ "X" における "F" の茎、これは "F" と表記されるが、局所環 O 上の加群である。"p" における "F" のファイバーは
ベクトル空間 "F"("p") = "F"/"mF" である、ただし "m" は O の極大イデアル。中山の補題によってファイバー "F"("p") の基底は "F" の極小生成集合に持ちあがる。つまり：
上昇定理 (going up theorem) は本質的に中山の補題の系である。それは次のようなものである。この結果を幾何学的に述べるために、整拡大は代数多様体の固有射と対応する。複素数体上の多様体に対して、固有とは単に通常の位相でコンパクト集合の逆像が再びコンパクトであるということを意味する。すると上昇は固有射のもとでの部分多様体の像が再び部分多様体であることを意味している。
中山の補題は可換環上の有限生成加群は体上のベクトル空間のようであるという解釈を与える。中山の補題の次の結果はこれが正しいような別の解釈を与える。局所環上では、加群の全射についてさらに言えることがある。中山の補題はまたホモロジー代数学においてもいくつかのバージョンがある。上記の全射についてのステートメントは次のことを示すのに使える。
これの幾何学的、大域的な対応物は Serre–Swan の定理であり、射影加群と連接層を関係づける。
より一般に、
中山の補題の標準的な証明はによる次のテクニックを用いる。
この主張はちょうどケイリー・ハミルトンの定理を一般化したものであり、同様に証明できる。"M" の生成元 "x" について、
の形の関係がある。ただし "a" ∈ "I" である。したがって
である。求める結果は行列 (φδ − "a") の余因子行列を掛け、クラメルの公式を使うことによって従う。すると det(φδ − "a") = 0 であることがわかるので、求める多項式は
である。
中山の補題をケイリー・ハミルトンの定理から証明するため、"IM" = "M" と仮定し、φ を "M" 上恒等写像であるようにとる。そして上記のように多項式 "p"("x") を定義する。すると
が所望の性質をもっている。
補題は非可換単位的環 "R" 上の右加群に対しても成り立つ。結果の定理は ジャコブソン-東屋の定理 (Jacobson–Azumaya theorem) と呼ばれることもある。
"J"("R") を "R" のジャコブソン根基とする。"U" が環 "R" 上の右加群で "I" が "R" の右イデアルであれば、"UI" を "ui" の形の元のすべての（有限）和が成す集合と定義する。"UI" は "U" の部分加群である。
"V" が "U" の極大部分加群であれば、"U"/"V" は単純加群である。なので "UJ"("R") は "J"("R") の定義と "U"/"V" が単純であるという事実によって "V" の部分集合である。したがって、"U" が少なくとも1つの（真の）極大部分加群を含めば、"UJ"("R") は "U" の真の部分加群である。しかしながら、これは "R" 上の任意の加群 "U" に対しては成り立つとは限らない、というのも "U" がどの極大部分加群を含まないこともあるからだ。"U" がネーター加群であれば、自然にこれは成り立つ。"R" がネーター環であり "U" が有限生成であれば、"U" は "R" 上のネーター加群であり、結論が成り立つ。注目すべきなのはより弱い仮定、すなわち "U" が "R"-加群として有限生成（かつ "R" についての有限性の仮定はない）で結論を保証するのに十分であるということである。本質的にこれが中山の補題のステートメントである。
正確に言えば、
"X" を "U" の有限部分集合とし、"U" を生成するという性質をもつもので極小とする。"U" は0でないので、この集合 "X" は空でない。"X" の各元を formula_9 に対し "x" と表記する。"X" は "U" を生成するので、
formula_11 と仮定し、矛盾を導く。formula_12 であるので、
結合律により、
"J"("R") は "R" の（両側）イデアルであるので、すべての "i" に対して formula_15 であって、それゆえ
分配律を適用して、
formula_18 であるので、それは準正則であり、したがってすべての "i" に対して formula_19、ただし "U"("R") は "R" の単元群を表す。ある "j" を選び、
と書く。したがって、
ゆえに "x" は "x" と異なる "X" の元の線型結合である。これは "X" の極小性に矛盾する。証明終了。
"I" を "R" の左イデアルとすると、以下の条件は同値である：
中山の補題の次数付きバージョンもある。"R" を非負整数からなる半群で次数付けられた環とし、formula_22 で次数が正の元で生成されたイデアルを表記する。このとき "M" が十分小さい "i" に対して formula_23 であるような "R" 上の次数加群（特に "M" が有限生成で "R" が負の次数の元を含まない）であって formula_24 であれば、formula_25 である。特に重要なのは "R" が普通の次数付けによる多項式環で "M" が有限生成加群の場合である。
証明は次数付きでない場合よりもはるかに簡単である。"i" を formula_26 であるような最小の整数ととれば、formula_27 は formula_28 に現れないことがわかるので、formula_29 であるかまたは、そのような "i" は存在しないすなわち formula_25。