Hello,

I am trying to find a group homomorphism from

After looking at it for a while, I noticed that works

i.e

This is a property of logarithms. Can I just justify it that way?

Also if the homorphism went from , we have ?

Thank you for your help.