近世代数--环同态--环同态基本定理
近世代數(shù)--環(huán)同態(tài)--環(huán)同態(tài)基本定理
- 環(huán)同態(tài)基本定理
博主是初學(xué)近世代數(shù)(群環(huán)域),本意是想整理一些較難理解的定理、算法,加深記憶也方便日后查找;如果有錯(cuò),歡迎指正。
我整理成一個(gè)系列:近世代數(shù),方便檢索。
環(huán)同態(tài)跟群同態(tài)類似。
有一些概念和簡(jiǎn)單性質(zhì)。
-
同態(tài)映射homorphism:
設(shè)RRR和R′R'R′是兩個(gè)環(huán),φ\(chéng)varphiφ是集合RRR到R′R'R′的映射,如果有?a,b∈R\forall a,b\in R?a,b∈R,有φ(a+b)=φ(a)+φ(b),φ(ab)=φ(a)φ(b)\varphi(a+b)=\varphi(a)+\varphi(b),\varphi(ab)=\varphi(a)\varphi(b)φ(a+b)=φ(a)+φ(b),φ(ab)=φ(a)φ(b),則稱φ\(chéng)varphiφ是環(huán)RRR到環(huán)R′R'R′的一個(gè)同態(tài)映射,簡(jiǎn)稱同態(tài)。
-
單同態(tài)monomorphism:φ\(chéng)varphiφ是單映射
-
滿同態(tài)epimorphism:φ\(chéng)varphiφ是滿映射
-
同構(gòu)isomorphism:φ\(chéng)varphiφ是單同態(tài),又是滿同態(tài)
-
單位元映射:RRR和R′R'R′都是有單位元的環(huán),eee和e′e'e′分別是單位元,φ\(chéng)varphiφ是RRR到R′R'R′的環(huán)同態(tài)。那么
-
如果φ\(chéng)varphiφ是滿同態(tài),則φ(e)=e′\varphi(e)=e'φ(e)=e′
?a′∈R′,?a,φ(a)=a′,φ(e)a′=φ(e)φ(a)=φ(ea)=φ(a)=a′,a′φ(e)=φ(a)φ(e)=φ(ae)=φ(a)=a′\forall a'\in R',\exists a,\varphi(a)=a',\\\varphi(e)a'=\varphi(e)\varphi(a)=\varphi(ea)=\varphi(a)=a',\\a'\varphi(e)=\varphi(a)\varphi(e)=\varphi(ae)=\varphi(a)=a'?a′∈R′,?a,φ(a)=a′,φ(e)a′=φ(e)φ(a)=φ(ea)=φ(a)=a′,a′φ(e)=φ(a)φ(e)=φ(ae)=φ(a)=a′
-
如果RRR是無(wú)零因子環(huán),則φ(e)=e′\varphi(e)=e'φ(e)=e′
RRR無(wú)零因子→\rightarrow→左右消去律成立
令r′=φ(e),r′φ(e)=φ(e)φ(e)=φ(e)=r′=r′e′→φ(e)=e′r'=\varphi(e),\\r'\varphi(e)=\varphi(e)\varphi(e)=\varphi(e)=r'=r'e'\\\rightarrow \varphi(e)=e'r′=φ(e),r′φ(e)=φ(e)φ(e)=φ(e)=r′=r′e′→φ(e)=e′ -
如果φ(e)=e′\varphi(e)=e'φ(e)=e′,則對(duì)RRR中任一可逆元u,φ(u)u,\varphi(u)u,φ(u)是R′R'R′的單位,且φ(u)?1=φ(u?1)\varphi(u)^{-1}=\varphi(u^{-1})φ(u)?1=φ(u?1)
φ(u?1)?φ(u)=φ(u?1u)=φ(e)=e′\varphi(u^{-1})·\varphi(u)=\varphi(u^{-1}u)=\varphi(e)=e'φ(u?1)?φ(u)=φ(u?1u)=φ(e)=e′
φ(u)?φ(u?1)=φ(uu?1)=φ(e)=e′\varphi(u)·\varphi(u^{-1})=\varphi(uu^{-1})=\varphi(e)=e'φ(u)?φ(u?1)=φ(uu?1)=φ(e)=e′
-
-
同態(tài)核:設(shè)φ:R→R′\varphi:R\rightarrow R'φ:R→R′,集合K={a∈R∣φ(a)=0}K=\{a\in R|\varphi(a)=0\}K={a∈R∣φ(a)=0}為同態(tài)φ\(chéng)varphiφ的核,記作KerφKer\varphiKerφ
-
同態(tài)核是理想φ?R\varphi\triangleleft Rφ?R:通過(guò)定義易證。
環(huán)同態(tài)基本定理
設(shè)φ:R→R′\varphi:R\rightarrow R'φ:R→R′,是滿同態(tài),則有環(huán)同構(gòu)φˉ:R/Kerφ?R′\bar{\varphi}:R/Ker\varphi\cong R'φˉ?:R/Kerφ?R′
證明:
-
映射:aˉ=bˉ→φˉ(aˉ)=φˉ(bˉ)\bar{a}=\bar{b}\rightarrow \bar{\varphi}(\bar{a})=\bar{\varphi}(\bar{b})aˉ=bˉ→φˉ?(aˉ)=φˉ?(bˉ)
φˉ:R/K→R′,φˉ(aˉ)=φ(a)\bar{\varphi}:R/K\rightarrow R',\bar{\varphi}(\bar{a})=\varphi(a)φˉ?:R/K→R′,φˉ?(aˉ)=φ(a)
當(dāng)aˉ=bˉ,→a?b∈K→φ(a?b)=0→φ(a)=φ(b)→φˉ(aˉ)=φ(a)=φ(b)=φˉ(bˉ)\bar{a}=\bar{b},\\\rightarrow a-b\in K\\\rightarrow \varphi(a-b)=0\\\rightarrow \varphi(a)=\varphi(b)\\\rightarrow \bar{\varphi}(\bar{a})=\varphi(a)=\varphi(b)=\bar{\varphi}(\bar{b})aˉ=bˉ,→a?b∈K→φ(a?b)=0→φ(a)=φ(b)→φˉ?(aˉ)=φ(a)=φ(b)=φˉ?(bˉ) -
同態(tài):
?aˉ,bˉ∈R/K,φˉ(aˉ+bˉ)=φˉ(a+b ̄)=φ(a+b)=φ(a)+φ(b)=φˉ(aˉ)+φˉ(bˉ)φˉ(aˉbˉ)=φˉ(ab ̄)=φ(ab)=φ(a)φ(b)=φˉ(aˉ)φˉ(bˉ)\forall \bar{a},\bar{b}\in R/K,\\\bar{\varphi}(\bar{a}+\bar{b})=\bar{\varphi}(\overline{a+b})=\varphi(a+b)=\varphi(a)+\varphi(b)=\bar{\varphi}(\bar{a})+\bar{\varphi}(\bar{b})\\\bar{\varphi}(\bar{a}\bar{b})=\bar{\varphi}(\overline{ab})=\varphi(ab)=\varphi(a)\varphi(b)=\bar{\varphi}(\bar{a})\bar{\varphi}(\bar{b})?aˉ,bˉ∈R/K,φˉ?(aˉ+bˉ)=φˉ?(a+b?)=φ(a+b)=φ(a)+φ(b)=φˉ?(aˉ)+φˉ?(bˉ)φˉ?(aˉbˉ)=φˉ?(ab)=φ(ab)=φ(a)φ(b)=φˉ?(aˉ)φˉ?(bˉ)
-
滿同態(tài):
?a′∈R′,φ\(chéng)forall a'\in R',\varphi?a′∈R′,φ是滿同態(tài),?a∈R,φ(a)=a′,?aˉ∈R/K,\exists a\in R,\varphi(a)=a',\\\exists \bar{a}\in R/K,?a∈R,φ(a)=a′,?aˉ∈R/K,使得φˉ(aˉ)=φ(a)=a′,\bar{\varphi}(\bar{a})=\varphi(a)=a',φˉ?(aˉ)=φ(a)=a′,
所以φˉ\bar{\varphi}φˉ?是滿同態(tài) -
單同態(tài):反證φˉ(aˉ)=φˉ(bˉ)→aˉ=bˉ\bar{\varphi}(\bar{a})=\bar{\varphi}(\bar{b})\rightarrow \bar{a}=\bar{b}φˉ?(aˉ)=φˉ?(bˉ)→aˉ=bˉ
φˉ(aˉ)=φˉ(bˉ)→φ(a)=φ(b)→φ(a)?φ(b)=0→φ(a?b)=0→a?b∈Kerφ→aˉ=bˉ\bar{\varphi}(\bar{a})=\bar{\varphi}(\bar{b})\\\rightarrow \varphi(a)=\varphi(b)\\\rightarrow \varphi(a)-\varphi(b)=0\\\rightarrow \varphi(a-b)=0\\\rightarrow a-b\in Ker\varphi\\\rightarrow \bar{a}=\bar{b}φˉ?(aˉ)=φˉ?(bˉ)→φ(a)=φ(b)→φ(a)?φ(b)=0→φ(a?b)=0→a?b∈Kerφ→aˉ=bˉ
總結(jié)
以上是生活随笔為你收集整理的近世代数--环同态--环同态基本定理的全部?jī)?nèi)容,希望文章能夠幫你解決所遇到的問(wèn)題。
- 上一篇: 近世代数--素理想和极大理想--有单位元
- 下一篇: 近世代数--环同态--环的第二同构定理