可換代数の用語集

これは可換代数の用語集です。

代数幾何学トピックのリスト、古典代数幾何学の用語集、代数幾何学の用語集、環理論の用語集、およびモジュール理論の用語集も参照してください。

この記事では、すべての環は恒等式 1 で可換であると仮定します。

!$@

（）

1. k ( x , y ,...) は、x、y、...によって生成されるkの体拡大です。

2. ( x , y ,...) はx、y、...によって生成されるイデアルです。

3. ( I : J )はIをJで割った理想的な商であり、xJ⊆Iとなるすべての要素xで構成されます。

[]

R [ x , y ,...] はR上の多項式環です。

[[]]

R [[ x , y ,...]] はR上の形式的な冪級数環である。

{}

R { x , y ,...} は、ある収束条件を満たすR上の形式的な冪級数の環です。

ÂはAの完成です。

あ

絶対積分閉包: 絶対積分閉包とは、領域の分数の体の代数閉包における積分領域の積分閉包です。
絶対に: 「絶対的に」という言葉は通常「相対的ではない」という意味で、つまりある意味で基底体から独立していることを意味します。これはしばしば「幾何学的に」と同義です。; 1.絶対平坦環とは、その環上のすべての加群が平坦である環のことである。（この性質を持つ非可換環はフォン・ノイマン正則環と呼ばれる。）; 2. 体上の多項式環のイデアルは、その拡大が体のすべての拡大に対して素のままである場合に絶対的に素であるという。; 3. 体上の多項式環のイデアルは、体のすべての拡大に対して不分岐である場合、絶対不分岐であると呼ばれます。; 4. 「絶対的に正規」は「幾何学的に正規」の別名です。; 5. 絶対的に規則的とは、幾何学的に規則的であるという意味の別名です。; 6.絶対的に単純な点とは、幾何学的に正則な局所環を持つ点である。
許容できる指輪: 許容環は、定義内の正則環に関する条件がゴレンスタイン環に関する条件に置き換えられた、優れた環の一般化です。
アディック: 環上のI進位相には、イデアルIの累乗によって与えられる 0 の近傍の基数があります。
アフィン環: 別の環S (多くの場合体) 上のアフィン環R は、 S上に有限生成される環 (または整域の場合もある) です。
代数幾何学的局所環: 体上の有限生成領域の局所化である局所環。
ほとんど: 1.環の元xが部分環上でほぼ整式であるとは、その部分環の正則元aが存在し、すべての正の整数nに対してax ^{n が}その部分環に含まれる場合を言う。; 2. 整域Sの商体がSの商体の有限拡大である場合、整域 S は部分環R上でほぼ有限であるという。
高度: 1.リングの高度は、その寸法を表す古い名前です。; 2. 理想の高度はその高さの別名です。
分析的な: 1. 局所環のイデアルの解析的広がりは、イデアルのリース代数の局所環の特殊点におけるファイバーのクルル次元です。; 2. 理想の解析偏差は、その解析広がりからその高さを引いたものです。; 3.解析環は、付値を持つ体上の有限個の変数の収束する冪級数の環の商です。
分析的に: これはしばしば局所環の完備化の性質を指す。cf. #formally; 1. 局所環の完備化が整閉領域である場合、その局所環は解析的に正規であるといわれる。; 2. 局所環は、その完備化に非零冪零元がない場合、解析的に非分岐であるといわれる。; 3. 局所環は、その完備化に零因子がない場合には解析的に既約であるという。; 4. 2 つの局所環は、その完備化が同型である場合に解析的に同型であるといわれる。
殲滅者: モジュールのサブセットの消滅子は、サブセットの任意の要素との積が 0 になる要素のイデアルです。
アルティン
アルティニアン: 1. エミール・アルティン; 2. マイケル・アーティン; 3.アルティニアン加群は、サブ加群に対する降順連鎖条件を満たす加群です。; 4.アルティン環はイデアル上の下降連鎖条件を満たす環です。; 5. Artin-Rees の補題は、イデアルによる濾過の一定の安定性を確立します。
アメリカ手話: 直線化法則を伴う代数の頭字語。
関連する: 環R上のモジュールMの関連する素数は、MがR / pと同型なサブモジュールを持つような素イデアルpです。

B

ベースナンバー: Mが局所環R上の剰余体kを持つ加群である場合、Mのi番目のBass数はExtのk次元である。ⁱ
_R（k、M）。
ベズードメイン: ベズー整域は、2 つの主イデアルの和が主イデアルとなる整域です。
大きい: 加群に「大きい」という語が用いられる場合、その加群は必ずしも有限生成ではないことを強調する。特に、大きいコーエン・マコーレー加群とは、その加群が正則となるパラメータ系を持つ加群のことである。
ブールリング: ブール環とは、すべてのxに対してx ² = xとなる環です。
ブルバキ理想: 捩れのない加群Mのブルバキイデアルは、Mの自由部分加群による捩れのない商に同型なイデアル (加群として) です。
ブックスバウムリング: ブックスバウム環は、すべてのパラメータ系が弱いシーケンスであるようなネーター局所環です。

C

