0

加群を別の加群に埋め込む

51
0

加群を埋め込む

Rを可換環, M,NR-加群とし, 線形写像φ:MNは単射であるとする. このとき, Nと同型なR-加群Mと線形写像f:NMの組(M,f)で, 次の条件をみたすものが少なくとも1つ存在する :
(1) MMの部分R-加群である,
(2) ι:MMを包含写像とするとき, ι=fφが成り立つ. すなわち, Mで完全な次の図形が可換になる:
0MφιNfM

上の定理をいいかえると, MNが単射ならばMはあるNと同型なMに埋め込めるということです.

φが全射であり, すなわちMNならばM=Mとすればよいから, φは全射ではないとする. Mと交わらない集合X#X=#(NImφ)となるようにとり, M=MXとする. そして, 写像f:NM
f(x)={φ1(x)(xImφ)yX(xNImφ)
ただしa,bN;abf(a)f(b), となるように定義する. これは明らかに全単射である. そして, Mに加法とRの元によるスカラー積を,
x+y=f(f1(x)+f1(y)),ax=f(af1(x))
として定義すればfは線形写像となり. NMとなることがわかる. そして, xMに対しf(φ(x))=φ1(φ(x))=xだからι=fφが成り立つこともわかる. したがって組(M,f)は定理の条件(1), (2)を満たす.

投稿日:2024212
更新日:2024212
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

Anko7919
Anko7919
24
3140

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中