模同構是一種特殊的模同態,假設f是模M到模N的同態,若f時一一的並且是映上的,則f為模M到模N的同構。兩個同構的模,從模的結構來看,它們沒有什麼區別。模同構具有一個性質,即若f為模M到模N的同態,則f的逆映射f^(-1)也是同構。廣義模同構是一種廣義模同態。
基本介紹
- 中文名:模同構
- 外文名:module isomorphism
- 基礎:模同態
- 推廣:廣義模同構
- 重點:三個模同構定理
- 套用學科:基礎代數
預備知識,模的同態映射,模的分解定理,定義介紹,模的同構定理,模的對應定理,定理1,定理2,
預備知識
模的同態映射
模的分解定理
設映射
為M 到M' 的一個模同態(M,H 為兩個R -模)。則分解式
成立,知:
![](/img/e/f99/a9680e52d7f7fe1b002410f56b1f.jpg)
![](/img/e/2ff/77ea3c43e26b9562cbb890d81d36.jpg)
![](/img/9/cfb/4aa4b122fdb03333fa01fb060e0b.jpg)
(1)
為滿模同態若且唯若
為滿同態;
![](/img/3/998/7e50f0f479c6ab2dc7039bc85227.jpg)
![](/img/b/dde/64d99ff28dd61dd46c002e258e4c.jpg)
(2)
為單模同態若且唯若
;
![](/img/7/5a4/6d12ad3c73721c14924c8f0bead1.jpg)
![](/img/b/1ff/b7a4df07099979934c53b7279c42.jpg)
(3)
為模同構若且唯若為
滿同態,且
。
![](/img/0/c36/e99a6ec4e18a867ab8a621a18760.jpg)
![](/img/2/092/44ef87807b382709c3412c07e5f6.jpg)
![](/img/2/0d3/0d8553555d6793ea7f5831127b3c.jpg)
定義介紹
模同構(module isomorphism)是一種特殊的模同態,模M到N的同態f若是一一的並且是映上的,則稱f是M到N 的同構,這時稱M,N 是同構的模,記為M=N 。兩個同構的模,從模的結構來看,它們沒有什麼區別。若f 是同構,則f 的逆映射
也是同構。
![](/img/2/cef/db7dd60b7c7bd16a47e53d98e17d.jpg)
廣義模同構是一種廣義模同態。設A,B 是k-代數,且
,M 是A 上的模,N 是B 上的模,M 到N 的k-線性映射
如果滿足
,則稱
為
到
的廣義模同態;特別的,如果
是雙射,則
稱為
到
的廣義模同構,記作
。
![](/img/1/adf/1bd21c77358e904496ce5e4b7c78.jpg)
![](/img/d/d04/486bbebaa983d45fadf0cc3b9f49.jpg)
![](/img/b/0ed/be5696d771a5e53ef5883418cc05.jpg)
![](/img/d/e64/f4c63a6981c6f782ceea2635b267.jpg)
![](/img/d/6c3/354e1bf008aa3b73993e6928c6d2.jpg)
![](/img/6/f7e/b50a96a5631d46bcbbfab5518c33.jpg)
![](/img/3/913/71e2d4364f86264d19309d6a7280.jpg)
![](/img/f/622/d61cf2ddfbb5d2f516e8e3657375.jpg)
![](/img/e/1f8/de5b02a57d9ced332add1f23c351.jpg)
![](/img/a/8d2/ef85fc7fe71c89c692ca2aa240a0.jpg)
![](/img/f/2b6/6bcc674c511b147407665e9034a4.jpg)
模的同構定理
模的第一同構定理
設
為模同態,且
,那么
。
![](/img/4/bd6/c4ca5e2486a7e460ebcbaa0f9a3f.jpg)
![](/img/c/52b/5d08dc16905e6c46bb21eb826a38.jpg)
![](/img/8/009/d6c5f0df068c34c1806aa6eac72d.jpg)
注意:在證明的過程中運用分解定理,同時需要注意
為到
上的一個滿同態映射。
![](/img/c/393/dea3b04d921a364c660aa5b14b0e.jpg)
![](/img/7/f8a/bb6c8d02579dfab7972de44347fe.jpg)
模的第二同構定理
證明:直接驗證不難知道,S+T 和S∩T 均為M 的子模。
定義映射
,那么映射f 為模同態,其同態核kerf=S∩T ,它的同態像為
,從而由第一同構定理知結論成立。
![](/img/3/5a2/f188f9af60fa94fa12547c4447a5.jpg)
![](/img/4/ab9/c6f9f7a1a98bac4951db06e9d1a8.jpg)
模的第三同構定理
設N≤L≤M (即N 為L 的子模,L 為M 的子模),那么
。
![](/img/7/3bf/781d28d04eb05f95c8160b73bad9.jpg)
證明:定義映射
,
![](/img/c/b50/e23e87b4d2c400c02fdac76a994c.jpg)
則有:
。
![](/img/3/1ed/1132d7d0fa40b09ebb0f648433b1.jpg)
再由第一同構定理知結論成立。
模的對應定理
定理1
設N 為一個R -模M 的一個子集,記
以及
,即
為M 的所有包含N 的子模的集合,
為M/N 的所有子模的集合。則映射
為
到
的一個1-1對應。其逆映射
滿足
,這裡
為M 到M/N 的自然模同態。
![](/img/e/98a/2e6b3b099bbd872fd8b24294ab77.jpg)
![](/img/1/949/3fd2acf0259914425b0252a1b306.jpg)
![](/img/e/674/7cc227bd3db2701475bea62105ea.jpg)
![](/img/8/bfd/56096b030f2d4a0f11c12ec64455.jpg)
![](/img/e/ed2/7288174b0a1fecffd5191f852634.jpg)
![](/img/d/55a/a76fbba7cf6b38e6ff2504c37733.jpg)
![](/img/c/2c1/d5b1095c0f5dc1cb41a0d805536d.jpg)
![](/img/3/820/e6687fd419a76ff948ca16bf4998.jpg)
![](/img/c/719/07c9668ddcd5d547c616ed7b8426.jpg)
![](/img/f/d1e/8932deb032fc47cfea8173474471.jpg)