hiko800です。
TOSHIさん、どうもありがとうございました。

教えてもらうと、実にあっけないけれど、独学の身には
そのあっけない部分が、しばしば超えられない壁なのです。
繰り返し、ありがとうございました。

自分自身のために、あえて詳しくかけば、f
の同型性から
f(xy)=f(x)f(y)=x'y'  ということなのですね。