Rを可換環, M,NをR-加群とし, 線形写像φ:M→Nは単射であるとする. このとき, Nと同型なR-加群M′と線形写像f:N→∼M′の組(M′,f)で, 次の条件をみたすものが少なくとも1つ存在する :(1) MはM′の部分R-加群である,(2) ι:M→M′を包含写像とするとき, ι=f∘φが成り立つ. すなわち, Mで完全な次の図形が可換になる:0MφιNfM′
上の定理をいいかえると, M→Nが単射ならばMはあるNと同型なM′に埋め込めるということです.
φが全射であり, すなわちM≃NならばM′=Mとすればよいから, φは全射ではないとする. Mと交わらない集合X≠∅を#X=#(N∖Imφ)となるようにとり, M′=M∪Xとする. そして, 写像f:N→M′をf(x)={φ−1(x)(x∈Imφ)y∈X(x∈N∖Imφ)ただしa,b∈N;a≠b⟺f(a)≠f(b), となるように定義する. これは明らかに全単射である. そして, M′に加法とRの元によるスカラー積を,x+y=f(f−1(x)+f−1(y)),ax=f(af−1(x))として定義すればfは線形写像となり. N≃M′となることがわかる. そして, x∈Mに対しf(φ(x))=φ−1(φ(x))=xだからι=f∘φが成り立つこともわかる. したがって組(M′,f)は定理の条件(1), (2)を満たす.
バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。