正統な: 「標準モジュール」は、双対化モジュールの別名です。
カテナリー: 2 つの素イデアル間のすべての最大連鎖の長さが同じである場合、その環はカテナリーと呼ばれます。
中心: 評価（または場所）の中心は、正の順序の要素の理想です。
鎖: 素イデアルの厳密に増加または減少するシーケンス。
特性: 環の特性は、ゼロである 1 の倍数のZイデアルを生成する非負の整数です。
クリーン: 1.ネーター環R上の有限生成加群Mは、有限フィルトレーションを持ち、その商のすべてがR / pの形（ pはMの付随素数）となるとき、クリーンと呼ばれる。この定義のより強い変形は、素数p がMの台の極小素数でなければならない、というものである。; 2. 環の元は、単位元とべき等元との和である場合、クリーンと呼ばれます。また、正則元とべき等元との和である場合、ほぼクリーンと呼ばれます。環は、そのすべての元がクリーンまたはほぼクリーンである場合、クリーンまたはほぼクリーンと呼ばれます。また、加群は、その自己準同型環がクリーンまたはほぼクリーンである場合、クリーンまたはほぼクリーンと呼ばれます。
CM: Cohen–Macaulayの略語。
ココア: 可換代数の計算のためのCoCoAコンピュータ代数システム
共深度: ネーター局所環上の有限生成モジュールのコデプスは、その次元から深さを引いた値です。
余次元: 素イデアルの余次元はその #高さの別名です。
係数環: 1. 完全なネーター局所環; 2. 有限剰余体を持つ完全ノイザン局所環; 3. コーエン環の別名
コーエン: 1. アーヴィン・コーエン; 2.コーエン環は、最大イデアルが p によって生成される混合特性 (0,p) の体または完全な離散値環です。
コーエン・マコーレー: 1. 局所環がネーター環であり、クルル次元が深さに等しいとき、その環はコーエン＝マコーレー環と呼ばれる。局所環がネーター環であり、最大イデアルにおけるすべての局所化がコーエン＝マコーレー環であるとき、その環はコーエン＝マコーレー環と呼ばれる。; 2.一般化コーエン・マコーレー環は、環のクルル次元i < に対して、最大イデアルに沿った環のi番目の局所コホモロジーの長さが有限であるようなノイザン局所環である。
筋の通った: 1. モジュールが有限生成であり、有限生成モジュールからそのモジュールへのすべての準同型写像が有限生成カーネルを持つ場合、そのモジュールはコヒーレントであると呼ばれます。; コヒーレントリングとは、それ自身の上にコヒーレントなモジュールがあるリングです。
完了: 1.局所完全交差環は、その完備化が正則局所環と正則数列によって生成されるイデアルの商であるノイザン局所環である。; 2.完全局所環とは、最大イデアルの冪が 0 における近傍の基数を形成する位相 (またはむしろ均一性) において完全な局所環です。
完全に一体的に閉じられた: 商体のある元xのすべての正のべき乗が有限生成R加群に含まれる場合、領域Rは完全に整閉であると呼ばれます。
完了: イデアルIにおけるモジュールまたはリングMの完備化は、モジュールM / I ⁿ Mの逆極限です。
複合: 1. 素数ではない; 2. 評価環Rとその剰余体の評価環Sの合成は、 RにおけるSの逆像である。
導体: 整域Rの導体は、 R加群T / Rの消滅子です。ここで、T はRの商体における整閉包です。
合同理想: 可換環の射影準同型f : B → Cの合同イデアルは、 fの核の消滅子のfによる像である。
接続された: 体k上の次数付き代数は、その 0 次部分がkである場合に連結です。
共線: 環をイデアルIで割った商の共線加群は加群I / I ²である。
建設可能: ネーター環の場合、スペクトルの構成可能部分集合は局所閉集合の有限和である。ネーター環でない環の場合、構成可能部分集合の定義はより複雑になる。
コンテンツ: 多項式の内容はその係数の最大公約数です。
収縮: イデアルの縮約とは、環の準同型の下で何らかのイデアルの逆像によって与えられるイデアルです。
共主: 共主モジュールとは、正確に 1 つの関連する素数を持つモジュールです。
互いに素である: 1. 2 つのイデアルの和が環全体となる場合、それらのイデアルは互いに素であると呼ばれます。; 2. 環の 2 つの元は、それらが生成するイデアルが環全体である場合、互いに素であるといわれます。
余接: 最大イデアルmを持つ局所環の余接空間は、留数体上のベクトル空間m / m ^{2である。}
コックスリング: コックス環は射影多様体の一種の普遍同次座標環である。

D

分解可能な: モジュールは、2 つのゼロでないサブモジュールの直和として記述できる場合、分解可能と呼ばれます。
分解グループ: 分解群は、与えられた素イデアルを要素が固定する環の自己同型群です。
デデキント領域: デデキント領域は、最大 1 次元のネーター整閉領域です。
欠陥
欠乏: 体Kの付値における分岐欠陥または分岐欠陥 d は、[ L : K ] = defgで与えられる。ここでeは分岐指数、fは慣性次数、gはより大きな体Lへの付値の拡張数である。数dは標数pのべき乗p ^{δであり、}dではなく δ が分岐欠陥と呼ばれることもある。
深さ: 環R上のモジュールMのI-深さ（グレードとも呼ばれる）は、Iがイデアルである場合、 Extⁿ
_R( R / I , M ) は非ゼロです。Iが局所環の最大イデアルであるとき、これは単にMの深さと呼ばれ、さらにMが局所環Rであるとき、これは環Rの深さと呼ばれます。
導出: ライプニッツの規則d ( ab )= ad ( b )+ bd ( a )を満たす環からモジュールへの加法準同型d 。
派生: 整域の導来正規環はその商体における整閉包である。
行列式モジュール: モジュールの決定的モジュールは、モジュールの最外部パワーです。
決定的な: これはしばしば、行列の小行列式の行列式によって生成されるイデアルの性質を指します。例えば、行列式環は行列の要素によって生成され、その関係は固定された大きさの小行列式の行列式によって与えられます。
偏差: 局所環の偏差は、環が正規環からどれだけ離れているかを測定する不変量です。
寸法: 1.環のクルル次元（単に次元と呼ばれることが多い）は素イデアルの連鎖の最大長であり、モジュールのクルル次元はその消滅子を含む素イデアルの連鎖の最大長です。; 2.モジュールの弱次元またはフラット次元は、フラット解像度の最短の長さです。; 3.モジュールの単射次元は、単射分解の最短の長さです。; 4.モジュールの射影次元は射影分解の最短の長さです。; 5.体上のベクトル空間の次元は生成元の最小数です。これは、体上のモジュールとしての次元の他のほとんどの定義とは無関係です。; 6.モジュールのホモロジー次元は、弱次元、入射次元、射影次元など、他のさまざまな次元のほとんどを参照できます。; 7.環の全体次元はその加群の射影次元の上限である。; 8.環の弱大域次元はその環のモジュールの平坦次元の上限である。; 9.局所環の埋め込み次元はそのザリスキー接空間の次元である。; 10. 体上の付値環の次元はその剰余体の超越次数である。これは通常、Krull 次元と同じではない。
離散評価環: 離散評価環は次元 1 の整閉ノイザン局所環です。
割り切れる: 可分モジュールとは、環の任意の正則要素による乗算が射影的となるモジュールです。
除数: 1. 整域の因子は非ゼロ分数イデアルの同値類であり、2 つのそのようなイデアルが同じ主分数イデアルに含まれる場合、それらは同値であると呼ばれます。; 2.環のヴェイユ因子は、余次元 1 の素イデアルによって生成される自由アーベル群の要素です。; 3. カルティエの除数
除数イデアル: 整域の分数イデアルは、主分数イデアルの交差である非ゼロの分数イデアルです。
ドメイン: 定義域または整域は、零因子を持たず、1≠0 である環です。
支配する: 局所環B が局所環Aを包含し、かつBの極大イデアルがAの極大イデアルを包含する場合、局所環 B は局所環Aを支配するとされる。
デュアル
二重性
二重化: 1. グロタンディーク局所双対性は、局所環上の加群のコホモロジーに対する双対性です。; 2. マトリス双対性は、完全な局所環上のアルティン加群とノイザン加群の間の双対性です。; 3. マコーレー双対性は、体上に有限生成される完全な局所環上のアルティン加群とノイザン加群の間の双対性です。; 4.ネーター環Rの双対化加群（標準加群とも呼ばれる）は、任意の最大イデアルmに対してR / mベクトル空間 Extが成り立つような有限生成加群Mである。ⁿ
_R( R / m、M )は、 n ≠height( m )の場合にはゼロとなり、 n =height( m )の場合には1次元となる。; 5.双対化複体とは、双対化モジュールの多くの特性を、双対化モジュールを持たない環に一般化した複体です。
DVR: 離散評価環の略語。

