同构

同态的例子：
两个群$G,H$
$G$: $R^+$ under x
$H$: $R$ under +
两个群之间的同构映射运算是$log$
$log$: $G \rightarrow H$
$log(x \cdot y)$ = $log \ x$ + $log \ y$
要看一个映射是否是同构，首先看是不是双射,就是bijection,bijection满足两个特点　one to one and onto。

one to one　

$log \ x$ = $log \ y$ $\Rightarrow$$e^{log \ x}$ = $e^{log \ y}$ $\Rightarrow$ ｘ = y

onto

如果两个群既是同态又是双射，那么就是同构。