You are correct, G contains no negatives.
But consider this:
taken from D&F, question 1.1.7:
Let (i.e. ). Show that is an abelian group.
The question asks for verification of the group axioms, although I'm a little confused with showing the existence of inverses. One can say that for an arbitrary , which is the identity. But notice that I said , and that's confusing me. Is ? Is it literally the negative of ? I would presume as much since I actually took that into consideration when I added . But is not part of by construction. So how do I show the existence of inverses?
I have been taking topology this semester and was thinking this same problem could be approached in a more topological way by looking at the bijection from (the unit circle) by and then this is obviously an abelian group with the operation rotations of x degrees about the origin of the complex plane and you can check to see that this would preserve addition easier this way, at least in my opinion. It is not a homeomorphism (the inverse function is not continuous at ), but I don't think that will affect this in terms of it still being and isomorphism.
Haha thanks Plato. I'm trying to reach your train of thought;
Ordinarily, we have two cases for a * b:
(Case 1) if 0 <= (a+b) < 1, then we have a*b = a + b, and
(Case 2) if 1 <= (a+b) < 2, a*b = a+b-1.
Suppose a*b = 0. Then if 0 <= a+b < 1, a + b = 0, and b = -a. Now if 1 <= a+b < 2, then a + b - 1 = 0, so b = 1 - a.
So I guess we have two possibilities for the inverse. Clearly the first one is absurd. The second one, though, will always hold. Yay! Thanks Plato. That is what you were getting at, right?