自己準同型環

抽象代数学において、アーベル群 X の自己準同型環（テンプレート:Lang-en-short）テンプレート:Math は、X からそれ自身への準同型写像（テンプレート:Mvar 上の自己準同型）すべてからなる集合である。加法はテンプレート:仮リンク（後述）で定義され、積は写像の合成で定義される。

自己準同型環の元となる「準同型」が何を指すものかは文脈によって異なり、これは考えている対象の圏に依存する。その結果、自己準同型環は対象のいくつかの内在的な性質を受け継いでいる。自己準同型環はしばしばある環上の多元環（代数）であり、自己準同型多元環（テンプレート:Lang-en-short; 自己準同型代数）とも呼ばれる。

説明

テンプレート:Math をアーベル群とし、A から A への準同型を考える。このとき2つのそのような準同型の和を点ごと (pointwise) に定義して新たに群準同型を作ることができる。具体的には、f と g が与えられたとき、f と g の和 テンプレート:Math は

テンプレート:Math

で与えられる準同型である。この演算によって テンプレート:Math はアーベル群となる。さらに準同型の合成という演算を考えることによって、テンプレート:Math は乗法の単位元をもつ環となる。合成を明示的に書けば

テンプレート:Math

である。乗法の単位元は A 上の恒等写像 テンプレート:Math である。

集合 A が「アーベル」群でないとき、上の構成は必ずしも和を保たず、2つの準同型の和が準同型にならない。自己準同型からなるこの集合は環でない near-ring（環において分配法則の仮定を片側のみにゆるめたもの）の自然な例である。

性質

• 自己準同型環はつねに加法と乗法の単位元をもつ。零写像と恒等写像である。
• 自己準同型環は結合的だが、一般には非可換である。
• 加群が単純なら、その自己準同型環は可除環である。これはシューアの補題と呼ばれることがあるテンプレート:Sfn。
• 加群が直既約なのはその自己準同型環が非自明な冪等元をもたないとき、かつそのときに限るテンプレート:Sfn。移入加群については、直既約であることと自己準同型環が局所環であることは同値であるテンプレート:Sfn。
• 半単純加群の自己準同型環はフォン・ノイマン正則環である。
• 0 でない右テンプレート:仮リンクの自己準同型環は1つか2つの極大右イデアルをもつ。加群がアルティン的、ネーター的、射影的、移入的のいずれかであれば、自己準同型環は唯一の極大イデアルをもち、それゆえ局所環である。
• アルティン的ユニフォーム加群の自己準同型環は局所環であるテンプレート:Sfn。
• 組成列の長さが有限である加群の自己準同型環は半素環である。
• 連続加群または離散加群の自己準同型環は clean ring であるテンプレート:Sfn。
• R 加群が有限生成かつ射影的（すなわち射影生成加群）ならば、その自己準同型環と R はすべての森田不変な性質を共有する。森田理論の基本的な結果は、R と同値なすべての環は射影生成加群の自己準同型環として生じるというものである。

例

• R-加群の圏において、R-加群 M の自己準同型環は R-準同型からなり、これは一般にはアーベル群としての自己準同型環の真部分集合である。M が有限生成射影加群のとき、自己準同型環は加群の圏の森田同値を考える際に中心的な役割を果たす。
• $\mathrm{End}({\mathbb{Z}}_2\times {\mathbb{Z}}_2,+)\cong M_2({\mathbb{Z}}_2)$。加法群 $({\mathbb{Z}}_2\times {\mathbb{Z}}_2,+)$ の自己準同型環は　${\mathbb{Z}}_2$ 上の $2\times 2$ 行列環に同型である。
• K を体とし、K上の数ベクトル空間 Kⁿ を考えると、Kⁿ の自己準同型環は Kⁿ から Kⁿ へのすべての K-線型写像からなる。これは K-多元環になる。基底を選べば、この環は自然に K 係数の n 次全行列環と同一視されるテンプレート:Sfn。より一般に、自由加群 テンプレート:Nowrap の自己準同型環は自然に環 R 上の n 次全行列環である。
• 直前の具体例として、任意の単位的環 R について、テンプレート:Nowrap である。ただし R の元は R に 左 からの積で作用する。
• 一般に、自己準同型環は任意の前加法圏の対象に対して定義される。

参考文献

• テンプレート:Citation

• テンプレート:Citation
• テンプレート:Citation

• テンプレート:Citation

• テンプレート:SpringerEOM

• テンプレート:Citation

• テンプレート:Citation

• テンプレート:Citation A handbook for study and research