# Group action

## Homework Statement

Let G = (R,+) and define az = eiaz for all z in C and a in G. Show that this definition makes C into a G-set, describe the action geometrically, and find the orbits and the stabilizers.

## The Attempt at a Solution

A mapping G x C -> C, denoted (a,z) -> az = eiaz for z in C.
Let eiaz = (cos(a) + isin(a))(x+iy)
Thus az = a(x+iy) = (cos(a) + isin(a))(x+iy)
We can be called this an action of G as satisfied the follwing:
Since 0 is identity of G, 0z = (cos(0) + isin(0))(x+iy) = (x+iy) = z
Also this satisfies such as a(bz) = (ab)z for all z in C and for all a,b in G
Thus G acts on C, called a G-set.
Correct??
I have no idea how to show and find orbits and stabilizers.
Thanks

Dick
Homework Helper
Looks ok so far. You might want to elaborate a little on why a(bz)=e^(ia)(e^(ib)z)=(ab)z. If you think of the complex plane C as R^2, with coordinates (x,y), what kind of geometric operation does e^(ia)z correspond to?

Thanks very much,
I think I can modify to more correct..
But I still have no idea about orbits and stabilizers.
Could you give me any hints?
Are the orbits just circle?
like, r is distance of z and denoted |z| and
e^ia is the circle which is 1 of radius??
Thanks!

Last edited:
Dick
Homework Helper
Yes, the orbits are circles. e^(ia)z is z rotated around the origin by an angle a. Write z in polar form z=r*e^(it) to see this.

and the stabilizers are when a = 0?

Dick
Homework Helper
Depends on what value of z you are talking about. And the stabilizer of a given z is a subgroup. If you are saying it's the trivial subgroup {0} I don't agree with that.

I do not know what you mean.
Yeah, I know the stabilizers are subgroup of G but
I don't know how I can apply to this problem..
I have to find in case of az = z, right?

Dick
Homework Helper
Right. 1) suppose z=0, what's the stabilizer group? 2) suppose z is not zero. What about a=2pi?

hmm,

I found something in my textbook,
If X is a G-set and x in X, the orbit of x is Gx = {ax | a in G}. combining this with "|Gx| = |G:S(x)| for each x in X" gives equivalent conditions that the orbit is a singleton:
Gx = {x} <=> ax=x for all a in G <=> S(x)=G.

And, when z = 0 and z is not zero, both cases seem just G = (R,+)..
Right??

Dick