Fundamental group of the circle S^1

[math8]

The question is to prove that the fundamental group of the circle S^1 is isomorphic to the group of integers under addition.

So I think I should show that the following map Phi is an isomorphism.

Phi: F(S^1, (1,0)) --> Z defined by Phi([f])= f*(1) where f* is the lifting path of f ( pof*=f) and f*(1) is the degree of f and p is the map
p:Reals--> S^1 defined by p(t)=(cos 2 pi t, sin 2 pi t).

I am able to show that Phi is onto, but I am having trouble showing that it is 1-1 and that it is well defined.

 

[lippyka]

To prove that it is 1-1 I need to show that if Phi([f])=Phi([g]) then f=g, but I am not sure how to do this. To prove that it is well defined I need to show that if [f]=[g] then Phi([f])=Phi([g]), but I am also not sure how to do this. Any help would be appreciated. Thanks!