漸化式 $a_{n+1} = pa_n + r^n$ の形は、等比数列の漸化式に指数関数の項が加わったものである。特性方程式だけ...

Rees 環と随伴次数付き環は、イデアルのフィルトレーションを次数付き構造に変換する道具である。爆発（blowing-up）の代...

Artin-Rees の補題は、ネーター環上のイデアルと部分加群の関係を記述する基本定理である。Krull の交叉定理や完備化の...

エタール射は、代数幾何学において「局所同型」に対応する射である。可換環論では、形式的にエタールな環拡大として定式化され、ガロア理...

有限アーベル群の構造定理は、有限アーベル群がどのような「部品」からできているかを完全に記述する定理だ。群論における最も基本的かつ...

因子類群と Picard 群は、環や多様体の算術的・幾何学的性質を捉える重要な不変量である。UFD（一意分解整域）からのずれを測...

ケーラー微分（Kähler differentials）は、環準同型の「微分」を代数的に定式化したものである。代数幾何学における...

半局所環は、有限個の極大イデアルをもつ環である。局所環の一般化であり、有限個の点の近傍を同時に扱う際に現れる。 定義 可換環 $...

完全交叉環は、正則局所環を「正則列で割った」形で得られる環である。Cohen-Macaulay 環の特別な場合であり、ホモロジー...

正規環は整閉性を一般化した概念であり、代数幾何学において「よい特異点」をもつ多様体に対応する。局所的な整閉性条件として定義され、...

導来関手はホモロジー代数における中心概念であり、Tor や Ext はその具体例である。射影分解や入射分解を通じて定義され、圏論...

Ext 関手は Hom 関手の導来関手であり、加群の拡大を分類する道具である。射影次元や深さの計算、さらには双対性理論において中...

Tor 関手はテンソル積の導来関手であり、加群の平坦性を測る道具である。ホモロジー代数における基本的な関手の一つで、環と加群の構...

加群の深さ（depth）は、正則列の長さで測られる不変量である。次元と並ぶ重要な概念であり、Cohen-Macaulay 環の定...

Krull の標高定理（Hauptidealsatz）は、ネーター環における素イデアルの高さに関する基本定理である。単項イデアル...

Krull の交叉定理は、ネーター環においてイデアルの冪の共通部分がどうなるかを述べる。完備化の理論と密接に関係し、局所環論にお...

前回の記事で、交換子 $[A, B] = ABA^{-1}B^{-1}$ がルービックキューブの解法に不可欠な道具であることを見...

ルービックキューブを解くとき、最大の難関は「他のパーツを崩さずに少数のパーツだけを動かす」ことだ。群論はこの問題に対して、交換子...

形式的滑らかさは、環準同型の「微分的なよさ」を捉える概念である。代数幾何学における滑らかな射の代数的定式化であり、ケーラー微分と...

ヘンゼル環とヘンゼルの補題は、局所環における多項式の因数分解を扱う理論である。完備局所環がヘンゼル環の典型例であり、代数方程式の...

大きなべき乗の余りを直接計算するのは大変です。$7^{100}$ を 5 で割った余りを求めようとして、$7^{100}$ を実...

$I$-進位相と完備化は、局所的な性質を詳しく調べるための道具である。形式的冪級数環が多項式環の完備化として得られるように、完備...

被約環と既約成分は、環のスペクトルを幾何学的に理解するための基本概念である。被約性はニルポテント元の不在を意味し、既約成分はスペ...

フェルマーの小定理は、素数に関する整数論の基本的な定理です。大きなべき乗の余りを求める問題で威力を発揮し、暗号理論の基礎にもなっ...