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

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

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

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

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

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

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

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

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

剰余環は環をイデアルで「割った」構造であり、準同型定理は環準同型の像と剰余環を結びつける基本的な結果です。 剰余環の構成 $R$...

局所化を行うと、元の環のイデアル構造が単純化されます。特に素イデアルについては、局所化後に「生き残る」ものと「消える」ものがはっ...

分数体は整域に対して定義される体であり、整数 $\mathbb{Z}$ から有理数 $\mathbb{Q}$ を構成するプロセス...

局所化は可換環論における基本的な構成であり、環の一部の元を「分母として許す」操作です。代数幾何学では、多様体上のある点の近傍だけ...

余接ベクトルは「方向」ではなく「傾き」や「変化率を測る道具」として理解するとわかりやすくなります。 接ベクトルと余接ベクトルの対...

テンソル場は接ベクトルと余接ベクトルを組み合わせた多重線型的な量であり、リーマン計量や曲率といった幾何学的対象を統一的に扱う枠組...

多様体間の滑らかな写像は、接空間の間に線型写像を誘導します。この誘導された写像を微分写像といい、押し出し（pushforward...

ベクトル場は多様体の各点に接ベクトルを滑らかに割り当てたものです。流れや力場の数学的表現であり、微分方程式や力学系の理論と深く関...

余接空間は接空間の双対空間であり、微分形式の理論の出発点となります。余接ベクトルは接ベクトルを受け取って実数を返す線型写像です。...

接空間は多様体上の各点において「その点での方向」を表すベクトル全体の集合です。多様体上で微分を行うための基盤となる概念です。 接...

多様体は「局所的にはユークリッド空間に見えるが、大域的には異なる形状をもちうる空間」を定式化した概念です。曲面を高次元に一般化し...

外微分は微分形式に対して定義される演算で、多変数の微分積分学における勾配・回転・発散を統一的に扱う枠組みを与えます。 微分形式の...

リーマン計量は、多様体の各点における接空間に内積を与える構造です。これにより曲線の長さ、角度、面積といった幾何学的な量を定義でき...

位相空間 $(X, \mathcal{O})$ において、部分集合 $A \subseteq X$ の**閉包**（closur...

ベールのカテゴリー定理は完備距離空間の「大きさ」に関する定理で、関数解析の基本定理（一様有界性原理、開写像定理、閉グラフ定理）の...