E

イーキン: イーキン・ナガタの定理は、有限の環拡大が与えられたとき、がネーター環である場合、かつその場合に限り、がネーター環であると述べています。 $A\subset B$ $A$ $B$
エイゼンシュタイン: ゴットホルト・エイゼンシュタインにちなんで命名; 1.アイゼンシュタイン整数環は、1 の原始立方根によって生成される環です。; 2.アイゼンシュタイン多項式は、その主項が 1 であり、他のすべての係数が素数で割り切れ、定数項が素数の 2 乗で割り切れない多項式です。; 3.アイゼンシュタイン基準は、アイゼンシュタイン多項式が既約ではないことを述べています。; 4. アイゼンシュタイン拡大は、アイゼンシュタイン多項式の根によって生成される拡大です。
埋め込み: モジュールの埋め込み素数は、非最小の関連素数です。
埋め込み次元: ディメンションを参照してください。
封筒: モジュールの入射的なエンベロープ(またはハル) は、それを含む最小限の入射的なモジュールです。
等特性: 局所環はその剰余体と同じ特性を持つ場合、等特性であると呼ばれます。
不可欠: 1. NのサブモジュールMは、 Nのすべての非ゼロサブモジュールと交差する場合、必須サブモジュールと呼ばれます。; 2.モジュールMの本質的拡張とは、すべての非ゼロ部分モジュールがMと交差するようなMを含むモジュールNのことである。
本質的に有限型: ある代数が有限生成代数の局所化である場合、その代数は他の代数に対して本質的に有限型であると言われます。
エタール: 1. 環の射は、形式的にエタールであり、局所的に有限に提示される場合、エタールと呼ばれます。; 2.体上のエタール代数は有限の可分な拡大の有限積である。
ユークリッド領域: ユークリッド領域は、ユークリッドの互除法の形式を持つ整域です。
正確なゼロの除数: 零因子は、その消滅因子が主イデアルであり、その消滅因子がかつである場合に、 正確な零因子であると言われます。 $x$ $\operatorname {Ann} _{R}(x)=\{r\in R\mid rx=0\}$ $yR$ $xR$ $\operatorname {Ann} _{R}(x)=\{r\in R\mid rx=0\}=yR$ $\operatorname {Ann} _{R}(y)=\{r\in R\mid ry=0\}=xR$
素晴らしい: 優れた環とは、有限生成代数ごとにスペクトルの特異点が閉じた部分集合を形成するような普遍カテナリーグロタンディーク環のことです。
内線: Ext関数、Hom 関数の派生関数。
拡大: 1.イデアルの拡張とは、環の準同型による像によって生成されるイデアルのことである。; 2. モジュールの拡張とは、そのモジュールをサブモジュールとして含むモジュール、または商モジュールとしてそのモジュールにマッピングするモジュールのいずれかを意味します。; 3.モジュールMの本質的拡張とは、すべての非ゼロ部分モジュールがMと交差するようなMを含むモジュールのことである。

F

フェイスリング: スタンレー・ライスナー環の別名。
階乗: 階乗環は、一意の因数分解領域の別名です。
忠実な: 1.忠実なモジュールとは、消滅係数が 0 であるモジュールです。
忠実に: 1.環R上の忠実に平坦な加群とは、任意の非ゼロ加群とのテンソル積が非ゼロとなる平坦な加群のことである。; 2.環R上の忠実に平坦な代数は、モジュールとして忠実に平坦な代数です。
分野: 1. 可換環であって、すべての非零元に逆元が存在するもの; 2.整域の分数体、または分数体とは、それを含む最小の体です。; 3. 剰余体は環を最大イデアルで割った商である。; 4. 商体とは、分数体または剰余体のいずれかを意味します。
有限: 環上の有限加群（または環代数）とは、通常、加群として有限生成であるものを指します。また、有限個の元を持つもの、特に有限体という用語においては、有限個の元を持つものを指す場合もあります。
有限型: 環上の代数は、代数として有限生成される場合、有限型であると言われます。
有限生成: 1. 環上の加群は、すべての元が有限個の固定された元の線型結合であるとき、有限生成と呼ばれます。加群がたまたま代数である場合、これは代数として有限生成であると言うよりもはるかに強い意味を持ちます。; 2. 環上の代数は、代数として有限生成である場合に有限生成と呼ばれます。これは、モジュールとして有限生成であると言うよりもはるかに弱い意味です。; 3. 体の拡張は、より大きな体の元がすべて有限生成集合の有理関数として表現できる場合、有限生成と呼ばれます。
理想的なフィッティング: g個の要素によって生成されるモジュールMのフィッティングイデアル I _n ( M )は、モジュールを定義する関係の行列のサイズg – nのマイナーの行列式によって生成されるイデアルです。
フラット: 1.フラットモジュールとは、テンソル化によって正確さが保持されるモジュールです。; 2.フラット解像度はフラットモジュールによる解像度です。; 3.平面寸法については寸法を参照してください。; 4.環R上の加群Mは、 R / I加群⊕I n M / I ⁿ⁺¹M^が平坦であるとき、イデアルIに沿って正規平坦と呼ばれる。; 5.モジュールMの平坦被覆は、平坦モジュールから余分な核を持つMへの写像です。
正式に: 1.環の準同型f : A → Bが形式的に滑らか、形式的に非分岐、または形式的にエタールと呼ばれるのは、冪零イデアルIを持つ任意のA -代数Rに対して、 Hom _A ( R / I , B ) から Hom _A ( R , B ) への自然写像が射影的、単射的、または全単射であるときである。このとき、代数Bは形式的に滑らか、形式的に非分岐、または形式的にエタールA -代数と呼ばれる。; 2. ネーター局所環は、その完備化が等次元である場合に、形式的に等次元（または準非混合）であるといわれる。; 3. 形式的カテナリー環とは、素イデアルによるすべての商が形式的に等次元となる環のことである。ネーター局所環の場合、これは環が普遍カテナリーであることと同値である。
分数イデアル: Kが整域Rの分数環である場合、Rの分数イデアルは、 K内のあるkに対してkRに含まれるR加群Kのサブ加群です。
分数理想: 分数イデアルの別名

G

