同态的例子:
两个群
G,H
G
:
H
:
两个群之间的同构映射运算是
log
log
:
G→H
log(x⋅y)
=
log x
+
log y
要看一个映射是否是同构,首先看是不是双射,就是bijection,bijection满足两个特点 one to one and onto。
one to one
log x = log y ⇒ elog x = elog y ⇒ x = y
onto
如果两个群既是同态又是双射,那么就是同构。