微分は関数の「瞬間的な変化率」を表す概念であり、接線の傾きとして幾何学的に解釈できます。 微分係数の定義 関数 $f$ の点 $...

一様連続性は連続性を強めた概念で、$\delta$ の取り方が点 $a$ によらないという性質です。 連続性の復習 $f$ が点...

関数の極限を厳密に定義するのが ε-δ 論法です。$x$ が $a$ に近づくとき $f(x)$ が $L$ に近づく、という直...

数列の極限を厳密に定義するのが ε-N 論法です。「限りなく近づく」という直観を、不等式を用いて正確に表現します。 数列の収束の...

単項イデアル整域（PID）の Krull 次元が高々 $1$ であることを証明します。これは PID の構造を理解する上で基本的...

Gorenstein 環は Cohen-Macaulay 環の中でも特に良い双対性をもつ環であり、代数幾何学における標準束や特異...

Cohen-Macaulay 環は深さと次元が一致する「良い」環であり、代数幾何学や可換環論において中心的な役割を果たします。 ...

正則列は加群の深さを測る基本的な道具であり、Koszul 複体はそれを系統的に扱うホモロジー代数的な構成です。 正則列の定義 $...

射影次元と大域次元は、加群や環の「ホモロジー的な複雑さ」を測る不変量です。 射影分解 $R$-加群 $M$ の射影分解とは、完全...

形式的ベキ級数環は多項式環の完備化であり、解析的な直観と代数的な厳密さを橋渡しする重要な環です。 形式的ベキ級数環の定義 $R$...

Dedekind 整域は代数的整数論の中心的対象であり、元の一意分解は成り立たなくてもイデアルの一意分解が成り立つ環です。 De...

UFD（一意分解整域）は整数環や多項式環のように、元が本質的に一意な方法で既約元の積に分解できる整域です。 UFD の定義 整域...

完全列はホモロジー代数の基本言語であり、蛇の補題は完全列を結ぶ射から新たな完全列を導く重要な道具です。 完全列の定義 $R$-加...

射影加群と自由加群はホモロジー代数の基本的な対象であり、加群の構造を理解する上で重要な役割を果たします。 自由加群の定義 $R$...

忠実平坦性は平坦性を強めた概念であり、基底変換で完全列を保つだけでなく、完全列であることを「検出」できる性質です。 忠実平坦加群...

平坦性はテンソル積が完全列を保つという性質であり、可換環論とホモロジー代数において中心的な概念です。 平坦加群の定義 $R$ を...

環のテンソル積は二つの環（または加群）を組み合わせて新しい環を構成する操作であり、スカラー拡大や積多様体の座標環を表現するのに使...

Noether 正規化定理は、有限生成代数が多項式環の整拡大として実現できることを主張する定理です。代数幾何学における次元論の基...

Going-up 定理と Going-down 定理は、整拡大において素イデアルの鎖がどのように対応するかを述べた定理です。 設...

整閉整域は分数体における整元をすべて含む整域であり、代数的整数論や代数幾何学で中心的な役割を果たします。 整閉整域の定義 整域 ...

整拡大は環の拡大の中でも特に良い性質をもつクラスであり、代数幾何学における有限射や整数論における代数的整数の理論の基礎となります...

冪零元は何乗かすると $0$ になる元であり、環の構造を理解する上で重要な役割を果たします。 冪零元の定義 $R$ を可換環とし...

準素分解はイデアルを準素イデアルの共通部分として表す理論であり、整数の素因数分解の一般化と見なせます。 準素分解の定義 $R$ ...

準素イデアルは素イデアルの一般化であり、イデアルの準素分解理論の基礎となります。 準素イデアルの定義 $R$ を可換環、$Q$ ...