Gリング: グロタンディーク環の別名。
ガウス分布: ガウス環はガウス整数 m + niの環です。
GCD: 1.最大公約数の略語; 2. GCD ドメインは、任意の 2 つの要素が最大公約数 (GCD) を持つような整数ドメインです。
幾何学的に: 「幾何学的に」という言葉は通常、有限体拡大をとった後も成立し続ける性質を指します。例えば、体k上の環Rは、kの任意の有限拡大体Kに対してR ⊗ _k Kが正規、正則、または縮約であるとき、幾何学的に正規、幾何学的に正則、または幾何学的に縮約と呼ばれます。
下がる: 1.可換環の拡大R ⊆ Sは、 p ₁ ⊆ p _2がRの素イデアルの連鎖であり、q _2がq ₂ ∩ R = p 2 を満たすSの素イデアルである場合に、 q ₁ ⊆ q ₂およびq ₁ ∩ R = p _{1を満たす}Sの素イデアルq ₁が存在するとき、下降特性を持つと言われて_います。; 2.下降定理は、Sが定義域であり、Rが整閉であるような整拡大R ⊆ Sには下降特性があることを述べています。
上がる: 1. 可換環の拡大R ⊆ Sは、 p ₁ ⊆ p _{2 が}Rの素イデアルの連鎖であり、q _{1 が}Sの素イデアルでq ₁ ∩ R = p ₁であるときはいつでも、 Sの素イデアルq _{2が存在し、}q ₁ ⊆ q ₂およびq ₂ ∩ R = p ₂である場合に、上昇特性を持つと言われています。; 2.上昇定理は、整式拡張R ⊆ Sが上昇特性を持つことを述べています。
ゴレンシュタイン: 1. ダニエル・ゴレンスタイン; 2.ゴレンシュタイン局所環は、それ自身の加群として有限の入射次元を持つノイザン局所環です。; 3.ゴレンシュタイン環とは、素イデアルにおける局所化のすべてがゴレンシュタイン局所環である環である。
学年: 「グレード」という用語のさまざまな用法は、互いに矛盾したり互換性がなかったりする場合があります。; 1. ネーター環上の有限生成加群M上のイデアルIの等位数 grade( I , M ) は、 Iにおける最大M -正則列の長さである。これはIのM上の深さとも呼ばれる。; 2.環R上の加群Mの等級grade( M )はgrade(AnnM,R)であり、これはノイザン環上の有限生成加群に対して、Extを満たす最小のnである。ⁿ
_R( M、R ) はゼロ以外です。; 3. 最大イデアルIを持つノイザン局所環上の加群Mの位数は、 I上のmの位数である。これはMの深さとも呼ばれる。これは、上記で示した加群の位数の他の定義とは矛盾する。; 4.イデアルのグレードgrade( I )には、モジュールR / Iのグレードgrade( R / I )が与えられます。したがって、イデアルIのグレードは通常、モジュールIのグレードと同じではありません。
段階的: 次数付き代数またはモジュールは、アーベル群（多くの場合、整数のグループ）によってインデックス付けされた部分の直和です。
グレブナー基底: グレブナー基底は、特定の条件を満たす多項式環のイデアルの生成元の集合です。
グロタンディーク: アレクサンダー・グロタンディークにちなんで名付けられた; 1.グロタンディーク環は、形式繊維が幾何学的に正則なネーター環です。; 2. グロタンディークの局所双対性は、局所環上の加群の双対性定理です。

H

HCF: 最大公約数の略語
身長: 1.素イデアルの高さは、その余次元、階数、高度とも呼ばれ、その素イデアルから派生する素イデアルの連鎖の長さの上限です。; 2. 評価または場所の高さはその評価グループの高さであり、その評価グループの適切な凸部分群の数です。
ヘンゼル
ヘンゼリアン
ヘンゼル化: クルト・ヘンゼルにちなんで名付けられた; 1. ヘンゼルの補題によれば、R が最大イデアルmを持つ完全な局所環であり、P がR [ x ]のモニック多項式である場合、その像Pの ( R / m )[ x ] における互いに素なモニック多項式の積への任意の因数分解は、 R [ x ]の因数分解に持ち上げることができる。; 2.ヘンゼル環はヘンゼルの補題が成り立つ局所環である。; 3.局所環のヘンゼル化は、その局所環から構成されるヘンゼル環である。
ヒルベルト: ダヴィド・ヒルベルトにちなんで名付けられた; 1. ヒルベルト環はヤコブソン環の別名です。; 2.ヒルベルト多項式は、次数環または局所環上のモジュールの成長率を測定します。; 3. ヒルベルトの零点定理は、アフィン空間の既約部分集合を座標環の根基イデアルと同一視する。; 4. ヒルベルトの朔望定理は多項式環上の加群の有限自由分解を与える。; 5.ヒルベルト基底定理は、体上の多項式環がネーター環であること、またはより一般的にはネーター環上の任意の有限生成代数はネーター環であることを述べています。; 6.ヒルベルト・バーチの定理は、射影次元が2である局所環の商の自由分解を記述する。; 7.ヒルベルト・クンツ関数は、正の特性における特異性の重大度を測定します。
弘中: 1.弘中平祐にちなんで命名; 2.広中分解は、多項式環または正則局所環上の有限自由加群としての環の表現です。; 3. 広中の基準によれば、正則局所環または多項式代数上の有限加群である環は、自由加群であるときのみコーエン・マコーレー環となる。
ホッジ: 1. WVDホッジにちなんで名付けられた; 2.ホッジ代数は、標準的な単項式の基底に似た特殊な基底を持つ代数です。
船体: モジュールの入射包 (またはエンベロープ) は、それを含む最小の入射モジュールです。

私

理想的: 環の部分加群。特殊な例としては以下のものがある:; 1.最大イデアルmを持つ局所環R上の加群Mの定義のイデアルは、あるnに対してm ⁿ MがIMに含まれるような真イデアルIである。
理想的には分離: 加群がイデアルIに対してイデアル的に分離しているとは、任意のイデアルに対してである（例えば、 Aがネーター局所環で、Iがその最大イデアル、Mが有限生成である場合）。^[2] $M$ ${\mathfrak {a}}$ $\bigcap _{n\geq 1}I^{n}({\mathfrak {a}}\otimes M)=0$
べき等性: x ² = xとなる要素x。
比較不可能性: 拡張A ⊆ Bは、 QとQ' がAの素数Pの上にあるBの異なる素数である場合に、Q ⊈ Q' かつQ' ⊈ Qとなるとき、比較不可能性を満たすと言われます。
分解できない: モジュールが 2 つの適切なサブモジュールの直和でない場合、そのモジュールは分解不可能であると呼ばれます。
慣性グループ: 慣性群は、その要素が与えられた素イデアルを固定し、対応する剰余類環に自明に作用する環の自己同型群です。
無限に生成される: 有限に生成されません。
最初の理想: 1.次数付き環において、イデアル $Iの$ 初期イデアルは、 $I$ の元の最小次数の同次成分すべての集合である（これは同次元の乗法モノイドのイデアルである）。; 2.グレブナー基底の文脈では、与えられた単項式順序に対するイデアル $Iの$ 初期イデアルは、 $I$ の元のすべての主単項式の集合です（これは単項式の乗法モノイドのイデアルです）。
単射: 1.注入モジュールとは、サブモジュールからそのモジュールにマッピングされ、より大きなモジュールに拡張できるという特性を持つモジュールです。; 2.モジュールの入射包または入射包は、それを含む最小の入射モジュールです。; 3.単射解決は単射モジュールによる解決です。; 4. モジュールの単射次元は、単射分解の最小の長さです。
積分: 積分の 2 つの異なる意味 (ゼロ約数がないこと、またはすべての要素が単数多項式の根であること) は混同されることがあります。; 1.整域または整環は、零因子を持たない非自明な環です。; 2. ある要素が部分環上の整式であるとは、その要素が部分環内の係数を持つ単項多項式の根である場合に言う。; 3.環の元x が部分環上でほぼ整式であるとは、その部分環に正則元aが存在し、すべての正の整数nに対してax ^{n が}その部分環に含まれる場合を言う。; 4.環の部分環の整閉包は、その環上で整であるすべての元の環です。; 5. 環上の代数は、そのすべての要素が環上で整であるとき、整代数と呼ばれます。; 6. 環が縮約されていて、すべての素イデアルにおける局所化が整式である場合、その環は局所整式であると呼ばれます。; 7. ある領域が分数体においてそれ自身の整閉包である場合、その領域は整閉であると言われる。
反転可能: 可逆な分数イデアルとは、乗算のもとで分数イデアルのモノイドに逆を持つ分数イデアルです。
還元不可能な: 1. 環の元は、2 つの非単位元の積として表すことができない場合、既約であるといわれます。; 2.既約環とは、零イデアルが 2 つの非零イデアルの交差ではない環であり、より一般的には、既約加群とは、零加群を非零部分加群の交差として表すことができない加群である。; 3. イデアルまたは部分加群は、 2つのより大きなイデアルまたは部分加群の積として表すことができないとき、既約であると呼ばれる。イデアルまたは部分加群が環または加群全体である場合、これは既約環または加群の定義と矛盾する。
無関係: 次数付き代数の無関係なイデアルは、正の次数を持つすべての要素によって生成されます。
孤立した: モジュールの孤立した素数は、最小の関連する素数です。

