分类：教育/科学-理工学科-数学
问题：请问下面的定义是否正确定义：两个群G和G'之间的同构指的是它们元 
定义：两个群G和G'之间的同构指的是它们元素之间保持群的乘法的双射a<->a'即它满足，若a<->a'和b<->b'则ab<->a'b'
   如这个定义成立，正实数乘法群和实数加法群之的同构x->ln(x)应该怎样解释。这时这个等式(ab)'=a'b'
即ln(ab)=ln(a)ln(b)并不成立
回答：已经说了是乘法和加法的映射

ln(a*b) = lna+ lnb;