一様加群

抽象代数学において、加群は、任意の2つの0でない部分加群の共通部分が0でないときに**ユニフォーム加群** (uniform module) と呼ばれる。このことは *M* のすべての0でない部分加群が本質部分加群であると言っても同じである。環はそれ自身の上の右（左）加群としてユニフォームであるときに**右（左）ユニフォーム環** (right (left) uniform ring) と呼ばれる。

 はユニフォーム加群の概念を加群の次元のはかりかたを構成するために使った。今では加群の**ユニフォーム次元** (uniform dimension)（あるいは **Goldie 次元** (Goldie dimension) として知られている。ユニフォーム次元はベクトル空間の次元の概念の側面をすべてではないがいくつか一般化する。有限ユニフォーム次元はどの環が半単純環において右整環(right order)であるかを特徴づけるを含むいくつかの定理のための鍵となる仮定だった。有限ユニフォーム次元の加群はアルティン加群とネーター加群の両方を一般化する。

文献によってはユニフォーム次元はまた単に**加群の次元** (dimension of a module) あるいは**加群のランク** (rank of a module) とも呼ばれる。ユニフォーム次元はこれも Goldie によるが関連した概念である加群のと混同してはならない。

## ユニフォーム加群の性質と例
ユニフォーム加群であることは通常直積や商加群で保存されない。2つの0でないユニフォーム加群の直和はつねに共通部分が0の2つの部分加群すなわち2つのもともとの成分加群を含む。*N*1 と *N*2 がユニフォーム加群 *M* の真の部分加群でありどちらの部分加群も他方を含まなければ、M/(N_1\cap N_2) はユニフォーム加群でない、なぜならば

:N_1/(N_1\cap N_2)\cap N_2/(N_1\cap N_2)=\{0\}.

はユニフォーム加群であり、ユニフォーム加群は直既約である必要がある。任意の可換整域はユニフォーム環である、なぜならば *a* と *b* が2つのイデアルの0でない元であれば、積 *ab* はイデアルの共通部分の0でない元であるからだ。

## 加群のユニフォーム次元
次の定理によって加群の次元をユニフォーム部分加群を使って定義することができる。それはベクトル空間の定理の加群版である。

定理： *U*i と  *V*j が加群 *M* のユニフォーム部分加群の有限個の集まりの元であって \oplus_{i=1}^nU_i と \oplus_{i=1}^mV_i がともに *M* の本質部分加群であれば、*n*&nbsp;=&nbsp;*m* である。

加群 *M* の**ユニフォーム次元** (uniform dimension) は、u.dim(*M*) と表記されるが、次のようなとき *n* と定義される。ユニフォーム部分加群 *U*i の有限集合が存在して \oplus_{i=1}^nU_i は *M* の本質部分加群である。先ほどの定理によってこの *n* が well defined であることが保証される。もし部分加群のそのような有限集合が存在しなければ、u.dim(*M*) は ∞ と定義される。環のユニフォーム次元を話すときには、u.dim(*R**R*) と u.dim(*R**R*) のどちらがはかられているのかを明確にする必要がある。環のユニフォーム次元が左右で異なることはあり得る（下記参照）。

*N* が *M* の部分加群であれば、u.dim(*N*)&nbsp;&le;&nbsp; u.dim(*M*) であり、等号が成立するのはちょうど *N* が *M* の本質部分加群であるときである。とくに、*M* とその移入包絡 *E*(*M*) はつねに同じユニフォーム次元をもつ。次のこともまた正しい。u.dim(*M*)&nbsp;=&nbsp;*n* であることと *E*(*M*) は *n* 個の直既約移入加群の直和であることは同値である。

u.dim(*M*)&nbsp;=&nbsp;∞ と *M* が 0 でない部分加群の無限直和を含むことが同値であることを示すことができる。したがって *M* がネーターあるいはアルティンであれば、*M* のユニフォーム次元は有限である。*M* が有限の組成長 *k* をもてば、u.dim(*M*)&nbsp;≤&nbsp; k であり、等号成立はちょうど *M* が半単純加群のときである。

標準的な結果は右ネーター整域は右 (Ore domain) であるというものである。実は、この結果を Goldie による別の定理から導くことができる。その定理は、以下の3つの条件が整域 *D* に対して同値であるというものである。
**D* は右オール
*u.dim(*D**D*)&nbsp;=&nbsp;1
*u.dim(*D**D*)&nbsp;2 = 0 をもった元 *x* と *y* で生成される **Z**-代数とすると、これは左ネーター環だが右ネーター環でない（ネーター環#例参照。）したがって上述の性質から u.dim *R**R* R\supset\mathbb{Z}y\oplus\mathbb{Z}xy\oplus\mathbb{Z}x^2y\oplus\dotsb
であるから *R* は 0 でない部分右加群の無限直和を含み u.dim *R**R* = &infin; である。

## ホロー加群とコユニフォーム次元
ユニフォーム加群の双対概念は**ホロー加群** (hollow module) の概念である。加群 *M* を次のときホロー (hollow) という。*N*1 と *N*2 が *M* の部分加群であって N_1+N_2=M であれば、*N*1&nbsp;=&nbsp;*M* であるかまたは *N*2&nbsp;=&nbsp;*M* である。同値なことだが、*M* のすべての真の部分加群は余剰部分加群であるということもできる。

これらの加群によってまたユニフォーム次元の類似物、**コユニフォーム次元** (co-uniform dimension)、**コランク**、**余階数** (corank)、**ホロー次元** (hollow dimension)、**双対 Goldie 次元** (dual Goldie dimension) と呼ばれるものが考えられる。ホロー加群とコユニフォーム次元の研究は , , , ,  において行われた。読者は Fleury は Goldie 次元を双対化する異なる方法を研究したことに注意すべきである。ホロー次元の Varadarajan, Takeuchi, Reiter のバージョンはほぼ間違いなくより自然なものだ。Grzeszczuk と Puczylowski は  において加群のホロー次元が部分加群の双対のユニフォーム次元であるようなに対するユニフォーム次元の定義を与えた。

有限余生成加群は常に有限ユニフォーム次元をもつ。これから問題が生じる。有限生成加群は有限ホロー次元をもつだろうか？答えは否定的であることがわかる。 において加群 *M* が有限ホロー次元をもっていれば *M*/*J*(*M*) は半単純アルティン加群であることが示された。*R*/*J*(*R*) が半単純アルティンでないような単位的環はたくさん存在し、そのような環 *R* が与えられれば、*R* 自身は有限生成だがホロー次元は無限である。

Sarath と Varadarajan はその後 *M*/*J*(*M*) が半単純アルティンであることはまた *J*(*M*) が *M* の余剰部分加群であれば *M* が有限ホロー次元をもつために十分であることを示した。ホロー次元が左あるいは右 *R*-加群として有限な環 *R* はちょうど半局所環であるということをこのことは示している。

Varadarajan の結果のさらなる系は *R**R* はちょうど *R**R* が有限ホロー次元をもつときに有限ホロー次元をもつということである。これは有限ユニフォーム次元のケースとは対照的である。環が一方の側で有限ユニフォーム次元をもつがもう一方では無限ユニフォーム次元をもつことがあるからだ。

## 脚注

## 教科書
*

## 一次情報源
*

*

*

*

*  

*

*

*

*

*