上昇と下降

数学の分野である可換環論において、上昇 (going up) および下降 (going down) は整拡大における素イデアルの鎖のある種の性質を意味する用語である。
フレーズ上昇は鎖を「上向きの包含」によって拡張できるケースをいい、下降は鎖を「下向きの包含」によって拡張できるケースをいう。
主要な結果は Cohen-Seidenberg の定理 (Cohen–Seidenberg theorems) であり、これは と によって証明された。これらは上昇定理 (going-up theorem) と下降定理 (going-down theorem) として知られている。
上昇と下降.
"A"⊆"B" を可換環の拡大とする。
上昇定理と下降定理は "B" の素イデアルの鎖であってその各メンバーが "A" の素イデアルのより長い鎖のメンバーの上にあるようなものが "A" の素イデアルの鎖の長さに拡張できるための十分条件を与える。
Lying over and incomparability.
まず、いくつか用語を固定する。formula_1 と formula_2 がそれぞれ "A" と "B" の素イデアルであって
であれば（formula_4 は自動的に "A" の素イデアルであることに注意せよ）、formula_1 は formula_2 "の下にある" (formula_1 "lies under" formula_2) と言い formula_2 は formula_1 "の上にある" (formula_2 "lies over" formula_1) という。一般に、可換環の環拡大 "A"⊆"B" が lying over property を満たすとは、"A" のすべての素イデアル "P" が "B" の素イデアル "Q" の下にあることをいう。
拡大 "A"⊆"B" が incomparability property を満たすとは、"Q" と "Q' " が "A" の素イデアル "P" の上にある "B" の相異なる素イデアルであるときにはいつでも "Q"⊈"Q' " かつ "Q' "⊈"Q" であることをいう。
上昇.
環の拡大 "A"⊆"B" が上昇性質 (going-up property) を満たす、上昇定理が成り立つとは、
が "A" の素イデアルの鎖で
("m" < "n") が "B" の素イデアルの鎖であって各 1 ≤ "i" ≤ "m" に対して formula_15 が formula_16 の上にあるようなときにはいつでも後者の鎖が各 1 ≤ "i" ≤ "n" に対して formula_15 が formula_16 の上にあるような鎖
に拡張できることをいう。
 において、拡大 "A"⊆"B" が上昇性質を満たせば lying-over property も満たすことが示されている。
下降.
環の拡大 "A"⊆"B" が下降性質 (going-down property) を満たすとは、
が "A" の素イデアルの鎖で
("m" < "n") が "B" の素イデアルの鎖であって各 1 ≤ "i" ≤ "m" に対して formula_15 が formula_16 上にあるようなときにはいつでも後者の鎖が各 1 ≤ "i" ≤ "n" に対して formula_15 が formula_16 の上にあるような鎖
に拡張できることをいう。
環準同型をもった環の拡大のケースの一般化がある。"f" : "A" → "B" を（単位的）環準同型であって "B" が "f"("A") の環拡大であるとする。このとき "f" が上昇性質 (going-up property) を満たすとは "f"("A") に対して "B" において上昇性質が成り立つことである。
同様に、"f"("A") が環拡大であれば、"f" が下降性質 (going-down property) を満たすとは下降性質が "f"("A") に対して "B" において成り立つということである。
"A"⊆"B" のような普通の環の拡大のケースでは、包含写像を考えればよい。
上昇定理と下降定理.
上昇定理と下降定理の通常のステートメントは環拡大 "A"⊆"B" に言及する：
下降定理には別の十分条件がある。
"証明"："p"1⊆"p"2 を "A" の素イデアルとし "q"2 を "B" の素イデアルであって "q"2 ∩ "A" = "p"2 とする。"q"2 に含まれる "B" の素イデアル "q"1 が存在して "q"1 ∩ "A" = "p"1 であることを証明したい。"A"⊆"B" は環の平坦拡大であるから、"A""p"2⊆"B""q"2 は環の平坦拡大であることが従う。実は、"A""p"2⊆"B""q"2 は環の忠実平坦拡大である、なぜならば包含写像 "A""p"2 → "B""q"2 は局所射だからだ。それゆえ、スペクトルに誘導される写像 Spec("B""q"2) → Spec("A""p"2) は全射であり "A""p"2 の素イデアル "p"1"A""p"2 に contract する "B""q"2 の素イデアルが存在する。"B""q"2 のこの素イデアルの "B" への contraction は "p"1 に contract する "q"2 に含まれる "B" の素イデアル "q"1 である。証明が完了する。 Q.E.D.