移入包絡

加群の移入包絡 (Injective Hull)

代数学における加群の移入包絡とは、ある加群 M を含む最小の移入加群であり、同時に M の最大の本質拡大を意味します。移入加群は、特定の条件を満たす重要な数学的構造であり、加群の理論において幅広く利用されています。

定義

環 R 上の加群 E が加群 M の移入包絡であるためには、次の2つの条件を満たす必要があります。
1. E が M の本質拡大であること。
2. E が移入加群であること。

注目すべきは、環 R は単位元をもちながら、必ずしも可換でなくてもよいということです。これにより、さまざまな環上で移入包絡の性質を考えることができます。

例

1. 自身が移入包絡のケース: もし M が移入加群であるなら、その移入包絡は M 自身になります。これは、M がすでに必要な構造を持っているためです。
2. 整域の場合: 整域における移入包絡は、その商体となります。これにより、整域の加群の性質を理解する手助けとなります。

性質

加群 M の移入包絡は、他に同型の写像が存在しない限り一意的です。したがって、一般的に M の移入包絡を E(M) と表記します。移入包絡 E(M) の持つ重要な性質は、以下の通りです。

• - E(M) は M の極大な本質拡大です。
• - E(M) は M を含む最小の移入加群です。
• - もし N が M の本質部分加群であれば、E(N) と E(M) は等しくなります。

加えて、任意の加群は移入包絡を持つことが知られています。対照的に、双対概念である射影被覆は常に存在するわけではありませんが、平坦被覆は必ず存在します。

関連項目

以下は、移入包絡に関連する重要なトピックです。

• - 移入加群: 移入包絡の構造を形成する重要な概念です。
• - 移入分解: 加群のより複雑な分解に関する理論です。
• - 射影被覆: 移入包絡とは異なる構造を持った加群に関する概念です。

外部リンク

• - injective hull (PlanetMath article)
• - PlanetMath page on modules of finite rank

このように、加群の移入包絡は、代数学の基礎的な概念として、加群の理論の理解を深める上で非常に重要です。

もう一度検索