更新时间:2022-08-25 15:00
同构映射,数学群论,相关概念是同构;同态映射,若同态映射 f 是一个双射,则称 f 为 G 到 G’ 的同构映射,这时称群 G 和 G’ 同构。
群的同态是一类重要的映射。群之间的的保持运算的一类映射。
设 f 是群 G 到群 G‘(不必异于G)的映射,若 f 保持运算,即对所有的,总有 f(xy)=f(x)f(y)(或),则称 f 是群 G 到群 G’ 的同态映射,简称同态,若同态映射 f 还是一个双射,则称 f 为 G 到 G’ 的同构映射,记为。这时称群 G 和 G’同构,记为。
特别地,若时,则分别称 f 为群 G 的自同态和自同构。
一个与间的一一映射是一个对于代数运算和来说的与间的同构映射,简称同构,假如在之下,不管a,b是A的哪两个元,只要,就有。
常见的同构有:自同构,群同构,环同构,域同构,向量空间同构,其中自同构定义为:存在E和F两个集合,且对于E、F各存在一种运算,我们记作(符号可更换)*和·,对于E、F,*、·分别封闭(即对于任意两个集合内的元素,进行运算之后依然为该集合的元素,详情见群论)。
我们说f是一个同构当且仅当f∈Γ(E,F) 和f是一个双射且对于E内的任意元素a,b都有f(a*b)=f(a)·f(b)。如果上面所描述的E、F为同一集合E,则说f是一个自同构。