J

J-0リング: J -0 環は、スペクトルの正則点の集合に空でない開集合が含まれる環です。
J-1リング: J -1 環は、スペクトルの正則点の集合が開集合となる環です。
J-2リング: J -2 環は、任意の有限生成代数が J-1 環となるような環です。
ヤコビアン: 1.ヤコビ行列は、その要素がいくつかの多項式の偏微分である行列です。; 2.多項式環の純粋な余次元nのイデアルによる商のヤコビアンイデアルは、ヤコビ行列のサイズn の小行列式によって生成されるイデアルです。; 3. ヤコビ基準は、対応するヤコビ行列の階数が可能な限り最大である場合にのみ、局所環が幾何学的に正則であると述べる基準です。
ジェイコブソン: ネイサン・ジェイコブソンにちなんで名付けられました; 1.環のヤコブソン根号はその環の最大イデアルの交差である。; 2.ヤコブソン環とは、すべての素イデアルが最大イデアルの交差となるような環です。
日本の指輪: 日本語環（N-2 環とも呼ばれる）は、その商体Kのすべての有限拡大Lに対して、 LにおけるRの整閉包が有限生成 R加群となるような整域 Rである。

K

ケーラー微分: 環のケーラー微分加群は、環からそれへの微分を持つ普遍加群です。
クライン整数: クライン整数は判別式が -7 である虚数二次体の整数です。
コズル複合体: Koszul複合体は、規則的なシーケンスから構築された自由解像度です。
クルルリング: クルル環（またはクルル領域）は、素因数分解の理論が適切に適用される環です。
クルル次元: ディメンションを参照してください。

L

ラスケリアンリング: ラスカー環は、任意のイデアルが一次分解を持つ環です。
長さ: モジュールの長さは、任意の構成シリーズの長さです。
線形分離: 体k上の体拡大Kの 2 つの部分体は、 k上のテンソル積からそれらが生成するKの部分体への自然写像が同型である場合、線型的に素であるという。
リンクされた
リンケージ: ゴレンシュタイン環におけるイデアル間の関係。
地元
ローカリゼーション
地元で: 1.局所環とは、ただ一つの極大イデアルを持つ環である。古い文献では、局所環はネーター環であると仮定されることもある。; 2.モジュールMの局所コホモロジーは、direct-lim _k Hom _R ( R / I ^k , M )の導来関手によって与えられる。; 3.環の（乗法）部分集合への局所化とは、乗法部分集合のすべての要素を逆集合とすることによって形成される環のことである。; 4. 素イデアルにおける環の局所化は、素イデアルの補集合によって与えられる乗法部分集合の局所化である。; 5. 環が縮約されていて、すべての素イデアルにおける局所化が整式である場合、その環は局所整式であると呼ばれます。; 6. 環のスペクトルがその性質を持つ局在R [1/ a ]のスペクトルで覆われている場合、環は局所的に何らかの性質を持つ。
財産の上に横たわる: 環の拡張は、それらの素スペクトル間の対応する写像が射影的である場合に、上にあるという性質を持ちます。

M

マコーレー: フランシス・サワービー・マコーレーにちなんで名付けられた; 1.マコーレー環はコーエン・マコーレー環の別名です。; 2.マコーレー数式処理システム。; 3. マコーレー双対性は、体上の有限生成代数である局所環に対するマトリス双対性の特殊なケースです。
マトリス: エベン・マトリスにちなんで名付けられました; 1. マトリス双対性は、完全なネーター局所環上のアルティン加群とネーター加群の間の双対性です。; 2. Matlis モジュールは、局所環の留数体の入射的なエンベロープです。
最大: 1.極大イデアルは、環の真イデアルの集合の極大元である。; 2. ノイザン局所環R上の最大コーエン・マコーレー加群は、その次元がRの次元と同じであるコーエン・マコーレー加群である。
最小限: 1.イデアルの最小素数は、それを含む素イデアルの集合の最小元です。; 2. モジュールの最小解像度は、他の解像度に含まれる解像度です。; 3. 最小の一次分解は、項の数が可能な限り少ない一次分解です。; 4. 定義域の最小素数は、非ゼロの素イデアルの集合の最小元である。
奇跡: 1. 奇跡平坦性は、広中の基準の別名であり、正規局所環上に有限である局所環が平坦加群である場合に限り、その局所環はコーエン・マコーレーであるというものである。
ミッタグ・レフラー条件: ミッタク・レフラー条件は、逆極限の最初の導出関数が消滅することを保証する、モジュールの逆システムに対する条件です。
モジュラーシステム: 理想を表す古風な言葉
単項式: 代数の生成元の累乗の積
森藩: 森整域は、整分イデアル上の上昇連鎖条件を満たす整域です。
乗法部分集合: 乗法に関して閉じた環の部分集合
多重性: 素イデアルpまたは環RにおけるモジュールMの多重度は、 M内でR / pが出現する回数、より正確にはR _p上のモジュールとしての局所化M _pの長さです。

北

