## Writing Computations Clearly In Proofs

Here's a quick question concerning writing clearly in proofs. I am revising and refining some of my proofs [this is for a self-study], and I across a problem where I had to prove that f: G->G defined by f(x)=axa-1 is a automorphism. To show it has the homomorphism property, I had to do some calculations. Which of the following would be more accepted?

METHOD 1

Evaulating f(xy), we get,

(1) f(xy)=axya-1
(2) =axeya-1 [property of e]
(3) =axa-1aya-1 [property of inverses]
(4) =f(x)f(y).
Hence, f(xy)=f(x)f(y).

METHOD 2

We have that f(xy)=axya-1. Then f(x)f(y)=axa-1aya-1=axya-1. Hence, f(xy)=f(x)f(y).

Thanks!!! :)
 PhysOrg.com mathematics news on PhysOrg.com >> Pendulum swings back on 350-year-old mathematical mystery>> Bayesian statistics theorem holds its own - but use with caution>> Math technique de-clutters cancer-cell data, revealing tumor evolution, treatment leads
 Mentor Blog Entries: 8 I like (2) better in this case.

 Similar discussions for: Writing Computations Clearly In Proofs Thread Forum Replies Relationships 25 General Discussion 2 Linear & Abstract Algebra 0 Science Textbook Discussion 3 Electrical Engineering 3