Proving f inverse is homomorphic

  • Thread starter Thread starter DPMachine
  • Start date Start date
  • Tags Tags
    Inverse
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 1K views
DPMachine
Messages
26
Reaction score
0
I'm trying to show:

If f: S -> S' is an isomorphism of <S, *> with <S', *'>, then f^(-1) is homomorphic.

My take:

So I have to show that f^(-1)(x' *' y') = f^(-1)(x') * f^(-1)(y').

Since f is bijective (onto, more precisely) I know that f^(-1)(x') = x and f^(-1)(y') = y. So f^(-1)(x') * f^(-1)(y') = xy.

How can I simplify f^(-1)(x' *' y') though?

Thanks.
 
Physics news on Phys.org
EDIT: Nevermind, that's not right.

Sorry about not using latex, by the way. I was writing from a mobile device.