N-1: N -1 環は、その商体における整閉包が有限生成加群である整域です。
N-2: N -2 環は日本の環と同じであり、言い換えれば、その商体の任意の有限拡大における整閉包が有限生成加群である整域です。
永田リング: 永田環はネーター普遍日本環である。これらは擬幾何学環とも呼ばれる。
中山の補題: 中山の補題によれば、有限生成モジュールMがIMに等しい場合( Iはヤコブソン根号)、Mはゼロになります。
きちんとした: 「分岐していない」という意味で使われることもあります。
零位: 冪零となるものもある。環の元や環のイデアルに適用できる。冪零の項を参照。
ニルラディカル: 環の冪根基は冪零元のイデアルです。
ネーター
ネーター: エミー・ネーターにちなんで名付けられました; 1.ネーター加群とは、すべてのサブ加群が有限生成される加群です。; 2.ネーター環は、それ自身のネーター加群である環です。言い換えれば、すべてのイデアルは有限生成です。; 3. ノイマン正規化は、体上の有限生成代数を多項式環上の有限モジュールとして表現します。
普通: 正規領域は、その商体において整閉な整領域です。; 正規環とは、素イデアルにおける局所化が正規領域である環のことである。
通常は平ら: 環R上の加群Mは、 R / I加群 ⊕ I ⁿ M / I ⁿ⁺¹Mが平坦である場合に、イデアルIに沿って正規平坦と呼ばれます。
ヌルステレンザッツ: 「零軌跡定理」のドイツ語。; 代数的に閉じた体上では、弱い Nullstellensatz はアフィン空間の点がその座標環の極大イデアルに対応すると述べられ、強い Nullstellensatzは多様体の閉部分集合がその座標環の根基イデアルに対応すると述べられます。

お

オリエンテーション: 環R上のモジュールの向きは、モジュールの最大の非ゼロ外冪からRへの同型です。

P

パラファクチュアル: ネーター局所環Rは深さが少なくとも2であり、閉点mを除いたスペクトルのピカール群Pic(Spec( R )−m )が自明である場合、パラファクタル環と呼ばれます。
パラメータ: #パラメータシステムを参照してください。
完璧: 非可換環論では、完全環は無関係な意味を持ちます。; 1. モジュールの射影次元がその次数に等しい場合、そのモジュールは完全であると呼ばれます。; 2.環RのイデアルIは、 R / Iが完全加群である場合に完全と呼ばれます。; 3. すべての有限拡大体が可分である場合、その体は完全体と呼ばれます。
写真
ピカードグループ: 環Rのピカール群Pic( R )は、階数 1 の有限射影加群の同型類の群です。
PID: 主イデアル領域の略語。
場所: 体 Kの、体Lの値を持つ場所は、加算と乗算および 1 を保存するK ∪∞からL ∪∞ への写像です。
見栄えの良い: 見栄えのする指輪とは、普通の指輪の商である指輪です。
プライム: 1.素イデアルとは、その補イデアルが乗算に関して閉じている真イデアルのことである。; 2.環の素元は素イデアルを生成する元である。; 3.素局所環は素イデアルにおける整数の局所化です。; 4. 「プライムシーケンス」は、通常のシーケンスの別名です。
主要な: 1.主イデアルとは、環Rの真イデアルpであって、 rm がpに属するならばmがpに属するか、 rの何らかの冪がpに属するかのいずれかであるものをいう。より一般的には、加群Mの主部分加群とは、 Mの部分加群Nであって、 rm がNに属するならばmがNに属するか、 rの何らかの冪がNを消滅させるかのいずれかであるものをいう。; 2.イデアルまたはサブモジュールの主分解は、主イデアルまたはサブモジュールの有限集合として表現されます。
主要: 1.主イデアルは 1 つの要素によって生成されるイデアルです。; 2.主イデアル環とは、すべてのイデアルが主である環です。; 3.主イデアル領域は、すべてのイデアルが主である整域です。
射影的: 1.射影加群とは、それに対するあらゆる同型が分解する加群のことである。; 2.射影分解は射影加群による分解です。; 3.モジュールの射影次元は射影分解の最小の長さです。
プリューファードメイン: プリューファードメインは半遺伝的な統合ドメインです。
擬似: 1. 有限生成加群Mは、高さのすべての素イデアルに対してが成り立つとき、擬零点と呼ばれます。 $M_{\mathfrak {p}}=0$ ${\mathfrak {p}}$ $\leq 1$; 2.カーネルが擬零であれば、モジュールの射は擬単射である。; 3.余核が擬零であれば、加群の射影は擬射である。; 「擬幾何環」は永田環の別名である。
純粋な: 1.モジュールNの純粋なサブモジュール Mとは、すべてのモジュール A に対してM ⊗ AがN ⊗ Aのサブモジュールとなるようなサブモジュールです。; 2.環Rの純粋部分環Rとは、すべてのS加群Mに対してM = M ⊗ SがM ⊗ _S Rの部分加群となるような部分環のことである。; 3.環R上の純粋加群Mは、 Mの任意の関連する素数pに対してdim( M ) = dim( R / p )となる加群である。
純粋に: 1.体の特性が 0 であり、x が体に含まれる場合、または体が特性pを持ち、何らかのrに対して体に含まれる場合、元xは体上で純粋に分離不可能です。 $x^{p^{r}}$; 2. フィールド拡張は、純粋に分離不可能な要素で構成されている場合、純粋に分離不可能です。

質問

疑似: 1.準優秀環とは、すべての有限生成代数に対してスペクトルの特異点が閉集合を形成するグロタンディーク環のことである。; 2.準同型とは、ホモロジー上の同型を誘導する複体間の同型である。; 3. 準局所環は、局所環がネーター環であると仮定する書籍で、(おそらく非ネーター)局所環を表す古い用語でした。; 4. 準混合されていない。形式的に等次元を参照。
商: 1. 環をイデアルで割った商、または加群を部分加群で割った商。; 2.整域の商体（または分数体）は、素イデアル零点への局所化である。これは最初の意味と混同されることがある。

R

