TOSHIと申します。
"hiko800" <hiko799@ybb.ne.jp> wrote in message 
news:1137821571.439445.292820@z14g2000cwz.googlegroups.com...
> hiko800@数学独習者です。
>
> X,Yを群とし、写像 ｆ：X-->Y
> が全単射で準同型であるとき、
> その逆写像 ｆ^{-1} もまた全単射で準同型である
>
> 上記命題について、
> 全単射については、ｆ
> におけるX,Yの各元の対応をそのまま
> f^{-1}
> における対応とみることにより納得できるのですが、
> 準同型については、
>   f^{-1}(x'y')=
> と書いてみたところで先に進めず挫折しています。
>
> どのように理解すればよいのでしょうか、ご教示くさだい。
>

　ｆ（ｘｙ）＝x'y' なので,単射ゆえ　ｆ(-1)(x'y') = xy =　f(-1)(x')*f(-1)(y')　なだけですけど。。。

                                                                             
   TOSHI