ジャコブソン環

代数学において、ヒルベルト環 (Hilbert ring) あるいはジャコブソン環 (Jacobson ring) はすべての素イデアルが原始イデアルの共通部分であるような環である。可換環に対しては原始イデアルは極大イデアルと同じなのでこの場合ジャコブソン環はすべての素イデアルが極大イデアルの共通部分であるような環である。
ジャコブソン環は と によって独立に導入された。Krull はジャコブソン根基との関連からにちなんで名づけ、Goldman はヒルベルトの零点定理との関連から David Hilbert にちなんで名づけた。
ジャコブソン環と零点定理.
代数幾何学のヒルベルトの零点定理は有限個の変数の体上の多項式環はヒルベルト環であるというステートメントの特別なケースである。ヒルベルトの零点定理の一般的な形が述べているのは、"R" がジャコブソン環であれば任意の有限生成 "R"-代数 "S" もそうであるというものである。さらに "S" の任意の極大イデアル "J" の引き戻しは "R" の極大イデアル "I" であり、"S/J" は体 "R/I" の有限拡大である。
とくにジャコブソン環の有限型の射は環の極大スペクトルの射を誘導する。このことは、体上の代数多様体に対して、（スキームが導入される以前はそうであったように）すべての素イデアルではなくすべての極大イデアルだけを考えればしばしば十分である理由を説明する。局所環のようなより一般の環に対しては、環の射が極大スペクトルの射を誘導するということはもはや正しくなく、極大イデアルよりもむしろ素イデアルを使った方がきれいな理論ができる。
特徴づけ.
可換環 "R" に対して以下の条件は同値である。