R _n: 環（非負整数n ）上の条件R _{n が}「余次元nにおいて正則」であるとは、高さが最大でnである任意の素イデアルにおける局所化が正則であることを意味する。（正規性に関するセールの基準を参照）
ラジカル: 1.環のヤコブソン根号。; 2.環の零根号。; 3. 環の元xの根号は、ある正のべきがxである元のことです。; 4.イデアルの根号は、その元の根号のイデアルです。; 5.モジュールNのサブモジュールMの根基は、xの何らかのべき乗がNをMに写像するような元xのイデアルです。; 6.環の根基拡張は、要素の根基によって生成される拡張です。
分岐グループ: 分岐群は、ある素イデアルpを固定し、ある整数n >1に対してR / p ⁿに自明に作用する環Rの自己同型群です。( n = 1 のときは慣性群と呼ばれます。)
ランク: 1. 素イデアルの高さの別の古い名前。; 2. 評価のランクまたは高さは、対応する評価リングの Krull 次元です。; 3. 付値または位値の有理数または実数階数は、その付値群の有理数または実数階数であり、これは、付値群を有理数または実数でテンソル化することによって構築される、対応する有理数または実数ベクトル空間の次元です。; 3. フリーモジュールのジェネレータの最小数。; 4.整域R上の加群Mの階数は、Rの商体K上のベクトル空間M⊗Kの次元である。
減少: 1.被約環とは、ゼロでない冪零元を持たない環のことである。; 2. 特性p > 0の環上で、多変数多項式が各変数の次数p未満である場合、その多項式は既約であると呼ばれます。
還元可能: 「既約」を参照してください。
削減: モジュールMに関するイデアルIの縮小イデアルは、ある正の整数nに対してJI ⁿ M = I ⁿ⁺¹Mを満たすイデアルJです。
リース: 1.デビッド・リースにちなんで名付けられた; 2.イデアルIのリース代数は $\oplus _{n=0}^{\infty }t^{n}I^{n}=R[It]\subset R[t].$; 3.代数のリース分解は、代数を多項式部分代数で表す方法です。
反射的な: 標準写像が同型である場合、モジュールMは反射的です。 $M\to M^{**},m\mapsto \langle \cdot ,m\rangle$
通常: 1.正則局所環は、その次元がその接空間の次元に等しいネーター局所環です。; 2.正則環とは、すべての素イデアルにおける局所化が正則である環のことである。; 3. 環の正則元は零因子ではない元である。; 4.あるモジュールMの環のM正則元とは、 Mのゼロでない元を消滅させないRの元である。; 5.あるモジュールMに関する正則シーケンスとは、 Rの要素a ₁、a ₂、...、a _nのシーケンスであり、各a _m_{+ 1}はモジュールM / ( a ₁、a ₂、...、a _m ) Mに対して正則です。; 6. 非可換環論において、フォン・ノイマン正則環とは、任意の元xに対してxyx = xを満たす元yが存在する環のことである。これは可換環論における正則環の概念とは無関係である。可換代数において、この性質を持つ可換環は絶対平坦と呼ばれる。
規則性: カステルヌオーヴォ・マンフォード正則性は、さまざまなコホモロジー群の消失に関連する次数付き環上の次数付きモジュールの不変量です。
残余フィールド: 環、特に局所環を最大イデアルで割った商。
解決: モジュールの分解とは、そのモジュールのみがゼロでないホモロジーグループである連鎖複合体です。

S

S _n: 環上の条件S _n（非負整数n）は、任意の素イデアルにおける局所化の深さは、その深さがnより小さいときはいつでも、その素イデアルの高さになるということを意味する。（正規性に関するセールの基準を参照）
飽和状態: 環またはモジュールの部分集合Xが乗法部分集合Sに関して飽和しているとは、Xにxs がありSにs があるとき、 x がXにあることを意味するという。
飽和: 環またはモジュールの部分集合の飽和は、それを含む最小の飽和部分集合です。
半局所的
準ローカル: 1.半局所環とは、有限個の極大イデアルのみを持つ環である。; 2. 「半局所環」はザリスキー環の古い用語です。
半正規分布: 半正規環は、x、y がを満たすときはいつでも、およびを満たす s が存在するような可換な既約環です。 $x^{3}=y^{2}$ $s^{2}=x$ $s^{3}=y$
分離可能: 体上の代数は、任意の有限な純粋に分離不可能な拡大による拡大が簡約される場合、分離可能と呼ばれます。
分離された: ハウスドルフの別名。通常はリングまたはモジュール上のトポロジに適用されます。
単純: 単純体とは、整数環が一意の因数分解領域である代数体を表す古い用語です。
特異: 1. 規則的ではない; 2. 何らかの点で特別である; 3.可換代数のための特異コンピュータ代数システム
スムーズ: 環の滑らかな射とは、形式的に滑らかで有限に提示される準同型である。これは微分位相幾何学における沈み込みに類似している。環上の代数は、対応する射が滑らかなとき、滑らかであると言われる。
ソクル: モジュールの基底はその単純なサブモジュールの合計です。
スペクトラム: 1.環の素スペクトル(単にスペクトルと呼ばれることが多い) は、その基礎となる位相空間がザリスキー位相を持つ素イデアルの集合である局所環空間です。; 2. 環の最大スペクトルは、ザリスキー位相を持つ最大イデアルの集合である。
安定した: 十分に大きいnに対してM _n₊₁ = IM _nが成り立つ場合、モジュールの減少濾過は (理想的なIに関して)安定していると呼ばれます。
安定的に自由: 環R上の加群Mは、ある自然数nに対してM ⊕ R ⁿが自由である場合に安定自由と呼ばれます。
スタンリー: 1.リチャード・P・スタンリーにちなんで名付けられた; 2.スタンレー・ライスナー環は多項式代数を平方自由単項式イデアルで割った商である。; 3.スタンレー分解は、環を多項式部分環で表す方法です。
厳密にローカル: 環が局所ヘンゼル環であり、その剰余体が分離的に閉じている場合、その環は厳密に局所的であると呼ばれます。
余分な: NのサブモジュールMは、 M + X = NがX = N (サブモジュールXの場合)を意味する場合、不要と呼ばれます。
超高身長: イデアルのスーパー高さは、環準同型によるイデアルの適切な拡大の非ゼロ余次元の最大値です。
サポート: モジュール Mのサポートは、 pにおけるMの局所化がゼロ以外となるような素イデアルpの集合です。
象徴的な力: 素イデアルpの記号冪 p ^{( n )とは、}pに含まれないyに対してxyがp ⁿに含まれるような元xの集合である。これはp ⁿを含む最小のp素イデアルである。
パラメータのシステム: 最大イデアルmを持つ局所環 R の、（有限であれば）次元 R の元からなる集合で、m -主イデアルを生成するもの。実際にm を生成する場合、それは正則なパラメータ系である。
朔望: モジュールの自由解像度内のマップの 1 つのカーネルの要素。

T

正接: 局所環のザリスキ接空間はその余接空間の双対である。
しっかりと閉じる: 正の特性p >0を持つ環のイデアルIの緊密閉包 I * は、 p のすべての十分に大きいべき q に対してcz q^がI ^[^q^]に含まれるような、任意の最小素イデアルに含まれないcが存在するような元z で構成されます。ここで、I ^[^q^]はIのすべてのq乗の元によって生成されるイデアルです。
トル: テンソル積の導出関数である、Torsion関数。
ねじれ: 1.環上の加群のねじれ元は、環の何らかの正則元によって消滅する元である。; 2. モジュールのねじりサブモジュールは、ねじり要素のサブモジュールです。; 3.ねじれのないモジュールとは、ゼロ以外のねじれ要素を持たないモジュールです。; 4. ねじりモジュールとは、そのすべての要素がねじり要素であるモジュールです。; 5.捩れ関数Tor はテンソル積の導出関数です。; 6.捩れのない加群は自由加群のサブ加群と同型な加群である。
合計: 分数の全環または環の全商環は、すべての非ゼロの約数に逆数を強制することによって形成されます。
些細な: 自明な環とは、要素が 1 つだけの環のことです。
タイプ: 剰余体kを持つノイザン局所環R上の深さdの有限生成加群Mの型は、Extの次元（k上）である。^d
_R（k、M）。

あなた

