近世代数--环同态--环同态基本定理
博主是初学近世代数(群环域),本意是想整理一些较难理解的定理、算法,加深记忆也方便日后查找;如果有错,欢迎指正。
我整理成一个系列:近世代数,方便检索。
环同态跟群同态类似。
有一些概念和简单性质。
-
同态映射homorphism:
设 R R R和 R ′ R' R′是两个环, φ \varphi φ是集合 R R R到 R ′ R' R′的映射,如果有 ∀ a , b ∈ R \forall a,b\in R ∀a,b∈R,有 φ ( a + b ) = φ ( a ) + φ ( b ) , φ ( a b ) = φ ( a ) φ ( b ) \varphi(a+b)=\varphi(a)+\varphi(b),\varphi(ab)=\varphi(a)\varphi(b) φ(a+b)=φ(a)+φ(b),φ(ab)=φ(a)φ(b),则称 φ \varphi φ是环 R R R到环 R ′ R' R′的一个同态映射,简称同态。
-
单同态monomorphism: φ \varphi φ是单映射
-
满同态epimorphism: φ \varphi φ是满映射
-
同构isomorphism: φ \varphi φ是单同态,又是满同态
-
单位元映射: R R R和 R ′ R' R′都是有单位元的环, e e e和 e ′ e' e′分别是单位元, φ \varphi φ是 R R R到 R ′ R' R′的环同态。那么
-
如果 φ \varphi φ是满同态,则 φ ( e ) = e ′ \varphi(e)=e' φ(e)=e′
∀ a ′ ∈ R ′ , ∃ a , φ ( a ) = a ′ , φ ( e ) a ′ = φ ( e ) φ ( a ) = φ ( e a ) = φ ( a ) = a ′ , a ′ φ ( e ) = φ ( a ) φ ( e ) = φ ( a e ) = φ ( 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′,
-