UFD: 一意因数分解領域の略語。
単枝: 被約局所環が整閉包であり、その整閉包が局所環であるとき、その被約局所環は単枝環と呼ばれる。対応する被約局所環が単枝環であるとき、局所環は単枝環と呼ばれる。
ユニモジュラー行: 単位イデアルを生成する環内の要素のシーケンス。 $v_{1},\dots ,v_{n}$
一意因数分解領域: 階乗域とも呼ばれます。一意因数分解域とは、すべての元が、位数と単位の乗法を除いて一意に素数の積として表せるような整域です。
普遍的に: ある性質が普遍的に成り立つとは、様々な基底変換に対して成り立つ場合を言う。例えば、環が普遍カテナリー環であるとは、その環上の有限生成環がすべてカテナリー環であることを意味する。
普遍的な: 普遍体とは、その素体上に無数の超越次数を持つ代数的に閉じた体です。
混ざっていない: 環RのイデアルIは、 R / Iの関連する素数の高さがすべて同じである場合、非混合であると呼ばれます。
非分岐: 1.環の非分岐射とは、形式的に非分岐かつ有限提示である準同型である。これらは微分位相幾何学における浸漬に類似している。環上の代数は、対応する射が非分岐であるとき、非分岐と呼ばれる。; 2. 体上の多項式環のイデアルは、対応するイデアルの拡大が素イデアルの交差である場合、その体のある拡大に対して非分岐であるという。

V

評価: 1.評価は、体の非ゼロ元から全順序アーベル群への準同型であり、有理数のp進評価に似た特性を持ちます。; 2.評価環とは、 x がその商体に含まれ、かつそれがゼロでない場合、xまたはその逆数がRに含まれるような整域Rです。; 3.付値群は全順序アーベル群である。付値環の付値群は、付値環の単位群を法とする商体の非零元の群である。

W

弱い: 1. 弱次元はモジュールのフラット次元の別名です。; 2.最大イデアルの要素の列は、すべてのに対してである場合、弱い列と呼ばれます。 $(a_{1},\cdots ,a_{r})$ $m$ $m\cdot ((a_{1},\cdots ,a_{i-1})\colon a_{i})\subset (a_{1},\cdots ,a_{i-1})$ $i$
ワイエルシュトラスリング: ワイエルシュトラス環はヘンゼル環、擬幾何学環であり、素イデアルによる任意の商環が正則局所環の有限拡張となるような局所環である。

XYZ

ザリスキ: 1.オスカー・ザリスキにちなんで名付けられた; 2.ザリスキ環は、ヤコブソン根号のイデアルの冪によって与えられる 0 近傍の基底を持つ完全なノイザン位相環です (以前は半局所環と呼ばれていました)。; 3.ザリスキー位相は、与えられたイデアルを含む素イデアルの集合が閉集合となるような環のスペクトル上の位相である。; 4. ザリスキの補題によれば、ある体が別の体上の有限生成代数である場合、その体はその体上の有限次元ベクトル空間となります。; 5. ザリスキの正則関数に関する主補題によれば、多項式環の素イデアルのn乗記号は、その素イデアルを含む最大イデアルのn乗の積である。; 6.最大イデアルmを持つ局所環のザリスキ接空間はベクトル空間m / m ²の双対である。
ゼロ除数: 環の零因子とは、零でない元との積が 0 となる元です。

参照

環理論の用語集

参考文献

^ マッカーシー、ポール・J.（1991）、体の代数的拡大（第2版の訂正再版）、ニューヨーク：ドーバー出版、p. 119、Zbl 0768.12001
^ 松村秀之 (1981).可換代数. 数学講義ノートシリーズ (第2版, 第2印刷版). マサチューセッツ州レディング: ベンジャミン/カミングス. p. 146. ISBN 978-0-8053-7026-3。

一般的な参考文献

ブルバキ、ニコラ（1998）、可換代数、第1章から第7章、数学原論（ベルリン）、ベルリン、ニューヨーク：シュプリンガー・フェアラーク、ISBN 978-3-540-64239-8
Bruns, Winfried; Herzog, Jürgen (1993), Cohen-Macaulay rings, Cambridge Studies in Advanced Mathematics, vol. 39, Cambridge University Press , ISBN 978-0-521-41068-7、MR 1251956
アイゼンバッド、デイヴィッド（1995）、可換代数、Graduate Texts in Mathematics、第150巻、ベルリン、ニューヨーク：シュプリンガー・フェアラーク、doi：10.1007/978-1-4612-5350-1、ISBN 978-0-387-94268-1、MR 1322960
アレクサンドル・グロタンディーク;ジャン・デュドネ(1960)。「幾何学計算の要素: I. スキーマの言語」。出版物 Mathématiques de l'IHÉS。４．土井：10.1007/bf02684778。MR 0217083。
アレクサンドル・グロタンディーク;ジャン・デュドネ(1961)。「幾何学的計算手法: II. 射影クラスの世界的手法の練習」。出版物 Mathématiques de l'IHÉS。８．土井：10.1007/bf02699291。MR 0217084。
アレクサンドル・グロタンディーク;ジャン・デュドネ(1961)。「幾何学的要素の要素: III. 顔合わせのコホモロジーの練習、初演パーティー」。出版物 Mathématiques de l'IHÉS。１１．土井：10.1007/bf02684274。MR 0217085。
アレクサンドル・グロタンディーク;ジャン・デュドネ(1963)。 "Éléments de géométrie algébrique: III. Étude cohomologique des faisceaux cohérents、Seconde party"。出版物 Mathématiques de l'IHÉS。１７．土井：10.1007/bf02684890。MR 0163911。
アレクサンドル・グロタンディーク;ジャン・デュドネ(1964)。「幾何学的計算の要素: IV. スキーマのロケールとスキーマの形態の練習、プレミアパーティー」。出版物 Mathématiques de l'IHÉS。２０．土井：10.1007/bf02684747。MR 0173675。
アレクサンドル・グロタンディーク;ジャン・デュドネ(1965)。「幾何学計算の要素: IV. スキーマのロケールとスキーマの形態の練習、第 2 部」。出版物 Mathématiques de l'IHÉS。２４．土井：10.1007/bf02684322。MR 0199181。
アレクサンドル・グロタンディーク;ジャン・デュドネ(1966)。「幾何学的手法の要素: IV. スキーマのロケールとスキーマの形態の練習、トロワジエムパーティー」。出版物 Mathématiques de l'IHÉS。２８．土井：10.1007/bf02684343。MR 0217086。
アレクサンドル・グロタンディーク;ジャン・デュドネ(1967)。「幾何学的計算の要素: IV. スキーマのロケールとスキーマの形態の練習、Quatrième party」。出版物 Mathématiques de l'IHÉS。３２．土井：10.1007/bf02732123。MR 0238860。
永田正義(1962) 「局所環」インターサイエンス純粋応用数学論集第13巻ニューヨーク・ロンドン：インターサイエンス出版社ISBN 978-0470628652 {{citation}}:ISBN / 日付の非互換性（ヘルプ）